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