题面据 APMO 可核档案整理;中文题意为本站自译,公式请以原始来源为准。
Larry and Rob are two robots travelling in one car from Argovia to Zillis. Both robots have control over the steering and steer according to the following algorithm: Larry makes a left turn after every kilometer driving from start; Rob makes a right turn after every kilometer driving from start, where and are relatively prime positive integers. In the event of both turns occurring simultaneously, the car will keep going without changing direction. Assume that the ground is flat and the car can move in any direction.
Let the car start from Argovia facing towards Zillis. For which choices of the pair is the car guaranteed to reach Zillis, regardless of how far it is from Argovia?
拉里和罗布是两个机器人,乘坐一辆车从阿尔戈维亚前往齐利斯。两个机器人都根据以下算法控制转向和转向:拉里从起点开始每行驶 公里后左转 ;从起点开始每行驶 公里后,Rob 就会右转 ,其中 和 是相对素的正整数。如果两个转弯同时发生,汽车将继续行驶而不改变方向。假设地面平坦,汽车可以向任意方向移动。
让汽车从阿尔戈维亚出发,面向齐利斯。对于 对中的哪一个选择,汽车可以保证到达 Zillis,无论距离 Argovia 有多远?
提示 1
先看同余、整除、最大公因数和 p 进赋值。
提示 2
把整数条件转成同余方程、指数比较或下降过程。
提示 3
若要存在性,用构造;若要唯一性,用最小反例、无限下降或模限制。
完整解答
这页先给题面、题型和提示阶梯,完整证明留给读者逐步展开。2009 年 APMO P5 可先归入数论:第一步把题设翻成对象、条件、目标三行;第二步沿提示寻找不变量、标准构型或关键变形;第三步补齐边界情形,并回到题目原要求核对。
这题适合先独立想一轮再打开提示。不要急着搜索完整解答,先问自己:题面里最硬的限制是哪一句?