若a^2=e证明a可对角化