矩阵A可逆，怎么推出ATA是正定矩阵？

因为A为n阶可逆实矩阵，构造非退化的线性变换Y=AX

则对任意的X≠0,必有Y≠0,

令Y=(y1,y2,...,yn)T

则XT(ATA)X=(XTAT)(AX)=(AX)T(AX)=YTY=y1^2+y2^2+...+yn^2>0

由正定矩阵的定义即知ATA是正定矩阵。

正定矩阵是一种实对称矩阵。正定二次型f(x1，x2，…，xn)=X′AX的矩阵A(或A的转置)称为正定矩阵。

在线性代数里，正定矩阵 (positive definite matrix) 有时会简称为正定阵。在双线性代数中，正定矩阵的性质类似复数中的正实数。与正定矩阵相对应的线性算子是对称正定双线性形式（复域中则对应埃尔米特正定双线性形式）。

正定矩阵有以下性质：

（1）正定矩阵的行列式恒为正；

（2）实对称矩阵A正定当且仅当A与单位矩阵合同；

（3）若A是正定矩阵，则A的逆矩阵也是正定矩阵；

（4）两个正定矩阵的和是正定矩阵；

（5）正实数与正定矩阵的乘积是正定矩阵。