灯下 登录
番外 · 题谱 · 1992 · P1

1992 CMO 第 1 题

数论 · P1/P4 · 起手题

题面据中国数学奥林匹克 / AoPS 可核档案整理;中文题意为本站自译,英文行为来源英译摘要,公式请以原始来源为准。

CMO 1992 P1 number-theory

Let equation xn+an1xn1+an2xn2++a1x+a0=0x^n+a_{n-1}x^{n-1}+a_{n-2}x^{n-2}+\dots +a_1x+a_0=0 with real coefficients satisfy 0<a0a1a2an110<a_0\le a_1\le a_2\le \dots \le a_{n-1}\le 1 . Suppose that λ\lambda ( λ>1|\lambda|>1 ) is a complex root of the equation, prove that λn+1=1\lambda^{n+1}=1 .

令方程 xn+an1xn1+an2xn2++a1x+a0=0x^n+a_{n-1}x^{n-1}+a_{n-2}x^{n-2}+\dots +a_1x+a_0=0 的实数系数满足 0<a0a1a2an110<a_0\le a_1\le a_2\le \dots \le a_{n-1}\le 1 。假设 λ\lambda ( λ>1|\lambda|>1 ) 是方程的复根,证明 λn+1=1\lambda^{n+1}=1

提示 1

先看模小素数、最大公因数或整除链。

提示 2

把整数条件转成同余方程或 p 进指数比较。

提示 3

若要存在性,用构造;若要唯一性,用最小反例或下降。

完整解答

题面已直接收录。先把 1992 年 CMO 第 1 题的条件整理成对象、关系、目标三部分;再沿提示寻找不变量、标准构型或关键变形;最后补齐边界情形,并回到原题要求核对。