Solution

ID: past-exam-of-the-year-1-of-the-computer-science-course-of-the-university-of-oxford/2019/discrete-mathematics-continuous-mathematics-and-probability-resit/4/d/solution

Let . The objective has the exact sum of squares decomposition
For every feasible point, , so this is at least . Equality requires simultaneously and . Substitution gives and . Both resulting points are feasible. Therefore the global minimum is , attained exactly at and . The lower bound and its equality conditions prove global attainment of the minimum, rather than merely identifying stationary points on the boundary.

New to topics? Read the docs here!