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 3 of 6: Shifting by two does not decrease d
d(x)=g(x)−f(x),d(x+2)−d(x)=(1x+1−1x+2)−(1x−2017−1x−2018)≥0d(x)=g(x)-f(x),\qquad d(x+2)-d(x)=\Big(\frac1{x+1}-\frac1{x+2}\Big)-\Big(\frac1{x-2017}-\frac1{x-2018}\Big)\ge 0
Detailed analysis

Write d=g−fd=g-f. Reindexing the sums shows d(x+2)−d(x)d(x+2)-d(x) telescopes to exactly the displayed difference of two brackets. For xx in the relevant range the first bracket is positive since x+1<x+2x+1<x+2, and the second bracket is non-positive since both x−2017x-2017 and x−2018x-2018 are large negative numbers with x−2018x-2018 more negative; hence d(x+2)≥d(x)d(x+2)\ge d(x). So on the family 2n−1<x<2n2n-1<x<2n, the value of dd is smallest when n=1n=1, i.e. it suffices to prove d(x)>2d(x)>2 for 1<x<21<x<2.