Maths Olympiad Prep

Library / BMO Shortlist /6 of 35

BMO Shortlist, 2019

Algebra Difficulty 7.9 National Olympiad, round 2 Prove it Balkan Mathematical Olympiad

Let a,b,ca, b, c be real numbers such that 0≤a≤b≤c0 \le a \le b \le c. Prove that if
a+b+c=ab+bc+ca>0, a + b + c = ab + bc + ca > 0,
then bc(a+1)≥2\sqrt{bc}(a + 1) \ge 2. When does the equality hold?

Solution

Let a+b+c=ab+bc+ca=ka + b + c = ab + bc + ca = k. Since (a+b+c)2≥3(ab+bc+ca)(a + b + c)^2 \ge 3(ab + bc + ca), we get that k2≥3kk^2 \ge 3k. Since k>0k > 0, we obtain that k≥3k \ge 3.
We have bc≥ca≥abbc \ge ca \ge ab, so from the above relation we deduce that bc≥1bc \ge 1.
By AM-GM, b+c≥2bcb + c \ge 2\sqrt{bc} and consequently b+c≥2b + c \ge 2. The equality holds iff b=cb = c.
The constraint gives us
a=b+c−bcb+c−1=1−bc−1b+c−1≥1−bc−12bc−1=bc(2−bc)2bc−1. a = \frac{b + c - bc}{b + c - 1} = 1 - \frac{bc - 1}{b + c - 1} \ge 1 - \frac{bc - 1}{2\sqrt{bc} - 1} = \frac{\sqrt{bc}(2 - \sqrt{bc})}{2\sqrt{bc} - 1}.
For bc=2\sqrt{bc} = 2 condition a≥0a \ge 0 gives bc(a+1)≥2\sqrt{bc}(a + 1) \ge 2 with equality iff a=0a = 0 and b=c=2b = c = 2.
For bc<2\sqrt{bc} < 2, taking into account the estimation for aa, we get
abc≥bc(2−bc)2bc−1=bc2bc−1(2−bc). a\sqrt{bc} \ge \frac{bc(2 - \sqrt{bc})}{2\sqrt{bc} - 1} = \frac{bc}{2\sqrt{bc} - 1}(2 - \sqrt{bc}).
Since bc2bc−1≥1\frac{bc}{2\sqrt{bc} - 1} \ge 1, with equality for bc=1bc = 1, we get bc(a+1)≥2\sqrt{bc}(a + 1) \ge 2 with equality iff a=b=c=1a = b = c = 1.
For bc>2\sqrt{bc} > 2 we have bc(a+1)>2(a+1)≥2\sqrt{bc}(a + 1) > 2(a + 1) \ge 2.
The proof is complete.
The equality holds iff a=b=c=1a = b = c = 1 or a=0a = 0 and b=c=2b = c = 2. □\square

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.