Saccheri–Legendre theorem implies the characteristic postulate of hyperbolic geometry. Max Dehn gave an example of a non-Legendrian geometry where the angle sum of a triangle is greater than 180 degrees, and a semi-Euclidean geometry where there is a triangle with an angle sum of 180 degrees but Euclid's parallel postulate fails. In Dehn's geometries the Archimedean axiom does not hold. Saccheri–Legendre theorem In absolute geometry, the Saccheri–Legendre theorem states that the sum of the angles in a triangle is at most 180°. Absolute geometry is the geometry obtained from assuming all the axioms that lead to Euclidean geometry with the exception of
Triangle inequality is an exterior angle of a right triangle and therefore larger than , meaning the other base angle of the isosceles triangle also is greater than and their sum exceeds in violation of the triangle postulate). This theorem establishing inequalities is sharpened by Pythagoras' theorem to the equality that the square of the length of the hypotenuse equals the sum of the squares of the other two sides. Consider a triangle whose sides are in an arithmetic progression and let the sides be , , . Then the triangle inequality requires that The first of these quadratic inequalities requires to