こんにちは!競技数学と競プロが好きな高校生のButterFlvです.
内容はタイトルの通りです.
複素数の積は平面での回転相似変換と対応するというなかなか面白い性質を持っています. ここで空間だとどうなるか気になって四元数や行列などを調べていたのですが, 普通に理解が難しくて諦めました. なので自分で考えてみたいと思います.
今回注目するのは積の性質で, 2つの複素数をかけるとと計算結果の複素数は絶対値が二つの積, 偏角が和となっていることから回転が記述できるわけです.
さて, ここから三次元に複素数の積の考え方を拡張するわけですが, ひとつ回転への解釈を加えておきます.
複素数
この解釈があると, 偏角を足したり絶対値を掛けたりするというイメージだけでは表現しにくい操作も表現できるようになります.
紙に二つ小さな穴をあけて片方の穴をコンパスなどで固定し, もう片方の穴に鉛筆などを通して動かすことを想像してください. これがつられて動くということです.
ここは完全に後のためですが, 二つ前の節では積を
三次元になると紙では厳しいので地球儀を使ってみましょう. ただし, どんな向きでも自由に回転できるタイプが必要です. (僕は持っていません)
始点と終点を指定して
ただし, ここで一つ注意点があります. それは移動するときは最短ルートでなければならないということです. 動かすときに地球儀上の様々なルートを通っていると, ルートごとに地球儀の最終的な状態が変わっていることに気が付くかもしれません. 2つの点と操作とをちゃんと結びつけるには操作に制約をつける必要があります.
もうすこし地球儀で遊んでみましょう. 始点と終点と中心を含む平面を考え, それを垂直に見ながら回転してみてください. こうすることで, この視線が回転の軸と一致していることがわかると思います. 表現を変えると, 平面にそれぞれの点を垂直に射影すると, その平面において複素数平面のときと同様な回転をしているということになります!!
前節を踏まえると見えてくるのですが, 始点を固定してしまうと回転の軸を, 始点に垂直な向きにしか取れなくなってしまうからです.
あとはもうこの感覚を数式に落とし込むだけです. 2つのベクトル
コンピュータに計算させるとすれば, これが入力になります.
また以下のように3つのベクトル
この3つのベクトルは
このように定めることで以下のかなりうれしい情報が得られます.
つまり, もとめたい成分の単位ベクトルと, もとのベクトルとの内積が成分と一致しているということです. これは単位ベクトルを座標の軸に沿わせている場合では取るに足らない性質ですが, そうでないときはかなり役に立ちます. (ただし, 内積とスカラー倍は入れ替えてはいけないことに注意です. 右辺が
ここで
とおく. (ただし
よくみたら自明な式が出てきてしまいましたね(汗)
つまりベクトルの成分だけ抜き出してベクトルの向きを変えて成分を付け直す, みたいなことをすればよかったというわけでした.
ということで,
ただし,
複数の点に作用させたいときは
でも表現のわかりやすさで勝るケースもあるはず...!
残念ながら今回は四元数へのつながりは見出すことはできませんでしたが, ゆる~く, ユニークな記事にはなったのではないかなと思います. 書きながらとても楽しめたのでよし!ということでここまで読んでいただきありがとうございます.
現状の表示より全然いい表示が見つかったので書きます.
ただし,