>>311
４本の固有ベクトルを規格直交化したのを u1,u2,u3,u4 として、
U = [u1,u2,u3,u4]
と並べて行列 U を作ると、U はユニタリで U†AU は対角行列