线性代数 已知矩阵a∧2=a ,证明a可对角化