可逆实矩阵和其转置乘积为什么就是正定的?