Maths Olympiad Prep

Library / Romanian Mathematical Olympiad /138 of 275

Romanian Mathematical Olympiad

Algebra Difficulty 5.7 AIME, harder Prove it Romania

Let aa, bb, cc be three positive real numbers. Prove that the function f:R→Rf: \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 x≤yx \le y are real numbers, then

f(y)−f(x)=∑cycay(bx+cx)−ax(by+cy)(bx+cx)(by+cy) =∑cyc(aybx−axby)(1(bx+cx)(by+cy)−1(ax+cx)(ay+cy))=∑cycaxbx(ay−x−by−x)⋅((ax+y−bx+y)+cx(ay−by)+cy(ax−bx))(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*}

(ap−bp)(aq−bq)=bp+q((ab)p−1)((ab)q−1){≥0if q≥0≤0if q≤0 (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 y≥x≥0y \ge x \ge 0 and f(y)−f(x)≤0f(y) - f(x) \le 0 if 0≥y≥x0 \ge y \ge x.

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

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.