Help with Proof: Prove n \equiv 3(mod 6) if 2^n + n^2 is Prime

  • Context: Graduate 
  • Thread starter Thread starter gimpy
  • Start date Start date
  • Tags Tags
    Proof
Click For Summary
SUMMARY

The discussion concludes that if \(2^n + n^2\) is prime for an integer \(n \geq 2\), then \(n\) must be congruent to \(3 \mod 6\). The proof utilizes modular arithmetic, specifically examining cases for \(n\) modulo \(6\) and \(3\). It establishes that \(n\) cannot be even or congruent to \(1\) or \(5 \mod 6\), as these cases lead to non-prime results. Therefore, the only viable case is \(n \equiv 3 \mod 6\).

PREREQUISITES
  • Understanding of modular arithmetic
  • Familiarity with prime number properties
  • Basic knowledge of proof techniques, including proof by contradiction
  • Experience with algebraic manipulation of expressions
NEXT STEPS
  • Study modular arithmetic in depth, focusing on congruences
  • Learn about prime number theorems and their implications
  • Explore proof techniques, particularly proof by contradiction
  • Investigate the properties of exponential functions in number theory
USEFUL FOR

Mathematicians, students studying number theory, and anyone interested in proofs involving prime numbers and modular arithmetic.

gimpy
Messages
28
Reaction score
0
Let [tex]n \geq 2[/tex] be an integer such that [tex]2^n + n^2[/tex] is prime. Prove that [tex]n \equiv 3(mod 6)[/tex].

Ok this is what i have so far.
[tex]n \equiv 3(mod 6)\\ \Rightarrow 6|n-3\\ \Rightarrow n - 3 = 6k \\ \Rightarrow n = 6k + 3 \\[/tex].

Ok well i think i can use a proof by contradition. Obviosly [tex]n[/tex] cannot be an even number because [tex]2^n + n^2[/tex] won't be prime. So [tex]n[/tex] must be [tex]6k + 1[/tex] or [tex]6k + 3[/tex] or [tex]6k + 5[/tex]. Now when i plug all these into [tex]2^n + n^2[/tex] and mess around with it for a bit i just can't seem to prove it. Can anyone help me out?
 
Physics news on Phys.org
It suffices to consider the 2^n + n^2 mod 3.

Clearly, if n is NOT congruent to 0 mod three, then as n must be odd, 2^n = -1 mod 3 and n^2 = 1 mod 3, thus 2^n + n^2 =0 mod 3 and can't be prime (n=1 excepted)

Hence n is divisble by 3, and not by two, thus it is congruent to 3 mod 6
 


First, we can rewrite the given expression as 2^n + n^2 = (2^n - 1) + (n^2 + 1). Since n \geq 2, both terms in the parentheses are greater than 1. Therefore, for the expression to be prime, one of the terms must be equal to 1 and the other must be equal to the prime number.

Now, let's consider the possible values of n \mod 6. If n \equiv 1 \mod 6, then n^2 + 1 \equiv 2 \mod 6, which means that n^2 + 1 is not a prime number. Similarly, if n \equiv 5 \mod 6, then n^2 + 1 \equiv 2 \mod 6, which again means that n^2 + 1 is not a prime number. Therefore, the only possible value for n \mod 6 is n \equiv 3 \mod 6.

Now, let's assume that n \not\equiv 3 \mod 6. This means that n \equiv 1 \mod 6 or n \equiv 5 \mod 6. In both cases, n = 6k + 1 or n = 6k + 5 for some integer k. Plugging these values into n^2 + 1, we get n^2 + 1 = (6k + 1)^2 + 1 = 36k^2 + 12k + 2. This expression is clearly not prime, as it is divisible by 2. Therefore, our assumption was incorrect and n \equiv 3 \mod 6 must be true.

Thus, we have proven that if 2^n + n^2 is prime, then n \equiv 3 \mod 6.
 

Similar threads

  • · Replies 17 ·
Replies
17
Views
2K
Replies
12
Views
4K
  • · Replies 30 ·
2
Replies
30
Views
4K
Replies
27
Views
4K
  • · Replies 4 ·
Replies
4
Views
9K
Replies
3
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
Replies
6
Views
3K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 2 ·
Replies
2
Views
2K