Jung's_theorem
Jung's theorem
Theorem relating the diameter of a point set to the minimum radius of an enclosing ball
In geometry, Jung's theorem is an inequality between the diameter of a set of points in any Euclidean space and the radius of the minimum enclosing ball of that set. It is named after Heinrich Jung, who first studied this inequality in 1901. Algorithms also exist to solve the smallest-circle problem explicitly.