Maths Olympiad Prep

Library / /20 of 520

Algebra Difficulty 4.6 AIME Find the answer

5. Let f(x)=x3+log2(x+x2+1)f(x)=x^{3}+\log _{2}\left(x+\sqrt{x^{2}+1}\right). Then for any real numbers a,b,a+b0a, b, a+b \geqslant 0 is a ( ) for f(a)+f(b)0f(a)+f(b) \geqslant 0.

Pick one

Solution

5.A.

Obviously, f(x)=x3+log2(x+x2+1)f(x)=x^{3}+\log _{2}\left(x+\sqrt{x^{2}+1}\right) is an odd function and monotonically increasing. Therefore, if a+b0a+b \geqslant 0, then aba \geqslant-b, so f(a)f(b)f(a) \geqslant f(-b), which means f(a)f(b)f(a) \geqslant-f(b). Thus, f(a)+f(b)0f(a)+f(b) \geqslant 0.

Conversely, if f(a)+f(b)0f(a)+f(b) \geqslant 0, then f(a)f(b)=f(a) \geqslant-f(b)= f(b)f(-b), which implies aba \geqslant-b, i.e., a+b0a+b \geqslant 0.

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: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.