Fermat's right triangle theorem is, by the Pythagorean theorem, they would form two integer-sided right triangles in which the pair formula_10 gives one leg and the hypotenuse of the smaller triangle and the same pair also forms the two legs of the larger triangle. But if (as Fibonacci asserted) no square congruum can exist, then there can be no two integer right triangles that share two sides in this way. Because the congrua are exactly the numbers that are four times the area of a Pythagorean triangle, and multiplication by four does not change whether a number is square, the existence of a square
Fermat's right triangle theorem of a right triangle with square area. By dividing by any common factors, one can assume that this triangle is primitive and from the known form of all primitive Pythagorean triples, one can set formula_23, formula_24, and formula_25, by which the problem is transformed into finding relatively prime integers formula_26 and formula_27 (one of which is even) such that formula_28 is square. The four linear factors formula_26, formula_27, formula_31, and formula_32 are relatively prime and therefore must themselves be squares; let formula_33 and formula_34. Both formula_35 and formula_36 must be odd since exactly one of formula_26 or formula_27 is even