Fermat's right triangle theorem is a non-existence proof in number theory, published in 1670 among the works of Pierre de Fermat, soon after his death. It is the only complete proof given by Fermat. It has several equivalent formulations, one of which was stated (but not proved) in 1225 by Fibonacci. In its geometric forms, it states: A right triangle in the Euclidean plane for which all three side lengths are rational numbers cannot have an area that is the square of a rational number. The area of a rational-sided right triangle is called a congruent number, so no congruent number can be square. A right triangle and a square with equal areas cannot have all sides commensurate with each other. There do not exist two integer-sided right triangles in which the two legs of one triangle are the leg and hypotenuse of the other triangle. More abstractly, as a result about Diophantine equations (integer or rational-number solutions to polynomial equations), it is equivalent to the statements that: If three square numbers form an arithmetic progression, then the gap between consecutive numbers in the progression (called a congruum) cannot itself be square. The only rational points on the elliptic curve are the three trivial points with and . The quartic equation has no nonzero integer solution. An immediate consequence of the last of these formulations is that Fermat's Last Theorem is true in the special case that its exponent is 4. Formulation Squares in arithmetic progression In 1225, Emperor Frederick II challenged the mathematician Fibonacci to take part in a mathematical contest against several other mathematicians, with three problems set by his court philosopher John of Palermo. The first of these problems asked for three rational numbers whose squares were equally spaced five units apart, solved by Fibonacci with the three numbers , , and . In The Book of Squares, published later the same year by Fibonacci, he solved the more general problem of finding triples of square numbers that are equally spaced from each other, forming an arithmetic progression. Fibonacci called the gap between these numbers a congruum. One way of describing Fibonacci's solution is that the numbers to be squared are the difference of legs, hypotenuse, and sum of legs of a Pythagorean triangle, and that the congruum is four times the area of the same triangle. Fibonacci observed that it is impossible for a congruum to