已知G为m阶实对称正定矩阵证明存在m个线性无关的量使得其Gram阵是G