Maths Olympiad Prep

Library / /520 of 520

Algebra Difficulty 6.9 National olympiad Prove it

15 Let a,b,c(0,1]a, b, c \in(0,1], and a2+b2+c2=2a^{2}+b^{2}+c^{2}=2. Prove:
1b2a+1c2b+1a2c54. \frac{1-b^{2}}{a}+\frac{1-c^{2}}{b}+\frac{1-a^{2}}{c} \leqslant \frac{5}{4} .

Solution

Proof: Without loss of generality, let a=max{a,b,c}a=\max \{a, b, c\}. From the given condition, we have a2b2+c2a^{2} \leqslant b^{2}+c^{2}. Then
(1)
22b22a+22c22b+22a22c54a2+c2b22a+a2+b2c22b+b2+c2a22c54. \begin{array}{l} \Leftrightarrow \frac{2-2 b^{2}}{2 a}+\frac{2-2 c^{2}}{2 b}+\frac{2-2 a^{2}}{2 c} \leqslant \frac{5}{4} \\ \Leftrightarrow \frac{a^{2}+c^{2}-b^{2}}{2 a}+\frac{a^{2}+b^{2}-c^{2}}{2 b}+\frac{b^{2}+c^{2}-a^{2}}{2 c} \leqslant \frac{5}{4} . \end{array}

And
54=5412(a2+b2+c2)5412(a+b2+c2), \frac{5}{4}=\frac{5}{4} \sqrt{\frac{1}{2}\left(a^{2}+b^{2}+c^{2}\right)} \geqslant \frac{5}{4} \cdot \frac{1}{2}\left(a+\sqrt{b^{2}+c^{2}}\right),

Therefore, it suffices to prove
a2+c2b2a+a2+b2c2b+b2+c2a2c54(a+b2+c2).bc(a2+c2b2)+ca(a2+b2c2)+ab(b2+c2a2)abc54(a+b2+c2)a+b+c+(a+b+c)(ab)(bc)(ca)abc54(a+b2+c2)4(a+b+c)[abc+(ab)(bc)(ca)]5abc(a+b2+c2)4(a+b+c)(ab)(ac)(cb)+abc(4(b+c)a5b2+c2)0. \begin{aligned} & \frac{a^{2}+c^{2}-b^{2}}{a}+\frac{a^{2}+b^{2}-c^{2}}{b}+\frac{b^{2}+c^{2}-a^{2}}{c} \\ \leqslant & \frac{5}{4}\left(a+\sqrt{b^{2}+c^{2}}\right) . \\ \Leftrightarrow & \frac{b c\left(a^{2}+c^{2}-b^{2}\right)+c a\left(a^{2}+b^{2}-c^{2}\right)+a b\left(b^{2}+c^{2}-a^{2}\right)}{a b c} \\ \leqslant & \frac{5}{4}\left(a+\sqrt{b^{2}+c^{2}}\right) \\ \Leftrightarrow & a+b+c+\frac{(a+b+c)(a-b)(b-c)(c-a)}{a b c} \\ \leqslant & \frac{5}{4}\left(a+\sqrt{b^{2}+c^{2}}\right) \\ \Leftrightarrow & 4(a+b+c)[a b c+(a-b)(b-c)(c-a)] \\ \leqslant & 5 a b c\left(a+\sqrt{b^{2}+c^{2}}\right) \\ \Leftrightarrow & 4(a+b+c)(a-b)(a-c)(c-b)+a b c(4(b+c) \\ & \left.-a-5 \sqrt{b^{2}+c^{2}}\right) \leqslant 0 . \end{aligned}
 Let f(a)=4(a+b+c)(ab)(ac)(cb)+abc(4(b+c)a5b2+c2). \begin{array}{l} \text { Let } f(a)=4(a+b+c)(a-b)(a-c)(c-b)+a b c(4(b+c)- \\ \left.a-5 \sqrt{b^{2}+c^{2}}\right) . \end{array}
