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
Triangle the North Pole is a line of longitude; so there are right angles at the two points on the equator. Moreover, the angle at the North Pole is also 90° because the other two vertices differ by 90° of longitude. So the sum of the angles in this triangle is . The triangle encloses 1/4 of the northern hemisphere (90°/360° as viewed from the North Pole) and therefore 1/8 of the Earth's surface, so in the formula ; thus the formula correctly gives the sum of the triangle's angles as 270°. From the above angle sum formula we can also