Jacobi's approach makes use of certain power series which are closely
related to the problem of writing a non-negative integer as a sum of
squares. One such series is particularly important in this connection:
Consider any non-negative integer
. If
is a positive square,
then it has exactly two representations, e.g.
and
as a square. If
, then it has exactly one such representation as
a square. And, of course if
is not a square, it has no such
representation.
How does this relate to the series
?
For any non-negative integer
, consider the coefficient of
.
By the way this series is defined, the coefficient of
turns out to be
the exact number of ways that
can be represented as a square, either
zero, one or two respectively as
is zero, a positive square or a
non-square.
The coefficients in the
-power series expansion of
count the number of
representations of given integers
as squares.
``So what?'' you rightfully ask. ``How does this help us?'' After all, we want to count the number of ways an integer can be represented not as a single square, but as the sum of four squares.