My own proof
May 4, 2012 1 Comment
So here’s a proof of my own concoction. It’s decently similar to Euclid’s, but goofier. As I mentioned last time, I don’t like proof by contradiction. Ironically, this proof requires it.
Assume for the sake of contradiction that are the only primes. Let’s say they’re in that order. That is, . Let
Note, I’m not including the largest prime in the product. Similar to Euclid’s proof, if I look at , it’s not divisible by any prime in the product of , so must be divisible by . But we can also look at . This is also divisible by . So in fact their difference, must be divisible by . Thus, the largest prime is no larger than , contradicting the primality of .
Even though, on a technical level, there is no fundamental difference between these proofs, I seem to think that this one is somehow cleaner. I suppose this is because you don’t have to be able to factor to see it in action. Really, you don’t have to factor to do Euclid’s proof either, but it’s usually stated in such a way where you do need to factor.