避免正交基的球面集合

在 n 維空間的單位球面上，任何一個子集如果其密度超過一個絕對常數 c0 (c0 小於 1)，則該子集必定包含 n 個互相正交的向量。