66. Теоремы о среднем – Лагранжа, Коши.

2. Теорема Лагранжа. Если функция f(x) непрерывна на отрезке [a,b], дифференцируема на интервале (a, b), то найдется такая точка ,что :(3).

Док-во: Рассм.ф-цию , где число выберем так, чтобы выполнялось усл-е . Отсюда находим: (4). Так как ф-ция непрерывна на отрезке [a, b], дифференцируема на интервале (a, b) и принимает в концах этого отрезка равные значения, то по т.Ролля сущ-ет точкатакая что . Отсюда в силу усл-я (4) получаем:(5) , полученное рав-во равносильно рав-ву (3).

Геометрическая интерпретация т.Лагранжа: сущ-ет значение такое, что каксательная к грфику ф-ции в точке параллельна секущей, соединяющей точки A(a,f(a)) и B(b,f(b)).

Замечание. Пусть ф-ция f(x) удовлетворяет усл-ям т.Лагранжа. Если , а приращение таково, что точка то применив т.Лагранжа к ф-ции f(x) на отрезке с концами и (причем может быть и отрицательным), получим: (6), где - некоторая внутренняя точка данного отрезка.

Д-во: а)Пусть тогда и поэтому . Полагая, что получаем (7), где 

б)аналогично, если , то и поэтому . Полагая, что, снова получаем рав-во (7), где .

Следовательно, рав-во (6) можно записать в виде =(8), где . Данную ф-лу называют формулой конечных приращений Лагранжа.

Некоторые следствия из т.Лагранжа.

Следствие 1. Если функция f(x) дифференцируема на интервале (a,b) и f'(x)=0 для всех то f(x)=C=const, .

Д-во. Пусть фиксированная точка интервала (a,b), x - любая точка этого интервала. Применяя т.Лагранжа к функции f(x) на отрезке с концами и x, получаем, где , откуда 

Следствие 2. Если функция f(x) непрерывна на отрезке [a,b], дифференцируема на интервале (a,b) и для всех вып-ся рав-во , где k - постоянная, то, , то есть f(x) - линейная ф-ция.

Д-во. Применяя т.Лагранжа к ф-ции f(x) на отрезке [a,x], где получаем , откуда следует, что , где .

Следствие 3. Пусть функция f(x) дифференцируема на интервале (a,b), за исключением, может быть, точки и непрерывна в точке . Тогда если сущ-ет конечный или бесконечный (9) то в точке сущ-ет левая производная, причем она равна А(10). Аналогично, если сущ-ет (11) то сущ-ет правая производная в точке и она равна В(12).

Д-во. Пусть приращение таково, что и точка . Запишем рав-во (8) в виде , где (13). Если сущ-ет предел (9), т.е. =A, то правая часть (13) имеет предел, равный А, а поэтому сущ-ет предел в левой части (13) и справедливо рав-во (10). Аналогично, из соотношения (11) следует рав-во (12).

Следствие 4. Если ф-ции и дифференцируемы при и удовлетворяют усл-ям , при , то при .

Д-во: применяя т.Лагранжа к ф-ции на отрезке где , получаем , так как . Отсюда, учитывая, что и, получаем , то есть при 

Теорема Коши. Если ф-ции f(x) и g(x) непрерывны на отрезке [a,b], дифференцируемы на интервале (a,b), причем во всех точках этого интервала, то найдется хотя бы одна точка такая что (14) Д-во: Рассмотрим ф-цию, где число выберем так, чтобы выполнялось усл-е , которое равносильно следующему : . Заметим, чтотак как в противном случае согласно т.Ролля существовала бы точка такая, что вопреки условиям теоремы Коши. Итак, и из рав-ва (14) следует, что (15). Так как ф-ция при любом непрерывна на отрезке [a,b] и дифференцируема на интервале (a,b), а при значении , определяемом формулой (15), принимает равные значения в точках a и b, то по т.Ролля сущ-ет точка такая, что , то есть , откуда . Из этого рав-ва и ф-лы (15) следует утверждение (14).

Замечание. Теорема Лагранжа — частный случай теоремы Коши.

Замечание. Теорему Коши нельзя получить применением теоремы Лагранжа к числителю и знаменателю дроби, стоящей в левой части рав-ва (14). Эту дробь по т.Лагранжа можно записать в виде где и . Но, вообще говоря, .

Теорема Коши́ о среднем значении.

Геометрически это можно переформулировать так: если изадают закон движения на плоскости (то есть определяют абсциссу и ординату через параметр), то на любом отрезке такой кривой, заданном параметрамии, найдётся касательныйвектор, коллинеарный вектору перемещения от до.

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

Для доказательства введём функцию

Для неё выполнены условия теоремы Ролля: на концах отрезка её значения равны . Воспользовавшись упомянутой теоремой, получим, что существует точка, в которой производная функцииравна нулю, аравна как раз необходимому числу.