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 angle vertex to the midpoint of the hypotenuse. Also, the center of the circle that circumscribes a right triangle is the midpoint of the hypotenuse and its radius is one half the length of the hypotenuse. The following formulas hold for the medians of a right triangle: The median on the hypotenuse of a right triangle divides the triangle into two isosceles triangles, because the median equals one-half the hypotenuse. The medians "m" and "m" from the legs satisfy In a right triangle, the Euler line contains the median on the hypotenuse—that is, it goes through both the right-angled vertex