平行移動だって変換行列で
以前、幾何計算はベクトルで考えるときれいにプログラミングできるというコツを書きました。
その続編として、図形のズームや回転、移動があるときには、ベクトルは必須ですよという話。
拡大縮小と回転には変換行列、これは習いましたね?
これは高校の代数幾何学で習ったはずです。座標をベクトルで表せば、特定の行列をかけるだけで拡大縮小と回転ができること。
横にx倍、縦にy倍のズームはで、
原点を中心にθ度の回転はです。
試しにやってみましょう。(10,10)を横に2倍、縦に0.5倍でズームすると
(10,10)を90°回転させると
行列による座標変換のいいところは、変換行列同士を掛け合わせてしまうことができることです。何段階かの変換も、その行列を掛け合わせてたった一つの行列にできるので、記述も簡潔になるしなにより計算が早い。不可逆な変換でなければ、逆行列を求めることで逆変換も簡単に記述できます。
でも、回転とズームだけではたいした変換はできませんね。やはり水平移動がないと…… 水平移動は、無理なのかな?
余分な一次元が、水平移動を可能にする
2次元のベクトルに2×2行列を掛けるだけの変換では、水平移動を記述することはできません。が、余分な一次元を加えることで、簡単にそれが実現できてしまうのです。
余分な一次元ってなに?
それは、座標(a,b)をこう書くことです――(a,b,1)。
ダミーの次元を付け加えて、値を1としておく。これだけです。座標が3次元表示になるから、変換行列は3×3になりますね。
ズームと回転の変換行列は、こうなります。
2×2のときの変換行列の右と下に0を詰め込んだだけですね。これで、ダミーの3次元表示を回転&ズームできます。
次に平行移動。ここで初めて、3×3行列の余った場所を使います。
うわ、ほれぼれするくらい簡潔に移動が記述できましたね!