{\large\bf Производная функции}

Рассмотрим функцию y=f(x) , заданную на интервале (a, b) . Пусть x - любое фиксированная точка интервала (a, b) , а Δx - произвольное число, такое, что значение x+Δx также принадлежит интервалу (a, b) . Это число Δx называют приращением аргумента.

Определение . Приращением функции y=f(x) в точке x , соответствующим приращению аргумента Δx , назовем число

Δy = f(x+Δx) - f(x) .

Считаем, что Δx ≠ 0 . Рассмотрим в данной фиксированной точке x отношение приращения функции в этой точке к соответствующему приращению аргумента Δx

Это отношение будем называть разностным отношением. Так как значение x мы считаем фиксированным, разностное отношение представляет собой функцию аргумента Δx . Эта функция определена для всех значений аргумента Δx , принадлежащих некоторой достаточно малой окрестности точки Δx=0 , за исключением самой точки Δx=0 . Таким образом, мы имеем право рассматривать вопрос о существовании предела указанной функции при Δx → 0 .

Определение . Производной функции y=f(x) в данной фиксированной точке x называется предел при Δx → 0 разностного отношения, то есть

При условии, что этот предел существует.

Обозначение . y′(x) или f′(x) .

Геометрический смысл производной : Производная от функции f(x) в данной точке x равна тангенсу угла между осью Ox и касательной к графику этой функции в соответствующей точке:

f′(x 0) = \tgα .

Механический смысл производной : Производная от пути по времени равна скорости прямолинейного движения точки:

Уравнение касательной к линии y=f(x) в точке M 0 (x 0 ,y 0) принимает вид

y-y 0 = f′(x 0) (x-x 0) .

Нормалью к кривой в некоторой ее точке называется перпендикуляр к касательной в той же точке. Если f′(x 0)≠ 0 , то уравнение нормали к линии y=f(x) в точке M 0 (x 0 ,y 0) записывается так:

Понятие дифференцируемости функции

Пусть функция y=f(x) определена на некотором интервале (a, b) , x - некоторое фиксированное значение аргумента из этого интервала, Δx - любое приращение аргумента, такое, что значение аргумента x+Δx ∈ (a, b) .

Определение . Функция y=f(x) называется дифференцируемой в данной точке x , если приращение Δy этой функции в точке x , соответствующее приращению аргумента Δx , может быть представимо в виде

Δy = A Δx +αΔx ,

где A - некоторое число, не зависящее от Δx , а α - функция аргумента Δx , являющая бесконечно малой при Δx→ 0 .

Так как произведение двух бесконечно малых функций αΔx является бесконечно малой более высокого порядка, чем Δx (свойство 3 бесконечно малых функций), то можем записать:

Δy = A Δx +o(Δx) .

Теорема . Для того, чтобы функция y=f(x) являлась дифференцируемой в данной точке x , необходимо и достаточно, чтобы она имела в этой точке конечную производную. При этом A=f′(x) , то есть

Δy = f′(x) Δx +o(Δx) .

Операцию нахождения производной обычно называют дифференцированием.

Теорема . Если функция y=f(x) x , то она непрерывна в этой точке.

Замечание . Из непрерывности функции y=f(x) в данной точке x , вообще говоря, не вытекает дифференцируемость функции f(x) в этой точке. Например, функция y=|x| - непрерывна в точке x=0 , но не имеет производной.

Понятие дифференциала функции

Определение . Дифференциалом функции y=f(x) называется произведение производной этой функции на приращение независимой переменной x :

dy = y′ Δx, df(x) = f′(x) Δx .

Для функции y=x получаем dy=dx=x′Δx = 1· Δx= Δx , то есть dx=Δx - дифференциал независимой переменной равен приращению этой переменной.

Таким образом, можем записать

dy = y′ dx, df(x) = f′(x) dx

Дифференциал dy и приращение Δy функции y=f(x) в данной точке x , оба отвечающие одному и тому же приращению аргумента Δx , вообще говоря, не равны друг другу.

