设是阶幂等矩阵, 即, 试证:可对角化