Elliptic geometry geometry is that the sum of the interior angles of a triangle is greater than 180 degrees. In the spherical model, for example, a triangle can be constructed with vertices at the locations where the three positive Cartesian coordinate axes intersect the sphere, and all three of its internal angles are 90 degrees, summing to 270 degrees. For sufficiently small triangles, the excess over 180 degrees can be made arbitrarily small. The Pythagorean theorem fails in elliptic geometry. In the 90°–90°–90° triangle described above, all three sides have the same length, and consequently do not satisfy formula_1. The Pythagorean result
Schwarz triangle function general method which works for all right angled triangles for which the two other angles are less than or equal to /4. The previous method for constructing "P", "P", ... is modified by adding an extra triangle each time an angle 3/2 arises at a vertex. The same reasoning applies to prove there is no overlapping and that the tiling covers the hyperbolic upper half plane. On the other hand, the given configuration gives rise to an arithmetic triangle group. These were first studied in . and have given rise to an extensive literature. In 1977 Takeuchi obtained a complete