Let a rational right triangle have legs , hypotenuse , and area . After interchanging the legs if necessary, set
Using and gives
so lies on the congruent number elliptic curve . The triangle is nondegenerate, so and .
Conversely the three displayed lengths in the question satisfy
and their area is
Thus every such triangle is .