Тейлор (1685-1731) – английский математик

 

Теорема Тейлора. 1) Пусть функция f(x) имеет в точке х = а и некоторой ее окрестности производные порядка до (n+1) включительно.{ Т.е. и все предыдущие до порядка n функции и их производные непрерывны и дифференцируемы в этой окрестности}.

2) Пусть х- любое значение из этой окрестности, но х ¹ а.

Тогда между точками х и а найдется такая точка e, что справедлива формула:

 

- это выражение называется формулой Тейлора, а выражение:

 

называется остаточным членом в форме Лагранжа.

 

Доказательство. Представим функцию f(x) в виде некоторого многочлена P_n(x), значение которого в точке х = а равно значению функции f(x), а значения его производных равно значениям соответствующих производных функции в точке х = а.

 

(1)

 

Многочлен P_n(x) будет близок к функции f(x). Чем больше значение n, тем ближе значения многочлена к значениям функции, тем точнее он повторяет функцию.

Представим этот многочлен с неопределенными пока коэффициентами:

 

(2)

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

 

(3)

 

Решение этой системы при х = а не вызывает затруднений, получаем:

…………………….

Подставляя полученные значения C_i в формулу (2), получаем:

 

 

Как было замечено выше, многочлен не точно совпадает с функцией f(x), т.е. отличается от нее на некоторую величину. Обозначим эту величину R_n+1(x). Тогда:

 

f(x) = P_n(x) + R_n+1(x)

 

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

 

Рассмотрим подробнее величину R_n+1(x).

 

y Как видно на рисунке, в

точке х = а значение мно-

f(x) R_n+1(x) гочлена в точности совпа-

дает со значением функции.

P_n(x) Однако, при удалении от точ-

ки х = а расхождение значе- ний увеличивается.

0 a x x

 

Иногда используется другая запись для R_n+1(x). Т.к. точка eÎ(a, x), то найдется такое число q из интервала 0 < q < 1, что e = a + q(x – a).

Тогда можно записать:

Тогда, если принять a = x₀, x – a = Dx, x = x₀ + Dx, формулу Тейлора можно записать в виде:

 

где 0 < q < 1

 

Если принять n =0, получим: f(x₀ + Dx) – f(x₀) = f¢(x₀ + qDx)×Dx – это выражение называется формулой Лагранжа. (Жозеф Луи Лагранж (1736-1813) французский математик и механик).

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

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

 

Формула Маклорена.

 

Колин Маклорен (1698-1746) шотландский математик.

 

Формулой Маклорена называется формула Тейлора при а = 0:

 

Мы получили так называемую формулу Маклорена с остаточным членом в форме Лагранжа.

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

 

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

Т.е. чем больше по модулю значение разности (х – а) тем более точное значение функции отличается от найденного по формуле Тейлора.

Кроме того, можно показать, что остаточный член R_n+1(x) является бесконечно малой функцией при х®а, причем долее высокого порядка, чем (х – а)^m, т.е.

 

.

Таким образом, ряд Маклорена можно считать частным случаем ряда Тейлора.

 

 

Представление некоторых элементарных функций

по формуле Тейлора.

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

Если при разложении в ряд взять достаточное количество слагаемых, то значение функции может быть найдено с любой наперед заданной точностью. Практически можно сказать, что для нахождения значения любой функции с разумной степенью точности (предполагается, что точность, превышающая 10 – 20 знаков после десятичной точки, необходима очень редко) достаточно 4-10 членов разложения в ряд.

Применение принципа разложения в ряд позволяет производить вычисления на ЭВМ в режиме реального времени, что немаловажно при решении конкретных технических задач.

 

 

Функция f(x) = e^x.

 

Находим: f(x) = e^x, f(0) = 1

f¢(x) = e^x, f¢(0) = 1

……………………

f⁽ⁿ⁾(x) = e^x, f⁽ⁿ⁾(0) = 1

Тогда:

 

 

Пример: Найдем значение числа е.

В полученной выше формуле положим х = 1.

 

