用定义证明设有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=0k1-k2=0k1-k2+k3=0于是解得k1=k2=k3=0由线性无关的定义知B1.B2.B3线性无关.