充分性
A^2=A
0.25(B+I)^2=1/2(B+I)
(B+I)^2=2(B+I)
B^2+BI+IB+I=2B+2I
B^2+2B+I=2B+2I
B^2=I
必要性
若B^2=I
A^2=0.25(B+I)^2
A^2=0.25(B^2+BI+IB+I)
=0.25(2I+2B)
=1/2(B+I)
=A
得证
这里主要注意的是(A+B)^2=A^2+AB+BA+B^2
AB≠BA,当然除了单位矩阵,
充分性
A^2=A
0.25(B+I)^2=1/2(B+I)
(B+I)^2=2(B+I)
B^2+BI+IB+I=2B+2I
B^2+2B+I=2B+2I
B^2=I
必要性
若B^2=I
A^2=0.25(B+I)^2
A^2=0.25(B^2+BI+IB+I)
=0.25(2I+2B)
=1/2(B+I)
=A
得证
这里主要注意的是(A+B)^2=A^2+AB+BA+B^2
AB≠BA,当然除了单位矩阵,