rec.puzzles Archive

Find all solutions in integers to a^2 + b^2 + c^2 = d^2, where a, b and d are prime.

arithmetic/prime.square.sum New

New entry, edited from material collected for the archive and not yet in a released version.

Problem

Find all solutions in integers to a^2 + b^2 + c^2 = d^2, where a, b
and d are prime.

-- Chris Long, Rutgers University
Show solution
I assume that the condition for the number c is to be an integer,
otherwise the question is trivial.  Also, I assume all numbers to be
>= 0, which doesn't change the nature of the problem.

Let's use a little modulo arithmetic.  The following two tables will be
of use:

x (mod 4)   x^2 (mod 4)        x (mod 3)   x^2 (mod 3)
-----------------------        -----------------------
0           0                  0           0
1           1                  1           1
2           0                  2           1
3           1

The notation {0,1} used below is used to indicate that either 0 or 1
is possible here.

Start of solution:

d can't be 2, since then a^2+b^2+c^2 = 4, which is impossible under
the given conditions.  Therefore, d, being a prime, must be odd (and
therefore = either 1 or 3 modulo 4).

Applying modulo 4 arithmetic on the original equation,

 a^2  +  b^2  +  c^2  = d^2

{0,1} + {0,1} + {0,1} = 1       (modulo 4),

which shows that exactly two of a,b,c must be even.  Since at least one
of them is a prime, that prime is 2.  Let's say b = 2.

The new equation is taken modulo 3,

 a^2  + 4 +  c^2  = d^2

{0,1} + 1 + {0,1} = {0,1}       (modulo 3),

which gives the two possible patterns

1 + 1 + 1 = 0           and             0 + 1 + 0 = 1.

Looking at the former, it says that d^2 is divisible by 3, which can
only mean that d = 3, since d is a prime.  So, the equation now reduces
to a^2 + c^2 = 5, which has the single solution a = 2, c = 1, since
only c is permitted not to be a prime.

The other pattern indicates that a^2 is divisible by 3, which leads to
a = 3, and the equation is reduced to 13 + c^2 = d^2, or
13 = (d-c)(d+c).  Since 13 is a prime, it follows that d-c = 1 and
d+c = 13, which gives d = 7 and c = 6.

Thus, the solutions are

a = 3, b = 2, c = 6, d = 7
a = 2, b = 2, c = 1, d = 3,

as well as

a = 2, b = 3, c = 6, d = 7,  being a permutation of the first.

-- Arndt Jonasson (posted by Chris Long)

As a footnote, the general solution to

        a^2 + b^2 + c^2 = d^2                                    (1)

has been known for quite a while.  Robert Spira, "The Diophantine
Equation x^2 + y^2 + z^2 = m^2", American Mathematical Monthly, vol 69,
1962 pages 360-365 provides the following parametric solution:

    a = 2(rs+tu)   b = 2(ru-st)   c = r^2+t^2-s^2-u^2
    d = r^2+s^2+t^2+u^2                                          (2)

He has a list of references also.  It is a harder problem to find
solutions of (1) where the sum of any two a,b,or c squared is a square,
especially when all 3 sums are required to be squares.  See Problem
D18 in Richard K. Guy's "Unsolved Problems in Number Theory" 1st ed.
Springer-Verlag, New York.

-- Randall L. Rathbun <Randall.Rathbun@SanDiego.NCR.COM>