(i) If bcab2+c2b \leqslant c \leqslant a \leqslant \sqrt{b^{2}+c^{2}}. When b=cb=c, a2ba \leqslant \sqrt{2} b. At this time, f(a)=f(a)= ab2(8ba52b)=ab2((752)b+(ba))0a b^{2}(8 b-a-5 \sqrt{2} b)=a b^{2}((7-5 \sqrt{2}) b+(b-a)) \leqslant 0, hence limaf(a)0\lim _{a \rightarrow-\infty} f(a) \leqslant 0, and f(0)=4(b+c)bc(cb)>0f(0)=4(b+c) b c(c-b)>0, f(c)=bc2(4(b+c)c5b2+c2)=bc2(4b+3c5b2+c2)0(3b4c)2>0f(c)=b c^{2}\left(4(b+c)-c-5 \sqrt{b^{2}+c^{2}}\right)=b c^{2}(4 b+3 c - 5 \sqrt{b^{2}+c^{2}}) \leqslant 0 \Leftrightarrow (3 b-4 c)^{2}>0. Therefore, f(a)f(a) has three real roots in (,0)(-\infty, 0), (0,c)(0, c), and (c,+)(c,+\infty).

Consider the sign of f(b2+c2)f\left(\sqrt{b^{2}+c^{2}}\right), noting that the sign of f(a)f(a) is the same as the sign of the left side minus the right side in (3). We only need to consider
a2+c2b2a+a2+b2c2b+b2+c2a2c54(a+b2+c2) \frac{a^{2}+c^{2}-b^{2}}{a}+\frac{a^{2}+b^{2}-c^{2}}{b}+\frac{b^{2}+c^{2}-a^{2}}{c}-\frac{5}{4}\left(a+\sqrt{b^{2}+c^{2}}\right)

when a=b2+c2a=\sqrt{b^{2}+c^{2}}. At this time,
 (4) =2c2b2+c2+2b2b54(b2+c2+b2+c2)=2c2b2+c2+2b52b2+c2=12b2+c2(4c2+4bb2+c25(b2+c2))=12b2+c2(4bb2+c25b2c2)0 \text { (4) } \begin{aligned} & =\frac{2 c^{2}}{\sqrt{b^{2}+c^{2}}}+\frac{2 b^{2}}{b}-\frac{5}{4}\left(\sqrt{b^{2}+c^{2}}+\sqrt{b^{2}+c^{2}}\right) \\ & =\frac{2 c^{2}}{\sqrt{b^{2}+c^{2}}}+2 b-\frac{5}{2} \sqrt{b^{2}+c^{2}} \\ & =\frac{1}{2 \sqrt{b^{2}+c^{2}}}\left(4 c^{2}+4 b \sqrt{b^{2}+c^{2}}-5\left(b^{2}+c^{2}\right)\right) \\ & =\frac{1}{2 \sqrt{b^{2}+c^{2}}}\left(4 b \sqrt{b^{2}+c^{2}}-5 b^{2}-c^{2}\right) \leqslant 0 \end{aligned}
(4bb2+c25b2+c216b4+16b2c225b4+c4+10b2c29b4+c46b2c20(3b2c2)20)\left(\Leftrightarrow 4 b \sqrt{b^{2}+c^{2}} \leqslant 5 b^{2}+c^{2} \Leftrightarrow 16 b^{4}+16 b^{2} c^{2} \leqslant 25 b^{4}+c^{4}+10 b^{2} c^{2} \Leftrightarrow 9 b^{4}+c^{4}-6 b^{2} c^{2} \geqslant 0 \Leftrightarrow (3 b^{2}-c^{2})^{2} \geqslant 0\right).

From the above, we know that f(b2+c2)0f\left(\sqrt{b^{2}+c^{2}}\right) \leqslant 0. This indicates that when cab2+c2c \leqslant a \leqslant \sqrt{b^{2}+c^{2}}, f(a)0f(a) \leqslant 0.
(ii) If c<bab2+c2c < b \leqslant a \leqslant \sqrt{b^{2}+c^{2}}, then a>ca > c and a>ba > b, so
4(a+b+c)(ac)(ab)(bc)04(a+b+c)(ac)(ab)(cb), \begin{aligned} & 4(a+b+c)(a-c)(a-b)(b-c) \geqslant 0 \\ \geqslant & 4(a+b+c)(a-c)(a-b)(c-b), \end{aligned}

Therefore, when bab2+c2b \leqslant a \leqslant \sqrt{b^{2}+c^{2}},
f(a)4(a+b+c)(ac)(ab)(bc)+abc(4(b+c)a5b2+c2)0. \begin{array}{c} f(a) \leqslant 4(a+b+c)(a-c)(a-b)(b-c)+ \\ a b c\left(4(b+c)-a-5 \sqrt{b^{2}+c^{2}}\right) \leqslant 0 . \end{array}
(a=1,b=12,c=32\left(a=1, b=\frac{1}{2}, c=\frac{\sqrt{3}}{2}\right. when equality holds. ))

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: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.