3

This is from an exercise in Burton's Number theory book. I have a hard time solving this. How could we prove that $\displaystyle\frac{(2^{19}+1)}{3}$ and $\displaystyle\frac{(2^{23}+1)}{3}$ are primes. I know that the primes dividing the numbers are of the form are $38k+1$ and $46k+1$ respectively. How can we proceed without a computer? Any hints. Thanks beforehand.

vidyarthi
  • 7,315
  • Some basic primality tests to start with: Are both numbers in the form $4k+1$ or $4k+3$? Are they congruent to $1$ modulo $\frac{2^{19}+1}{3}$ and $\frac{2^{23}+1}{3}$ (according to Fermat's Little Theorem) respectively? – Toby Mak Jun 30 '17 at 13:00
  • There is a whole article on MSE about this: (https://math.stackexchange.com/questions/483298/how-do-you-prove-a-number-is-prime) – Toby Mak Jun 30 '17 at 13:01
  • @TobyMak The article you linked gave information on Mersenne and proth numbers, but here, it is a different one, it is more related to fermat numbers, isnt it? – vidyarthi Jun 30 '17 at 13:04
  • I was referring to the section about Proth numbers at the end: Fermat numbers don't apply here since your number is not in the form $2^{2^k}+1$, but only $2^k+1$. $k$ might not be a power of two since the number are divided by $3$. – Toby Mak Jun 30 '17 at 13:06
  • If $(p-1)/2$ is odd, then $2$ is not a square modulo $p$, and thus $p\equiv 3\pmod 8$. If $(p-1)/2$ is even, then $p\equiv 1\pmod 8$. So $k$ is either a multiple of $4$ or $k\equiv 3\pmod{4}$. – Thomas Andrews Jun 30 '17 at 13:08
  • @ThomasAndrews sorry, I didnt get you. What does $p$ and $k$ stand for here? – vidyarthi Jun 30 '17 at 13:11
  • @TobyMak How come proth numbers apply here? – vidyarthi Jun 30 '17 at 13:11
  • So, in the first case, $p\equiv 1,115\pmod{152}$. In the second, $p\equiv 1,139\pmod{184}$. – Thomas Andrews Jun 30 '17 at 13:12
  • $p$ is any prime divisor, and $k$ is the $k$ you had in your question. – Thomas Andrews Jun 30 '17 at 13:12
  • 1
    In the first case, you only need to check values of $p$ up to $418$, since $419^2>\frac{2^{19}+1}{3}$. There is no prime $p\equiv 1,115\pmod{152}$ in that range, so you are done. – Thomas Andrews Jun 30 '17 at 13:17
  • @ThomasAndrews ok, thanks for that. – vidyarthi Jun 30 '17 at 13:18
  • @ThomasAndrews is checking manually the only way out? What if, say, I had $2^{41}+1$ and wished to find the smallest prime greater than $3$ dividing it? – vidyarthi Jun 30 '17 at 13:23
  • Actually, I'm not sure I got the right proof for that case, but this is the sort of proof. – Thomas Andrews Jun 30 '17 at 13:24
  • The trial an error is made slightly simpler by using the method of repeated squaring. http://www.tricki.org/article/To_work_out_powers_mod_n_use_repeated_squaring – Thomas Andrews Jun 30 '17 at 14:07

1 Answers1

2

In general, if $q>3$ is prime and $p$ a prime divisor of $N=\frac{2^q+1}{3}$, then, as you argued, $p=2qk+1$ for some $k$.

So: $2^{(p-1)/2}\equiv (-1)^k\pmod p$.

If $k$ is even, then $2$ is a square modulo $p$ which means that $p\equiv \pm 1\pmod{8}$ or $2qk\equiv 0,6\pmod{8}$ or $qk\equiv 0,3\pmod{4}$. But since $k$ is even, this requires $k$ to be divisible by $4$, so $p\equiv 1\pmod{8q}$.

If $k$ is odd, then $2$ is not a square modulo $p$ so $p\equiv 3,5\pmod{8}$ so $qk\equiv 1,2\pmod{4}$, which means that $k\equiv q\pmod{4}$. So $p\equiv 1+2q^2\pmod{8q}$.

So you can check only the primes $p\equiv 1,1+2q^2\pmod{8q}$, for $p<\sqrt{N}$.

For $q=19$, $p\equiv 1,115\pmod{152}$. But there are no primes $p$ matching these conditions less than $\sqrt{N}<419.$

For $q=23$, $p\equiv 1,139\pmod{184}$, and $\sqrt{N}<1673$. So the first prime to check is $p=139.$ The next to check is $691$.

In the case of $q=41$, you'd need to check $p\equiv 1,83\pmod{328}$. But now you might have to check up to $\sqrt{N}\approx 857,000$.

Thomas Andrews
  • 186,215
  • Is there a general term for the numbers of the form $(2^p+1)/3$? edit: OEIS gave Wagstaff primes... – Joffan Jun 30 '17 at 17:34