Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2023/iii/paper-302/3/b/solution

Let be a positive root. If it is not simple, it is a sum of two positive roots. Repeating this decomposition terminates because the height with respect to a regular positive functional strictly decreases, and it writes
with at least one . Equivalently, one may repeatedly choose a simple root with and use the root string to replace by the root .
For uniqueness, the simple roots are linearly independent. Therefore two such expansions have identical coefficients. Here “positive integer coefficients” must allow zero coefficients: a simple root itself has coefficient one on its own basis vector and zero on the others.

New to topics? Read the docs here!