In geometry, the hyperplane separation theorem is a theorem about disjoint convex sets in n-dimensional Euclidean space. There are several rather similar versions. In one version of the theorem, if both these sets are closed and at least one of them is compact, then there is a hyperplane in between them and even two parallel hyperplanes in between them separated by a gap. In another version, if bo
![Hyperplane separation theorem - Wikipedia](https://cdn-ak-scissors.b.st-hatena.com/image/square/cea4b96765d530ad40800601fb89e8e921183333/height=288;version=1;width=512/https%3A%2F%2Fupload.wikimedia.org%2Fwikipedia%2Fcommons%2F9%2F9b%2FSeparating_axis_theorem2008.png)