Past exam of the mathematics course of the University of Cambridge / 2006 / iii / Paper 1 / 6 / e / Solution

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 $(\alpha +\beta ,\gamma )=-1$. 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 $\delta =\sum c_i{\alpha }_i$, some $(\delta ,{\alpha }_i)>0$, since $(\delta ,\delta )=\sum c_i(\delta ,{\alpha }_i)>0$. Reflection subtracts a positive integer multiple of ${\alpha }_i$, 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 $a\alpha +b\beta +c\gamma$, with nonnegative integers $a,b,c$. Its squared length condition isThus $a,c\in \{0,1\}$. For $(a,c)=(0,0)$ the equation gives $b=1$; for $(1,0)$ or $(0,1)$ it gives $b=0$ or $1$; for $(1,1)$ it gives $b=1$. These are exactly the six coefficient triples in the displayed list. This proves completeness from the axioms, not merely from recognizing the Dynkin diagram.