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

2003 IMO Shortlist S15

不等式 · P3/P6 · 压轴题

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

IMO Shortlist 2003 S15 inequality

Let aija_{ij} i=1,2,3i=1,2,3 ; j=1,2,3j=1,2,3 be real numbers such that aija_{ij} is positive for i=ji=j and negative for iji\neq j .

Prove the existence of positive real numbers c1c_{1} , c2c_{2} , c3c_{3} such that the numbers a11c1+a12c2+a13c3,a21c1+a22c2+a23c3,a31c1+a32c2+a33c3a_{11}c_{1}+a_{12}c_{2}+a_{13}c_{3},\qquad a_{21}c_{1}+a_{22}c_{2}+a_{23}c_{3},\qquad a_{31}c_{1}+a_{32}c_{2}+a_{33}c_{3} are either all negative, all positive, or all zero.

*Proposed by Kiran Kedlaya, USA*

aija_{ij} i=1,2,3i=1,2,3j=1,2,3j=1,2,3 是实数,使得 aija_{ij} 对于 i=ji=j 为正,对于 iji\neq j 为负。

证明正实数 c1c_{1}c2c_{2}c3c_{3} 的存在,使得数 a11c1+a12c2+a13c3,a21c1+a22c2+a23c3,a31c1+a32c2+a33c3a_{11}c_{1}+a_{12}c_{2}+a_{13}c_{3},\qquad a_{21}c_{1}+a_{22}c_{2}+a_{23}c_{3},\qquad a_{31}c_{1}+a_{32}c_{2}+a_{33}c_{3} 要么全部为负,要么全部为正,要么全部为零。

*由美国 Kiran Kedlaya 提出*

提示 1

先猜等号形状,再看同次性、归一化和每一项的量纲。

提示 2

试着把式子拆成均值、柯西、凸性、重排或切线法可处理的块。

提示 3

最后检查等号条件和边界情形是否都与题设兼容。

完整解答

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

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