пользователей: 30398
предметов: 12406
вопросов: 234839
Конспект-online
РЕГИСТРАЦИЯ ЭКСКУРСИЯ

Важные теоремы дифференциального исчисления: Теоремы Роля, Коши, Лагранжа.

Теорема Ролля. Пусть функция f(x) непрерывна на отрезке [а, b], дифференцируема на (а, b), f(а) = f(b). Тогда существует хотя бы одна точка x, а < x < b, такая, что f'(x) = 0.

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

1) если f(x) = const на [a, b], то f'(х) = 0, œх Î (a, b);

2) если f(x) ¹const на [a, b], то непрерывная на [a, b] функция достигает наибольшего и наименьшего значений в некоторых точках отрезка

[a, b]. Следовательно, maxf(x)или minf(x) обязательно достигается во внутренней точке x отрезка [a, b], а по теореме Ферма имеем, что f'(x) = 0.

Теорема доказана.

 

Теорема Коши. Пусть функции f(х) и g(х) непрерывны на отрезке

[a, b] и дифференцируемы на интервале (a, b), причем g'(х) ¹ 0, œх Î (a, b). Тогда на (a, b) найдется точка x, такая, что

. (1)

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

Рассмотрим вспомогательную функцию Функция F(х) непрерывна на [a, b], дифференцируема на (a, b), причем F(а) = F(b) = 0. Следовательно, по теореме Ролля на (a, b) существует точка x, такая, что F'(x) = 0:

Следовательно:

.

Теорема доказана.

 

 

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

(2)

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

Из формулы (1) при g(x) = xполучаем формулу (2).

Теорема доказана.

 

 

 

 

 

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

Пусть функция 3-10_html_m67817d8e.gif определена на 3-10_html_41553b7c.gif и достигает своего наибольшего и наименьшего значения (M и m) в некоторой 3-10_html_m151169d7.gif из 3-10_html_41553b7c.gif. Если существует производная 3-10_html_m67817d8e.gif в 3-10_html_m151169d7.gif, то она обязательно равна 0.

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

Существует 3-10_html_m7aca4697.gif. Возможны два случая:

1)3-10_html_2e3131e6.gif, => 3-10_html_77f33040.gif, =>3-10_html_m3533d5f4.gif.

2)3-10_html_753d6fc9.gif, => 3-10_html_m5e7280d2.gif, =>3-10_html_m4c72bc55.gif.

Из 1) и 2) следует, что 3-10_html_81896bf.gif

 

Теорема Ролля (о корнях производной):

Пусть функция 3-10_html_m67817d8e.gif непрерывна на 3-10_html_c263d32.gif и дифференцируема на 3-10_html_41553b7c.gif и на концах отрезка принимает одинаковые значения: 3-10_html_m4ce23029.gif. Тогда существует хотя бы одна точка 3-10_html_m151169d7.gif из 3-10_html_41553b7c.gif, производная в которой 3-10_html_81896bf.gif.

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

Непрерывная 3-10_html_m67817d8e.gif достигает на 3-10_html_c263d32.gifM и m. Тогда возможны два случая:

1)3-10_html_m33e21aab.gif, =>3-10_html_m4e10d07b.gif

2) 3-10_html_m27bd935e.gifнаибольшее значение достигается внутри интервала 3-10_html_m46b96ee8.gif по теореме Ферма.

 

Теорема Лангража (о конечных приращениях):

Пусть функция 3-10_html_m67817d8e.gif непрерывна на 3-10_html_c263d32.gif и дифференцируема на 3-10_html_41553b7c.gif. Тогда существует хотя бы одна 3-10_html_m151169d7.gif из 3-10_html_41553b7c.gif, для которой выполняется следующее равенство: 3-10_html_m19d2f599.gif.

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

Введем функцию 3-10_html_m30be2d77.gif. (непрерывная на 3-10_html_c263d32.gif и дифференцируемая на 3-10_html_41553b7c.gif).

3-10_html_m3b2e8337.gif

3-10_html_5dc22115.gif

3-10_html_m8c269c0.gif

3-10_html_6d691250.gif

3-10_html_301dd658.gif,3-10_html_79881f28.gif

Функция 3-10_html_65aa35f9.gif удовлетворяет Теореме Ролля 3-10_html_1b3a67bc.gif существует 3-10_html_m2be6806b.gif, для которой: 3-10_html_m799f57af.gif, 3-10_html_7b23b97f.gif,3-10_html_m6a36a48d.gif,3-10_html_m49884f36.gif.

 

Теорема Коши:

Пусть функции 3-10_html_m67817d8e.gif и 3-10_html_2597e029.gif непрерывны на 3-10_html_c263d32.gif и дифференцируемы на 3-10_html_41553b7c.gif, 3-10_html_247fd20f.gif на 3-10_html_41553b7c.gif. Тогда существует хотя бы одна внутренняя точка 3-10_html_41553b7c.gif, для которой выполняется равенство 3-10_html_6894d106.gif.

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

Введем функцию 3-10_html_m570eb986.gif. (непрерывная на 3-10_html_c263d32.gif и дифференцируемая на 3-10_html_41553b7c.gif).

3-10_html_72f04b16.gif

3-10_html_me6a87b6.gif

3-10_html_786ee28.gif

Функция 3-10_html_65aa35f9.gif удовлетворяет Теореме Ролля 3-10_html_1b3a67bc.gif существует 3-10_html_m2be6806b.gif, для которой: 3-10_html_m799f57af.gif, 3-10_html_6088cff1.gif,3-10_html_4fd25e73.gif,3-10_html_773fbf9d.gif.

 


17.02.2017; 11:25
хиты: 68
рейтинг:0
Точные науки
математика
математический анализ
для добавления комментариев необходимо авторизироваться.
  Copyright © 2013-2024. All Rights Reserved. помощь