Coxeter decompositions of hyperbolic polygons the sum of the angles of a hyperbolic triangle is less than 180 degrees. Coxeter decompositions are named after Harold Scott MacDonald Coxeter, an accomplished 20th century geometer. He introduced the Coxeter group, an abstract group generated by reflections. These groups have many uses, including producing the rotations of Platonic solids and tessellating the plane. Given a polygon "P", a group "G" can be generated by reflecting "P" around its sides. If the angles of "P" are /"k" for natural numbers "k", then "G" will be discrete. A Coxeter decomposition of a polygon is a decomposition into a finite number
Skinny triangle based on the small-angle approximations; and, when formula_5 is in radians. The proof of the skinny triangle solution follows from the small-angle approximation by applying the law of sines. Again referring to figure 1; The term formula_7 represents the base angle of the triangle and is this value because the sum of the internal angles of any triangle (in this case the two base angles plus "θ") are equal to "π". Applying the small angle approximations to the law of sines above results in; the desired result. This result is equivalent to assuming that the length of the base of