Let a, b, c be nonnegative real numbers satisfying a2+b2+c2=1. Prove that a+b+b+c+c+a≥5abc+2
Solution
First of all let us show that a+b+b+c+c+a≥7(a+b+c)−3 (1). Let a+b+c=x, then ab+bc+ca=2x2−1 and since by Cauchy-Schwarz inequality 1=a2+b2+c2≤(a+b+c)2≤3(a2+b2+c2)=3 we get that 1≤x≤3. It can be readily shown that
Note that for 0≤a≤1 and x≥1a2+2x2−1≥a+2x−1 (2). Indeed, by taking square of both sides we get a2+2x2−1≥a2+a(x−1)+4x2−1 which is equivalent to (x−1)(x+3−4a)≥0. Since x≥1≥a (2) is proved. Now (2) implies (1).
In order to complete solution let us show that 7(a+b+c)−3≥(2+5abc)2. By AM-GM inequality ab+bc+ca≥33a2b2c2 and therefore (2+5abc)2≤(2+5(6x2−1)3/2)2. Thus, it is sufficient to show that (2+5(6x2−1)3/2)2≤7x−3. Now
Let us show that if 1≤x≤3 then 21625(x2−1)2(x+1)+956(x2−1)1/2(x+1)≤7. Since the last expression is an increasing function of x for x≥1 we will check it only for x=3 : 54205+853≈6.52<7. Done.
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 reproduced verbatim; metadata (topic, difficulty) added by this project.