Shape of the universe at least two angles equal 90°, which makes the sum of the 3 angles greater than 180°. An example of a negatively curved surface would be the shape of a saddle or mountain pass. A triangle drawn on a saddle surface will have the sum of the angles adding up to less than 180°. General relativity explains that mass and energy bend the curvature of spacetime and is used to determine what curvature the universe has by using a value called the density parameter, represented with Omega (). The density parameter is the average density of the universe divided by
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