Геометрический смысл дифференциала : Дифференциал функции равен приращению ординаты касательной к графику данной функции, когда аргумент получает приращение Δx .

Правила дифференцирования

Теорема . Если каждая из функций u(x) и v(x) дифференцируема в данной точке x , то сумма, разность, произведение и частное этих функций (частное при условии, что v(x)≠ 0 ) также дифференцируемы в этой точке, причем имеют место формулы:

Рассмотрим сложную функцию y=f(φ(x))≡ F(x) , где y=f(u) , u=φ(x) . В этом случае u называют промежуточным аргументом , x - независимой переменной .

Теорема . Если y=f(u) и u=φ(x) - дифференцируемые функции своих аргументов, то производная сложной функции y=f(φ(x)) существует и равна произведению этой функции по промежуточному аргументу на производную промежуточного аргумента по независимой переменной, т.е.

Замечание . Для сложной функции, являющейся суперпозицией трех функций y=F(f(φ(x))) , правило дифференцирования имеет вид

y′ x = y′ u u′ v v′ x ,

где функции v=φ(x) , u=f(v) и y=F(u) - дифференцируемые функции своих аргументов.

Теорема . Пусть функция y=f(x) возрастает (или убывает) и непрерывна в некоторой окрестности точки x 0 . Пусть, кроме того, эта функция дифференцируема в указанной точке x 0 и ее производная в этой точке f′(x 0) ≠ 0 . Тогда в некоторой окрестности соответствующей точки y 0 =f(x 0) определена обратная для y=f(x) функция x=f -1 (y) , причем указанная обратная функция дифференцируема в соответствующей точке y 0 =f(x 0) и для ее производной в этой точке y справедлива формула

Таблица производных

Инвариантность формы первого дифференциала

Рассмотрим дифференциал сложной функции. Если y=f(x) , x=φ(t) - дифференцируемы функции своих аргументов, то производная функции y=f(φ(t)) выражается формулой

y′ t = y′ x x′ t .

По определению dy=y′ t dt , тогда получим

dy = y′ t dt = y′ x · x′ t dt = y′ x (x′ t dt) = y′ x dx ,

dy = y′ x dx .

Итак, доказали,

Свойство инвариантности формы первого дифференциала функции : как в случае, когда аргумент x является независимой переменной, так и в случае, когда аргумент x сам является дифференцируемой функцией новой переменной, дифференциал dy функции y=f(x) равен производной этой функции, умноженной на дифференциал аргумента dx .

Применение дифференциала в приближенных вычислениях

Мы показали, что дифференциал dy функции y=f(x) , вообще говоря, не равен приращению Δy этой функции. Тем не менее с точностью до бесконечно малой функции более высокого порядка малости, чем Δx , справедливо приближенное равенство

Δy ≈ dy .

Отношение называют относительной погрешностью равенства этого равенства. Так как Δy-dy=o(Δx) , то относительная погрешность данного равенства становится как угодно малой при уменьшении |Δх| .

Учитывая, что Δy=f(x+δ x)-f(x) , dy=f′(x)Δx , получим f(x+δ x)-f(x) ≈ f′(x)Δx или

f(x+δ x) ≈ f(x) + f′(x)Δx .

Это приближенное равенство позволяет с ошибкой o(Δx) заменить функцию f(x) в малой окрестности точки x (т.е. для малых значений Δx ) линейной функцией аргумента Δx , стоящей в правой части.

Производные высших порядков

Определение . Второй производной (или производной второго порядка) функции y=f(x) называется производная от ее первой производной.

Обозначение второй производной функции y=f(x) :

Механический смысл второй производной . Если функция y=f(x) описывает закон движения материальной точки по прямой линии, то вторая производная f″(x) равна ускорению движущейся точки в момент времени x .

Аналогично определяется третья, четвертая производная.

Определение . n -й производной (или производной n -го порядка) функции y=f(x) называется производная от ее n-1 -й производной:

