$\vec{x},\vec{y}\in\Bbb{R^4}$线性无关时，如何证存在非零正交向量$\vec{a}$？

嘿，这个问题其实可以通过把正交条件转化为线性方程组来解决，咱们一步步拆解清楚：

步骤1：将正交条件转化为齐次线性方程组 #

首先，咱们把向量用分量形式写出来：
设 $\vec{a}=(a_1,a_2,a_3,a_4)$，$\vec{x}=(x_1,x_2,x_3,x_4)$，$\vec{y}=(y_1,y_2,y_3,y_4)$。

根据正交的定义，$\vec{a} \cdot \vec{x}=0$ 和 $\vec{a} \cdot \vec{y}=0$ 可以展开成两个线性方程：

• x₁a₁ + x₂a₂ + x₃a₃ + x₄a₄ = 0
• y₁a₁ + y₂a₂ + y₃a₃ + y₄a₄ = 0

这是一个齐次线性方程组（右边都是0的方程组），未知数是 $\vec{a}$ 的四个分量 $a_1,a_2,a_3,a_4$，方程总数是2个。

步骤2：利用线性无关性确定系数矩阵的秩 #

这个方程组的系数矩阵 $A$ 是一个2行4列的矩阵，每行对应 $\vec{x}$ 和 $\vec{y}$ 的分量：

A = [
  [x₁, x₂, x₃, x₄],
  [y₁, y₂, y₃, y₄]
]

题目里说 $\vec{x}$ 和 $\vec{y}$ 线性无关，这意味着矩阵 $A$ 的两行是线性无关的（线性无关的向量作为矩阵的行，自然行向量组也线性无关）。因此，矩阵 $A$ 的秩（rank）等于2——秩的定义就是矩阵中线性无关行（或列）的最大数量。

步骤3：通过解空间维数定理推导非零解的存在性 #

对于n元齐次线性方程组，有一个核心结论：

解空间（所有满足方程组的向量构成的子空间）的维数 = 未知数个数 $n$ - 系数矩阵的秩 $\text{rank}(A)$

这里未知数个数 $n=4$，$\text{rank}(A)=2$，代入公式可得：
$\text{dim}(解空间) = 4 - 2 = 2$

维数为2的子空间必然包含非零向量（毕竟零向量只是子空间的一个元素，维数≥1就意味着有无数个非零向量）。也就是说，存在非零的 $\vec{a}$ 满足那两个正交条件，咱们要证明的结论就成立了。

内容的提问来源于stack exchange，提问作者Skrrrrrtttt