是对称 2* 2 矩阵，特征值为 \lambda_1, \lambda_2 。证明对所有 k >= 1 ，。