Докажите что: ab(b-a)≤a^3-b^3, если a≥b

Чтобы доказать неравенство \( ab(b-a) \leq a^3 - b^3 \) при условии, что \( a \geq b \), начнем с правой части неравенства.

Напомним, что выражение \( a^3 - b^3 \) может быть разложено по формуле разности кубов:

\[ a^3 - b^3 = (a-b)(a^2 + ab + b^2). \]

Таким образом, наше неравенство можно переписать как:

\[ ab(b-a) \leq (a-b)(a^2 + ab + b^2). \]

Теперь, поскольку \( a \geq b \), мы знаем, что \( a - b \geq 0 \). Поэтому мы можем безопасно разделить обе стороны на \( a - b \), не меняя знак неравенства, при условии, что \( a \neq b \):

\[ \frac{ab(b-a)}{a-b} \leq a^2 + ab + b^2. \]

Теперь рассмотрим левую часть:

\[ \frac{ab(b-a)}{a-b} = ab \cdot \frac{b-a}{a-b} = -ab, \]

так как \( \frac{b-a}{a-b} = -1 \).

Теперь, мы получаем:

\[ -ab \leq a^2 + ab + b^2. \]

Переносим \( ab \) в левую часть:

\[ -ab - ab \leq a^2 + b^2, \]

или

\[ -2ab \leq a^2 + b^2. \]

Теперь преобразуем неравенство:

\[ a^2 + b^2 + 2ab \geq 0. \]

Это неравенство всегда выполняется, так как \( a^2 + b^2 + 2ab = (a+b)^2 \), а квадрат любого действительного числа неотрицателен.

Таким образом, мы пришли к верному утверждению, что:

\[ ab(b-a) \leq a^3 - b^3. \]

Следовательно, неравенство выполнено при условии \( a \geq b \).