A为m*n矩阵,λ为(0 A,A^T 0)的非零特征值,求证λ^2为A^TA的特征值