y (n) =(y (n-1))′, f (n) (x)=(f (n-1) (x))′ .

Обозначения: y″′ , y IV , y V и т.д.

Процесс нахождения производной функции называется дифференцированием. Производную приходится находить в ряде задач курса математического анализа. Например, при отыскании точек экстремума и перегиба графика функции.

Как найти?

Чтобы найти производную функции нужно знать таблицу производных элементарных функций и применять основные правила дифференцирования :

1. Вынос константы за знак производной: $$ (Cu)" = C(u)" $$
2. Производная суммы /разности функций: $$ (u \pm v)" = (u)" \pm (v)" $$
3. Производная произведения двух функций: $$ (u \cdot v)" = u"v + uv" $$
4. Производная дроби : $$ \bigg (\frac{u}{v} \bigg)" = \frac{u"v - uv"}{v^2} $$
5. Производная сложной функции : $$ (f(g(x)))" = f"(g(x)) \cdot g"(x) $$

Примеры решения

Пример 1

Найти производную функции $ y = x^3 - 2x^2 + 7x - 1 $

Решение

Производная суммы/разности функций равна сумме/разности производных: $$ y" = (x^3 - 2x^2 + 7x - 1)" = (x^3)" - (2x^2)" + (7x)" - (1)" = $$ Используя правило производной степенной функции $ (x^p)" = px^{p-1} $ имеем: $$ y" = 3x^{3-1} - 2 \cdot 2 x^{2-1} + 7 - 0 = 3x^2 - 4x + 7 $$ Так же было учтено, что производная от константы равна нулю. Если не получается решить свою задачу, то присылайте её к нам. Мы предоставим подробное решение. Вы сможете ознакомиться с ходом вычисления и почерпнуть информацию. Это поможет своевременно получить зачёт у преподавателя!

Ответ

$$ y" = 3x^2 - 4x + 7 $$

Пусть функция определена в точкеи некоторой ее окрестности. Придадим аргументуприращениетакое, что точкапопадает в область определения функции. Функция при этом получит приращение.

ОПРЕДЕЛЕНИЕ. Производной функции в точке называется предел отношения приращения функции в этой точке к приращению аргумента , при(если этот предел существует и конечен), т.е.

Обозначают: ,,,.

Производной функции в точкесправа (слева) называется

(если этот предел существует и конечен).

Обозначают: ,– производнаяв точкесправа,

,– производнаяв точкеслева.

Очевидно, что справедлива следующая теорема.

ТЕОРЕМА. Функция имеет производную в точкетогда и только тогда, когда в этой точке существуют и равны между собой производные функции справа и слева. Причем

Следующая теорема устанавливает связь между существованием производной функции в точке и непрерывностью функции в этой точке.

ТЕОРЕМА (необходимое условие существования производной функции в точке). Если функция имеет производную в точке, то функцияв этой точке непрерывна.

ДОКАЗАТЕЛЬСТВО

Пусть существует . Тогда

,

где – бесконечно малая при.

Замечание

производной функции и обозначают

дифференцированием функции .

ГЕОМЕТРИЧЕЧКИЙ И ФИЗИЧЕСКИЙ СМЫСЛ

1) Физический смысл производной . Если функция и ее аргументявляются физическими величинами, то производная– скорость изменения переменнойотносительно переменнойв точке. Например, если– расстояние, проходимое точкой за время, то ее производная– скорость в момент времени. Если– количество электричества, протекающее через поперечное сечение проводника в момент времени, то– скорость изменения количества электричества в момент времени, т.е. сила тока в момент времени.

2) Геометрический смысл производной.

Пусть – некоторая кривая,– точка на кривой.

Любая прямая, пересекающая не менее чем в двух точках называетсясекущей .

Касательной к кривой в точке называется предельное положение секущей , если точкастремится к, двигаясь по кривой.

Из определения очевидно, что если касательная к кривой в точке существует, то она единственная

Рассмотрим кривую (т.е. график функции). Пусть в точкеон имеет невертикальную касательную. Ее уравнение:(уравнение прямой, проходящей через точкуи имеющую угловой коэффициент).

