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
Measurement of a Circle Measurement of a Circle Measurement of a Circle or Dimension of the Circle (Greek: , "Kuklou metrēsis") is a treatise that consists of three propositions by Archimedes, ca. 250 BCE. The treatise is only a fraction of what was a longer work. Proposition one states: The area of any circle is equal to a right-angled triangle in which one of the sides about the right angle is equal to the radius, and the other to the circumference, of the circle. Any circle with a circumference "c" and a radius "r" is equal in area with a right triangle with the