Maths Olympiad Prep

Track / Stage 5 / 18 of 400 #618 of 1964

Problem 618

AIME late
Algebra Difficulty 5.0 Prove it Ukrainian Mathematical Olympiad · 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.

This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.

Next problem →

Official 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.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty, ordering) added by this project.