Maths Olympiad Prep

Library / /2 of 61

Algebra Difficulty 4.8 AIME Prove it Ukraine

Let a,b,c[0,1]a, b, c \in [0, 1]. Prove that
11+a+b+11+b+c+11+c+a+a+b+c3+13(ab+bc+ca). \frac{1}{1+a+b} + \frac{1}{1+b+c} + \frac{1}{1+c+a} + a+b+c \le 3 + \frac{1}{3}(ab+bc+ca).

Solution

Доведемо допоміжну нерівність
11+a+b1a+b2+ab3. \frac{1}{1+a+b} \le 1 - \frac{a+b}{2} + \frac{ab}{3}.
Ця нерівність рівносильна таким нерівностям:
6(1+a+b)(63(a+b)+2ab), 6 \le (1+a+b)(6-3(a+b)+2ab),
66+6(a+b)3(a+b)3(a+b)2+2ab+2ab(a+b), 6 \le 6 + 6(a+b) - 3(a+b) - 3(a+b)^2 + 2ab + 2ab(a+b),
2a2b+2ab23a23b24ab+3a+3b0, 2a^2b + 2ab^2 - 3a^2 - 3b^2 - 4ab + 3a + 3b \ge 0,
2a(a1)(b1)+2b(a1)(b1)+a(1a)+b(1b)0. 2a(a-1)(b-1) + 2b(a-1)(b-1) + a(1-a) + b(1-b) \ge 0.
Остання нерівність є правильною, бо a,b[0,1]a, b \in [0, 1].

Додаючи цю та ще дві аналогічні нерівності, дістанемо, що
11+a+b+11+b+c+11+c+a3(a+b+c)+13(ab+bc+ca), \frac{1}{1+a+b} + \frac{1}{1+b+c} + \frac{1}{1+c+a} \le 3 - (a+b+c) + \frac{1}{3}(ab+bc+ca),
звідки й випливає потрібна нерівність.

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 and solution reproduced as published; topic and difficulty added by this site.