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
Euclidean geometry equal (SAS), or two angles and a side equal (ASA) (Book I, propositions 4, 8, and 26). Triangles with three equal angles (AAA) are similar, but not necessarily congruent. Also, triangles with two equal sides and an adjacent angle are not necessarily equal or congruent. The sum of the angles of a triangle is equal to a straight angle (180 degrees). This causes an equilateral triangle to have three interior angles of 60 degrees. Also, it causes every triangle to have at least two acute angles and up to one obtuse or right angle. The celebrated Pythagorean theorem (book I,