Obtuse nonopposite roots have a root sum

ID: obtuse-nonopposite-roots-have-a-root-sum

For nonproportional roots in a reduced root system which is a crystallographic root system, the negative Cartan integers and satisfy . At least one of equals , so reflecting one root in the other produces their sum. The exclusion of opposite roots is essential: their inner product is negative but their sum is zero, which is not a root.

New to topics? Read the docs here!