Maths Olympiad Prep

Library / /321 of 520

Algebra Difficulty 6.7 National olympiad Prove it

16. (IRE 1) )IMO4)^{\mathrm{IMO} 4} Show that the solution set of the inequality
k=170kxk54 \sum_{k=1}^{70} \frac{k}{x-k} \geq \frac{5}{4}
is a union of disjoint intervals the sum of whose lengths is 1988.

Solution

16. Let f(x)=k=170kxk f(x) = \sum_{k=1}^{70} \frac{k}{x-k} . For all integers i=1,,70 i = 1, \ldots, 70 we have that f(x) f(x) tends to plus infinity as x x tends downward to i i , and f(x) f(x) tends to minus infinity as x x tends upward to i i . As x x tends to infinity, f(x) f(x) tends to 0. Hence it follows that there exist x1,x2,,x70 x_{1}, x_{2}, \ldots, x_{70} such that 1<x1<2<x2<3<<x69<70<x70 1 < x_{1} < 2 < x_{2} < 3 < \cdots < x_{69} < 70 < x_{70} and f(xi)=54 f(x_{i}) = \frac{5}{4} for all i=1,,70 i = 1, \ldots, 70 . Then the solution to the inequality is given by S=i=170(i,xi] S = \bigcup_{i=1}^{70} (i, x_{i}] . For numbers x x for which f(x) f(x) is well-defined, the equality f(x)=54 f(x) = \frac{5}{4} is equivalent to
p(x)=j=170(xj)45k=170kj=1jk70(xj)=0 p(x) = \prod_{j=1}^{70} (x-j) - \frac{4}{5} \sum_{k=1}^{70} k \prod_{\substack{j=1 \\ j \neq k}}^{70} (x-j) = 0
The numbers x1,x2,,x70 x_{1}, x_{2}, \ldots, x_{70} are then the zeros of this polynomial. The sum i=170xi \sum_{i=1}^{70} x_{i} is then equal to minus the coefficient of x69 x^{69} in p p , which equals i=170(i+45i) \sum_{i=1}^{70} \left( i + \frac{4}{5} i \right) . Finally,
S=i=170(xii)=45i=170i=4570712=1988 |S| = \sum_{i=1}^{70} (x_{i} - i) = \frac{4}{5} \cdot \sum_{i=1}^{70} i = \frac{4}{5} \cdot \frac{70 \cdot 71}{2} = 1988

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.