Maths Olympiad Prep

Library / /1 of 5

Algebra Difficulty 4.5 AIME Prove it Brazil

Show that if the positive real numbers aa, bb satisfy a3=a+1a^3 = a + 1 and b6=b+3ab^6 = b + 3a, then a>ba > b.

Solution

a3=a+1>1a^3 = a + 1 > 1, so a>1a > 1, so b6=b+3a>3b^6 = b + 3a > 3, so b>1b > 1.
a6b6=(a+1)2(b+3a)=(a1)2+(ab)>aba^6 - b^6 = (a+1)^2 - (b+3a) = (a-1)^2 + (a-b) > a-b. But a6b6=(ab)(a5+a4b+a3b2+a2b3+ab4+b5)a^6 - b^6 = (a-b)(a^5 + a^4b + a^3b^2 + a^2b^3 + ab^4 + b^5), so if b>ab > a, then b6a66(ba)b^6 - a^6 \ge 6(b-a) and hence a6b6<aba^6 - b^6 < a - b. Contradiction. Obviously if a=ba=b, then a6=b6a^6 = b^6 and so a6b6a^6 - b^6 is not greater than aba-b. Hence we must have a>ba > b.

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.