矩阵A可逆,怎么推出ATA是正定矩阵?其中AT是A的转置