Докажите, что многочлен принимает лишь неотрицательные значения:
Для доказательства используется метод выделения полного квадрата. Квадрат любого действительного числа всегда неотрицателен (). Сумма нескольких полных квадратов также всегда .
а) Первые три слагаемых образуют квадрат разности: . Так как оба слагаемых , их сумма также неотрицательна.
б) Сгруппируем , что дает . Итоговое выражение: .
в) Выделим квадрат относительно : . Сумма двух квадратов всегда .
г) Разложим на . Получим две группы: и , что равно .
д) Первые три члена — это квадрат разности . Прибавляем к нему и . Выражение всегда .
е) Разложим число как . Сгруппируем: .