Unofficial archive — problems, solutions & results © IMC, reproduced with permission.

IMC / 1999 / Problems / Day 2, P10

IMC 1999 · Day 2 · P10

medium

Prove that there exists no function f:(0,+)(0,+)f : (0, +\infty) \to (0, +\infty) such that f2(x)f(x+y)(f(x)+y)f^2(x) \ge f(x+y) \bigl( f(x) + y \bigr) for any x,y>0x, y > 0.

Solution (official)

Assume that such a function exists. The initial inequality can be written in the form f(x)f(x+y)f(x)f2(x)f(x)+y=f(x)yf(x)+yf(x) - f(x+y) \ge f(x) - \dfrac{f^2(x)}{f(x) + y} = \dfrac{f(x) y}{f(x) + y}. Obviously, ff is a decreasing function. Fix x>0x > 0 and choose nNn \in \mathbb{N} such that nf(x+1)1n f(x+1) \ge 1. For k=0,1,,n1k = 0, 1, \dots, n-1 we have f(x+kn)f(x+k+1n)f(x+kn)nf(x+kn)+112n.f \left( x + \frac{k}{n} \right) - f \left( x + \frac{k+1}{n} \right) \ge \frac{f \left( x + \frac{k}{n} \right)} {n f \left( x + \frac{k}{n} \right) + 1} \ge \frac{1}{2n}. The additon of these inequalities gives f(x+1)f(x)12f(x+1) \le f(x) - \frac{1}{2}. From this it follows that f(x+2m)f(x)mf(x + 2m) \le f(x) - m for all mNm \in \mathbb{N}. Taking mf(x)m \ge f(x), we get a contradiction with the conditon f(x)>0f(x) > 0.

How the field did

contestants scored
87
average (of 20)
7.90
solved (≥ 80%)
31.0%
near-0 (≤ 10%)
43.7%
discrimination
0.67

Score distribution (field cohort)

Computed on contestants with a meaningful total (field cohort); discrimination is the corrected item–total correlation.

Similar problems

IMC 1999 · Day 1 · P4mediumavg 4.1/10 · solved 31% · near-0 43% · disc 0.71
IMC 2004 · Day 2 · P8mediumavg 4.1/10 · solved 31% · near-0 44% · disc 0.48
IMC 2023 · Day 1 · P3mediumavg 4.1/10 · solved 30% · near-0 40% · disc 0.64
IMC 1999 · Day 2 · P9hardavg 3.7/10 · solved 29% · near-0 53% · disc 0.54