Curating a blog like this one and writing about imaginary stuff like Fermat’s Lost Theorem means that you get the occasional comment of the form: I have a really short proof of a famous open problem in math. Can you check it for me? Usually, the answer is no. But, about a week ago, a reader of the blog that had caught an omission in a proof contained within one of my previous posts, asked me to do just that: Check out a short proof of Beal’s Conjecture. Many of you probably haven’t heard of billionaire Mr. Beal and his $1,000,000 conjecture, so here it is:
Let and be positive integers satisfying . Then, ; that is, the numbers have a common factor.
After reading the “short proof” of the conjecture, I realized that this was a pretty cool conjecture! Also, the short proof was wrong, though the ideas within were non-trivial. But, partial progress had been made by others, so I thought I would take a crack at it on the 10 hour flight from Athens to Philadelphia. In particular, I convinced myself that if I could prove the conjecture for all even exponents , then I could claim half the prize. Well, I didn’t quite get there, but I made some progress using knowledge found in these two blog posts: Redemption: Part I and Fermat’s Lost Theorem. In particular, one can show that the conjecture holds true for and , for . Moreover, the general case of even exponents can be reduced to the case of and , for primes. Which makes one wonder if the general case has a similar reduction, where two of the three exponents can be assumed equal.
The proof is pretty trivial, since most of the heavy lifting is done by Fermat’s Last Theorem (which itself has a rather elegant, short proof I wanted to post in the margins – alas, WordPress has a no-writing-on-margins policy). Moreover, it turns out that the general case of even exponents follows from a combination of results obtained by others over the past two decades (see the Partial Results section of the Wikipedia article on the conjecture linked above – in particular, the (n,n,2) case). So why am I even bothering to write about my efforts? Because it’s math! And math equals magic. Also, in case this proof is not known and in the off chance that some of the ideas can be used in the general case. Okay, here we go…
Proof. The idea is to assume that the numbers have no common factor and then reach a contradiction. We begin by noting that is equivalent to . In other words, the triplet is a Pythagorean triple (sides of a right triangle), so we must have , for some positive integers with no common factors (otherwise, our assumption that have no common factor would be violated). There are two cases to consider now:
Case I: is even. This implies that and , where and have no factors in common. Moreover, since and have no common factors, then have no common factors either (why?) Hence, , where and have no factors in common. But, , implying that , where have no common factors.
Case II: is even. This implies that and , where and have no factors in common. As in Case I, , where and have no factors in common. But, , implying that , where have no common factors.
We have shown, then, that if Beal’s conjecture holds for the exponents and , then it holds for , for arbitrary . As it turns out, when , Beal’s conjecture becomes Fermat’s Last Theorem, implying that the conjecture holds for all exponents , with and .
Open Problem: Are there any solutions to , for positive integers and primes ?
PS: If you find a mistake in the proof above, please let everyone know in the comments. I would really appreciate it!
It would be great to congratulate you to $1 million but sorry, I completely fail to understand the proof. Where did you get that there is a Pythagorean triangle? The case with a Pythagorean triangle is surely a very special and trivial case to discuss. What about three generic odd exponents like 15, 17, 19? This may be reduced to prime exponents 3, 17, 19 or 5, 17, 19 but not more than that.
I am considering the even exponent case, not the general one.
I see, sorry for having missed that. You should urge him to give you half a million, then. 😉 Or at least $125,000.
I would be happy with honorable mention for an elegant proof.