线性代数的一个证明题试证明:当实对称矩阵A满足 A²-4A+2E=0 时 ,A一定是正定的