矩阵( )的列向量中存在R^3的一个基.