一组线性无关组(a1,a2,..,an),实对称矩阵Aa1,Aa2,..,Aan可以用(a1,a2,..,an)来线性表