Maths Olympiad Prep

Library / India — Team Selection Test /6 of 77

India — Team Selection Test, 2007

Algebra Difficulty 4.9 AIME Prove it India

Let a,b,ca, b, c be non-negative real numbers such that a+b≤c+1a+b \le c+1, b+c≤a+1b+c \le a+1 and c+a≤b+1c+a \le b+1. Prove that
a2+b2+c2≤2abc+1. a^2 + b^2 + c^2 \le 2abc + 1.

Solutions — 2

Solution 1

Adding the first two, we get 2b≤22b \le 2 so that b≤1b \le 1. Similarly, we get c≤1c \le 1 and a≤1a \le 1. Put α=1−a\alpha = 1 - a, β=1−b\beta = 1 - b and γ=1−c\gamma = 1 - c. Then 0≤α,β,γ≤10 \le \alpha, \beta, \gamma \le 1 and
α+βγ,β+γ≥α,γ+α≥α. \alpha + \beta\gamma, \quad \beta + \gamma \ge \alpha, \quad \gamma + \alpha \ge \alpha.
The inequality to be proved reduces to
α2+β2+γ2≤2(αβ+βγ+γα)−2αβγ. \alpha^2 + \beta^2 + \gamma^2 \le 2(\alpha\beta + \beta\gamma + \gamma\alpha) - 2\alpha\beta\gamma.
We may assume that γ\gamma is the largest among the three, so that α≤γ\alpha \le \gamma and β≤γ\beta \le \gamma. Using γ≤α+β\gamma \le \alpha + \beta, we get γ2≤γ(α+β)\gamma^2 \le \gamma(\alpha + \beta). Also α2≤αγ\alpha^2 \le \alpha\gamma and β2≤βγ\beta^2 \le \beta\gamma. Thus α2+β2+γ2≤2(αγ+βγ)\alpha^2 + \beta^2 + \gamma^2 \le 2(\alpha\gamma + \beta\gamma). Hence it suffices to prove that 2αβγ≤2αβ2\alpha\beta\gamma \le 2\alpha\beta. This follows from γ≤1\gamma \le 1.

Solution 2

(Amar Arpit Goel, Utkarsh Tripati). As in the first solution, we conclude that 0≤a,b,c≤10 \le a, b, c \le 1. The symmetry shows that we may assume a≥b≥ca \ge b \ge c. We may write the inequality in the form
(a−b)2≤(1−c)(1+c−2ab). (a-b)^2 \le (1-c)(1+c-2ab).
Observe that 1−c≥a−b≥01-c \ge a-b \ge 0, by b+c≤a+1b+c \le a+1. Using 1+c≥a+b1+c \ge a+b, we get 1+c≥a+b≥a+ab≥a(1+b)+b(a−1)1+c \ge a+b \ge a+ab \ge a(1+b)+b(a-1), since b≥0b \ge 0 and a≤1a \le 1. Thus 1+c−2b≥a−b≥01+c-2b \ge a-b \ge 0. It follows that
(a−b)2≤(1−c)(1+c−2ab), (a-b)^2 \le (1-c)(1+c-2ab),
as required.

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.