Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2005/ib/paper-2/13b/i/solution

Choose and put . The intersection is nonempty, closed and bounded in , hence compact. The continuous distance function attains a minimum at some . For its value is strictly greater than , while the value at is at most that at , namely . Thus this minimum on is a minimum on all of :
The set itself need not be bounded; only the compact portion needed to find the nearest point is bounded.

New to topics? Read the docs here!