行列
A=([a,b][c,d])
A^2=Aとなるときの
a,b,c,dの満たすべき必要十分条件をもとめる問題で、
a+d=1
a+d≠1で場合分けしなければならないのは何故ですか?