MathLabs

Problem 2

Let f(x)f(x) and g(x)g(x) be given by f(x)=1x+1x−2+1x−4+⋯+1x−2018f(x)=\dfrac1x+\dfrac1{x-2}+\dfrac1{x-4}+\cdots+\dfrac1{x-2018} and g(x)=1x−1+1x−3+1x−5+⋯+1x−2017g(x)=\dfrac1{x-1}+\dfrac1{x-3}+\dfrac1{x-5}+\cdots+\dfrac1{x-2017}. Prove that ∣f(x)−g(x)∣>2|f(x)-g(x)|>2 for any non-integer real number xx satisfying 0<x<20180<x<2018.
Step 6 of 6: Bound each piece and conclude
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
Detailed analysis

Since (x−1)+(2−x)=1(x-1)+(2-x)=1, the AM–HM inequality gives 1x−1+12−x≥4(x−1)+(2−x)=4\frac1{x-1}+\frac1{2-x}\ge\frac{4}{(x-1)+(2-x)}=4, with equality at x=32x=\tfrac32. For 1<x<21<x<2, the quadratic x(x−3)x(x-3) ranges over [−94,−2)[-\tfrac94,-2), so ∣x(x−3)∣>2|x(x-3)|>2 and 3x(x−3)>−32\frac3{x(x-3)}>-\tfrac32. Adding these bounds gives d(x)>4−32=52>2d(x)>4-\tfrac32=\tfrac52>2 for 1<x<21<x<2, and by steps 3–4 this proves d(x)=g(x)−f(x)>2d(x)=g(x)-f(x)>2 on every interval 2n−1<x<2n2n-1<x<2n; by step 2 the same bound (applied with f,gf,g swapped) covers 2n<x<2n+12n<x<2n+1, so ∣f(x)−g(x)∣>2|f(x)-g(x)|>2 for all non-integer xx with 0<x<20180<x<2018.