>>985,986
ご指摘ありがとう。ぶっちゃけこちらが間違っているかもしれん、すまない。

>>987
俺も複素行列はよく分からんが、そもそもこの問題はAB=Eだけど、
Aに逆行列が存在することは保証されてなくね？って思った。
逆行列が存在したら確かにAB=BA=Eから、
a^2+c^2=b^2+d^2=1,ab+cd=0だが。
それとも俺が間違っているのだろうか。