Foundations of geometry and therefore are valid theorems in absolute geometry. Proposition I.31 proves the existence of parallel lines (by construction). Also, the Saccheri–Legendre theorem, which states that the sum of the angles in a triangle is at most 180°, can be proved. The theorems of absolute geometry hold in hyperbolic geometry as well as in Euclidean geometry. Absolute geometry is inconsistent with elliptic geometry: in elliptic geometry there are no parallel lines at all, but in absolute geometry parallel lines do exist. Also, in elliptic geometry, the sum of the angles in any triangle is greater than 180°. Logically, the axioms do
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