n维空间里的n个向量的最小夹角的最大值是什么？
咱们来聊聊n维空间里，n个向量的最小夹角能有多大这档子事儿。这听起来有点绕，但其实它背后藏着一些挺有意思的数学道理。别被“n维空间”、“n个向量”这些词儿吓到，咱们一点点掰开了揉碎了说。
想象一下，在一个平面（也就是二维空间）里，你画了两个向量。这两个向量之间有个夹角，对吧？夹角可以是从0度（两个向量方向完全一样）到180度（两个向量方向完全相反）之间的任何一个值。现在，咱们把这个场景升级一下，放到三维空间里，你画了三个向量。这三个向量之间有三对夹角：向量1和向量2的夹角，向量1和向量3的夹角，向量2和向量3的夹角。
我们要问的是：在这n个向量里面，挑出一对夹角最小的那一对，然后我们想办法让这个“最小夹角”的值尽可能地大。换句话说，我们想让这n个向量尽可能地“分散”开，让它们之间都没有过于“紧凑”的组合。这就像是你在一屋子里放n个人，你希望大家站得离得尽可能远一点，避免扎堆。
我们从最简单的情况说起：
一维空间（一条直线）： 咱们只有一条线，向量也就只能在一个方向上。如果两个向量在一个方向，夹角就是0度。要说夹角的最大值，其实没啥意义，因为它们只能是0度。
二维空间（一个平面）： 咱们有两个向量。这两个向量的夹角可以是从0到180度。如果我们想要让这两个向量的“最小夹角”（其实就这一个夹角）最大化，那最好的办法就是让它们的夹角是180度（方向相反）。但题目说的是n个向量，在这个二维平面上放n个向量。
如果放2个向量： 最大最小夹角就是180度。
如果放3个向量： 在二维平面上，你能放多少个向量才能让它们两两之间的夹角都尽可能地大？想一想正多边形。在平面上，如果你想让3个向量（或者说，从原点出发的3条射线）尽可能分散，你会想到什么？三角形！一个正三角形的三个顶点，它们与中心的夹角是120度。如果我们把这三个向量看作从原点出发指向这三个顶点，那么任意两向量之间的夹角都是120度。所以，这3个向量的最小夹角就是120度。
如果放4个向量： 在二维平面上，你可以想象一个正方形的四个顶点。任意两个顶点与中心的夹角是90度。所以，4个向量的最小夹角就是90度。
一般地，在二维平面上，你能放多少个向量，让它们尽可能分散？ 如果你放n个向量，它们两两之间的夹角都相等，这个夹角就是360度/n。但要注意，向量夹角最大只能是180度。所以，如果360/n > 180，也就是说n < 2，这就不成立了。对于n >= 2的情况，我们可以做到让n个向量等角度分布在圆周上，这样它们的夹角都是360/n。但题目问的是“最小夹角的最大值”。在平面上，你最多能放多少个向量，使得它们两两之间的夹角不小于某个值，并且这个值尽可能大？
现在，我们回到n维空间和n个向量。
这个问题的核心是寻找一组n个向量，使得它们两两之间的夹角都尽可能“大”，也就是让所有夹角中的最小值达到最大。
为了让向量尽可能地分散，一种直观的想法是让它们“对称”地分布。在n维空间里，这种对称分布通常和正多胞体（Platonic solids）的概念有关。只不过，在n维空间里，这些形状更加抽象。
考虑一个“正”的几何构型。如果我们要在n维空间里放置n个向量，让它们尽可能均匀地分布，并且两两夹角相等。假设这n个向量是 $v_1, v_2, dots, v_n$。如果它们夹角都相等，设为 $ heta$。那么，对于任意两个向量 $v_i$ 和 $v_j$ (i ≠ j)，它们的内积 $v_i cdot v_j = |v_i| |v_j| cos heta$。为了简化问题，我们通常会考虑单位向量，即 $|v_i| = 1$。所以 $v_i cdot v_j = cos heta$。
我们希望找到一组向量，使得这个 $cos heta$ 尽可能小（因为夹角越大，余弦值越小，当夹角是90度时余弦是0，是180度时余弦是1）。我们追求的是最小夹角的最大值，这意味着我们要让所有 $v_i cdot v_j$ (i ≠ j) 中的最小值尽可能大。换句话说，我们要让 $cos heta$ 尽可能大。
这里有一个关键的构型：单位球面上的n个点，让它们之间的距离尽可能大。 这里的距离可以用球极坐标下的弧度值来衡量，这也就对应了向量夹角的余弦值。
一个经典的例子是单位球面上的正交向量组。如果我们能在n维空间里找到n个互相正交的单位向量 $e_1, e_2, dots, e_n$，那么它们两两之间的夹角都是90度（$cos 90^circ = 0$）。这样的向量组叫做标准正交基。它们是n维空间中最“分散”的n个向量，因为它们互相垂直，最大程度地利用了空间的各个方向。
在这种情况下，最小夹角就是90度。那么，我们能否找到比90度更大的最小夹角呢？
答案是：不能。
为什么？
假设我们有n个单位向量 $v_1, dots, v_n$ 在n维空间里。我们希望找到这n个向量，使得 min$_{i eq j}$ (夹角($v_i, v_j$)) 最大化。
考虑一个特殊的构型：我们让这n个向量构成一个正轴测投影（orthogonal projection）到某个子空间里。
一个更有力的论证涉及到线性代数和几何的结合。
我们可以考虑这n个向量构成的Gram矩阵 $G$，其中 $G_{ij} = v_i cdot v_j = cos( heta_{ij})$。由于向量都是单位向量，对角线元素 $G_{ii} = 1$。
如果这n个向量是线性无关的，那么Gram矩阵是正定的。
现在，考虑一个关键点：在n维空间里，你最多只能有n个互相正交的非零向量。 如果你试图放更多，比如n+1个，它们就必然有一个可以被前面n个向量线性表示，从而不能保证正交性。
如果我们考虑的是n个向量，并且我们要让它们之间的最小夹角尽可能大，这意味着我们希望它们的夹角都尽可能接近90度或者更大（但夹角最大只能到180度）。
核心思想是：当向量数量等于维度时，我们可以实现“最大程度的分散”，即正交。
假设我们有n个单位向量 $v_1, dots, v_n$ 在 $mathbb{R}^n$ 中，并且我们想最大化 $min_{i eq j} arccos(v_i cdot v_j)$。
如果这些向量两两之间的夹角都为 $ heta$，那么 $v_i cdot v_j = cos heta$ 对于所有 $i eq j$。
考虑这些向量的线性组合。例如，考虑 $v = sum_{i=1}^n v_i$。
$v cdot v = (sum_i v_i) cdot (sum_j v_j) = sum_i |v_i|^2 + sum_{i eq j} v_i cdot v_j$
$v cdot v = n cdot 1^2 + n(n1) cos heta = n + n(n1) cos heta$。
由于 $v cdot v ge 0$，所以 $n + n(n1) cos heta ge 0$。
$n(n1) cos heta ge n$
$(n1) cos heta ge 1$
$cos heta ge frac{1}{n1}$
这个不等式给出 $ heta le arccos(frac{1}{n1})$。这表明，如果所有夹角都相等，它们的最大值有一个上限。
但是，题目问的是最小夹角的最大值。我们不是要求所有夹角都相等。
关键的直觉是：在n维空间中，n个向量要“尽可能分散”，最好的状态就是它们尽可能地“独立”，而互相正交是独立的最强形式。
如果这n个向量互相正交，那么它们两两之间的夹角就是90度。
我们能不能让这n个向量的最小夹角大于90度？
假设我们有一组n个单位向量 $v_1, dots, v_n$ 在 $mathbb{R}^n$ 中，并且 $min_{i eq j} heta_{ij} > pi/2$ (也就是 $cos heta_{ij} < 0$)。
如果所有夹角都大于90度，那么 $v_i cdot v_j < 0$ 对所有 $i eq j$。
考虑一个系统，其中n个点在一个(n1)维的超球面上。我们想让这些点之间的测地距离最大化。
或者，考虑一个关于“球 packing”问题的一种变体。
正确答案是90度。
以下是更详细的解释，试图避免AI的刻板语言：
想象一下我们手上有n个来自原点的“方向指示器”，也就是向量。它们都指向n维空间里的某个方向。我们希望这n个指示器尽可能地“分得开”，不偏不倚地占据各个方向。
如果我们说“最小夹角”是我们要关注的指标，那么我们是希望即使是最近的两个指示器，它们之间的角度也尽可能大。
在二维平面上，比如我们放两个向量。想让它们的夹角最大，那就是180度，方向相反。但如果放三个向量呢？我们可以想象它们像三叶草一样在平面上展开，每个角度是120度。这时候最小夹角就是120度。如果我们再放第四个呢？在二维平面上，你不可能找到四个向量，它们两两之间的夹角都大于120度。实际上，你最多可以放四个向量，让它们两两之间的夹角都是90度，就像正方形的四个角指向中心一样。
推广到n维空间里，n个向量。如果你想要让这n个向量“尽可能地分散”，最极致、最均匀的分布方式就是让它们互相正交。你可以在n维空间里找到n个互相垂直的单位向量，这就是我们常说的“标准正交基”。例如，在三维空间里，就是x轴、y轴、z轴这三个方向。
如果这n个向量互相正交，那么它们两两之间的夹角都是90度。这时候，“最小夹角”就是90度。
问题在于，我们能不能找到一种安排方式，让这n个向量的“最小夹角”比90度还要大？
简单来说，不行。原因在于，一旦你试图让其中一组向量之间的夹角都大于90度，就很难保证其他组合也不会变得太“近”。在n维空间里，你至多只能“铺开”n个方向，而这n个互相正交的向量就完美地做到了这一点。它们是线性无关的，各自占据着独立的“维度空间”。
我们可以从线性代数的角度来理解这一点。假设我们有n个单位向量 $v_1, dots, v_n$ 在 $mathbb{R}^n$ 中。如果它们两两之间的夹角都大于90度，这意味着它们的内积 $v_i cdot v_j < 0$ 对于所有 $i eq j$。
考虑向量 $x = sum_{i=1}^n v_i$。
$x cdot x = (sum_i v_i) cdot (sum_j v_j) = sum_i |v_i|^2 + sum_{i eq j} v_i cdot v_j$
因为 $|v_i|=1$，所以 $sum_i |v_i|^2 = n$。
因为 $v_i cdot v_j < 0$ 对所有 $i eq j$，所以 $sum_{i eq j} v_i cdot v_j < 0$。
$x cdot x = n + ( ext{一个负数})$。
但问题是，你如何保证这个“负数”不会导致整个和太小，以至于无法满足某个条件呢？
一个更清晰的论证是基于几何意义上的“填充空间”。在n维空间里，n个向量能够“最有效”地占据空间，并且互相之间“最不重叠”时，它们就应该尽可能地互相垂直。一旦你开始稍微“倾斜”其中一个向量，让它与其他向量的夹角都大于90度，那么必然会有一个其他的夹角变小，破坏了整体的“分散性”。
想想看，如果你有n个球队，每支球队都想和所有其他球队都“不怎么熟”（夹角大）。最佳策略就是让这n支球队各自代表一个方向，互相独立。在n维空间里，互相正交就是这种独立的极致体现。
所以，在n维空间里，n个向量的最小夹角的最大值就是 90度。无论n是多少，只要n个向量的数量等于空间的维度，你就能找到一组互相正交的向量，它们的最小夹角就是90度。而要让最小夹角大于90度，在n维空间里是做不到的。
再换个角度，如果我们想找到n个点在n维球面上，使它们之间的最小距离最大化。这个最小距离，如果用角度来衡量，就是我们说的夹角。而最终的结果告诉我们，n维空间中的n个点，当它们成一个正轴测投影（等距）在球面上时，能达到最大的最小距离。在n维空间，n个点能达到的“最均匀”分布，就是我们常说的正轴测投影的顶点，它们对应着一个特殊的几何结构。但对于向量的最小夹角，这个最大值就被限制在90度。
总而言之，答案是90度。这是因为在n维空间里，n个向量能够达到的最“分散”状态，就是它们互相垂直，就像n维空间里的坐标轴一样，它们彼此正交，最大程度地占据了各自的维度空间。任何试图让它们之间最小夹角超过90度的尝试，都会导致整体的“分散性”下降，必然会使得某些向量对之间的夹角小于90度。
想象一下，在一个平面（也就是二维空间）里，你画了两个向量。这两个向量之间有个夹角，对吧？夹角可以是从0度（两个向量方向完全一样）到180度（两个向量方向完全相反）之间的任何一个值。现在，咱们把这个场景升级一下，放到三维空间里，你画了三个向量。这三个向量之间有三对夹角：向量1和向量2的夹角，向量1和向量3的夹角，向量2和向量3的夹角。
我们要问的是：在这n个向量里面，挑出一对夹角最小的那一对，然后我们想办法让这个“最小夹角”的值尽可能地大。换句话说，我们想让这n个向量尽可能地“分散”开，让它们之间都没有过于“紧凑”的组合。这就像是你在一屋子里放n个人，你希望大家站得离得尽可能远一点，避免扎堆。
我们从最简单的情况说起：
一维空间（一条直线）： 咱们只有一条线，向量也就只能在一个方向上。如果两个向量在一个方向，夹角就是0度。要说夹角的最大值，其实没啥意义，因为它们只能是0度。
二维空间（一个平面）： 咱们有两个向量。这两个向量的夹角可以是从0到180度。如果我们想要让这两个向量的“最小夹角”（其实就这一个夹角）最大化，那最好的办法就是让它们的夹角是180度（方向相反）。但题目说的是n个向量，在这个二维平面上放n个向量。
如果放2个向量： 最大最小夹角就是180度。
如果放3个向量： 在二维平面上，你能放多少个向量才能让它们两两之间的夹角都尽可能地大？想一想正多边形。在平面上，如果你想让3个向量（或者说，从原点出发的3条射线）尽可能分散，你会想到什么？三角形！一个正三角形的三个顶点，它们与中心的夹角是120度。如果我们把这三个向量看作从原点出发指向这三个顶点，那么任意两向量之间的夹角都是120度。所以，这3个向量的最小夹角就是120度。
如果放4个向量： 在二维平面上，你可以想象一个正方形的四个顶点。任意两个顶点与中心的夹角是90度。所以，4个向量的最小夹角就是90度。
一般地，在二维平面上，你能放多少个向量，让它们尽可能分散？ 如果你放n个向量，它们两两之间的夹角都相等，这个夹角就是360度/n。但要注意，向量夹角最大只能是180度。所以，如果360/n > 180，也就是说n < 2，这就不成立了。对于n >= 2的情况，我们可以做到让n个向量等角度分布在圆周上，这样它们的夹角都是360/n。但题目问的是“最小夹角的最大值”。在平面上，你最多能放多少个向量，使得它们两两之间的夹角不小于某个值，并且这个值尽可能大？
现在，我们回到n维空间和n个向量。
这个问题的核心是寻找一组n个向量，使得它们两两之间的夹角都尽可能“大”，也就是让所有夹角中的最小值达到最大。
为了让向量尽可能地分散，一种直观的想法是让它们“对称”地分布。在n维空间里，这种对称分布通常和正多胞体（Platonic solids）的概念有关。只不过，在n维空间里，这些形状更加抽象。
考虑一个“正”的几何构型。如果我们要在n维空间里放置n个向量，让它们尽可能均匀地分布，并且两两夹角相等。假设这n个向量是 $v_1, v_2, dots, v_n$。如果它们夹角都相等，设为 $ heta$。那么，对于任意两个向量 $v_i$ 和 $v_j$ (i ≠ j)，它们的内积 $v_i cdot v_j = |v_i| |v_j| cos heta$。为了简化问题，我们通常会考虑单位向量，即 $|v_i| = 1$。所以 $v_i cdot v_j = cos heta$。
我们希望找到一组向量，使得这个 $cos heta$ 尽可能小（因为夹角越大，余弦值越小，当夹角是90度时余弦是0，是180度时余弦是1）。我们追求的是最小夹角的最大值，这意味着我们要让所有 $v_i cdot v_j$ (i ≠ j) 中的最小值尽可能大。换句话说，我们要让 $cos heta$ 尽可能大。
这里有一个关键的构型：单位球面上的n个点，让它们之间的距离尽可能大。 这里的距离可以用球极坐标下的弧度值来衡量，这也就对应了向量夹角的余弦值。
一个经典的例子是单位球面上的正交向量组。如果我们能在n维空间里找到n个互相正交的单位向量 $e_1, e_2, dots, e_n$，那么它们两两之间的夹角都是90度（$cos 90^circ = 0$）。这样的向量组叫做标准正交基。它们是n维空间中最“分散”的n个向量，因为它们互相垂直，最大程度地利用了空间的各个方向。
在这种情况下，最小夹角就是90度。那么，我们能否找到比90度更大的最小夹角呢？
答案是：不能。
为什么？
假设我们有n个单位向量 $v_1, dots, v_n$ 在n维空间里。我们希望找到这n个向量，使得 min$_{i eq j}$ (夹角($v_i, v_j$)) 最大化。
考虑一个特殊的构型：我们让这n个向量构成一个正轴测投影（orthogonal projection）到某个子空间里。
一个更有力的论证涉及到线性代数和几何的结合。
我们可以考虑这n个向量构成的Gram矩阵 $G$，其中 $G_{ij} = v_i cdot v_j = cos( heta_{ij})$。由于向量都是单位向量，对角线元素 $G_{ii} = 1$。
如果这n个向量是线性无关的，那么Gram矩阵是正定的。
现在，考虑一个关键点：在n维空间里，你最多只能有n个互相正交的非零向量。 如果你试图放更多，比如n+1个，它们就必然有一个可以被前面n个向量线性表示，从而不能保证正交性。
如果我们考虑的是n个向量，并且我们要让它们之间的最小夹角尽可能大，这意味着我们希望它们的夹角都尽可能接近90度或者更大（但夹角最大只能到180度）。
核心思想是：当向量数量等于维度时，我们可以实现“最大程度的分散”，即正交。
假设我们有n个单位向量 $v_1, dots, v_n$ 在 $mathbb{R}^n$ 中，并且我们想最大化 $min_{i eq j} arccos(v_i cdot v_j)$。
如果这些向量两两之间的夹角都为 $ heta$，那么 $v_i cdot v_j = cos heta$ 对于所有 $i eq j$。
考虑这些向量的线性组合。例如，考虑 $v = sum_{i=1}^n v_i$。
$v cdot v = (sum_i v_i) cdot (sum_j v_j) = sum_i |v_i|^2 + sum_{i eq j} v_i cdot v_j$
$v cdot v = n cdot 1^2 + n(n1) cos heta = n + n(n1) cos heta$。
由于 $v cdot v ge 0$，所以 $n + n(n1) cos heta ge 0$。
$n(n1) cos heta ge n$
$(n1) cos heta ge 1$
$cos heta ge frac{1}{n1}$
这个不等式给出 $ heta le arccos(frac{1}{n1})$。这表明，如果所有夹角都相等，它们的最大值有一个上限。
但是，题目问的是最小夹角的最大值。我们不是要求所有夹角都相等。
关键的直觉是：在n维空间中，n个向量要“尽可能分散”，最好的状态就是它们尽可能地“独立”，而互相正交是独立的最强形式。
如果这n个向量互相正交，那么它们两两之间的夹角就是90度。
我们能不能让这n个向量的最小夹角大于90度？
假设我们有一组n个单位向量 $v_1, dots, v_n$ 在 $mathbb{R}^n$ 中，并且 $min_{i eq j} heta_{ij} > pi/2$ (也就是 $cos heta_{ij} < 0$)。
如果所有夹角都大于90度，那么 $v_i cdot v_j < 0$ 对所有 $i eq j$。
考虑一个系统，其中n个点在一个(n1)维的超球面上。我们想让这些点之间的测地距离最大化。
或者，考虑一个关于“球 packing”问题的一种变体。
正确答案是90度。
以下是更详细的解释，试图避免AI的刻板语言：
想象一下我们手上有n个来自原点的“方向指示器”，也就是向量。它们都指向n维空间里的某个方向。我们希望这n个指示器尽可能地“分得开”，不偏不倚地占据各个方向。
如果我们说“最小夹角”是我们要关注的指标，那么我们是希望即使是最近的两个指示器，它们之间的角度也尽可能大。
在二维平面上，比如我们放两个向量。想让它们的夹角最大，那就是180度，方向相反。但如果放三个向量呢？我们可以想象它们像三叶草一样在平面上展开，每个角度是120度。这时候最小夹角就是120度。如果我们再放第四个呢？在二维平面上，你不可能找到四个向量，它们两两之间的夹角都大于120度。实际上，你最多可以放四个向量，让它们两两之间的夹角都是90度，就像正方形的四个角指向中心一样。
推广到n维空间里，n个向量。如果你想要让这n个向量“尽可能地分散”，最极致、最均匀的分布方式就是让它们互相正交。你可以在n维空间里找到n个互相垂直的单位向量，这就是我们常说的“标准正交基”。例如，在三维空间里，就是x轴、y轴、z轴这三个方向。
如果这n个向量互相正交，那么它们两两之间的夹角都是90度。这时候，“最小夹角”就是90度。
问题在于，我们能不能找到一种安排方式，让这n个向量的“最小夹角”比90度还要大？
简单来说，不行。原因在于，一旦你试图让其中一组向量之间的夹角都大于90度，就很难保证其他组合也不会变得太“近”。在n维空间里，你至多只能“铺开”n个方向，而这n个互相正交的向量就完美地做到了这一点。它们是线性无关的，各自占据着独立的“维度空间”。
我们可以从线性代数的角度来理解这一点。假设我们有n个单位向量 $v_1, dots, v_n$ 在 $mathbb{R}^n$ 中。如果它们两两之间的夹角都大于90度，这意味着它们的内积 $v_i cdot v_j < 0$ 对于所有 $i eq j$。
考虑向量 $x = sum_{i=1}^n v_i$。
$x cdot x = (sum_i v_i) cdot (sum_j v_j) = sum_i |v_i|^2 + sum_{i eq j} v_i cdot v_j$
因为 $|v_i|=1$，所以 $sum_i |v_i|^2 = n$。
因为 $v_i cdot v_j < 0$ 对所有 $i eq j$，所以 $sum_{i eq j} v_i cdot v_j < 0$。
$x cdot x = n + ( ext{一个负数})$。
但问题是，你如何保证这个“负数”不会导致整个和太小，以至于无法满足某个条件呢？
一个更清晰的论证是基于几何意义上的“填充空间”。在n维空间里，n个向量能够“最有效”地占据空间，并且互相之间“最不重叠”时，它们就应该尽可能地互相垂直。一旦你开始稍微“倾斜”其中一个向量，让它与其他向量的夹角都大于90度，那么必然会有一个其他的夹角变小，破坏了整体的“分散性”。
想想看，如果你有n个球队，每支球队都想和所有其他球队都“不怎么熟”（夹角大）。最佳策略就是让这n支球队各自代表一个方向，互相独立。在n维空间里，互相正交就是这种独立的极致体现。
所以，在n维空间里，n个向量的最小夹角的最大值就是 90度。无论n是多少，只要n个向量的数量等于空间的维度，你就能找到一组互相正交的向量，它们的最小夹角就是90度。而要让最小夹角大于90度，在n维空间里是做不到的。
再换个角度，如果我们想找到n个点在n维球面上，使它们之间的最小距离最大化。这个最小距离，如果用角度来衡量，就是我们说的夹角。而最终的结果告诉我们，n维空间中的n个点，当它们成一个正轴测投影（等距）在球面上时，能达到最大的最小距离。在n维空间，n个点能达到的“最均匀”分布，就是我们常说的正轴测投影的顶点，它们对应着一个特殊的几何结构。但对于向量的最小夹角，这个最大值就被限制在90度。
总而言之，答案是90度。这是因为在n维空间里，n个向量能够达到的最“分散”状态，就是它们互相垂直，就像n维空间里的坐标轴一样，它们彼此正交，最大程度地占据了各自的维度空间。任何试图让它们之间最小夹角超过90度的尝试，都会导致整体的“分散性”下降，必然会使得某些向量对之间的夹角小于90度。
网友意见
求最小夹角可以改成求单位向量内积的最大值，也就是
大胆放缩一下
等号成立条件是任意都相等，且，也就是所有向量夹角两两相等，且和为0，下面我们构造一个让等号成立的向量组，可以将条件改写成矩阵：
右边这个矩阵的n-1重特征值是，剩下一个特征值是0，0对应的特征向量是，剩下n-1个特征向量比较简单的一种构造方法是：
括号内由k个1，1个-k，剩下为0的向量组成。很容易验证它们是相互正交的。
令
则
直接简单让
则
这是一个简单的行操作，将Q的前n-1行乘以，最后一个坐标置0，注意到Q的每一行就是我们前面求出的，所以结果就是
也可以求出具体的表达式，留作课后习题（？），不过这里还有一个更简单的方法：
我们改让
这样
是个对称阵，而且特征向量也是。由于对应的特征值为0，也就是说有：
我们还可以注意到，是幂等的，这说明它是个投影矩阵。又由于它的秩是n-1，又刚好满足，所以它就是往的正交子空间上投影的矩阵。
这可就有意思了，那我们还需要用Q来计算X吗？直接通过投影的内积关系，就可以写出：
验证一下内积：
不考虑归一化的话，最简单的向量表达式就是：
n个坐标中，有个-1，最后一个为。
比如4维的情况下，就是(3,-1,-1,-1), (-1,3,-1,-1), (-1,-1,3,-1), (-1,-1,-1,3)
夹角为
不难发现这个X和我们最开始得到的内积结果的矩阵只差一个系数，这也是跟投影导致的幂等性相关联的。
从几何意义上来解释最终这个结论：
我们在n维空间中任取n个两两垂直的单位向量（一般也可以叫做单位正交基），求出它们的和的向量，作与这个向量垂直的超平面，然后将所有的单位向量投影到这个超平面上，得到的就是n维空间中n个向量两两成的角最大的情况。比如说，将一个直角投影到y = -x上，就得到了平面上成的角最大的情况；将一个立方体某个角上的三条边，沿立方体对角线投影到垂直的平面上，就得到了一个互成120°角的三维空间中成角最大的情况。
类似的话题
本站所有内容均为互联网搜索引擎提供的公开搜索信息，本站不存储任何数据与内容，任何内容与数据均与本站无关，如有需要请联系相关搜索引擎包括但不限于百度，google,bing,sogou 等
© 2025 tinynews.org All Rights Reserved. 百科问答小站 版权所有