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 congruum is equivalent to the existence of a Pythagorean triangle with a square area. It is this variant of the problem that Fermat's proof concerns: he shows that there is no such triangle. In considering this problem, Fermat was inspired not by Fibonacci but by an edition of Diophantus published by Claude Gaspard Bachet de Méziriac. This book described various special right triangles whose areas had forms related to squares, but did not consider the case of areas that were themselves square. By rearranging the equations for the two Pythagorean triangles above, and then multiplying them together, one obtains the