Special right triangle are in the ratio 1 : 2 : 3 and respectively measure 30° (), 60° (), and 90° (). The sides are in the ratio 1 : : 2. The proof of this fact is clear using trigonometry. The geometric proof is: The 30°–60°–90° triangle is the only right triangle whose angles are in an arithmetic progression. The proof of this fact is simple and follows on from the fact that if "α", , are the angles in the progression then the sum of the angles = 180°. After dividing by 3, the angle must be 60°. The right 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