Solution

ID: past-exam-of-the-options-ii-course-of-the-university-of-oxford/2008-printed-variant/p/p3/e/solution

The residual is orthogonal to , so Pythagoras gives
Taking nonnegative square roots proves .

New to topics? Read the docs here!