MathLabs

第6問

平面上に、どの2本も交わり、どの3本も1点で交わらないような n≥2n\ge2 本の線分がある。ジェフは各線分の端点を1つ選び、そこにカエルを置いて、もう一方の端点の方を向かせる。その後、彼は手を n−1n-1 回叩く。手を叩くたびに、すべてのカエルは即座に自分の線分上の次の交点まで前方に跳ぶ(カエルは決して跳ぶ向きを変えない)。ジェフは、どの2匹のカエルも同時に同じ交点を占めることがないようにカエルを配置したいと考えている。(a) nn が奇数のとき、ジェフは常にその望みを実現できることを証明せよ。(b) nn が偶数のとき、ジェフは決してその望みを実現できないことを証明せよ。
ステップ 2/4: (a) 部分:1つおきの点にカエルを置く方法は nn が奇数のとき機能する
ざっくり言うと

すべての開始時のカエルを奇数番目の点に置いて走らせると、衝突を防ぐ単純なパリティ不変量が保たれる。

a odd ⇒ frogs on P1,P3,P5,…,P2n−1a\ \text{odd} \ \Rightarrow\ \text{frogs on } P_1,P_3,P_5,\dots,P_{2n-1}
詳しい解説

nn が奇数のとき、n=2m+1n=2m+1 と書き、CrC_r(r=0,1,…,2mr=0,1,\dots,2m)を、奇数番目の点 Qr=P2r+1Q_r=P_{2r+1}(PP の添字は 2n2n を法として読む)からカエルが出発する線分とする。もう一方の端点は P2r+1+nP_{2r+1+n} である。したがって配置は明示的である:カエルはすべての奇数番目の点 P1,P3,…,P2n−1P_1,P_3,\dots,P_{2n-1} から出発し、nn 本の各線分に1匹ずつ置かれ、CrC_r 上のカエルは QrQ_r から P2r+1+nP_{2r+1+n} へ向く。C0C_0 を固定する。r=1,…,mr=1,\dots,m では、CrC_r の端点 P1+2rP_{1+2r} は P1P_1 から P1+nP_{1+n} への開いた円弧上にある。r=m+1,…,2mr=m+1,\dots,2m では、その円弧上にある CrC_r の端点は対蹠点 P1+2r+nP_{1+2r+n} であり、P1P_1 からの相対的な添字は 2r−n2r-n である。n=2m+1n=2m+1 なので、これらの相対添字はそれぞれ 2,4,…,2m2,4,\dots,2m と 1,3,…,2m−11,3,\dots,2m-1 であり、円弧上でちょうどすべての整数 1,2,…,n−11,2,\dots,n-1 を順に与える。したがって、CrC_r が C0C_0 と交わるとき、C0C_0 上のカエルから数えた交点の順位は、r=1,…,mr=1,\dots,m なら ρ0(r)=2r\rho_0(r)=2r、r=m+1,…,2mr=m+1,\dots,2m なら ρ0(r)=2r−n\rho_0(r)=2r-n である。同じ議論を任意の一対 Ca,CbC_a,C_b に巡回的に適用し、始点の添字の巡回差を rr と書けば、2匹のカエルからそれぞれ数えたこの交点の順位は ρ0(r)\rho_0(r) と ρr(0)=n−ρ0(r)\rho_r(0)=n-\rho_0(r) である:2匹目のカエルからは同じ交点の順序が逆向きに見える。これが不変量/パリティの数え上げである:各ペアの2つの順位は 1,…,n−11,\dots,n-1 に属する正整数で、その和は nn だから、nn が奇数である以上、互いに等しくなれない(等しければ 2ρ0(r)=n2\rho_0(r)=n となる)。拍手 kk 回目(1≤k≤n−11\le k\le n-1)の後、カエルは自分の向きの線分上で kk 番目の交点にいる。したがって2匹が衝突できるのはペアの2つの順位が等しい場合だけだが、それはすでに排除された。この明示的な奇数点配置は、すべての衝突を避ける。