Equilateral pentagon of δ can be seen from the figure: Simplifying, δ is obtained as function of α and β: The remaining angles of the pentagon can be found geometrically: The remaining angles of the orange and blue triangles are readily found by noting that two angles of an isosceles triangle are equal while all three angles sum to 180°. Then formula_7 and the two remaining angles of the green triangle can be found from four equations stating that the sum of the angles of the pentagon is 540°, the sum of the angles of the green triangle is 180°, the angle
Triangle group of these relations and that Δ("l,m,n") is a discrete group of motions of the corresponding space. Thus a triangle group is a reflection group that admits a group presentation An abstract group with this presentation is a Coxeter group with three generators. Given any natural numbers "l", "m", "n" > 1 exactly one of the classical two-dimensional geometries (Euclidean, spherical, or hyperbolic) admits a triangle with the angles (π/l, π/m, π/n), and the space is tiled by reflections of the triangle. The sum of the angles of the triangle determines the type of the geometry by the Gauss–Bonnet theorem: it