灯下 登录
番外 · 题谱 · 1997 · P6

1997 CMO 第 6 题

几何 / 组合 · P3/P6 · 压轴题

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

CMO 1997 P6 geometrycombinatorics

Let (an)(a_n) be a sequence of non-negative real numbers satisfying an+man+ama_{n+m}\le a_n+a_m for all non-negative integers m,nm,n .

Prove that if nmn\ge m then anma1+(nm1)ama_n\le ma_1+\left(\dfrac{n}{m}-1\right)a_m holds.

(an)(a_n) 为非负实数序列,对于所有非负整数 m,nm,n 满足 an+man+ama_{n+m}\le a_n+a_m

证明如果 nmn\ge manma1+(nm1)ama_n\le ma_1+\left(\dfrac{n}{m}-1\right)a_m 成立。

提示 1

先标出所有固定量和会变化的点。

提示 2

尝试角追、相似、圆幂、面积比或坐标化中的一种。

提示 3

把关键等式还原成一个标准定理或一个可构造的辅助点。

完整解答

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