Fermat's Last Theorem for Quadratic Integers
Does "Fermat's Last Theorem" hold for the Gaussian integers?
I don't know the answer to this question, but there are many
solutions in the form A + B sqrt(d) for various rational (non-
square) values of d. For example, with d=-3/2 we have
(1 + 5sqrt(d))^3 + (5 + 3sqrt(d))^3 = (3 + 4sqrt(d))^3
On the other hand, we know there are no solutions for d = 1.
To help decide whether or not solutions exist for a particular
exponent p (but not for the general case), it turns out that
Kummer's methods of 1850 can be applied to arbitrary rings
of algebraic integers (cf. Encycl Dict of Math, 2nd ed.) In
general, if p is an odd prime and u is a primitive pth root of
unity, let h denote the class number of the cyclotomic field
Q(u). In these terms, we can say that Case I of FLT in this
ring corresponds to the impossibility of
x^p + y^p + z^p = 0 , gcd(xyz,p)=1
whereas Case II corresponds to the impossibility of
x^p + y^p = k (1-u)^(np) z^p , gcd(xyz,p)=1
for some non-negative rational integer n and k is a unit of
Q(u). Kummer proved that if p does not divide the class number
h, then neither of these two equations has a solution. (These
are analogous to the "regular primes" in Kummer's theorem on FLT
for rational integers, but of course we need to determine the
set of regular primes for the particular algebraic ring in
question.) I don't know if Wiles' general proof of FLT for
rational integers covers any of these other algebraic rings.
Of course, if we allow the exponent p to divide xyz, then for some
values of d we know immediately that solutions exist. For example,
there are certainly solutions in Q(sqrt(5)) for the exponent n=3,
such as
(5 - 9sqrt(5))^3 + (12sqrt(5))^3 = (5 + 9sqrt(5))^3
In general we'll always have a solution of the form
(A - B sqrt(d))^3 + (C sqrt(d))^3 = (A + B sqrt(d))^3
for any integer d expressible in the form
6BA^2
d = ------------
(C^3 - 2B^3)
This gives solutions for (at least) the following squarefree values
of d with absolute magnitude less than 100:
d A B C
---- ---- ---- ----
-89 89 36 42
-87 145 27 6
-86 14279 2752 1364
-59 1559 531 552
-51 1727 544 508
-47 5953 1504 20
-41 451 256 296
-31 31 243 306
-26 307 117 87
-23 -23 9 6
-15 11 5 2
-11 1705 972 666
-6 1 1 1
-5 5 4 2
-2 1 8 10
2 17 9 21
5 5 9 12
6 5 1 3
15 215 4 42
17 2159 36 390
33 11 4 6
43 473 4 50
58 8207 8 382
69 1265 27 156
82 41 1 5
85 85 1 8
93 31 1 4
These are also the values of d such that there is a solution of
the form
(A + B sqrt(d))^3 + (A - B sqrt(d))^3 = C^3
which correspond to the solutions of
2A(A^2 + 3dB^2) = C^3
Return to MathPages Main Menu