Space (mathematics) projective geometry nor defined from the notions mentioned there. The question "what is the sum of the three angles of a triangle" is meaningful in Euclidean geometry but meaningless in projective geometry. A different situation appeared in the 19th century: in some geometries the sum of the three angles of a triangle is well-defined but different from the classical value (180 degrees). Non-Euclidean hyperbolic geometry, introduced by Nikolai Lobachevsky in 1829 and János Bolyai in 1832 (and Carl Friedrich Gauss in 1816, unpublished) stated that the sum depends on the triangle and is always less than 180 degrees. Eugenio Beltrami
Triangle inequality angles satisfy: Therefore, and so, in particular, That means side opposite angle is shorter than side opposite the larger angle . But . Hence: A similar construction shows , establishing the theorem. An alternative proof (also based upon the triangle postulate) proceeds by considering three positions for point : (i) as depicted (which is to be proven), or (ii) coincident with (which would mean the isosceles triangle had two right angles as base angles plus the vertex angle , which would violate the triangle postulate), or lastly, (iii) interior to the right triangle between points and (in which case angle