PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: High Entry average rating: No information on entry rating
[parent] false counterexamples to Fermat's last theorem (Example)

Like Martin Gardner's famous 1975 joke that $e^{\pi \sqrt{163}}$ is an integer, hoax counterexamples to Fermat's last theorem typically depend on the loss of machine precision. The following false counterexamples should check out on most scientific calculators.

\begin{eqnarray*} 1782^{12} + 1841^{12} & = & 1922^{12} \\ 6107^6 + 8919^6 & = & 9066^6 \\ 3987^{12} + 4365^{12} & = & 4472^{12} \\ \end{eqnarray*} Executing the left side of the first equation on a typical scientific calculator and then taking the 12th root of that result will yield 1922. But on software calculators, such as the Mac OS Calculator, the 12th root is given as 1921.99999995495. Rising points out that it is not necessary to carry out any calculations in order to see that the first equation is false: ``The left side adds an even number and an odd number; thus that sum must be odd. The right side is even.'' In fact, modular arithmetic can be used to show all these equations are false: the left side of the second one is congruent to $5 \mod 9$ while the right side is congruent to $3 \mod 9$ ; casting out nines also disproves the third equation.

Taxicab numbers involving $1^x$ in one of the expressions, like Ramanujan's friend 1729, can be used to benchmark machine precision. Any scientific calculator will readily show that $10^3 + 9^3 \neq 12^3$ , since $\sqrt[3]{1729} \approx 12.002314$ , and for some larger taxicab number a false counterexample will appear. A computer algebra system, on the other hand, can determine the falsehood of a counterexample even if it lacks the machine precision to resolve the numerical difference. For example, on Mathematica, assuming x, y, z, n have been defined: TrueQ[x^n + y^n == z^n] should return False.

Some of these false counterexamples have appeared on episodes of The Simpsons, such as the first one, which appeared in the ${Homer}^3$ segment of ``Treehouse of Horror VI,'' first aired October 29, 1995, more than a year after Andrew Wiles and his colleagues announced the corrected proof of Fermat's last theorem.

Bibliography

1
Gerald R. Rising, Inside Your Calculator: From Simple Programs to Significant Insights. Hoboken, New Jersey: John Wiley & Sons (2007): Appendix D
2
Ray Richmond & Antonia Coffman, The Simpsons: A Complete Guide to Our Favorite Family. New York: HarperCollings (1997): 187




"false counterexamples to Fermat's last theorem" is owned by PrimeFan. [ full author list (2) | owner history (1) ]
(view preamble | get metadata)

View style:


This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: proof, Andrew Wiles, segment, Mathematica, difference, even, computer algebra system, Ramanujan's, expressions, taxicab numbers, right, congruent, modular arithmetic, order, necessary, points, Mac OS Calculator, calculators, root, equation, side, scientific calculators, machine, Fermat's last theorem, counterexamples, integer

This is version 5 of false counterexamples to Fermat's last theorem, born on 2008-05-29, modified 2009-11-19.
Object id is 10636, canonical name is FalseCounterexamplesToFermatsLastTheorem.
Accessed 855 times total.

Classification:
AMS MSC11D41 (Number theory :: Diophantine equations :: Higher degree equations; Fermat's equation)
 14H52 (Algebraic geometry :: Curves :: Elliptic curves)
 11F80 (Number theory :: Discontinuous groups and automorphic forms :: Galois representations)

Pending Errata and Addenda
None.
[ View all 1 ]
Discussion
Style: Expand: Order:
forum policy
Another TeX verbatim glitch by CompositeFan on 2008-05-29 15:12:27
I don't know what's wrong with this entry. My top guess is: yet another glitch with verbatim. I'm giving a couple of friends access if they want to take a try at fixing it.
[ reply | up ]

Interact
post | correct | update request | add example | add (any)