Для 8 членов разложения: e = 2,71827876984127003

Для 10 членов разложения: e = 2,71828180114638451

Для 100 членов разложения: e = 2,71828182845904553

 

 

На графике показаны значения числа е с точностью в зависимости от числа членов разложения в ряд Тейлора.

Как видно, для достижения точности, достаточной для решения большинства практических задач, можно ограничиться 6-7 – ю членами ряда.

 

 

Функция f(x) = sinx.

Получаем f(x) = sinx; f(0) = 0

f¢(x) = cosx = sin(x + p/2); f¢(0) = 1;

f¢¢(x) = -sinx = sin(x + 2p/2); f¢¢(0) = 0;

f¢¢¢(x) = -cosx = sin(x + 3p/2); f¢¢¢(0)=-1;

…………………………………………

f⁽ⁿ⁾(x) = sin(x + pn/2); f⁽ⁿ⁾(0) = sin(pn/2);

f⁽ⁿ⁺¹⁾(x) = sin(x + (n + 1)p/2); f⁽ⁿ⁺¹⁾(e) = sin(e + (n + 1)p/2);

Итого:

 

Функция f(x) = cosx.

 

Для функции cosx, применив аналогичные преобразования, получим:

 

 

Функция f(x) = (1 + x)^a.

(a - действительное число)

 

…………………………………………………..

 

Тогда:

 

Если в полученной формуле принять a = n, где n- натуральное число и f⁽ⁿ⁺¹⁾(x)=0, то R_n+1 = 0, тогда

 

Получилась формула, известная как бином Ньютона.

 

Пример: Применить полученную формулу для нахождения синуса любого угла с любой степенью точности.

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

 

 

Рис. 1. Два члена разложения

 

 

 

Рис. 2. Четыре члена разложения

 

 

 

 

Рис. 3. Шесть членов разложения

 

 

 

Рис. 4. Десять членов разложения

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

 

Для примера вычислим значение sin20⁰.

Предварительно переведем угол 20⁰ в радианы: 20⁰ = p/9.

Применим разложение в ряд Тейлора, ограничившись тремя первыми членами разложения:

В четырехзначных таблицах Брадиса для синуса этого угла указано значение 0,3420.

 

На графике показано изменение значений разложения в ряд Тейлора в зависимости от количества членов разложения. Как видно, если ограничиться тремя членами разложения, то достигается точность до 0,0002.

Выше говорилось, что при х®0 функция sinx является бесконечно малой и может при вычислении быть заменена на эквивалентную ей бесконечно малую функцию х. Теперь видно, что при х, близких к нулю, можно практически без потери в точности ограничиться первым членом разложения, т.е. sinx @ x.

 

Пример: Вычислить sin28⁰13¢15¢¢.

 

Для того, чтобы представить заданный угол в радианах, воспользуемся соотношениями:

 

1⁰ = ; 28⁰ ;

1¢ ; ;

; ;

 

рад

 

Если при разложении по формуле Тейлора ограничиться тремя первыми членами, получим: sinx = .

Сравнивая полученный результат с точным значением синуса этого угла,

 

sin = 0,472869017612759812,

видим, что даже при ограничении всего тремя членами разложения, точность составила 0,000002, что более чем достаточно для большинства практических технических задач.

 

 

Функция f(x) = ln(1 + x).

Получаем: f(x) = ln(1 + x); f (0) = 0;

f¢(x) = ;

………………………………………

 

Итого:

 

Полученная формула позволяет находить значения любых логарифмов (не только натуральных) с любой степенью точности. Ниже представлен пример вычисления натурального логарифма ln1,5. Сначала получено точное значение, затем – расчет по полученной выше формуле, ограничившись пятью членами разложения. Точность достигает 0,0003.

 

ln1,5 = 0,405465108108164381

 

 

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

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

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

Дифференциал функции y = f(x) зависит от Dх и является главной частью приращения Dх.

Также можно воспользоваться формулой

 

Тогда абсолютная погрешность

Относительная погрешность

 

