If , then both Cartan integers are . This opposite-root case satisfies the printed inner-product hypothesis and must be included.
Otherwise reducedness makes the roots nonproportional. Writing the angle as , strict Cauchy-Schwarz inequality gives
Both factors are negative integers, so their product is or . The full list is therefore
The nonproportional pairs correspond respectively to angles , and ; reversing the order of the roots reverses the unequal pairs.

Articles by others on the same topic (0)

There are currently no matching articles.