По определению углового коэффициента

где – угол наклона прямойк оси.

Пусть – угол наклона секущейк оси, где. Так как– касательная, то при

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

Таким образом, получили, что – угловой коэффициент касательной к графику функции в точке (геометрический смысл производной функции в точке). Поэтому уравнение касательной к кривой в точкеможно записать в виде

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

, если .

Если же , то касательная к кривойв точкебудет иметь вид

а нормаль .

УРАВНЕНИЯ КАСАТЕЛЬНОЙ И НОРМАЛИ

Уравнение касательной

Пусть функция задается уравнением y =f (x ), нужно написать уравнение касательной в точке x 0. Из определения производной:

y /(x )=limΔx →0Δy Δx

Δy =f (x +Δx )−f (x ).

Уравнение касательной к графику функции: y =kx +b (k ,b =const ). Из геометрического смысла производной: f /(x 0)=tg α=k Т.к. x 0 и f (x 0)∈ прямой, то уравнение касательной записывается в виде: y −f (x 0)=f /(x 0)(x −x 0) , или

y =f /(x 0)·x +f (x 0)−f /(x 0)·x 0.

Уравнение нормали

Нормаль - это перпендикуляр к касательной (см. рисунок). Исходя из этого:

tg β=tg (2π−α)=ctg α=1tg α=1f /(x 0)

Т.к. угол наклона нормали -- это угол β1, то имеем:

tg β1=tg (π−β)=−tg β=−1f /(x ).

Точка (x 0,f (x 0))∈ нормали, уравнение примет вид:

y −f (x 0)=−1f /(x 0)(x −x 0).

ДОКАЗАТЕЛЬСТВО

Пусть существует . Тогда

,

где – бесконечно малая при.

Но это означает, что непрерывна в точке(см. геометрическое определение непрерывности). ∎

Замечание . Непрерывность функции в точке не является достаточным условием существования производной этой функции в точке. Например, функциянепрерывна, но не имеет производной в точке. Действительно,

и, следовательно, не существует.

Очевидно, что соответствие является функцией, определенной на некотором множестве. Ее называютпроизводной функции и обозначают

Операцию нахождения для функции ее производной функции называютдифференцированием функции .

Производная суммы и разности

Пусть даны функции f(x) и g(x), производные которых нам известны. К примеру, можно взять элементарные функции, которые рассмотрены выше. Тогда можно найти производную суммы и разности этих функций:

(f + g)’ = f ’ + g ’

(f − g)’ = f ’ − g ’

Итак, производная суммы (разности) двух функций равна сумме (разности) производных. Слагаемых может быть больше. Например, (f + g + h)’ = f ’ + g ’ + h ’.

Строго говоря, в алгебре не существует понятия «вычитание». Есть понятие «отрицательный элемент». Поэтому разность f − g можно переписать как сумму f + (−1) · g, и тогда останется лишь одна формула - производная суммы.

Найти выражение для производной экспоненциальной функции \(y = {e^x}\), пользуясь определением производной.

Решение.

