A congruent number is a positive integer that is the area of a right triangle with three rational number sides. In equations, we are required to find rational positive numbers such that:

and (1)

The story of congruent numbers is a very old one, beginning with Diophantus. The Arabs and Fibonacci knew of the problem in the following form:

Find three rational numbers whose squares form an arithmetic progression with common difference .

This is equivalent to finding integers with such that which reduces to finding a right triangle with rational sides

with area . This is the congruent number problem for . The Arabs knew several examples of congruent numbers and Fermat stated that no square is a congruent numbers. Since we can scale triangles to assume that is square free, this is equivalent to saying that is not a congruent number.

As with many other problems in number theory, the proof of this statement had to wait four centuries for Fermat. The problem led Fermat to discover his method of infinite descent.

In more recent times, the problem has been fruitfully translated into one about Elliptic Curves. We perform a rational transformation of the defining equations (1) for a congruent number in the following way. Set and . A calculation shows that:

(2)

and . If , then and but then . Conversely, given satisfying (2), we find and and one can check that these numbers satisfy (1).

The projective closure of (2) defines an elliptic curve that we will call . We are interested in finding rational points on it that do not satisfy . I will prove that is a congruent number precisely when has positive rank.

The proof is an interesting use of Dirichlet’s Theorem on Arithmetic Progressions and some neat ideas about Elliptic Curves and their reductions modulo primes. I will essentially assume the material in Silverman’s first book and the aforementioned Dirichlet’s Theorem.

So far, we know that is a congruent number if and only if has rational points (x,y) with . Recall that for an elliptic curve in the standard Weierstrass form (as in (2)), if and only if (x,y) has 2-torsion.

Therefore, our problem reduces to showing that the only torsion of is 2-torsion for all n. In fact, we always have non-trivial $2$-torsion and the points are given by and the point at infinity.

Denote the m-torsion my . The rough outline of the proof is as follows:

- maps injectively into the reduction of modulo a prime for all but finitely many primes.
- The number of points of is independent of and equal to whenever .
- This would imply that for a set of primes $p$ of density $1/2$ but by Dirichlet’s Unit Theorem, the set of such primes is of density for all .

**Step 1:**

Recall that the size of is finite (and has exactly elements in . Also, recall that if and are two points in the projective plane (over any field ), then they are equal if and only if

(3)

are all . Thinking of our has embedded in the projective plane, reduction modulo is simply reduction on each of the co-ordinates. Therefore, if we pick any finite set of points on $E_n$, then for any prime greater than any of the prime divisors of (3) , it’s reduction will be non-zero.

Since is a group, this is sufficient to show that the reduction map is injective for all but finitely many primes (once we fix ).

**Step 2:**

Fix a prime . One could prove this by an explicit calculation involving quadratic characters but there is a neater way assuming some knowledge about the endomorphism ring The relevant facts are the following:

- Over a finite field , the endomorphism ring is either an order in a quadratic imaginary field or an order in a quaternion algebra.
- Further, over with , the latter case occurs precisely when the number of elements on the curve is and the curve is called supersingular.
- In either case, for any endomorphism , there is a dual such that is multiplication by the degree of , which is always non-negative.

A few words about the above statements: They are in true for all Elliptic curves and not just . A reference for all of the above is the chapter on Finite Fields in Silverman’s first book on Elliptic Curves.

(3) is true over any field. The function occurring in (3) is the usual norm function on a number field or a quaternion algebra.

One can show using the Tate Module that the dim of is at most over . Since there is always a Frobenius element such that , this rules out the case of where the function maps to the squares. This proves (1).

A sufficient (and necessary) condition for being dimensional is that be inseparable but this implies . As a consequence of the Hasse-Weil inequality which says , this would show that . One further proves that which shows (2).

Now, given the (3) statements, it is easy to complete step 2. Note that is always an endomorphism of as long as is defined in , equivalently, as long as . Therefore, if were two dimensional, it would have to be an order in .

As mentioned before, we also have the Frobenius with norm . This shows that is a prime in the ring. However, the norm of any prime element in is either a square or congruent to modulo . This forces to be -dimensional and we are done by (2).

**Step 3:**

If has any torsion point that is not -torsion, then we can find some point of order more than . Let this order be .

By step (1), has order for all but finitely many primes and therefore, since is a group of size (for by step (2)), for all but finitely many primes .

Since the (Dirichlet) density of primes of the form has density and a finite set of primes does not contribute to (Dirichlet) density, we can put this differently in the following way:

The Dirichlet density of primes is at least .

However, we know that the density of primes of the form is exactly which is strictly less than whenever . This provides the required contradiction and completes the proof.

The statements about the densities of various primes above all follow from Dirichlet’s Theorem on Arithmetic Progressions.

I would like to end by talking about a conjectural algorithm to detect congruent numbers. It is called Tunnell’s algorithm and is based on the idea above: A number n is congruent if and only if has positive rank.

The algorithm is easy to describe (and execute) but it’s correctness depends on a very deep theorem about Elliptic Curves (the Birch and Swinnerton-Dyer conjecture).

The algorithm is as follows: For a square free integer n, define:

Tunnell proved unconditionally that if is an odd congruent number, then and if is an even congruent number, then . The converse is true *assuming *the Birch Swinnerton-Dyer conjecture.

More precisely, if we denote by the L-function for over $\mathbb Q$ at , recall that the Birch-Swinnerton Dyer conjecture states that the order of vanishing of at is the rank of .

Therefore, is a congruent number if and only if . What Tunnel showed was that:

where is a non-zero constant. Note that always has complex multiplication over since is an automorphism of order .

The unconditional direction of Tunnel’s criterion follows from the following theorem of Coates-Wiles in 1976:

**Theorem[Coates-Wiles(1976)] **If an Elliptic Curve over has complex multiplication by a ring of integers with class number 1 and has positive rank over , then the corresponding L-function vanishes at .