Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2017/iii/paper-102/4/ii/solution

Take an integer , so is a dominant integral weight. Apply the dilation to the Weyl denominator formula:
This is exactly the numerator of the Weyl character formula for . Divide by its denominator and use a finite geometric series in each root direction:
This character of a Weyl-vector multiple also gives by evaluating every formal exponential at one. This evaluation is safe in the final polynomial expression, without dividing by a zero denominator.

New to topics? Read the docs here!