Теоремы о функциях, имеющих производную

Теорема Ферма

Теорема. Пусть функция Теоремы о функциях, имеющих производную - student2.ru определена и непрерывна на промежутке Теоремы о функциях, имеющих производную - student2.ru и в некоторой внутренней точке Теоремы о функциях, имеющих производную - student2.ru этого промежутка достигает своего наибольшего или наименьшего значения. Если в этой точке существует производная, то она равна нулю: Теоремы о функциях, имеющих производную - student2.ru .

Доказательство

Пусть, для определенности, в точке Теоремы о функциях, имеющих производную - student2.ru функция Теоремы о функциях, имеющих производную - student2.ru достигает своего наибольшего значения.

По условию теоремы эта точка внутренняя, то есть Теоремы о функциях, имеющих производную - student2.ru , и поэтому к этой точке можно подойти и слева и справа.

Пусть мы подходим к Теоремы о функциях, имеющих производную - student2.ru слева. Тогда

Теоремы о функциях, имеющих производную - student2.ru (так как Теоремы о функциях, имеющих производную - student2.ru - наибольшее значение);

Теоремы о функциях, имеющих производную - student2.ru ;

Теоремы о функциях, имеющих производную - student2.ru (так как мы подходим слева);

Теоремы о функциях, имеющих производную - student2.ru ;

Теоремы о функциях, имеющих производную - student2.ru .

Делая предельный переход Теоремы о функциях, имеющих производную - student2.ru , получим

Теоремы о функциях, имеющих производную - student2.ru .

Пусть мы подходим к точке Теоремы о функциях, имеющих производную - student2.ru справа. Тогда

Теоремы о функциях, имеющих производную - student2.ru (так как Теоремы о функциях, имеющих производную - student2.ru - наибольшее значение);

Теоремы о функциях, имеющих производную - student2.ru ;

Теоремы о функциях, имеющих производную - student2.ru (так как мы подходим слева);

Теоремы о функциях, имеющих производную - student2.ru ;

Теоремы о функциях, имеющих производную - student2.ru .

Делая предельный переход Теоремы о функциях, имеющих производную - student2.ru , получим

Теоремы о функциях, имеющих производную - student2.ru .

Совместить два полученных неравенства можно только в одном случае: Теоремы о функциях, имеющих производную - student2.ru . <

Теоремы о функциях, имеющих производную - student2.ru Геометрический смысл доказанной теоремы ясен из рисунка: в точке наиболь­шего или наименьшего значения функции касательная к графику функции параллельна оси OX.  

Существенность ограничений

В теореме Ферма по сути дела два ограничения: а) точка Теоремы о функциях, имеющих производную - student2.ru расположена внутри отрезка Теоремы о функциях, имеющих производную - student2.ru и б) Теоремы о функциях, имеющих производную - student2.ru . Покажем, что оба ограничения являются существенными, то есть отказ от любого из них приводит к тому, что утверждение теоремы становится неверным.

а) «внутренность» точки Теоремы о функциях, имеющих производную - student2.ru .

Теоремы о функциях, имеющих производную - student2.ru Если максимум или минимум функции Теоремы о функциях, имеющих производную - student2.ru достигается на границе отрезка, то, как видно из рисунка, утверждение теоремы Ферма неверно. При доказательстве это проявляется в том, что мы сможем подойти к точке Теоремы о функциях, имеющих производную - student2.ru только с одной стороны, и поэтому не получится второго, противоположного неравенства.  

б) существование производной.

Теоремы о функциях, имеющих производную - student2.ru Пусть в точке Теоремы о функциях, имеющих производную - student2.ru существуют только односторонние производные. Тогда, как это видно из рисунка, теорема Ферма неверна. При доказательстве это проявиться в том, что получаться неравенства Теоремы о функциях, имеющих производную - student2.ru и Теоремы о функциях, имеющих производную - student2.ru , которые нельзя будет объединить в одно равенство, так как теперь Теоремы о функциях, имеющих производную - student2.ru .  

Теорема Ролля

Пусть функция Теоремы о функциях, имеющих производную - student2.ru

а) определена и непрерывна на Теоремы о функциях, имеющих производную - student2.ru ;

б) Теоремы о функциях, имеющих производную - student2.ru ;

в) Теоремы о функциях, имеющих производную - student2.ru

Тогда существует точка Теоремы о функциях, имеющих производную - student2.ru в которой Теоремы о функциях, имеющих производную - student2.ru .

Доказательство этой теоремы следует из такой логической цепочки рассуждений:

1. Так как Теоремы о функциях, имеющих производную - student2.ru определена и непрерывна на Теоремы о функциях, имеющих производную - student2.ru , то, по первой теореме Вейерштрасса, она ограничена на Теоремы о функциях, имеющих производную - student2.ru , то есть существуют конечные Теоремы о функциях, имеющих производную - student2.ru и Теоремы о функциях, имеющих производную - student2.ru .

2. Если Теоремы о функциях, имеющих производную - student2.ru , то Теоремы о функциях, имеющих производную - student2.ru есть константа, то есть Теоремы о функциях, имеющих производную - student2.ru и поэтому Теоремы о функциях, имеющих производную - student2.ru Теоремы о функциях, имеющих производную - student2.ru . В качестве точки Теоремы о функциях, имеющих производную - student2.ru можно взять любую точку из Теоремы о функциях, имеющих производную - student2.ru .

3. Если Теоремы о функциях, имеющих производную - student2.ru , то, в силу условия Теоремы о функциях, имеющих производную - student2.ru и второй теоремы Вейерштрасса, хотя бы одно из значений Теоремы о функциях, имеющих производную - student2.ru или Теоремы о функциях, имеющих производную - student2.ru достигается во внутренней точке промежутка Теоремы о функциях, имеющих производную - student2.ru (см. рисунок). По теореме Ферма, в этой точке (их может быть и несколько) производная равна нулю. <



