First Applications of Helly's Theorem
For the reference's sake, Helly's theorem tells us that, given a finite family C of convex sets in Rn such that, for
Let's have a few simple applications of the theorem.
Statement 1
Given s (s > 0) points in the plane such that every three of them are contained in a disk of radius 1. Prove that all s points are contained in a disk of radius 1.
Proof
Consider the set C of unit disks with centers at the points from a given set. Since every three of the given points are contained in a unit disk, any three disks from C have a nonempty intersection. By Helly's Theorem, all the disks have a nonempty intersection. Let q be a point from the intersection. Then q belongs to every disk from C and is, therefore, at a distance less than 1 from there centers. In other words, all the centers of the disks from C lie in a disk of radius 1 centered at q.
Statement 2 (H. Jung's Theorem)
Let M be a finite set of points in the plane, with all pairwise distance between them not exceeding 1. Then M is contained in a disk of radius 1/√3.
Observe that in the statement and the proof 1 could be replaced with an arbitrary positive constant.
Proof
Every three points A, B, C, with pairwise distances not exceeding 1, are contained in a circle circumscribing an equilateral triangle of side length 1. Indeed, Let AB be the longest side of ΔABC, implying that ∠C is the largest. It then follows that the circumcircle of an equilateral ΔABC', where C' is on the same side of AB as C, contains C is well.
Now, a circumradius of an equilateral with side 1 equals
For the infinite families of sets Helly's theorem also holds, with an extra requirement.
Statement 3
(Helly's Theorem for an Infinite Family of Sets)
Let Fk, k = 1, 2, ..., be a sequence of closed convex figures in the plane of which at least one is compact. Then if any three of the figures have nonempty intersection, the intersection of the whole family is nonempty.
Proof
By Helly's theorem, the intersection of a finite number of Fk's is nonempty. Assume without loss of generality that F1 is compact. Let
Remark
Without there being a compact set, the theorem fails: let
Fk = {(x, y): x ≥ k}. Being a nested family, any intersection of a finite number of sets is nonempty, whereas the whole intersection is.Without all sets being closed, the theorem fails: let Fk be open punctured (i.e., with the center removed) disks of radius 1/k centered at the origin. The disks have an empty intersection.
References
- H. Rademacher and O. Toeplitz, The Enjoyment of Mathematics, Dover Publications, 1990.
- A. Soifer, Geometric Etudes in Combinatorial Mathematics, Springer, 2010 (2nd, expanded edition)
- Yaglom, I. M.and V. G. Boltyanski, Convex Figures, Holt, Rinehart and Winstion, 1961

Convex Sets
- Helly's Theorem
- First Applications of Helly's Theorem
- Crossed-Lines Construction of Shapes of Constant Width
- Shapes of constant width (An Interactive Gizmo)
- Star Construction of Shapes of Constant Width
- Convex Polygon Is the Intersection of Half Planes
- Minkowski's addition of convex shapes
- Perimeters of Convex Polygons, One within the Other
- The Theorem of Barbier
- A. Soifer's Book, P. Erdos' Conjecture, B. Grunbaum's Counterexample
- Reuleaux's Triangle, Extended

|Contact| |Front page| |Contents| |Geometry|
Copyright © 1996-2018 Alexander Bogomolny
72265127