设A,B均为n阶方阵,I为n阶单位矩阵,若A=1/2(B+I),则A的平方=A的充要条件是B的平方=I