Давайте докажем данное неравенство для всех действительных чисел a и b.
Рассмотрим левую часть неравенства:
LHS=a2+ab+b2.
Рассмотрим правую часть неравенства:
RHS=3(a+b−1).
Нам нужно показать, что LHS≥RHS для всех a и b.
Рассмотрим разность LHS и RHS:
LHS−RHS=a2+ab+b2−3(a+b−1).
Разложим это выражение:
LHS−RHS=a2+ab+b2−3a−3b+3.
Теперь преобразуем выражение:
LHS−RHS=a2−2a+ab+b2−3b+3.
Давайте выразим a через b с использованием условия a+b=t, где t — некоторая фиксированная константа:
a=t−b.
Теперь подставим это в выражение для LHS−RHS:
LHS−RHS=(t−b)2−2(t−b)+b(t−b)+b2−3b+3.
Упростим выражение:
LHS−RHS=t2−2tb+b2−2t+2b+b(t−b)−3b+3.
Раскроем скобки:
LHS−RHS=t2−2tb+b2−2t+2b+bt−b2−3b+3.
Упростим дальше:
LHS−RHS=t2−2tb+bt−2t−3b+3.
Факторизуем по t:
LHS−RHS=t(t−2b+1)−3(b−1).
Теперь мы видим, что LHS−RHS факторизуется в произведение двух выражений. Рассмотрим каждое выражение отдельно:
t(t−2b+1)
Это является квадратным трехчленом от t, и его вершина находится при t=b−21. Подставим эту точку в выражение:
t(t−2b+1)=(b−21)(b−21−2b+1)=−43(b−1)2.
−3(b−1)
Это линейное выражение от b, и его нуль при b=1.
Таким образом, LHS−RHS представляется в виде суммы квадратного трехчлена и линейного члена от b. Так как LHS−RHS представляется в виде суммы квадратного трехчлена и линейного члена, а коэффициент при