In geometry, Radon's theorem on convex sets, published by Johann Radon in 1921, states that:Any set of d + 2 points in Rd can be partitioned into two sets whose convex hulls intersect. A point in the intersection of these convex hulls is called a Radon point of the set.For example, in the case d = 2, any set of four points in the Euclidean plane can be partitioned in one of two ways. It may form a triple and a singleton, where the convex hull of the triple (a triangle) contains the singleton; alternatively, it may form two pairs of points that form the endpoints of two intersecting line segments.
Proof and construction Consider any set X = { x 1 , x 2 , … , x d + 2 } ⊂ R d {\displaystyle X=\{x_{1},x_{2},\dots ,x_{d+2}\}\subset \mathbf {R} ^{d}} of d + 2 points in d-dimensional space. Then there exists a set of multipliers a1, ..., ad + 2, not all of which are zero, solving the system of linear equations
∑ i = 1 d + 2 a i x i = 0 , ∑ i = 1 d + 2 a i = 0 , {\displaystyle \sum _{i=1}^{d+2}a_{i}x_{i}=0,\quad \sum _{i=1}^{d+2}a_{i}=0,}
because there are d + 2 unknowns (the multipliers) but only d + 1 equations that they must satisfy (one for each coordinate of the points, together with a final equation requiring the sum of the multipliers to be zero). Fix some particular nonzero solution a1, ..., ad + 2. Let I ⊆ X {\displaystyle I\subseteq X} be the set of points with positive multipliers, and let J = X ∖ I {\displaystyle J=X\setminus I} be the set of points with multipliers that are negative or zero. Then I {\displaystyle I} and J {\displaystyle J} form the required partition of the points into two subsets with intersecting convex hulls. The convex hulls of I {\displaystyle I} and J {\displaystyle J} must intersect, because they both contain the point
p = ∑ x i ∈ I a i A x i = ∑ x j ∈ J − a j A x j , {\displaystyle p=\sum _{x_{i}\in I}{\frac {a_{i}}{A}}x_{i}=\sum _{x_{j}\in J}{\frac {-a_{j}}{A}}x_{j},}
where
A = ∑ x i ∈ I a i = − ∑ x j ∈ J a j . {\displaystyle A=\sum _{x_{i}\in I}a_{i}=-\sum _{x_{j}\in J}a_{j}.}
The left hand side of the formula for p {\displaystyle p} expresses this point as a convex combination of the points in I {\displaystyle I} , and the right hand side expresses it as a convex combination of the points in J {\displaystyle J} . Therefore, p {\displaystyle p} belongs to both convex hulls, completing the proof. This proof method allows for the efficient construction of a Radon point, in an amount of time that is polynomial in the dimension, by using Gaussian elimination or other efficient algorithms to solve the system of equations for the multipliers.
… excerpt ends here. Continue reading the full article.


