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
Group of rational points on the unit circle Group of rational points on the unit circle In mathematics, the rational points on the unit circle are those points ("x", "y") such that both "x" and "y" are rational numbers ("fractions") and satisfy "x" + "y" = 1. The set of such points turns out to be closely related to primitive Pythagorean triples. Consider a primitive right triangle, that is, with integral side lengths "a", "b", "c", with "c" the hypotenuse, such that the sides have no common factor larger than 1. Then on the unit circle there exists the rational point ("a"/"c", "b"/"c"), which, in the complex plane,