设A=[a1 a2 ·····an]不等于零矩阵 证明(A 转置 乘A)乘X等于零矩阵 有非零解