Triangle inequality ≥ b ≥ c" and "formula_8" is the golden ratio, as In the case of right triangles, the triangle inequality specializes to the statement that the hypotenuse is greater than either of the two sides, and less than their sum. The second part of this theorem is already established above for any side of any triangle. The first part is established using the lower figure. In the figure, consider the right triangle . An isosceles triangle is constructed with equal sides . From the triangle postulate, the angles in the right triangle satisfy: Likewise, in the isosceles triangle , the
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