查看原题
已知 A 是三阶可逆矩阵, 证明 ATA 是正定矩阵.
                        
不再提醒