Maths Olympiad Prep

Library / /182 of 462

Algebra Difficulty 5.6 AIME, harder Prove it Ireland

Suppose the real numbers aa, AA, bb, BB satisfy the inequalities:
A3a1a,B3b1b, |A - 3a| \le 1 - a, \quad |B - 3b| \le 1 - b,
and aa, bb are positive. Prove that AB33ab1ab\left| \frac{AB}{3} - 3ab \right| \le 1 - ab.

Solutions — 2

Solution 1

Observe that aa, b(0,1]b \in (0, 1]. Let u=A3au = A - 3a, v=B3bv = B - 3b. Then u1a|u| \le 1 - a, v1b|v| \le 1 - b, and A=u+3aA = u + 3a, B=v+3bB = v + 3b, so that AB=uv+3(ub+va)+9abAB = uv + 3(ub + va) + 9ab. Hence
AB9ab=uv+3(ub+va)uv+3(bu+av)(1a)(1b)+3(a(1b)+b(1a))=1+2(a+b)5ab=3(1ab)2(1ab+ab)3(1ab) \begin{align*} |AB - 9ab| &= |uv + 3(ub + va)| \\ &\le |u||v| + 3(b|u| + a|v|) \\ &\le (1-a)(1-b) + 3(a(1-b) + b(1-a)) \\ &= 1 + 2(a+b) - 5ab \\ &= 3(1-ab) - 2(1-a-b+ab) \\ &\le 3(1-ab) \end{align*}
since
1ab+ab=(1a)(1b)0.1 - a - b + ab = (1 - a)(1 - b) \geq 0.
Whence, dividing by 3, it follows that
AB33ab1ab. \left| \frac{AB}{3} - 3ab \right| \leq 1 - ab.

Solution 2

When we add the two equations
(1a)(1+b)=1aba+band(1+a)(1b)=1ab+abwe obtain (1-a)(1+b) = 1-ab-a+b \quad \text{and} \\ (1+a)(1-b) = 1-ab+a-b \quad \text{we obtain}
(1a)(1+b)+(1+a)(1b)=2(1ab).(9) (1 - a)(1 + b) + (1 + a)(1 - b) = 2(1 - ab). \qquad (9)
Similarly, adding
(A3a)(B+3b)=AB9ab3aB+3Abto(A+3a)(B3b)=AB9ab+3aB3Abgives (A - 3a)(B + 3b) = AB - 9ab - 3aB + 3Ab \quad \text{to} \\ (A + 3a)(B - 3b) = AB - 9ab + 3aB - 3Ab \quad \text{gives}
(A3a)(B+3b)+(A+3a)(B3b)=2(AB9ab).(10) (A - 3a)(B + 3b) + (A + 3a)(B - 3b) = 2(AB - 9ab). \qquad (10)
Since 0A3a1a0 \le |A - 3a| \le 1 - a, we have 0<a10 < a \le 1 and A3aA3a1aA - 3a \le |A - 3a| \le 1 - a and so A1+2a3A \le 1 + 2a \le 3. But also 3aAA3a1a3a - A \le |A - 3a| \le 1 - a, which gives 1<4a1A-1 < 4a - 1 \le A, hence A3|A| \le 3. This implies A+3aA+3a3(1+a)|A + 3a| \le |A| + 3a \le 3(1+a). In a similar way we obtain B+3b3(1+b)|B + 3b| \le 3(1+b). Using (10), the triangle inequality and the assumption, we now see that
2AB9abA3aB+3b+A+3aB3b3(1a)(1+b)+3(1+a)(1b)=6(1ab), 2|AB - 9ab| \le |A - 3a| \cdot |B + 3b| + |A + 3a| \cdot |B - 3b| \\ \le 3(1 - a)(1 + b) + 3(1 + a)(1 - b) = 6(1 - ab),
where we have used (9) at the end. Division by 6 yields the desired inequality.

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.