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 givesBoth factors are negative integers, so their product is or . The full list is thereforeThe nonproportional pairs correspond respectively to angles , and ; reversing the order of the roots reverses the unequal pairs.
Articles by others on the same topic
There are currently no matching articles.