直交行列の積は直交行列
transpose[matrix_1]*matrix_1=E となることを確かめてみよう。
Información: 直交行列の積は直交行列