Пусть:
1)
2)
Тогда:
Существует такое число
зависящее только от
, что если
, то уравнение
имеет по крайней мере
корень.
Задача: доказать это.
Будем считать доказанным следующие факты:
1)Пусть
, где
— промежуток содержащийся в
Пусть
разбили на три последовательных промежутка
и
длина
, тогда выполняется:
2) если
имеет длину
, то:
Зорич даёт указание: используйте факт 1) и по индукции докажите, что существует такая последовательность
интервала
что
Я смог доказать лишь базу индукции, при
доказательство:1)Предположим, что функция
не имеет нулей при любом
, для определённости предположим, что
, т.е. функция
— выпуклая.
2)По свойствам выпуклых функций,
сперва убывает на интервале
а затем возрастает на интервале
, где a — это такая точка, что
. Для определённости предположим, что
. Ограничим функцию
до интервала
. Т.е. теперь функция
— возрастающая.
3) Пусть
. По теореме Лагранжа
(неравенство следует из выпуклости, т.е. возрастания производной).
4) Выберем
вспомним, что
и окончательно получим
5) Из неравенства выше следует, что
но это протеворечит тому, что
.
Полученное противоречие завершает доказательство.
Но как проталкивать индукцию и использовать то неравенство, на которое указывает Зорич, ума не приложу; если кто-то даст какие-то наводящие соображения — буду благодарен.