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
Baudhayana sutras to a square. In either case, it states that the square of the hypotenuse equals the sum of the squares of the sides. If restricted to right-angled isosceles triangles, however, it would constitute a less general claim, but the text seems to be quite open to unequal sides. If this refers to a rectangle, it is the earliest recorded statement of the Pythagorean theorem. Baudhāyana also provides a non-axiomatic demonstration using a rope measure of the reduced form of the Pythagorean theorem for an isosceles right triangle: Sequences of Pythagorean triples used in cryptography as random sequences and for the