Более подробно применение дифференциала к приближенным вычислениям будет описано ниже.

 

Теоремы о среднем.

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

(Ролль (1652-1719)- французский математик)

 

Если функция f(x) непрерывна на отрезке [a, b], дифференцируема на интервале (а, b) и значения функции на концах отрезка равны f(a) = f(b), то на интервале (а, b) существует точка e, a < e < b, в которой производная функция f(x) равная нулю,

f¢(e) = 0.

Геометрический смысл теоремы Ролля состоит в том, что при выполнении условий теоремы на интервале (a, b) существует точка e такая, что в соответствующей точке кривой y = f(x) касательная параллельна оси Ох. Таких точек на интервале может быть и несколько, но теорема утверждает существование по крайней мере одной такой точки.

 

Доказательство. По свойству функций, непрерывных на отрезке функция f(x) на отрезке [a, b] принимает наибольшее и наименьшее значения. Обозначим эти значения М и m соответственно. Возможны два различных случая М = m и M ¹ m.

 

Пусть M = m. Тогда функция f(x) на отрезке [a, b] сохраняет постоянное значение и в любой точке интервала ее производная равна нулю. В этом случае за e можно принять любую точку интервала.

 

Пусть М = m. Так значения на концах отрезка равны, то хотя бы одно из значений М или m функция принимает внутри отрезка [a, b]. Обозначим e, a < e < b точку, в которой f(e) = M. Так как М- наибольшее значение функции, то для любого Dх (будем считать, что точка e + Dх находится внутри рассматриваемого интервала) верно неравенство:

Df(e) = f(e + Dx) – f(e) £ 0

 

При этом

Но так как по условию производная в точке e существует, то существует и предел .

Т.к. и , то можно сделать вывод:

 

 

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

 

Теорема Ролля имеет несколько следствий:

 

1) Если функция f(x) на отрезке [a, b] удовлетворяет теореме Ролля, причем f(a) = f(b) = = 0, то существует по крайней мере одна точка e, a < e < b, такая, что f¢(e) = 0. Т.е. между двумя нулями функции найдется хотя бы одна точка, в которой производная функции равна нулю.

 

2) Если на рассматриваемом интервале (а, b) функция f(x) имеет производную (n-1)- го порядка и n раз обращается в нуль, то существует по крайней мере одна точка интервала, в котором производная (n – 1) – го порядка равна нулю.

 

 

Теорема Лагранжа.

(Жозеф Луи Лагранж (1736-1813) французский математик)

 

Если функция f(x) непрерывна на отрезке [a, b] и дифференцируема на интервале (а, b), то на этом интервале найдется по крайней мере одна точка e

a < e < b, такая, что .

 

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

 

Рассмотренная выше теорема Ролля является частным случаем теоремы Лагранжа.

Отношение равно угловому коэффициенту секущей АВ.

у

 

В

 

 

А

 

0 а e b x

Если функция f(x) удовлетворяет условиям теоремы, то на интервале (а, b) существует точка e такая, что в соответствующей точке кривой y = f(x) касательная параллельна секущей, соединяющей точки А и В. Таких точек может быть и несколько, но одна существует точно.

 

 

Доказательство. Рассмотрим некоторую вспомогательную функцию

F(x) = f(x) – y_{сек АВ}

Уравнение секущей АВ можно записать в виде:

Функция F(x) удовлетворяет теореме Ролля. Действительно, она непрерывна на отрезке [a, b] и дифференцируема на интервале (а, b). По теореме Ролля существует хотя бы одна точка e, a < e < b, такая что F¢(e) = 0.

 

Т.к. , то , следовательно

 

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

Определение. Выражение называется формулой

Лагранжа или формулой конечных приращений.

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

Иногда формулу Лагранжа записывают в несколько другом виде:

,

где 0 < q < 1, Dx = b – a, Dy = f(b) – f(a).

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

 

(Коши (1789-1857)- французский математик)

 

