Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2006/iii/paper-1/6/e/solution
Past exam of the mathematics course of the University of Cambridge 2006 iii Paper 1 6 e Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-14
The single bonds give equal simple-root lengths and inner products, after normalization,The positive roots of this A3 root system areThe first two sums are roots by the qualified obtuse-root lemma. The last is a root because . All have nonnegative simple-root coordinates, hence are positive.
To prove completeness, first note that every root is Weyl-conjugate to a simple root. For a nonsimple positive root , some , since . Reflection subtracts a positive integer multiple of , decreasing its integer height. The reflected root stays positive: it leaves the coefficients at all other simple roots unchanged, at least one of which is positive; a root has coordinates all of one sign. Repeating this height decrease reaches a simple root. Thus every root has squared length two in this connected single-bond system.
Write an arbitrary positive root as , with nonnegative integers . Its squared length condition isThus . For the equation gives ; for or it gives or ; for it gives . These are exactly the six coefficient triples in the displayed list. This proves completeness from the axioms, not merely from recognizing the Dynkin diagram.
New to topics? Read the docs here!