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
Acute and obtuse triangles according to This implies that the longest side in an obtuse triangle is the one opposite the obtuse-angled vertex. An acute triangle has three inscribed squares, each with one side coinciding with part of a side of the triangle and with the square's other two vertices on the remaining two sides of the triangle. (In a right triangle two of these are merged into the same square, so there are only two distinct inscribed squares.) However, an obtuse triangle has only one inscribed square, one of whose sides coincides with part of the longest side of the triangle. All triangles