用定义证明
设有k1B1+k2B2+k3B3=0,即
k1(a1+a2-2a3)+k2(a1-a2-a3)+k3(a1+a3)=0, 于是 有
(k1+k2+k3)a1+(k1-k2)a2+(k1-k2+k3)a3=0
因为a1,a2,a3线性无关,所以必有
k1+k2+k3=0
k1-k2=0
k1-k2+k3=0
于是解得k1=k2=k3=0
由线性无关的定义知B1.B2.B3线性无关.