A为n阶正定实方阵,故A合同与单位矩阵.
也就是存在可逆矩阵P有A=P^TEP
取Q=(E,0)^T是个m*n的矩阵.
那么E=Q^TQ
记C=QP,有A=C^TC