a2 + b2 = c2, where c is the hypotenuse.

their proof, which has been independently peer-reviewed and is published in the journal American Mathematical Monthly.