Первые два сомножителя не равны нулю, в противном случае
─ стационарные точки функции
где
Имеем
так как первые два сомножителя при условии (4.3) положительны. Значит,
Покажем, что
Предположим, что (4.7) справедливо. Оно равносильно неравенству
которое, в свою очередь, равносильно такому
Возведение в квадрат обеих частей неравенства (4.8) даст эквивалентное неравенство, если левая часть неотрицательна. Установим, при каких
Очевидно, при
Будем считать
т.е.
При
Оценим теперь
т.е.
Преобразовав последнее неравенство, получим
После возведения обеих частей неравенства в квадрат и приведения подобных членов, получим очевидное неравенство
В силу равносильности неравенств справедливо неравенство (4.9), так что
Таким образом, для
Оценим
Сначала потребуем, чтобы
Усилим неравенство
Отсюда
имеем
Для этого сначала оценим
Подставив
что после упрощения даёт
Возведём обе части неравенства в квадрат, получим
1 случай:
2 случай:
Следовательно:
Очевидно, что при условии (4.5) это неравенство справедливо и, следовательно, справедливо (4.11). Итак, при условиях (4.5) и (4.10) справедлива оценка
На концах отрезка
1. в точке
2. в точке
3. в точке
Найдём условия, при которых
Таким образом, если выбирать