Maths Olympiad Prep

Library / Winter Mathematical Competition /4 of 14

Winter Mathematical Competition

Algebra Difficulty 5.4 AIME, harder Prove it Bulgaria

Find all positive integers nn such that if a,b,c≥0a, b, c \ge 0 and a+b+c=3a+b+c=3, then abc(an+bn+cn)≤3abc(a^n + b^n + c^n) \le 3.

Solution

For a=2a=2, b=c=12b=c=\frac{1}{2} and n≥3n \ge 3 the inequality is not satisfied. On the other hand, for n=1n=1 it is equivalent to the AM-GM inequality. It remains to consider the case n=2n=2.
We shall prove that the inequality is true for n=2n=2.

First solution. Set x=bcx = bc. Then
abc(a2+b2+c2)=ax(a2+(b+c)2−2x). abc(a^2 + b^2 + c^2) = ax(a^2 + (b+c)^2 - 2x).
The function x(p−2x)x(p-2x) is increasing for x≤p4x \le \frac{p}{4}. Since
bc≤(b+c)24≤a2+(b+c)24, bc \le \frac{(b+c)^2}{4} \le \frac{a^2 + (b+c)^2}{4},
it follows that if b+c=b′+c′b+c = b'+c' and bc≤b′c′bc \le b'c', then
abc(a2+b2+c2)≤ab′c′(a2+b′2+c′2). abc(a^2 + b^2 + c^2) \le ab'c'(a^2 + b'^2 + c'^2).
Without loss of generality we can assume that b≤1≤cb \le 1 \le c. Set b′=1,c′=b+c−1b' = 1, c' = b+c-1. Since b+c=b′+c′b+c = b'+c' and bc−b′c′=(b−1)(c−1)≤0bc-b'c' = (b-1)(c-1) \le 0, the above implies that
abc(a2+b2+c2)≤a(2−a)(a2+1+(2−a)2). abc(a^2 + b^2 + c^2) \le a(2-a)(a^2 + 1 + (2-a)^2).
Set d=(a−1)2d = (a-1)^2. Then
a(2−a)(a2+1+(2−a)2)=(1−d)(3+2d)=3−d−2d2≤3 a(2-a)(a^2+1+(2-a)^2) = (1-d)(3+2d) = 3-d-2d^2 \le 3
and the given inequality (for n=2n=2) follows.

Second solution. Let n=2n=2 and set ab+bc+ac=xab+bc+ac=x. Then we have a2+b2+c2=9−2xa^2+b^2+c^2=9-2x and 9abc≤x29abc \le x^2 (this follows from the inequality (ab+bc+ac)2≥3abc(a+b+c)(ab+bc+ac)^2 \ge 3abc(a+b+c)). Hence we have to prove that (9−2x)x2≤27(9-2x)x^2 \le 27, which is equivalent to the obvious (2x+3)(x−3)2≥0(2x+3)(x-3)^2 \ge 0.

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.