Maths Olympiad Prep

Library / /7 of 22

Algebra Difficulty 7.8 National Olympiad, round 2 Prove it Germany

Problem:
Prove or disprove that for all positive real numbers aa, bb and cc the inequality
34a+ba+4b+4b+cb+4c+4c+ac+4a<334 3 \leq \frac{4 a+b}{a+4 b}+\frac{4 b+c}{b+4 c}+\frac{4 c+a}{c+4 a}<\frac{33}{4}
holds.

Solution

Solution:
Proof of 34a+ba+4b+4b+cb+4c+4c+ac+4a3 \leq \frac{4 a+b}{a+4 b}+\frac{4 b+c}{b+4 c}+\frac{4 c+a}{c+4 a} :

1st variant: Multiplying by the common denominator and simplifying leads to the equivalent inequality 45abc7(a2b+b2c+c2a)+8(ab2+bc2+ca2)45 a b c \leq 7\left(a^{2} b+b^{2} c+c^{2} a\right)+8\left(a b^{2}+b c^{2}+c a^{2}\right). This follows from the inequality between the arithmetic and geometric mean (e.g. a2b+b2c+c2a3a2bb2cc2a3=3abca^{2} b+b^{2} c+c^{2} a \geq 3 \sqrt[3]{a^{2} b \cdot b^{2} c \cdot c^{2} a}=3 a b c ).

2nd variant: For n1n \geq 1 and real numbers a1,,an,b1,,bna_{1}, \ldots, a_{n}, b_{1}, \ldots, b_{n} the Cauchy-Schwarz inequality a12++an2b12++bn2a1b1++anbn\sqrt{a_{1}^{2}+\ldots+a_{n}^{2}} \sqrt{b_{1}^{2}+\ldots+b_{n}^{2}} \geq a_{1} b_{1}+\ldots+a_{n} b_{n} holds. For n=3n=3, a12=4a+ba+4ba_{1}^{2}=\frac{4 a+b}{a+4 b}, a22=4b+cb+4ca_{2}^{2}=\frac{4 b+c}{b+4 c}, a32=4c+ac+4aa_{3}^{2}=\frac{4 c+a}{c+4 a}, b12=(4a+b)(a+4b)b_{1}^{2}=(4 a+b)(a+4 b), b22=(4b+c)(b+4c)b_{2}^{2}=(4 b+c)(b+4 c), b32=(4c+a)(c+4a)b_{3}^{2}=(4 c+a)(c+4 a) this gives

(4a+ba+4b+4b+cb+4c+4c+ac+4a)((4a+b)(a+4b)+(4b+c)(b+4c)+(4c+a)(c+4a))(5(a+b+c))2 \left(\frac{4 a+b}{a+4 b}+\frac{4 b+c}{b+4 c}+\frac{4 c+a}{c+4 a}\right)((4 a+b)(a+4 b)+(4 b+c)(b+4 c)+(4 c+a)(c+4 a)) \geq (5(a+b+c))^{2}

The second factor, because of 2(a+b+c)26(ab+bc+ca)=(ab)2+(bc)2+(ca)202(a+b+c)^{2}-6(a b+b c+c a)=(a-b)^{2}+(b-c)^{2}+(c-a)^{2} \geq 0, is less than 253(a+b+c)2\frac{25}{3}(a+b+c)^{2}, from which the claim follows.

Proof of 4a+ba+4b+4b+cb+4c+4c+ac+4a<334\frac{4 a+b}{a+4 b}+\frac{4 b+c}{b+4 c}+\frac{4 c+a}{c+4 a}<\frac{33}{4} :

1st variant: Multiplying by the common denominator and simplifying gives the equivalent (trivial) inequality 0<127abc+16(a2b+b2c+c2a)0<127 a b c+16\left(a^{2} b+b^{2} c+c^{2} a\right).

2nd variant: The inequality is equivalent to ba+4b+cb+4c+ac+4a>14\frac{b}{a+4 b}+\frac{c}{b+4 c}+\frac{a}{c+4 a}>\frac{1}{4}; the latter holds because of

ba+4b+cb+4c+ac+4a>b4a+4b+4c+c4a+4b+4c+a4a+4b+4c=14 \frac{b}{a+4 b}+\frac{c}{b+4 c}+\frac{a}{c+4 a}>\frac{b}{4 a+4 b+4 c}+\frac{c}{4 a+4 b+4 c}+\frac{a}{4 a+4 b+4 c}=\frac{1}{4}

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 translated into English from de; metadata (topic, difficulty) added by this project.