普特南数学竞赛模拟试题及解答.docxVIP

普特南数学竞赛模拟试题及解答

一、试题部分

1.代数题（A1类）

设正实数a,b,c满足abc=1，证明：\frac{a}{a^2+2}+\frac{b}{b^2+2}+\frac{c}{c^2+2}\leq1。

2.几何题（B2类）

在平面直角坐标系中，设\Gamma是圆心在原点、半径为\sqrt{2}的圆，直线l:y=kx+m与\Gamma交于A,B两点，且\triangleOAB（O为原点）是等腰直角三角形。求点(k,m)的轨迹方程。

3.组合题（A3类）

设S=\{1,2,\dots,n\}，F是S的子集族，满足：对任意A,B\inF，若A\neqB，则A不是B的子集。证明：|F|\leq\binom{n}{\lfloorn/2\rfloor}（其中\binom{n}{k}表示组合数）。

二、解答部分

1.代数题解答

思路：利用条件abc=1进行换元，结合不等式放缩（均值不等式）。

令a=\frac{x}{y},b=\frac{y}{z},c=\frac{z}{x}（x,y,z0，满足换元等价性），则需证明：

\frac{\frac{x}{y}}{\left(\frac{x}{y}\right)^2+2}+\frac{\frac{y}{z}}{\left(\frac{y}{z}\right)^2+2}+\frac{\frac{z}{x}}{\left(\frac{z}{x}\right)^2+2}\leq1

化简每一项：\frac{\frac{x}{y}}{\frac{x^2+2y^2}{y^2}}=\frac{xy}{x^2+2y^2}，即证\frac{xy}{x^2+2y^2}+\frac{yz}{y^2+2z^2}+\frac{zx}{z^2+2x^2}\leq1。

由均值不等式，x^2+2y^2=x^2+y^2+y^2\geq3\sqrt[3]{x^2y^4}，但更适配的放缩是：x^2+2y^2\geq2\sqrt{2}xy（柯西不等式），但尝试后发现需调整：

转而用“分子分母同乘z”（结合xyz对称性），或直接证明\frac{xy}{x^2+2y^2}\leq\frac{x}{x+y+z}\cdot\frac{y}{y+z}？不，更简洁的方法：

注意到x^2+2y^2=x^2+y^2+y^2\geqxy+xy+y^2（不对），换思路：令t=a^2，则a=\sqrt{t}，bc=1/\sqrt{t}，但不如用局部不等式：

证明\frac{a}{a^2+2}\leq\frac{1}{3}(a^{-\frac{1}{2}})（因abc=1，a^{-\frac{1}{2}}b^{-\frac{1}{2}}c^{-\frac{1}{2}}=1），验证：3a\leq(a^2+2)a^{-\frac{1}{2}}=a^{\frac{3}{2}}+2a^{-\frac{1}{2}}，即a^{\frac{3}{2}}-3a+2a^{-\frac{1}{2}}\geq0，两边乘a^{\frac{1}{2}}得a^2-3a+2\geq0，即(a-1)(a-2)\geq0，仅在特定范围成立，故放弃。

正确方法：利用abc=1，设a=b=c=1时等号成立，考虑用“分式不等式常用技巧”——分子分母同加项：

\frac{a}{a^2+2}=\frac{a}{a^2+1+1}\leq\frac{a}{2a+1}（因a^2+1\geq2a），但不对，换：a^2+2=a^2+abc+abc=a(a+bc+bc)，故\frac{a}{a^2+2}=\frac{1}{a+2bc}。

令x=a,y=b,z=c，则xyz=1，需证\frac{1}{x+2y}+\frac{1}{y+2z}+\frac{1}{z+2x}\leq1（此处修正换元误差，原换元后应为\frac{x