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
Right triangle legs can be expressed in terms of the inradius and the other leg as A triangle "ABC" with sides formula_13, semiperimeter "s", area "T", altitude "h" opposite the longest side, circumradius "R", inradius "r", exradii "r", "r", "r" (tangent to "a", "b", "c" respectively), and medians "m", "m", "m" is a right triangle if and only if any one of the statements in the following six categories is true. All of them are of course also properties of a right triangle, since characterizations are equivalences. The trigonometric functions for acute angles can be defined as ratios of the sides of