>>90
そのようにして直交行列が作れるのはわかりますが、その直交行列が対角化できる直交行列かどうかが
良くわからないのです。