MathLabs

第6题

平面上有 n≥2n\ge2 条线段,任意两条都相交,且没有三条线段共点。Geoff 必须为每条线段选定一个端点,在那里放一只青蛙,面朝另一个端点。然后他会拍手 n−1n-1 次;每拍一次手,每只青蛙都立即向前跳到其所在线段上的下一个交点(青蛙从不改变跳跃的方向)。Geoff 希望这样放置青蛙,使得任何两只青蛙都不会在同一时刻占据同一个交点。(a) 证明当 nn 为奇数时,Geoff 总能实现他的愿望。(b) 证明当 nn 为偶数时,Geoff 永远无法实现他的愿望。
第 2/4 步:(a) 部分:每隔一点放置青蛙的方法对奇数 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 条线段各放一只,并且 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,则从两只青蛙分别数起,该交点的两个次序是 ρ0(r)\rho_0(r) 和 ρr(0)=n−ρ0(r)\rho_r(0)=n-\rho_0(r):第二只青蛙看到的交点顺序正好相反。这就是不变量/奇偶计数:每一对的两个次序都是 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 个交点;所以两只青蛙只有在这两个次序相等时才会相撞,而这一点刚刚已经排除。因此,这个明确的奇数点放置方式避免了所有碰撞。