由于去掉运动员这一操作具有单调性,自然的策略是每次剥离出一对相邻的人,然后对完全相同问题的一个更小版本进行递归。
我们对 NNN 用强归纳法证明:对每个整数 N≥1N\ge 1N≥1,由身高互不相同的 N(N+1)N(N+1)N(N+1) 名运动员组成的一排,总能删去 N(N−1)N(N-1)N(N−1) 人,使剩下的 2N2N2N 名幸存者中,连续的身高名次对 (2k−1,2k)(2k-1,2k)(2k−1,2k)(k=1,…,Nk=1,\ldots,Nk=1,…,N)在所得的一排中都彼此物理相邻;题目要求的范围 N≥2N\ge 2N≥2 只是其中的特殊情形。基础情形 N=1N=1N=1 无需删去任何人:这里只有 222 名运动员,所以唯一需要的一对显然相邻。