Library / / 133 of 264
Algebra Difficulty 5.7 AIME, harder Prove it Romania
Let a a a , b b b , c c c be three positive real numbers. Prove that the function f : R → R f: \mathbb{R} \to \mathbb{R} f : R → R , f ( x ) = a x b x + c x + b x a x + c x + c x a x + b x f(x) = \frac{a^x}{b^x + c^x} + \frac{b^x}{a^x + c^x} + \frac{c^x}{a^x + b^x} f ( x ) = b x + c x a x + a x + c x b x + a x + b x c x is increasing on [ 0 , ∞ ) [0, \infty) [ 0 , ∞ ) and decreasing on ( − ∞ , 0 ] (-\infty, 0] ( − ∞ , 0 ] .
Solution We use straightforward computation: if x ≤ y x \le y x ≤ y are real numbers, then
f ( y ) − f ( x ) = ∑ cyc a y ( b x + c x ) − a x ( b y + c y ) ( b x + c x ) ( b y + c y ) = ∑ cyc ( a y b x − a x b y ) ( 1 ( b x + c x ) ( b y + c y ) − 1 ( a x + c x ) ( a y + c y ) ) = ∑ cyc a x b x ( a y − x − b y − x ) ⋅ ( ( 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 ) ,
\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*}
f ( y ) − f ( x ) = cyc ∑ ( b x + c x ) ( b y + c y ) a y ( b x + c x ) − a x ( b y + c y ) = cyc ∑ a x b x ( a y − x − b y − x ) ⋅ ( b x + c x ) ( b y + c y ) ( a x + c x ) ( a y + c y ) (( a x + y − b x + y ) + c x ( a y − b y ) + c y ( a x − b x )) , = cyc ∑ ( a y b x − a x b y ) ( ( b x + c x ) ( b y + c y ) 1 − ( a x + c x ) ( a y + c y ) 1 )
( a p − b p ) ( a q − b q ) = b p + q ( ( a b ) p − 1 ) ( ( a b ) q − 1 ) { ≥ 0 if q ≥ 0 ≤ 0 if 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}
( a p − b p ) ( a q − b q ) = b p + q ( ( b a ) p − 1 ) ( ( b a ) q − 1 ) { ≥ 0 ≤ 0 if q ≥ 0 if q ≤ 0 hence f ( y ) − f ( x ) ≥ 0 f(y) - f(x) \ge 0 f ( y ) − f ( x ) ≥ 0 if y ≥ x ≥ 0 y \ge x \ge 0 y ≥ x ≥ 0 and f ( y ) − f ( x ) ≤ 0 f(y) - f(x) \le 0 f ( y ) − f ( x ) ≤ 0 if 0 ≥ y ≥ x 0 \ge y \ge x 0 ≥ y ≥ x .
← Previous Browse the library Next →
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.