这里a1,a2,a3,a4应该全非零，则他们线性无关证明：设k1a1+k2a2+k3a3+k4a4=0等式两边用a1做内积得k1(a1,a1)=0,因a1不等于0，所以k1=0类似可证k2=k3=k4=0故a1,a2,a3,a4线性无关
