The Beal Conjecture Background Mathematicians have long been intrigued by Pierre Fermat's famous assertion that A^{x} + B^{x} = C^{x} is impossible (as stipulated) and the remark written in the margin of his book that he had a demonstration or "proof". This became known as Fermat's Last Theorem (FLT) despite the lack of a proof. Andrew Wiles proved the relationship in 1994, though everyone agrees that Fermat's proof could not possibly have been the proof discovered by Wiles. Number theorists remain divided when speculating over whether or not Fermat actually had a proof, or whether he was mistaken. This mystery remains unanswered though the prevailing wisdom is that Fermat was mistaken. This conclusion is based on the fact that thousands of mathematicians have cumulatively spent many millions of hours over the past 350 years searching unsuccessfully for such a proof. It is easy to see that if A^{x} + B^{x} = C^{x} then either A, B, and C are coprime or, if not coprime that any common factor could be divided out of each term until the equation existed with coprime bases. (Coprime is synonymous with pairwise relatively prime and means that in a given set of numbers, no two of the numbers share a common factor.) You could then restate FLT by saying that A^{x} + B^{x} = C^{x} is impossible with coprime bases. (Yes, it is also impossible without coprime bases, but non coprime bases can only exist as a consequence of coprime bases.) Beyond Fermat's Last Theorem No one suspected that A^{x} + B^{y} = C^{z} (note unique exponents) might also be impossible with coprime bases until a remarkable discovery in 1993 by a Dallas, Texas number theory enthusiast by the name of D. Andrew “Andy” Beal. (Refer to www.andrewbeal.com for more information about Andy Beal.) Andy Beal was working on FLT when he began to look at similar equations with independent exponents. He constructed several algorithms to generate solution sets but the very nature of the algorithms he was able to construct required a common factor in the bases. He began to suspect that coprime bases might be impossible and set out to test his hypothesis by computer. Andy Beal and a colleague programmed 15 computers and after thousands of cumulative hours of operation had checked all variable values through 99. Many solutions were found: all had a common factor in the bases. While certainly not conclusive, Andy Beal now had sufficient reason to share his discovery with the world. BEAL'S CONJECTURE: If A^{x} + B^{y} = C^{z}, where A, B, C, x, y and z are positive integers and x, y and z are all greater than 2, then A, B and C must have a common prime factor. In the fall of 1994, Andy Beal wrote letters about his work to
approximately 50 scholarly mathematics periodicals and number theorists. Among
the replies were two considered responses from respected number theorists. There is no known evidence of prior knowledge of Beal's conjecture and all references to it begin after Andy Beal's 1993 discovery and subsequent dissemination of it. The related ABC conjecture hypothesizes that only a finite number of solutions could exist. Interesting Side Note While Beal's conjecture was widely received with enthusiasm by the mathematics community at large, it seems that there are always people with other motivations. Three mathematicians by the names of Andrew Granville, Alf Vanderpoorten, and Andrew Bremmer set out to discredit and criticize Andy Beal and the attribution of the conjecture, including writing scathing criticisms claiming that the conjecture was previously known and evidenced in prior works dating back to Brun's work of 1914. The untruthfulness and motivations of their criticisms were made obvious by the subsequent 1996 publication of Vanderpoorten's book wherein he claims to propose the conjecture as recent original thought by none other than …. himself (see page 194 of Vanderpoorten's "notes on Fermat's Last Theorem," 1st edition). Equally interesting, the Beal conjecture has more recently (after 2010, almost 20 years after Beal's dissemination of the conjecture) also been incorrectly referred to as the TijdemanZagier conjecture, although no known evidence exists as to when or where Tijdeman or Zagier ever conjectured or disseminated any such conjecture. Apparently Vanderpoorten himself also would contest the TijdemanZagier attribution as evidenced by his 1996 publication referenced above. The fact remains that while many people may claim they made the discovery, no evidence has ever been produced predating Beal's discovery and widespread dissemination of the conjecture in 1993. Encouraging Others By offering a cash prize for the proof or disproof of this important number theory relationship, Andy Beal hopes to inspire young minds to think about the equation, think about winning the offered prize, and in the process become more interested in the wonderful study of mathematics. Information regarding the $1,000,000 cash prize that is held in trust by the American Mathematics Society can be obtained at the University of North Texas web site: http://www.math.unt.edu/~mauldin/beal.html. Incidentally, Andy Beal believes that the world has yet to adequately respond to Fermat's challenge to the English in 1657 regarding Pell's equation (see Edwards book referenced above  book section 1.9). Andy Beal believes that Fermat may well have had a method of solution that was "not inferior to the more celebrated questions of geometry in respect of beauty, difficulty, or method of proof". Fermat claimed his method involved infinite descent and no known methods of solution use a descent. Furthermore, the continued fraction and cyclic methods of solution known today hardly qualify as beautiful or particularly difficult. For someone seeking to learn about or advance number theory, that's a great and fun place to start. The Beal Conjecture is sometimes referred to as "Beal's conjecture," "Beal's problem," or the "Beal problem."

NEWS ABOUT THE BEAL CONJECTURE
