Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2016/iii/paper-112/2/iv/solution
Past exam of the mathematics course of the University of Cambridge 2016 iii Paper 112 2 iv Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-06
Choose a maximal subset whose distinct points have Euclidean distance greater than one. The volumetric bound for Euclidean metric nets makes the construction finite: the open Euclidean balls of radius about the points of are disjoint and all lie in , soMaximality means that is a metric net of radius one on the unit sphere. Thus every has some with . Since both are unit vectors,Now intersect the corresponding closed half-spaces:The Cauchy-Schwarz inequality shows that . Conversely, write any nonzero as and choose as above. Then , so . Hence , which also proves boundedness. This convex polytope has at most facets, since redundant inequalities can only reduce their number. It meets the required inclusions with .
New to topics? Read the docs here!