Если функции f(x) и g(x) непрерывны на отрезке [a, b] и дифференцируемы на интервале (a, b) и g¢(x) ¹ 0 на интервале (a, b), то существует по крайней мере одна точка e, a < e < b, такая, что

.

 

Т.е. отношение приращений функций на данном отрезке равно отношению производных в точке e.

 

Для доказательства этой теоремы на первый взгляд очень удобно воспользоваться теоремой Лагранжа. Записать формулу конечных разностей для каждой функции, а затем разделить их друг на друга. Однако, это представление ошибочно, т.к. точка e для каждой из функции в общем случае различна. Конечно, в некоторых частных случаях эта точка интервала может оказаться одинаковой для обеих функций, но это- очень редкое совпадение, а не правило, поэтому не может быть использовано для доказательства теоремы.

 

Доказательство. Рассмотрим вспомогательную функцию

,

которая на интервале [a, b] удовлетворяет условиям теоремы Ролля. Легко видеть, что при х = а и х = b F(a) = F(b) = 0. Тогда по теореме Ролля существует такая точка e,

a < e < b, такая, что F¢(e) = 0. Т.к.

, то

 

А т.к. , то

 

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

 

Следует отметить, что рассмотренная выше теорема Лагранжа является частным случаем (при g(x) = x) теоремы Коши. Доказанная нами теорема Коши очень широко используется для раскрытия так называемых неопределенностей. Применение полученных результатов позволяет существенно упростить процесс вычисления пределов функций, что будет подробно рассмотрено ниже.

 

 

Раскрытие неопределенностей.

Правило Лопиталя.

(Лопиталь (1661-1704) – французский математик)

 

 

К разряду неопределенностей принято относить следующие соотношения:

 

Теорема (правило Лопиталя). Если функции f(x) и g(x) дифференцируемы в вблизи точки а, непрерывны в точке а, g¢(x) отлична от нуля вблизи а и f(a) = g(a) = 0, то предел отношения функций при х®а равен пределу отношения их производных, если этот предел (конечный или бесконечный) существует.

 

Доказательство. Применив формулу Коши, получим:

 

где e - точка, находящаяся между а и х. Учитывая, что f(a) = g(a) = 0:

 

Пусть при х®а отношение стремится к некоторому пределу. Т.к. точка e лежит между точками а и х, то при х®а получим e®а, а следовательно и отношение стремится к тому же пределу. Таким образом, можно записать:

.

 

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

 

Пример: Найти предел .

 

Как видно, при попытке непосредственного вычисления предела получается неопределенность вида . Функции, входящие в числитель и знаменатель дроби удовлетворяют требованиям теоремы Лопиталя.

f¢(x) = 2x + ; g¢(x) = e^x;

 

;

 

Пример: Найти предел .

; ;

.

 

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

Пример: Найти предел .

 

; ;

; ;

; ;

 

Следует отметить, что правило Лопиталя – всего лишь один из способов вычисления пределов. Часто в конкретном примере наряду с правилом Лопиталя может быть использован и какой – либо другой метод (замена переменных, домножение и др.).

 

 

Пример: Найти предел .

 

; ;

- опять получилась неопределенность. Применим правило Лопиталя еще раз.

 

; ;

- применяем правило Лопиталя еще раз.

 

; ;

;

 

Неопределенности вида можно раскрыть с помощью логарифмирования. Такие неопределенности встречаются при нахождении пределов функций вида , f(x)>0 вблизи точки а при х®а. Для нахождения предела такой функции достаточно найти предел функции lny = g(x)lnf(x).

 

Пример: Найти предел .

 

Здесь y = x^x, lny = xlnx.

Тогда . Следовательно

 

Пример: Найти предел .

 

; - получили неопределенность. Применяем правило Лопиталя еще раз.

; ;

 

Производные и дифференциалы высших порядков.

Пусть функция f(x)- дифференцируема на некотором интервале. Тогда, дифференцируя ее, получаем первую производную

Если найти производную функции f¢(x), получим вторую производную функции f(x).

т.е. y¢¢ = (y¢)¢ или .

 

