Root system inner product is the Killing form. The cosine of the angle between two roots is constrained to be a half-integral multiple of a square root of an integer. This is because formula_32 and formula_33 are both integers, by assumption, and formula_34 Since formula_35, the only possible values for formula_36 are formula_37 and formula_38, corresponding to angles of 90°, 60° or 120°, 45° or 135°, 30° or 150°, and 0° or 180°. Condition 2 says that no scalar multiples of "α" other than 1 and -1 can be roots, so 0 or 180°, which would correspond to 2"α" or −2"α", are
Triangle group is Euclidean if the angle sum is exactly π, spherical if it exceeds π and hyperbolic if it is strictly smaller than π. Moreover, any two triangles with the given angles are congruent. Each triangle group determines a tiling, which is conventionally colored in two colors, so that any two adjacent tiles have opposite colors. In terms of the numbers "l", "m", "n" > 1 there are the following possibilities. formula_4 The triangle group is the infinite symmetry group of a certain tessellation (or tiling) of the Euclidean plane by triangles whose angles add up to π (or 180°). Up