Olympiad Maths Prep

Track / Stage 4 / 8 of 340 #268 of 2000

Problem 268

AMC 12 late, AIME early
Algebra Difficulty 4.3 Prove it

Given that aa, bb, and cc are all positive numbers, and a2+2b2+3c2=4a^{2}+2b^{2}+3c^{2}=4, prove:
(1)(1) If a=ca=c, then ab22ab\leqslant \frac{{\sqrt{2}}}{2};
(2)(2) a+2b+3c26a+2b+3c\leqslant 2\sqrt{6}.

This one wants a proof. Work it on paper, read the official solution, then mark yourself honestly — the ladder only means something if the record is true.

Official solution

Proof:

(1) Given a=ca=c and a2+2b2+3c2=4a^{2}+2b^{2}+3c^{2}=4, we substitute cc with aa to get:

4a2+2b2=44a^{2}+2b^{2}=4

This can be simplified to:

2a2+b2=22a^{2}+b^{2}=2

By applying the AM-GM inequality, we have:

2=2a2+b222a2b2=22ab2 = 2a^{2} + b^{2} \geq 2\sqrt{2a^{2}b^{2}} = 2\sqrt{2}ab

Dividing both sides by 222\sqrt{2}, we get:

ab22ab \leq \frac{\sqrt{2}}{2}

Thus, we have proven that if a=ca=c, then ab22ab\leqslant \frac{{\sqrt{2}}}{2}. The equality holds when b=2ab=\sqrt{2}a, which encapsulates our final answer for part (1) as:

ab22\boxed{ab \leq \frac{\sqrt{2}}{2}}

(2) Given a2+2b2+3c2=4a^{2}+2b^{2}+3c^{2}=4 and using the Cauchy-Schwarz inequality, we consider the sum of squares on the left and a sum of squares of coefficients on the right:

(a2+2b2+3c2)(12+22+32)(a+2b+3c)2(a^{2}+2b^{2}+3c^{2})(1^{2}+\sqrt{2}^{2}+\sqrt{3}^{2}) \geqslant (a+2b+3c)^{2}

Simplifying the terms, we get:

4×6(a+2b+3c)24 \times 6 \geqslant (a+2b+3c)^{2}

Taking the square root of both sides, we find:

a+2b+3c26a+2b+3c \leqslant 2\sqrt{6}

This proves that a+2b+3c26a+2b+3c\leqslant 2\sqrt{6}, with equality holding when a=b=c=63a=b=c=\frac{\sqrt{6}}{3}. Thus, the final encapsulated answer for part (2) is:

a+2b+3c26\boxed{a+2b+3c \leqslant 2\sqrt{6}}

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.