A的转置乘A可逆,证A的列向量线性无关