>>972
何も考えずに展開して,
ac-bd=0
ad+bc=0
上式*c+下式*d などから得たんだけど,>>972でも良いと思う.

>>973
勝手に | | を導入するのは,微妙かと.