Pythagorean theorem straightedge and compass. Pythagoras's theorem enables construction of incommensurable lengths because the hypotenuse of a triangle is related to the sides by the square root operation. The figure on the right shows how to construct line segments whose lengths are in the ratio of the square root of any positive integer. Each triangle has a side (labeled "1") that is the chosen unit for measurement. In each right triangle, Pythagoras's theorem establishes the length of the hypotenuse in terms of this unit. If a hypotenuse is related to the unit by the square root of a positive integer that is
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