Relaxing Fermat

In 1637, while reading a copy of Diophantus’s Arithmetica, Pierre de Fermat famously scribbled

“Cubum autem in duos cubos, aut quadratoquadratum in duos quadratoquadratos & generaliter nullam in infinitum ultra quadratum potestatem in duos eiusdem nominis fas est dividere cuius rei demonstrationem mirabilem sane detexi. Hanc marginis exiguitas non caperet.”

which roughly translates to

“It is impossible to separate a cube into two cubes, or a quartic into two quartics, or in general, a power higher than the second into two like powers. I have discovered a truly marvelous proof of this, which this margin is too narrow to contain.”

In modern notation, the equation

x^n + y^n = z^n

has no positive integer solutions for exponents n > 2. Although Fermat did leave a proof for the case n = 4, 358 years past before Andrew Wiles published his proof of the general case in 1995.

Relaxing Fermat’s constraints to allow non-integers greatly expands the number of solutions. The looping animation shows all solutions for 1 \le n < \infty and 1 \le \{x,y,z\} \le 11. All points on the arcs

y_{z,n}[x] = (z^n - x^n)^{1/n}

are solutions, and red dots indicate integer solutions. Watch the the famous Pythagorean triple \{3,4,5\} flash by for n = 2. Integer solutions are visibly harder for large finite n. Many more solutions exist for n < 1.

Points along arcs are solutions to the generalized Fermat equation; red points are integer solutions

Points along arcs are solutions to the generalized Fermat equation; red points are integer solutions

About John F. Lindner

John F. Lindner was born in Sleepy Hollow, New York, and educated at the University of Vermont and Caltech. He is an emeritus professor of physics and astronomy at The College of Wooster and a visiting professor at North Carolina State University. He has enjoyed multiple yearlong sabbaticals at Georgia Tech, University of Portland, University of Hawai'i, and NCSU. His research interests include nonlinear dynamics, celestial mechanics, and neural networks.
This entry was posted in Mathematics. Bookmark the permalink.

Leave a Reply

Your email address will not be published. Required fields are marked *