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
Special right triangle : , which follows immediately from the Pythagorean theorem. Of all right triangles, the 45°–45°–90° degree triangle has the smallest ratio of the hypotenuse to the sum of the legs, namely . Of all right triangles, the 45°–45°–90° degree triangle has the greatest ratio of the altitude from the hypotenuse to the sum of the legs, namely . Triangles with these angles are the only possible right triangles that are also isosceles triangles in Euclidean geometry. However, in spherical geometry and hyperbolic geometry, there are infinitely many different shapes of right isosceles triangles. This is a triangle whose three angles