|AB| = |A+B| * | A-B|
|BA|
がn次正方行列に対して成り立つ。ちょっと変形すりゃすぐ出るよ。