Origin in the convex hull of unit-circle points
= Origin in the convex hull of unit-circle points
The convex hull of finitely many unit-circle points contains zero exactly when the points do not lie in any open semicircle, equivalently when their shortest containing arc has length at least $\pi$.