Этот процесс можно продолжить и далее, находя производные степени n.

.

 

 

Общие правила нахождения высших производных.

Если функции u = f(x) и v = g(x) дифференцируемы, то

 

1) (Сu)⁽ⁿ⁾ = Cu⁽ⁿ⁾;

2) (u ± v)⁽ⁿ⁾ = u⁽ⁿ⁾ ± v⁽ⁿ⁾;

3)

.

Это выражение называется формулой Лейбница.

 

Также по формуле dⁿy = f⁽ⁿ⁾(x)dxⁿ может быть найден дифференциал n- го порядка.

 

 

Исследование функций с помощью производной.

Возрастание и убывание функций.

Теорема. 1) Если функция f(x) имеет производную на отрезке [a, b] и возрастает на этом отрезке, то ее производная на этом отрезке неотрицательна, т.е. f¢(x) ³ 0.

2) Если функция f(x) непрерывна на отрезке [a, b] и дифференцируема на промежутке (а, b), причем f¢(x) > 0 для a < x < b, то эта функция возрастает на отрезке [a, b].

 

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

1) Если функция f(x) возрастает, то f(x + Dx) > f(x) при Dx>0 и f(x + Dx) < f(x) при Dх<0,

тогда:

 

2) Пусть f¢(x)>0 для любых точек х₁ и х₂, принадлежащих отрезку [a, b], причем x₁<x₂.

 

Тогда по теореме Лагранжа: f(x₂) – f(x₁) = f¢(e)(x₂ – x₁), x₁ < e < x₂

По условию f¢(e)>0, следовательно, f(x₂) – f(x₁) >0, т.е. функция f(x) возрастает.

 

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

 

Аналогично можно сделать вывод о том, что если функция f(x) убывает на отрезке [a, b], то f¢(x)£0 на этом отрезке. Если f¢(x)<0 в промежутке (a, b), то f(x) убывает на отрезке [a, b].

Конечно, данное утверждение справедливо, если функция f(x) непрерывна на отрезке [a, b] и дифференцируема на интервале (a, b).

 

Доказанную выше теорему можно проиллюстрировать геометрически:

 

y y

 

j j j j

x x

 

 

Точки экстремума.

 

Определение. Функция f(x) имеет в точке х₁ максимум, если ее значение в этой точке больше значений во всех точках некоторого интервала, содержащего точку х₁. Функция f(x) имеет в точке х₂ минимум, если f(x₂ +Dx) > f(x₂) при любом Dх (Dх может быть и отрицательным).

 

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

 

Определение. Точки максимума и минимума функции называются точками экстремума.

 

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

 

Доказательство. Предположим, что функция f(x) имеет в точке х = х₁ максимум.

Тогда при достаточно малых положительных Dх>0 верно неравенство:

, т.е.

Тогда

По определению:

 

Т.е. если Dх®0, но Dх<0, то f¢(x₁) ³ 0, а если Dх®0, но Dх>0, то f¢(x₁) £ 0.

 

А возможно это только в том случае, если при Dх®0 f¢(x₁) = 0.

 

Для случая, если функция f(x) имеет в точке х₂ минимум теорема доказывается аналогично.

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

 

Следствие. Обратное утверждение неверно. Если производная функции в некоторой точке равна нулю, то это еще не значит, что в этой точке функция имеет экстремум. Красноречивый пример этого – функция у = х³, производная которой в точке х = 0 равна нулю, однако в этой точке функция имеет только перегиб, а не максимум или минимум.

 

Определение. Критическими точками функции называются точки, в которых производная функции не существует или равна нулю.

 

Рассмотренная выше теорема дает нам необходимые условия существования экстремума, но этого недостаточно.

 

Пример: f(x) = ôxô Пример: f(x) =

 

y y

 

 

x

 

x

 

В точке х = 0 функция имеет минимум, но В точке х = 0 функция не имеет ни

не имеет производной. максимума, ни минимума, ни произ-

водной.

 

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

Теорема. (Достаточные условия существования экстремума)

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

