MathLabs

第4問

ABCABC を正三角形とする。頂点 AA から三角形の内部に向けて、いずれかの辺に達する半直線を引く。半直線が辺に達すると反射の法則に従って跳ね返る、すなわち有向角 θ\theta で到達すれば有向角 180∘−θ180^\circ-\theta で出発する。nn 回の反射の後、半直線は他の二つの頂点のいずれにも達することなく AA に戻る。nn としてありうる値をすべて求めよ。
ステップ 2/7: Aの像と頂点を避ける方向
V={(a,b):a≡b(mod3)},U={(a,b):gcd⁡(a,b)=1}V=\{(a,b): a\equiv b\pmod3\},\qquad U=\{(a,b): \gcd(a,b)=1\}
詳しい解説

単位三角形の一辺に関して頂点 (a,b)(a,b) を反射しても a−b mod 3a-b\bmod3 は保たれ、同じ剰余をもつ任意の二頂点はそのような反射で結べるので、AA の像の集合 VV はちょうど a≡b(mod3)a\equiv b\pmod3 を満たす格子点である。AA から (a,b)(a,b) への半直線が (a,b)(a,b) より前に別の格子点を通るのはちょうど gcd⁡(a,b)=d>1\gcd(a,b)=d>1 のときで、このとき (a/d,b/d)(a/d,b/d) が線分 A(a,b)A(a,b) 上にあるから;よって半直線が最初に到達する頂点が (a,b)∈U(a,b)\in U となるのはちょうど gcd⁡(a,b)=1\gcd(a,b)=1 のときである。半直線が他の元の頂点に先に当たらずに AA に戻るのは、ちょうど V∩UV\cap U への方向である。