Sum of angles of a triangle The relation between angular defect and the triangle's area was first proven by Johann Heinrich Lambert. One can easily see how hyperbolic geometry breaks Playfair's axiom, Proclus' axiom (the parallelism, defined as non-intersection, is intransitive in an hyperbolic plane), the equidistance postulate (the points on one side of, and equidistant from, a given line do not form a line), and Pythagoras' theorem. A circle cannot have arbitrarily small curvature, so the three points property also fails. The sum of the angles can be arbitrarily small (but positive). For an ideal triangle, a generalization of hyperbolic triangles, this sum is equal
Fermat's right triangle theorem a congruent number. Equivalently, it is impossible for a square (the geometric shape) and a right triangle to have both equal areas and all sides commensurate with each other. Yet another equivalent form of Fermat's theorem involves the elliptic curve consisting of the points whose Cartesian coordinates formula_18 satisfy the equation This equation has the obvious pairs of solutions (0,0), (1,0), and (−1,0). Fermat's theorem is equivalent to the statement that these are the only points on the curve for which both "x" and "y" are rational. During his lifetime, Fermat challenged several other mathematicians to prove the non-existence of