逆行列を持つことを示せ。線形従属となり、基底を為すとした仮定と矛盾することを導く。一次従属であることを示す。とき、\bm{b}_2=b_{21}\bm{a}_1+(b_{22}/b_{12})\bm{b}_1b_{21}b_{12}\bm{a}_1=b_{12}\bm{b}_2-b_{22}\bm{b}_1となる。なって、b_{12}\bm{b}_2-b_{22}\bm{b}_1=\bm{o}が導かれる。ゼロベクトルを含むベクトルの組は明らかに線形従属となる。何かあれば自由にコメントを付けてください。