证明：在N维欧式空间中,两两互成钝角的非零向量不多于N+1个

证明的方法很简单，在讲证明之前，我们先来看一道题目：

也许不知道这个定理的人，会选择“5个”，这很正常。

答案解析：先取定一单位向量，则与它成钝角的向量只能落在某半空间中；从该半空间中取定第二个向量。则与这两个向量都成钝角的向量只能落在某（至多）四分之一空间中。而从这四分之一空间中至多再能取两个互成钝角的向量。

如果觉得难理解的话：可以把空间想成八个块，上面四个象限，下面四个象限，这样稍微比较好想象。

如果我们需要证明为什么是4个，而不是5个的话，这里需要用到一些线性代数的知识。

下面直接来证明题目的定理：在N维欧式空间中,两两互成钝角的非零向量不多于N+1个。

我们知道，在，最多有n个线性无关的向量。对于  这n+1个两两互成钝角的向量，存在不全为零的系数 使得：   。

假设：存在一个向量，也跟上面的n+1个向量互成钝角。

那么对于上式，左右两边分别点乘，则得：

向量互成钝角→点积为负，则均为负数。

那么这数可分为3类：正的，负的，零。

假设为正的，为负的，为零。为零的系数我们不管的，我们把正的放在左边，负的放在右边，则得：

那么：

因为为负数，而也为负数，所以，这很明显是不符合常理的。

那么假设不成立，题目所示命题从而得证。