Pythagorean theorem four elementary lemmata: Next, each top square is related to a triangle congruent with another triangle related in turn to one of two rectangles making up the lower square. The proof is as follows: This proof, which appears in Euclid's "Elements" as that of Proposition 47 in Book 1, demonstrates that the area of the square on the hypotenuse is the sum of the areas of the other two squares. This is quite distinct from the proof by similarity of triangles, which is conjectured to be the proof that Pythagoras used. We have already discussed the Pythagorean proof, which was
Fermat's right triangle theorem a congruent number. Equivalently, it is impossible for a square (the geometric shape) and a right triangle to have both equal areas and all sides commensurate with each other. Yet another equivalent form of Fermat's theorem involves the elliptic curve consisting of the points whose Cartesian coordinates formula_18 satisfy the equation This equation has the obvious pairs of solutions (0,0), (1,0), and (−1,0). Fermat's theorem is equivalent to the statement that these are the only points on the curve for which both "x" and "y" are rational. During his lifetime, Fermat challenged several other mathematicians to prove the non-existence of