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 and the other is odd. Therefore, both formula_39 and formula_40 are even, one of which is divisible by 4. From these two numbers Fermat derives two more numbers formula_41 and formula_42, one of which is even by the previous sentence. Because formula_43 is a square, formula_44 and formula_45 are the legs of another primitive Pythagorean triangle whose area formula_46. Since formula_27 is itself a square and since formula_48 is even, formula_49 is a square. Thus, any Pythagorean triangle with square area leads to a smaller Pythagorean triangle with square area, completing the proof. Fermat's right triangle theorem Fermat's right triangle