Начальные шаги являются стандартными: сначала запишем приращение функции \(\Delta y\), соответствующее приращению аргумента \(\Delta x\): \[ {\Delta y = y\left({x + \Delta x} \right) - y\left(x \right) } = {{e^{x + \Delta x}} - {e^x} } = {{e^x}{e^{\Delta x}} - {e^x} } = {{e^x}\left({{e^{\Delta x}} - 1} \right).} \] Производная вычисляется как предел отношения приращений: \[ {y"\left(x \right) = \lim\limits_{\Delta x \to 0} \frac{{\Delta y}}{{\Delta x}} } = {\lim\limits_{\Delta x \to 0} \frac{{{e^x}\left({{e^{\Delta x}} - 1} \right)}}{{\Delta x}}.} \] Функция \(y = {e^x}\) в числителе не зависит от Δx и ее можно вынести за знак предела. Тогда производная принимает такой вид: \[ {y"\left(x \right) = {\left({{e^x}} \right)^\prime } } = {{e^x}\lim\limits_{\Delta x \to 0} \frac{{{e^{\Delta x}} - 1}}{{\Delta x}}.} \] Обозначим полученный предел через \(L\) и вычислим его отдельно. Заметим попутно, что \({e^0} = 1\) и, поэтому, можно записать \[ {L = \lim\limits_{\Delta x \to 0} \frac{{{e^{\Delta x}} - 1}}{{\Delta x}} } = {\lim\limits_{\Delta x \to 0} \frac{{{e^{\Delta x}} - {e^0}}}{{\Delta x}} = e"\left(0 \right),} \] то есть данный предел представляет собой значение производной показательной функции в нуле. Следовательно, \ Мы получили соотношение, в котором искомая производная выражается через саму функцию \(y = {e^x}\) и ее производную в точке \(x = 0\). Докажем, что \ Для этого вспомним, что число \(e\) определяется в виде бесконечного предела как \ а число \(e\) в степени \(\Delta x\) будет, соответственно, равно \[{e^{\Delta x}} = \lim\limits_{n \to \infty } {\left({1 + \frac{{\Delta x}}{n}} \right)^n}.\] Далее применим знаменитую формулу бинома Ньютона и разложим выражение под знаком предела в биномиальный ряд : \[{\left({1 + \frac{{\Delta x}}{n}} \right)^n} = \sum\limits_{k = 0}^n {C_n^k{{\left({\frac{{\Delta x}}{n}} \right)}^k}} .\] Здесь \({C_n^k}\) обозначает число сочетаний из \(n\) элементов по \(k\). В европейских и американских учебниках число сочетаний обозначается как \ Вернемся к нашему пределу \(L\), который теперь можно записать в таком виде: \[ {L = \lim\limits_{\Delta x \to 0} \frac{{{e^{\Delta x}} - 1}}{{\Delta x}} } = {\lim\limits_{\Delta x \to 0} \frac{{\lim\limits_{n \to \infty } \left[ {\sum\limits_{k = 0}^n {C_n^k{{\left({\frac{{\Delta x}}{n}} \right)}^k}} } \right] - 1}}{{\Delta x}}.} \] Нам удобно в биномиальном ряде выделить первые два слагаемых: при \(k = 0\) и \(k = 1\). В результате получаем \[ {L = \lim\limits_{\Delta x \to 0} \frac{{\lim\limits_{n \to \infty } \left[ {\sum\limits_{k = 0}^n {C_n^k{{\left({\frac{{\Delta x}}{n}} \right)}^k}} } \right] - 1}}{{\Delta x}} } = {\lim\limits_{\Delta x \to 0} \frac{{\lim\limits_{n \to \infty } \left[ {C_n^0{{\left({\frac{{\Delta x}}{n}} \right)}^0} + C_n^1{{\left({\frac{{\Delta x}}{n}} \right)}^1} + \sum\limits_{k = 2}^n {C_n^k{{\left({\frac{{\Delta x}}{n}} \right)}^k}} } \right] - 1}}{{\Delta x}} } = {\lim\limits_{\Delta x \to 0} \frac{{\lim\limits_{n \to \infty } \left[ {1 + n \cdot \frac{{\Delta x}}{n} + \sum\limits_{k = 2}^n {C_n^k{{\left({\frac{{\Delta x}}{n}} \right)}^k}} } \right] - 1}}{{\Delta x}} } = {\lim\limits_{\Delta x \to 0} \frac{{\Delta x + \lim\limits_{n \to \infty } \sum\limits_{k = 2}^n {C_n^k{{\left({\frac{{\Delta x}}{n}} \right)}^k}} }}{{\Delta x}} } = {\lim\limits_{\Delta x \to 0} \left[ {1 + \frac{1}{{\Delta x}}\lim\limits_{n \to \infty } \sum\limits_{k = 2}^n {C_n^k{{\left({\frac{{\Delta x}}{n}} \right)}^k}} } \right] } = {1 + \lim\limits_{n \to \infty } \left[ {\lim\limits_{\Delta x \to 0} \left({\sum\limits_{k = 2}^n {C_n^k\frac{{{{\left({\Delta x} \right)}^{k - 1}}}}{{{n^k}}}} } \right)} \right].} \] Очевидно, что сумма ряда стремится к нулю при \(\Delta x \to 0\). Поэтому, \(L = 1\). Это означает, что производная экспоненциальной функции \(y = {e^x}\) равна самой функции: \

Пусть в некоторой окрестности точки определена функция Производной функции в точке называется предел, если он существует,

Общепринятые обозначения производной функции в точке

Таблица производных

Геометрический смысл производной функции в точке.

Рассмотрим секущую АВ графика функции y=f(x) такую, что точки А и В имеют соответственно координаты и , где - приращение аргумента. Обозначим через приращение функции. Отметим все на чертеже:

Из прямоугольного треугольника АВС имеем . Так как по определению касательная – это предельное положение секущей, то .

Вспомним определение производной функции в точке: производной функции y=f(x) в точке называется предел отношения приращения функции к приращению аргумента при , обозначается .

Следовательно, , где - угловой коэффициент касательной.

Таким образом, существование производной функции y=f(x) в точке эквивалентно существованию касательной к графику функции y=f(x) в точке касания , причем угловой коэффициент касательной равен значению производной в точке , то есть .

Заключаем: геометрический смысл производной функции в точке состоит в существовании касательной к графику функции в этой точке.

20 Дифференцируемость функции в точке. Необходимое и достаточное условие дифференцируемости.

Приращение дифференцируемой в данной точке функции можно представить как линейную функцию приращения аргумента с точностью до величин более высокого порядка малости. Это означает, что для достаточно малых окрестностей данной точки функцию можно заменить линейной (скорость изменения функции можно считать неизменной). Линейная часть приращения функции называется ее дифференциалом (в данной точке).

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

21 Дифференцируемость функции в точке. Теорема о непрерывности дифференцируемой функции.

Теорема.

Если функция в данной точке дифференцируема, то в этой точке функция непрерывна.

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

Пусть функция y=f(x)y=f(x) дифференцируема в точке x0x0, тода приращение этой функии равно Δy=A⋅Δx+α(Δx)⋅xΔy=A⋅Δx+α(Δx)⋅x.

При стремлении приращения аргумента функции ΔxΔx к нулю приращение функции ΔyΔyтакже стремится к нулю, а это и означает непрерывность функции.

То есть в итоге мы получили, что функция y=f(x)y=f(x), дифференцируемая в точке x0x0, является в этой точке и непрерывной функцией. Что и требовалось доказать.

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

Пример.

Функция y=|x|y=|x| в точке x0x0 является непрерывной функцией, но в этой точке функция не дифференцируема.

Действительно, приращение функии равно:

Δy=f(x0+Δx)−f(x0)=|Δx|Δy=f(x0+Δx)−f(x0)=|Δx|.

При этом получаем:

ΔyΔx=|Δx|Δx={1,Δx>0,−1,Δx<0ΔyΔx=|Δx|Δx={1,Δx>0,−1,Δx<0.

Предел limΔx→0ΔyΔxlimΔx→0ΔyΔx не существует, а значите функцкия y=|x|y=|x|, непрерывная в точке x0x0, не дифференцируема в этой точке.

22 Дифференциал функции. Геометрический смысл дифференциала.

Дифференциалом функции в некоторой точке x называется главная, линейная часть приращения функции.

Дифференциал функции y = f (x ) равен произведению её производной на приращение независимой переменной x (аргумента).

Это записывается так:

Геометрический смысл дифференциала. Дифференциал функции y = f (x ) равен приращению ординаты касательной S, проведённой к графику этой функции в точке M(x ; y ), при изменении x (аргумента) на величину (см. рисунок)..

23 Правило дифференцируемости суммы и произведения.

Для доказательства второго правила дифференцирования воспользуемся определением производной и свойством предела непрерывной функции.

Подобным образом можно доказать, что производная суммы (разности) n функций равна сумме (разности) n производных

Докажем правило дифференцирования произведения двух функций .

Запишем предел отношения приращения произведения функций к приращению аргумента. Будем учитывать, что и (приращение функции стремиться к нулю при приращении аргумента, стремящемся к нулю).

Что и требовалось доказать.

24 Инвариантность формы 1 дифференциала.

Инвариантность формы первого дифференциала

Если x - независимая переменная, то dx = x - x 0 (фиксированное приращение). В этом случае имеем

df (x 0) = f" (x 0)dx . (3)

Если x = φ (t ) - дифференцируемая функция, то dx = φ" (t 0)dt . Следовательно,

т. е. первый дифференциал обладает свойством инвариантности относительно замены аргумента.

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

Теорема Ро́лля (теорема о нуле производной ) утверждает, что

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

Если функция на отрезке постоянна, то утверждение очевидно, поскольку производная функции равна нулю в любой точке интервала.

Если же нет, поскольку значения функции в граничных точках сегмента равны, то согласно теореме Вейерштрасса, она принимает своё наибольшее или наименьшее значение в некоторой точке интервала, то есть имеет в этой точке локальный экстремум, и по Лемме Ферма, в этой точке производная равна 0.

Геометрический смысл

Теорема утверждает, что если ординаты обоих концов гладкой кривой равны, то на кривой найдется точка, в которой касательная к кривой параллельна оси абсцисс.

26 Теорема Лагранжа и ее следствия.

Формула конечных приращений или теорема Лагра́нжа о среднем значении утверждает, что если функция непрерывна на отрезке и дифференцируема в интервале , то найдётся такая точка , что

.

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

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

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

Для функции одной переменной:

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

что и требовалось доказать.

Следствия и обобщения

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

Следствие 1. Дифференцируемая на отрезке функция с производной, равной нулю, есть константа.

Доказательство. Для любых и существует точка , такая что .

Значит, при всех и верно равенство .

Следствие 2 (Формула Тейлора с остаточным членом в форме Лагранжа). Если функция дифференцируема раз в окрестности точки , то для малых (т.е. тех, для которых отрезок лежит в указанной окрестности) справедлива формула Тейлора:

где - некоторое число из интервала .

Следствие 3. Если функция переменных дважды дифференцируема в окрестности точки О и все её вторые смешанные производные непрерывны в точке О, тогда в этой точке справедливо равенство:

Доказательство для . Зафиксируем значения и и рассмотрим разностные операторы

По теореме Лагранжа существуют числа , такие что

при в силу непрерывности вторых производных функции .

Аналогично доказывается, что .

Но так как , (что проверяется непосредственно), то эти пределы совпадают.

Следствие 4 (Формула Ньютона-Лейбница). Если функция дифференцируема на отрезке и её производная интегрируема по Риману на этом отрезке, то справедлива формула: .

Доказательство. Пусть - произвольное разбиение отрезка . Применяя теорему Лагранжа, на каждом из отрезков найдём точку такую, что .

Суммируя эти равенства, получим:

Слева стоит интегральная сумма Римана для интеграла и заданного отмеченного разбиения. Переходя к пределу по диаметру разбиения, получим формулу Ньютона-Лейбница.

Следствие 5 (Теорема об оценке конечных приращений). Пусть отображение непрерывно дифференцируемо в выпуклой компактной области пространства . Тогда .

27 Теорема Каши.

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

Пусть даны две функции и такие, что: 1. и определены и непрерывны на отрезке ; 2. производные и конечны на интервале ; 3. производные и не обращаются в нуль одновременно на интервале 4. ; тогда существует , для которой верно: . (Если убрать условие 4, то необходимо, например, усилить условие 3: g"(x) не должна обращаться в ноль нигде в интервале .)

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