计算题 证明对称矩阵A正定的充要条件是：存在可逆矩阵U，使得A=U^TU，即A与E合同。