灯下 登录
番外 · 题谱 · 2016 · P15

2016 IMO Shortlist C7

组合 · P3/P6 · 压轴题

题面据 IMO Shortlist 可核档案整理;中文题意为本站自译,公式请以原始来源为准。

IMO Shortlist 2016 C7 combinatorics

Let n2n \geq 2 be an integer. In the plane, there are nn segments given in such a way that any two segments have an intersection point in the interior, and no three segments intersect at a single point. Jeff places a snail at one of the endpoints of each of the segments and claps his hands n1n-1 times. Each time when he claps his hands, all the snails move along their own segments and stay at the next intersection points until the next clap. Since there are n1n-1 intersection points on each segment, all snails will reach the furthest intersection points from their starting points after n1n-1 claps. (a) Prove that if nn is odd then Jeff can always place the snails so that no two of them ever occupy the same intersection point. (b) Prove that if nn is even then there must be a moment when some two snails occupy the same intersection point no matter how Jeff places the snails.

n2n \geq 2 为整数。在平面中,有 nn 个线段,任何两个线段在内部都有交点,并且没有三个线段相交于一个点。杰夫将一只蜗牛放在每个线段的端点之一,然后拍手 n1n-1 次。每次他拍手时,所有蜗牛都会沿着自己的线段移动,并停留在下一个交点,直到下一次拍手。由于每条线段上有 n1n-1 个交点,因此所有蜗牛在 n1n-1 拍手后都会到达距离起点最远的交点。 (a) 证明如果 nn 是奇数,那么 Jeff 总是可以放置蜗牛,使得它们中的任何两个都不会占据相同的交点。 (b) 证明如果 nn 是偶数,那么无论 Jeff 如何放置蜗牛,都一定存在两个蜗牛占据相同交点的时刻。

提示 1

先决定对象是什么:集合、图、排列、颜色、路径,还是一次操作后的状态。

提示 2

找一个极端对象、双计数式、不变量,或把限制转成图上的局部条件。

提示 3

把局部限制累加成全局矛盾,或给出覆盖全部情形的构造。

完整解答

这页先给题面、题型和提示阶梯,完整证明留给读者逐步展开。2016 年 IMO Shortlist C7 可先归入组合:第一步把题设翻成对象、条件、目标三行;第二步沿提示寻找不变量、标准构型或关键变形;第三步补齐边界情形,并回到题目原要求核对。

这题适合先独立想一轮再打开提示。不要急着搜索完整解答,先问自己:题面里最硬的限制是哪一句?