二次型正定的一个充要条件是「存在可逆矩阵M,使A=M^TM」.为什么?