假设存在一组常数k1,k2,k3,k4,使得k1α1+k2α2+k3α3+k4β=0等式两边同时左乘以β^T,由正交性质,(β^T)αi=0(i=1,2,3)等式化为k4 (β^T)β=0.又β为非零列向量,因此(β^T)β不等于0,因此k4=0,代入原等式k1α1+k2α2+k3α3=0,又由题α1α2α3线性无关,因此k1=k2=k3=0;即得出这一组常数必定全为0,,,k1=k2=k3=k4=0因此α1,α2,α3,β线性无关