Maths Olympiad Prep

Library / /133 of 264

Algebra Difficulty 5.7 AIME, harder Prove it Romania

Let aa, bb, cc be three positive real numbers. Prove that the function f:RRf: \mathbb{R} \to \mathbb{R}, f(x)=axbx+cx+bxax+cx+cxax+bxf(x) = \frac{a^x}{b^x + c^x} + \frac{b^x}{a^x + c^x} + \frac{c^x}{a^x + b^x} is increasing on [0,)[0, \infty) and decreasing on (,0](-\infty, 0].

Solution

We use straightforward computation: if xyx \le y are real numbers, then

f(y)f(x)=cycay(bx+cx)ax(by+cy)(bx+cx)(by+cy) =cyc(aybxaxby)(1(bx+cx)(by+cy)1(ax+cx)(ay+cy))=cycaxbx(ayxbyx)((ax+ybx+y)+cx(ayby)+cy(axbx))(bx+cx)(by+cy)(ax+cx)(ay+cy), \begin{align*} f(y) - f(x) &= \sum_{\text{cyc}} \frac{a^y(b^x + c^x) - a^x(b^y + c^y)}{(b^x + c^x)(b^y + c^y)} \ &= \sum_{\text{cyc}} (a^y b^x - a^x b^y) \left( \frac{1}{(b^x + c^x)(b^y + c^y)} - \frac{1}{(a^x + c^x)(a^y + c^y)} \right) \\ &= \sum_{\text{cyc}} a^x b^x (a^{y-x} - b^{y-x}) \cdot \\ &\qquad \frac{((a^{x+y} - b^{x+y}) + c^x(a^y - b^y) + c^y(a^x - b^x))}{(b^x + c^x)(b^y + c^y)(a^x + c^x)(a^y + c^y)}, \end{align*}

(apbp)(aqbq)=bp+q((ab)p1)((ab)q1){0if q00if q0 (a^p - b^p)(a^q - b^q) = b^{p+q} \left( \left( \frac{a}{b} \right)^p - 1 \right) \left( \left( \frac{a}{b} \right)^q - 1 \right) \begin{cases} \ge 0 & \text{if } q \ge 0 \\ \le 0 & \text{if } q \le 0 \end{cases}
hence f(y)f(x)0f(y) - f(x) \ge 0 if yx0y \ge x \ge 0 and f(y)f(x)0f(y) - f(x) \le 0 if 0yx0 \ge y \ge x.

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: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.