Теоремы о функциях, имеющих производную - student2.ru Теоремы о функциях, имеющих производную - student2.ru
Внутри промежутка достигается sup Внутри промежутка достигается inf

Теоремы о функциях, имеющих производную - student2.ru

Внутри промежутка достигаются и sup и inf.

Формулы Коши и Лагранжа

Теорема. Пусть функции Теоремы о функциях, имеющих производную - student2.ru и Теоремы о функциях, имеющих производную - student2.ru

а) определены и непрерывны на Теоремы о функциях, имеющих производную - student2.ru ;

б) Теоремы о функциях, имеющих производную - student2.ru Теоремы о функциях, имеющих производную - student2.ru и Теоремы о функциях, имеющих производную - student2.ru ;

в) Теоремы о функциях, имеющих производную - student2.ru Теоремы о функциях, имеющих производную - student2.ru .

Тогда существует точка Теоремы о функциях, имеющих производную - student2.ru такая, что

Теоремы о функциях, имеющих производную - student2.ru .

Эта формула носит название формулы Коши.

Доказательство. Прежде всего отметим, что Теоремы о функциях, имеющих производную - student2.ru , иначе, по теореме Ролля, существовала бы точка Теоремы о функциях, имеющих производную - student2.ru , где Теоремы о функциях, имеющих производную - student2.ru , что противоречит ограничению «в».

Рассмотрим функцию

Теоремы о функциях, имеющих производную - student2.ru .

Она

а) определена и непрерывна на Теоремы о функциях, имеющих производную - student2.ru , так как Теоремы о функциях, имеющих производную - student2.ru и функции Теоремы о функциях, имеющих производную - student2.ru и Теоремы о функциях, имеющих производную - student2.ru непрерывны на Теоремы о функциях, имеющих производную - student2.ru ;

б) Теоремы о функциях, имеющих производную - student2.ru

Теоремы о функциях, имеющих производную - student2.ru .

в) Теоремы о функциях, имеющих производную - student2.ru .

Таким образом, для Теоремы о функциях, имеющих производную - student2.ru выполнены все условия теоремы Ролля. Поэтому Теоремы о функциях, имеющих производную - student2.ru Теоремы о функциях, имеющих производную - student2.ru такая, что

Теоремы о функциях, имеющих производную - student2.ru ,

но тогда в этой точке Теоремы о функциях, имеющих производную - student2.ru

Теоремы о функциях, имеющих производную - student2.ru ,

что и дает формулу Коши. <

Формула Лагранжа

Рассмотри частный случай, когда Теоремы о функциях, имеющих производную - student2.ru . Тогда формула Коши приобретает вид

Теоремы о функциях, имеющих производную - student2.ru ,

или

Теоремы о функциях, имеющих производную - student2.ru ,

где Теоремы о функциях, имеющих производную - student2.ru . Эта формула и называется формулой Лагранжа. В дальнейшем мы будем на нее часто ссылаться.

Заметим, что точка Теоремы о функциях, имеющих производную - student2.ru не обязательно единственная: может быть несколько точек Теоремы о функциях, имеющих производную - student2.ru , удовлетворяющих формулам Коши или Лагранжа.

Теоремы о функциях, имеющих производную - student2.ru Рассмотрим еще вопрос о геометрическом смысле формулы Лагранжа. Пусть мы имеем график Теоремы о функциях, имеющих производную - student2.ru . Проведем через точки Теоремы о функциях, имеющих производную - student2.ru и Теоремы о функциях, имеющих производную - student2.ru секущую. Она образует с осью OX угол Теоремы о функциях, имеющих производную - student2.ru и, как видно из рисунка, Теоремы о функциях, имеющих производную - student2.ru . Но Теоремы о функциях, имеющих производную - student2.ru есть тангенс угла, который касательная к кривой в точке Теоремы о функциях, имеющих производную - student2.ru образует с осью OX. Поэтому формулу Лагранжа можно трак­товать так: существует точка Теоремы о функциях, имеющих производную - student2.ru ,

в которой касательная параллельна секущей, соединяющей точки Теоремы о функциях, имеющих производную - student2.ru и Теоремы о функциях, имеющих производную - student2.ru .

Дифференциал

Рассмотрим важное для дальнейшего понятие дифференциала.

Напомним, что величина Теоремы о функциях, имеющих производную - student2.ru называется приращением функции.

Определение 1. Функция Теоремы о функциях, имеющих производную - student2.ru называется дифференцируемой в точке Теоремы о функциях, имеющих производную - student2.ru , если ее приращение можно представить в виде

Теоремы о функциях, имеющих производную - student2.ru .

Определение 2. Линейная часть приращения функции, то есть Теоремы о функциях, имеющих производную - student2.ru называется дифференциалом функции Теоремы о функциях, имеющих производную - student2.ru и обозначается Теоремы о функциях, имеющих производную - student2.ru

Теоремы о функциях, имеющих производную - student2.ru .

Чтобы точно уяснить эти определения функции рассмотрим пример. Пусть Теоремы о функциях, имеющих производную - student2.ru . Тогда

Теоремы о функциях, имеющих производную - student2.ru

Заметим, что Теоремы о функциях, имеющих производную - student2.ru содержит слагаемое, линейное по Теоремы о функциях, имеющих производную - student2.ru , слагаемые с Теоремы о функциях, имеющих производную - student2.ru и Теоремы о функциях, имеющих производную - student2.ru . Так вот, только слагаемое, линейное по Теоремы о функциях, имеющих производную - student2.ru дает дифференциал, то есть

Теоремы о функциях, имеющих производную - student2.ru .

Наши рекомендации