假设$\left\{x_1, \dots, x_n\right\} \subset \mathbb{R}^2$是一组平面上的$n$个点，其直径$\leq 1$，即$\|x_i - x_j\| \leq 1$对所有$1 \leq i,j \leq n$成立。我们证明，如果存在许多“对跖点”，即距离$\geq 1-\varepsilon$的一对点，则也存在许多“邻近点”，即距离$\leq \varepsilon$的一对点。更确切地说，我们证明了对于某个普适常数$c>0$， $$ \# \left\{(i,j): \|x_i - x_j\| \leq \varepsilon\right\} \geq \frac{c \cdot \varepsilon^{3/4}}{\left( \log \varepsilon^{-1} \right)^{1/4}}\cdot \# \left\{(i,j): \|x_i - x_j\| \geq 1- \varepsilon\right\}. $$ 当因子为$\varepsilon^2$时该不等式非常容易证明，而当因子为$\varepsilon$时则较为简单。最优的速率可能是$\varepsilon^{1/2}$，这由若干例子达到。

Suppose $\left\{x_1, \dots, x_n\right\} \subset \mathbb{R}^2$ is a set of $n$ points in the plane with diameter $\leq 1$, meaning $\|x_i - x_j\| \leq 1$ for all $1 \leq i,j \leq n$. We show that if there are many `antipodes', these are pairs of points of with distance $\geq 1-\varepsilon$, then there are many neighbors, these are pairs of points that are distance $\leq \varepsilon$. More precisely, we prove that for some universal $c>0$, $$ \# \left\{(i,j): \|x_i - x_j\| \leq \varepsilon\right\} \geq \frac{c \cdot \varepsilon^{3/4}}{\left( \log \varepsilon^{-1} \right)^{1/4}}\cdot \# \left\{(i,j): \|x_i - x_j\| \geq 1- \varepsilon\right\}.$$ The inequality is very easy too prove with factor $\varepsilon^2$ and easy with $\varepsilon$. The optimal rate might be $\varepsilon^{1/2}$ which is attained by several examples.