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
Hyperbolic triangle side with the corresponding letter) is strictly less than a straight angle. The difference between the measure of a straight angle and the sum of the measures of a triangle's angles is called the defect of the triangle. The area of a hyperbolic triangle is equal to its defect multiplied by the square of : This theorem, first proven by Johann Heinrich Lambert, is related to Girard's theorem in spherical geometry. In all the formulas stated below the sides , , and must be measured in absolute length, a unit so that the Gaussian curvature of the plane is −1.