Если при переходе через точку х₁ слева направо производная функции f¢(x) меняет знак с “+” на “-“, то в точке х = х₁ функция f(x) имеет максимум, а если производная меняет знак с “-“ на “+”- то функция имеет минимум.

 

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

 

Пусть

 

По теореме Лагранжа: f(x) – f(x₁) = f¢(e)(x – x₁), где x < e < x₁.

 

Тогда: 1) Если х < x₁, то e < x₁; f¢(e)>0; f¢(e)(x – x₁)<0, следовательно

 

f(x) – f(x₁)<0 или f(x) < f(x₁).

 

2) Если х > x₁, то e > x₁ f¢(e)<0; f¢(e)(x – x₁)<0, следовательно

 

f(x) – f(x₁)<0 или f(x) < f(x₁).

Т. к. ответы совпадают, то можно сказать, что f(x) < f(x₁) в любых точках вблизи х₁, т.е. х₁ – точка максимума.

 

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

 

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

 

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

 

1) Найти критические точки функции.

2) Найти значения функции в критических точках.

3) Найти значения функции на концах отрезка.

4) Выбрать среди полученных значений наибольшее и наименьшее.

 

 

Исследование функции на экстремум с помощью

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

 

Пусть в точке х = х₁ f¢(x₁) = 0 и f¢¢(x₁) существует и непрерывна в некоторой окрестности точки х₁.

 

Теорема. Если f¢(x₁) = 0, то функция f(x) в точке х = х₁ имеет максимум, если f¢¢(x₁)<0 и минимум, если f¢¢(x₁)>0.

 

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

 

Пусть f¢(x₁) = 0 и f¢¢(x₁)<0. Т.к. функция f(x) непрерывна, то f¢¢(x₁) будет отрицательной и в некоторой малой окрестности точки х₁.

Т.к. f¢¢(x) = (f¢(x))¢ < 0, то f¢(x) убывает на отрезке, содержащем точку х₁, но f¢(x₁)=0, т.е. f¢(x) > 0 при х<x₁ и f¢(x) < 0 при x>x₁. Это и означает, что при переходе через точку х = х₁ производная f¢(x) меняет знак с “+” на “-“, т.е. в этой точке функция f(x) имеет максимум.

 

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

 

Если f¢¢(x) = 0, то характер критической точки неизвестен. Для его определения требуется дальнейшее исследование.

 

Выпуклость и вогнутость кривой.

Точки перегиба.

 

Определение. Кривая обращена выпуклостью вверх на интервале (а, b), если все ее точки лежат ниже любой ее касательной на этом интервале. Кривая, обращенная выпуклостью вверх, называется выпуклой, а кривая, обращенная выпуклостью вниз – называется вогнутой.

 

у

 

x

 

На рисунке показана иллюстрация приведенного выше определения.

 

Теорема 1. Если во всех точках интервала (a, b) вторая производная функции f(x) отрицательна, то кривая y = f(x) обращена выпуклостью вверх (выпукла).

 

Доказательство. Пусть х₀ Î (a, b). Проведем касательную к кривой в этой точке.

Уравнение кривой: y = f(x);

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

Следует доказать, что .

 

По теореме Лагранжа для f(x) – f(x₀): , x₀ < c < x.

 

 

По теореме Лагранжа для

 

Пусть х > x₀ тогда x₀ < c₁ < c < x. Т.к. x – x₀ > 0 и c – x₀ > 0, и кроме того по условию

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

 

Пусть x < x₀ тогда x < c < c₁ < x₀ и x – x₀ < 0, c – x₀ < 0, т.к. по условию то

.

 

Аналогично доказывается, что если f¢¢(x) > 0 на интервале (a, b), то кривая y=f(x) вогнута на интервале (a, b).

 

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

 

Определение. Точка, отделяющая выпуклую часть кривой от вогнутой, называется точкой перегиба.

 

Очевидно, что в точке перегиба касательная пересекает кривую.

 

Теорема 2. Пусть кривая определяется уравнением y = f(x). Если