Теорема Лагранжа (1736-1813)
Основные теоремы дифференциального исчисления
Теорема Ферма (1601-1665гг)
Теорема 14.1. Пусть функция определена на отрезке и во внутренней точке с этого отрезка принимает наибольшее и наименьшее значение. Тогда, если существует производная , то она равна 0, т.е. .
Доказательство:
Докажем для случая, когда функция принимает в точке с наибольшее значение, т.е.
Пусть определена на отрезке и во внутренней точке с этого отрезка принимает наибольшее значение: В точке с существует производная Требуется доказать, что
Дадим точке с приращение так как не вышла за пределы запишем в точке с, функция принимает наибольшее значение, то
1) Предположим, что т.е. то будем иметь:
Переходя к пределу:
2) Предположим, что т.е. то будем иметь:
Переходя к пределу:
Из двух неравенств следует, что .
Аналогично, когда в точке , функция достигает своего наименьшего значения. Теорема доказана.
Геометрический смысл теоремы Ферма
Вспомним геометрический смысл производной в точке : - угловой коэффициент касательной в точке , а если , то касательная параллельна оси Ох.
Теорема М. Ролля (1652-1719)
Теорема 14.2. Если функция непрерывна на отрезке , дифференцируема на интервале и на концах интервала принимает равные значения , то между точками найдется, по крайней мере, одна точка : .
Доказательство:
Пусть для функции условия теоремы выполняются. Т.к. непрерывна на отрезке по теореме 2 Вейерштрасса она принимает на этом отрезке свои наибольшие и наименьшие значения: М и т.
Рассмотрим два случая:
1) По определению наибольшего и наименьшего значения из отрезка выполняется неравенство: а производная от
2) Оба эти значения функция достигает на отрезке и так как по условию теоремы то оба эти значения не могут достигаться одновременно на концах . Значит, одно из этих значений достигается внутри интервала , то есть в точке . В таком случае, мы находимся в условии теоремы Ферма, на основании которой Теорема доказана.
Геометрический смысл теоремы Ролля
Если , то - есть угловой коэффициент касательной и , следовательно, касательная параллельна . Смысл в том, что найдется такая точка , в которой касательная к ней параллельна оси .
Теорема Лагранжа (1736-1813)
Теорема 14.3. Если функция непрерывна на отрезке и дифференцируемая на промежутке , то между точками и найдется, такая точка , что имеет место равенство:
.
Доказательство:
Пусть - непрерывна на отрезке и дифференцируема на промежутке Рассмотрим вспомогательную функцию , где
- удовлетворяет условию теоремы Ролля на отрезке . В самом деле, она непрерывна на отрезке , как алгебраическая сумма непрерывных функций, следовательно, она дифференцируема на промежутке Ее производная равна:
достигается непосредственным вычислением. На основании теоремы Ролля между точками существует такая точка с, что
Но
Отсюда, . Теорема доказана.