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
Right triangle and "G" and hypotenuse "A", then and where formula_40 is the golden ratio formula_41 Since the sides of this right triangle are in geometric progression, this is the Kepler triangle. Thales' theorem states that if "A" is any point of the circle with diameter "BC" (except "B" or "C" themselves) "ABC" is a right triangle where "A" is the right angle. The converse states that if a right triangle is inscribed in a circle then the hypotenuse will be a diameter of the circle. A corollary is that the length of the hypotenuse is twice the distance from the right