問題
座標平面上で半径 の円板が,原点を中心とする半径1の円に内接しながらすべらずにころがるとき,上の定点の動きを調べる.ただしの中心は原点のまわりを反時計まわりに進むものとする.はじめにの中心と点はそれぞれ,の位置にあるものとする.
(1) が長さだけころがった位置にきたとき,点の座標をを用いて表せ.
(2) がころがり続けるとき,点がいつか最初の位置に戻るためのに対する条件を求めよ.
(3) のとき,点の軌跡を求め,その概形を図示せよ.
方針
中心 の公転と,円板自身の自転を分けて考える。中心は半径 の円を角 だけ進むので となる。すべらない条件から,円板は内側でころがるため時計まわりに だけ回る。(2) では点 が初期位置に戻るとき,二つのベクトルの和が長さの和を保つことから,公転角と自転角がともに の整数倍である必要があると示す。(3) は を代入して楕円,ただし では線分へ退化することを確認する。
解答
(1)
円板 の中心を とする。はじめ は にあり,原点を中心とする半径 の円を反時計まわりに進む。長さ だけころがったとき,外側の円の半径は なので,接点に対応する中心角は である。したがって である。
次に, から見た点 の相対位置を考える。はじめ は から右向きに距離 の位置にある。円板がすべらずに内側をころがるので,円板の円周上で進んだ長さは であり,これが半径 の円板の自転による弧の長さに等しい。したがって自転角の大きさは である。内側でころがるため自転の向きは時計まわりなので,相対ベクトルは となる。
よって点 の座標は
である。
(2)
点 の位置を複素数の形で見ると,(1) は と同じ内容である。初期位置は である。
点 が初期位置に戻るなら である。左辺の絶対値は三角不等式より であるが,右辺の絶対値はちょうど である。等号が成り立つには,二つのベクトルがともに正の実数方向を向く必要がある。したがって でなければならない。
これは,ある正の整数 と整数 を用いて と書けることと同じである。したがって が有理数であることが必要である。
逆に, が有理数なら, と書けるので, とすれば となり,点 は初期位置に戻る。
よって条件は である。これは と同値なので, が有理数であることと同値である。したがって求める条件は である。
(3)
のとき, である。したがって (1) より であり, である。 のときは, を消去して
を得る。これは原点を中心とし,座標軸を軸にもつ楕円である。横方向の半径は ,縦方向の半径は である。 のときは であるから,軌跡は すなわち 軸上の線分である。