Our goal is to prove the following theorem:
Suppose that \(a\) is an even number and \(p\) a prime which does not divide \(a\).
Suppose that \(p\) does divide \(a^{2^n} + 1\). Then \(p\) is of the form \(p = 2^{n+1}k + 1\) for some positive integer \(k\).
In order to prove this theorem, we’ll need the so-called “Little Fermat Theorem”. You can find Euler’s proof of this theorem in your text.
Little Fermat Theorem Let \(a\) be a whole number and \(p\) a prime which does not divide \(a\). Then \(p\)
divides \(a^{p-1} - 1\).
(Divisor Question) Suppose that \(A\) is any whole number, and that you divide \(A\) by some number \(C\). What are the
possible remainders? What are the possibilities for how you could write \(A\) as related to a multiple of \(C\)?
(Cases Question) Repeat the divisor question, but related to Theorem EFT and the case \(n=1\). In other words, what
are the possibilities for the prime \(p\) when you divide by \(2^2 = 4\)? Then, eliminate all but two of these cases.
Repeat the cases question and the divisor question, but for the case \(n=2\). If you’re confident you understand what’s
going on, move to the next question!
Prove Theorem EFT.
Euler used Theorem EFT to prove that \(2^{2^5}+1\) is not prime. How did he do this? Check his work. Could you use his method to
prove that \(2^{2^6} +1\) is not prime?
2025-01-06 16:00:15