设方程ai(x1,x2,x3,x4);有ai.a1=0；ai.a2=0;既有方程组：X1+X2+X4=0；-X1+X2+X3=0;得到ai的两组基向量B1=（1，-1,2,0），B2=(1,1,0,-2);再由许米特定理将B1，B2正交化（这个可以百度），得到a3=（1，-1,2,0），a4=（1,1,0，-2） （这个确实是正交化后的结果）
