>>415
上のC=A+iBを正規行列の定義に代入、計算