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
Special right triangle : , which follows immediately from the Pythagorean theorem. Of all right triangles, the 45°–45°–90° degree triangle has the smallest ratio of the hypotenuse to the sum of the legs, namely . Of all right triangles, the 45°–45°–90° degree triangle has the greatest ratio of the altitude from the hypotenuse to the sum of the legs, namely . Triangles with these angles are the only possible right triangles that are also isosceles triangles in Euclidean geometry. However, in spherical geometry and hyperbolic geometry, there are infinitely many different shapes of right isosceles triangles. This is a triangle whose three angles