方針
直線 は原点を通り、 軸となす角が の直線である。反射は、直線方向成分をそのまま残し、垂直方向成分の符号を変える変換として成分表示から行列を作る。反射を2回合成すると回転になるので、 は角 の回転、 は角 の回転として読む。(3)は回転角の一致条件から を解く。
解答
(1)
直線 は、 と書けるので、原点を通り 軸の正の向きとなす角が の直線である。この直線方向の単位ベクトルを とし、それに垂直な単位ベクトルを とする。
点 をこの2方向に分けると、直線方向の成分はそのまま、垂直方向の成分は符号が反転する。計算すると、反射後の座標 は となる。したがって行列 は、第1行が 第2行が の行列である。
(2)
同様に、 に関する対称移動を表す行列 は、第1行が 第2行が の行列である。
積 の各成分を計算する。第1行第1列成分は である。第1行第2列成分は である。同様に、第2行第1列成分は 、第2行第2列成分は となる。 より、 は第1行が 第2行が の行列である。これは角 の回転を表す行列である。
(3)
(2)より は角 の回転であるから、 は角 の回転である。また順序を逆にした は角 の回転である。
したがって が成り立つためには、2つの回転角が の整数倍だけ異なればよい。すなわち であり、 となる。よって である。条件 より だから である。
別解
解法2:回転で座標軸へ移して反射を合成する
方針
角 の直線をいったん 軸へ回し、 軸対称に移してから元へ戻す三段階で反射を表す。これにより と分解できる。二つの反射の積では を使って回転を一つにまとめ、最後は回転角を の整数倍まで含めて比較する。
解答
(1)
角 の回転を表す行列をとする。角 の直線に関する対称移動は、角 回転してその直線を 軸に重ね、 で 軸対称に移し、角 回転して戻す変換である。したがって(2)
同様に である。またとなるのですなわち(3)
同じ計算で であり、 である。二つの回転が等しいための条件はである。したがって となり、 よりである。
総評
難度6、計算量6、目安時間20分。原問題が行列による対称移動を明示しているため、反射行列と回転行列を正面から用いる問題である。積 は先に 、次に を施すので、回転角が になる向きを取り違えやすい。成分積と の分解で符号を相互確認した。最後は回転角の差 が の整数倍という条件へ整理する。