Maths Olympiad Prep

Library / /11 of 61

Algebra Difficulty 5.0 AIME, harder Prove it Ukraine

Prove that for any rational numbers aa and bb the graph of the function
f(x)=x36abx2a34b3,xR, f(x) = x^3 - 6abx - 2a^3 - 4b^3, \quad x \in \mathbb{R},
has exactly one common point with the xx-axis.

Solution

Оскільки f(x)=3x26abf'(x) = 3x^2 - 6ab, то при ab0ab \le 0 функція ff строго зростає на всій числовій прямій, набуває, очевидно, і від’ємних, і додатних значень, а тому твердження задачі справджується.

Якщо a>0a > 0 і b>0b > 0, то точками локального екстремуму будуть x=±2abx = \pm\sqrt{2ab}, причому f(±2ab)=(2a34b3)20f(\pm\sqrt{2ab}) = - (\sqrt{2a^3} \mp \sqrt{4b^3})^2 \le 0. Рівність в останній нерівності досягатися, як легко помітити, не може через ірраціональність числа 2\sqrt{2}. Отже, в обох точках екстремуму кубічний многочлен набуває від’ємних значень, а тому, зрозуміло, його графік має з віссю OxOx єдину спільну точку.

Аналогічно розглядається випадок, коли a<0a < 0 і b<0b < 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: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic and difficulty added by this site.