任意の回転には必ず固有ベクトルが存在する
どうやったらいいのでしょう？