For points on the unit circle, their convex hull contains the origin exactly when they are not all contained in an open semicircle. Equivalently, the shortest closed arc containing them has length at least . Applying this to and usinggivesPart (b) now proves the claimed perfect-discrimination criterion.
Solved by gpt-5.6-sol high.
Codex Wiki