线性代数:设A为n阶可逆矩阵,证明f=(x^T)(A^T)Ax为正定二次型.