MathLabs

第2题

设函数 f(x)f(x)、g(x)g(x) 为 f(x)=1x+1x−2+1x−4+⋯+1x−2018f(x)=\dfrac1x+\dfrac1{x-2}+\dfrac1{x-4}+\cdots+\dfrac1{x-2018},g(x)=1x−1+1x−3+1x−5+⋯+1x−2017g(x)=\dfrac1{x-1}+\dfrac1{x-3}+\dfrac1{x-5}+\cdots+\dfrac1{x-2017}。证明:对满足 0<x<20180<x<2018 的任意非整数实数 xx,都有 ∣f(x)−g(x)∣>2|f(x)-g(x)|>2。
第 6/6 步:估计各部分并得出结论
1x−1+12−x≥4,3x(x−3)>−32,d(x)>4−32=52>2\frac1{x-1}+\frac1{2-x}\ge 4,\qquad \frac3{x(x-3)}>-\frac32,\qquad d(x)>4-\frac32=\frac52>2
详细分析

由 (x−1)+(2−x)=1(x-1)+(2-x)=1,AM–HM 不等式给出 1x−1+12−x≥4(x−1)+(2−x)=4\frac1{x-1}+\frac1{2-x}\ge\frac{4}{(x-1)+(2-x)}=4,当 x=32x=\tfrac32 时取等。当 1<x<21<x<2 时,二次式 x(x−3)x(x-3) 的取值范围为 [−94,−2)[-\tfrac94,-2),故 ∣x(x−3)∣>2|x(x-3)|>2,从而 3x(x−3)>−32\frac3{x(x-3)}>-\tfrac32。合并两个界得 1<x<21<x<2 时 d(x)>4−32=52>2d(x)>4-\tfrac32=\tfrac52>2,由第3、4步,这证明了在每个区间 2n−1<x<2n2n-1<x<2n 上 d(x)=g(x)−f(x)>2d(x)=g(x)-f(x)>2;由第2步,交换 f,gf,g 角色应用同一估计即覆盖 2n<x<2n+12n<x<2n+1,故对满足 0<x<20180<x<2018 的一切非整数 xx 都有 ∣f(x)−g(x)∣>2|f(x)-g(x)|>2。