Sum of angles of a triangle answer was proven to be positive: in other spaces (geometries) this sum can be greater or lesser, but it then must depend on the triangle. Its difference from 180° is a case of "angular defect" and serves as an important distinction for geometric systems. In Euclidean geometry, the triangle postulate states that the sum of the angles of a triangle is two right angles. This postulate is equivalent to the parallel postulate. In the presence of the other axioms of Euclidean geometry, the following statements are equivalent: The sum of the angles of a hyperbolic triangle is less than 180°.
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.