有关线性代数的问题设A是一个n阶对称矩阵,请问如何证明A是正定矩阵的充要条件是存在可逆矩阵P,使A=P^T*P,