Right triangle and "G" and hypotenuse "A", then and where formula_40 is the golden ratio formula_41 Since the sides of this right triangle are in geometric progression, this is the Kepler triangle. Thales' theorem states that if "A" is any point of the circle with diameter "BC" (except "B" or "C" themselves) "ABC" is a right triangle where "A" is the right angle. The converse states that if a right triangle is inscribed in a circle then the hypotenuse will be a diameter of the circle. A corollary is that the length of the hypotenuse is twice the distance from the right
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