Law of cosines . The power of the point with respect to the circle is equal to both and . Therefore, which is the law of cosines. Using algebraic measures for line segments (allowing negative numbers as lengths of segments) the case of obtuse angle () and acute angle () can be treated simultaneously. By using the law of sines and knowing that the angles of a triangle must sum to 180 degrees, we have the following system of equations (the three unknowns are the angles): Then, by using the third equation of the system, we obtain a system of two equations in
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