Maths Olympiad Prep

Library / Croatian Mathematical Competitions /10 of 114

Croatian Mathematical Competitions

Algebra Difficulty 4.5 AIME Prove it Croatia

Let a≤b≤ca \le b \le c be real numbers. Prove that c2−b2+a2≥(c−b+a)2c^2 - b^2 + a^2 \ge (c - b + a)^2. (Santos J. Prob. Seminar)

Solution

We need to prove that
c2−b2+a2≥(c−b+a)2. c^2 - b^2 + a^2 \ge (c - b + a)^2.

Expand the right-hand side:
(c−b+a)2=(c+a−b)2=(c+a)2−2b(c+a)+b2=c2+2ac+a2−2bc−2ab+b2.(c - b + a)^2 = (c + a - b)^2 = (c + a)^2 - 2b(c + a) + b^2 = c^2 + 2ac + a^2 - 2bc - 2ab + b^2.

So the inequality becomes:
c2−b2+a2≥c2+2ac+a2−2bc−2ab+b2. c^2 - b^2 + a^2 \ge c^2 + 2ac + a^2 - 2bc - 2ab + b^2.

Bring all terms to one side:
c2−b2+a2−[c2+2ac+a2−2bc−2ab+b2]≥0. c^2 - b^2 + a^2 - [c^2 + 2ac + a^2 - 2bc - 2ab + b^2] \ge 0.

Simplify:
c2−b2+a2−c2−2ac−a2+2bc+2ab−b2≥0 c^2 - b^2 + a^2 - c^2 - 2ac - a^2 + 2bc + 2ab - b^2 \ge 0
(−b2−2ac+2bc+2ab−b2)≥0 (- b^2 - 2ac + 2bc + 2ab - b^2) \ge 0
(−2b2−2ac+2bc+2ab)≥0 (-2b^2 - 2ac + 2bc + 2ab) \ge 0
2(−b2−ac+bc+ab)≥0 2(-b^2 - ac + bc + ab) \ge 0
−b2−ac+bc+ab≥0 -b^2 - ac + bc + ab \ge 0
(bc+ab−b2−ac)≥0 (bc + ab - b^2 - ac) \ge 0
b(c+a−b)−ac≥0 b(c + a - b) - ac \ge 0
b(c+a−b)≥ac b(c + a - b) \ge ac

Since a≤b≤ca \le b \le c, c+a−b≥ac + a - b \ge a (because c≥bc \ge b), and b≥ab \ge a, so b(c+a−b)≥abb(c + a - b) \ge a b. Also, ac≤bcac \le b c since a≤ba \le b. So b(c+a−b)≥acb(c + a - b) \ge ac.

Therefore, the inequality holds for all real numbers a≤b≤ca \le b \le c.

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.