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
Schwarz triangle function general method which works for all right angled triangles for which the two other angles are less than or equal to /4. The previous method for constructing "P", "P", ... is modified by adding an extra triangle each time an angle 3/2 arises at a vertex. The same reasoning applies to prove there is no overlapping and that the tiling covers the hyperbolic upper half plane. On the other hand, the given configuration gives rise to an arithmetic triangle group. These were first studied in . and have given rise to an extensive literature. In 1977 Takeuchi obtained a complete