Пусть функция $f$ определена на интервале $(a, b)$. Предположим, что в каждой точке $x \in \left(a,b\right)$ у функции $f$ существует производная $f^{\prime}\left(x\right)$. Если функция $f^\prime$ в некоторой точке $x_{0} \in \left(a, b \right)$ имеет производную, то ее называют второй производной функции $f$ в точке $x_{0}$ и обозначают $f^{\prime \prime}\left(x_0\right)$. По индукции определяются и производные высших порядков. Именно, $f^{\left(k\right)}\left(x\right)=f^{\left(k-1\right)^{\prime}}\left(x\right)$

Определение: Для $k \in \usepackage{amsfonts} \mathbb {N}$ и отрезка $\left[a, b\right]$ через $C^{k}\left(\left[a, b\right]\right)$ обозначается совокупность всех функций $f$, определенных на $\left[a, b\right]$ и таких, что $k$-я производная $f^{\left(k\right)}$ непрерывна на $\left[a, b\right]$. При этом в точках $a$ и $b$ производные понимаются как односторонние.

Напомним определение дифференцируемости. Дифференцируемой в точке $x_{0}$ мы называли такую функцию $f$, что в окрестности точки $x_{0}$ она представима в виде
$$f\left(x\right) = f \left(x_0\right) + f^{\prime}\left(x_0\right)\left(x − x_{0}\right) + \left(x \to x_{0}\right) \bar{o}\left(\left(x − x_{0}\right)^n\right) \left(x \to x_{0}\right) $$
т.е. $f\left(x\right) = P_{1}\left(x\right) + \bar{o}\left(x − x_{0}\right)$, где $P_{1}\left(x\right)$ – многочлен первого порядка, а остаток $\bar{o}\left(x − x_{0}\right)$ мал по порядку по сравнению с $x − x_{0}$.

Поставим следующую задачу. Пусть функция $f$ определена в некоторой окрестности точки $x_{0}$. Можно ли функцию $f$ в этой окрестности представить в виде суммы многочлена $P_{n}\left(x\right)$ степени не выше заданного натурального $n$, и остатка $r_{n}\left(x\right)$, малого по сравнению с $\left(x − x_{0}\right)^n$, т.е. $r_{n}\left(x\right) = \bar{o}\left(\left(x − x_{0}\right)^{n}\right)\left(x \to x_{0}\right)$? Другими словами, мы хотим, чтобы имело место равенство
$$f\left(x\right) = P_{n}\left(x\right) + \bar{o}\left(\left(x − x_{0}\right)^n\right)\left(x \to x_{0}\right).$$
При $n = 1$ это возможно, если функция $f$ дифференцируема в точке $x_{0}$. Это сразу следует из определения дифференцируемости.

Вернемся к нашей задаче представления функции $f$ в виде $$f\left(x\right) = P_{n}\left(x\right)+\bar{o}\left(\left(x-x_{0}\right)^n\right).$$ Из доказанной леммы сразу следует, что если мы найдем многочлен $P_{n}\left(x\right)$, такой, что $P_{n}\left(x_{0}\right) = f\left(x_{0}\right)$, $P_{n}^{\prime}\left(x_{0}\right) = f^{\prime}\left(x_{0}\right)$, $\ldots$, $P_{n}^{\left(n\right)}\left(x_{0}\right) = f^{\left(n\right)}\left(x_{0}\right)$, то функция $\varphi\left(x\right) = f\left(x\right) − P_{n}\left(x\right)$ будет удовлетворять условиям $\varphi\left(x_{0}\right) =\varphi^{\prime}\left(x_{0}\right) = \ldots = \varphi^{\left(n\right)}\left(x_{0}\right) = 0$, и, в силу леммы, $\varphi\left(x\right) = \bar{o} \left(\left(x − x_{0}\right)^n\right)$, т.е. наша задача будет решена, если мы найдем многочлен $P_{n}\left(x\right)$.

Многочлен $P_{n}\left(x\right)$ будем искать в виде $$P_{n}\left(x\right) = c_0 + c_{1}\left(x-x_{0}\right) + \ldots + c_{n}\left(x-x_{0}\right)^n,$$ т.е. по степеням $x − x_{0}$, где $c_0, c_1, \ldots, c_n$ – коэффициенты. Найдем производные многочлена $P_n$. Имеем

$ P_n \left(x_0\right) = c_0, {} \\ {} P_n^{\prime}\left(x\right) = c_1 + 2 \cdot c_2 \left(x-x_0\right)+\ldots+n\cdot c_n\left(x- x_0\right)^{n-1}, {} \\ {} P_n^{\prime}\left(x_0\right) = c_1, {} \\ {} P_n^{\prime \prime}\left(x\right) = 2\cdot c_2 + 3\cdot2\cdot c_3\left(x-x_0\right)+\ldots+n \cdot \left(n-1\right)\cdot c_n\left(x-x_0\right)^{n-2}, {} \\ {} P_n^{\prime \prime}\left(x_0\right)=2c_2, {} \\ {} \cdots {} \\ {} P_n^{\left(k\right)}\left(x\right) = k\cdot\left(k-1\right)\cdot \ldots \cdot 2 \cdot 1\cdot c_k + \left(k+1\right) \cdot\ldots \cdot2 \cdot 1\cdot c_{k+1}\left(x-x_0\right)+\ldots +{} \\ {}+ n\cdot\left(n-1\right)\cdot\ldots\cdot \left(n-k+1\right)\cdot c_n\left(x-x_0\right)^{k}, {} \\ {} \cdots \\ {} P_n^{\left(k\right)}\left(x_0\right) = k!\cdot c_k \left(k=0,1,\ldots,n\right).$

Таким образом, $P_n^{\left(k\right)}\left(x_0\right) = k!\cdot c_k$, откуда $c_k = \frac{\displaystyle P_n^{\left(k\right)}\left(x_0\right)}{\displaystyle k!}$. Итак, если мы хотим, чтобы при всех $k=0,1,\ldots,n$ были выполнены равенства $f^{\left(k\right)}\left(x_0\right)=P_n^{\left(k\right)}\left(x_0\right)$, то коэффициенты $c_k$ многочлена $P_n\left(x\right)$ должны быть равными $c_k = \frac {\displaystyle f^{\left(k\right)}\left(x_0\right)}{\displaystyle k!} \left(k = 0,1,\ldots,n\right)$, т.е. $$P_n\left(x\right) = f\left(x_0\right) + \frac {f^{\prime}\left(x_0\right)}{1!}\left(x-x_0\right) + \ldots + \frac {f^{\left(n\right)}\left(x_0\right)}{n!}\left(x-x_0\right)^n.$$ В этом случае функция $\varphi \left(x\right) = f\left(x\right) — P_n\left(x\right)$ удовлетворяет условиям леммы и, следовательно, $\varphi \left(x\right) = \bar{o}\left(\left(x-x_0\right)^n\right)$, т.е. мы получим нужное представление $$ f\left(x\right) = P_n\left(x\right) + \bar{o}\left(\left(x-x_0\right)^n\right).$$

Итак, мы доказали следующую теорему.

Доказанное в этой теореме равенство называется формулой Тейлора с остатком в форме Пеано. Многочлен $$ P_n\left(x\right) = f\left(x_0\right)+\frac {f^{\prime}\left(x_0\right)}{1!}\left(x-x_0\right) + \frac {f^{\prime \prime}\left(x_0\right)}{2!}\left(x-x_0\right)^2 + \ldots +{} \\ {}+ \frac {f^{\left(n\right)}\left(x_0\right)}{n!}\left(x-x_0\right)^n $$ называется многочленом Тейлора функции $f$ с центром в точке $x_0$, а последнее слагаемое в формуле Тейлора $\bar{o}\left(\left(x − x_0\right)^n\right)$ — остатком формулы Тейлора в форме Пеано.

Докажем единственность многочлена Тейлора. Предположим, что существует два представления – $f\left(x\right) = P_n\left(x\right) + \bar{o}\left(\left(x-x_0\right)^n\right)$ и $f\left(x\right) = Q_n\left(x\right) + \bar{o}\left(\left(x-x_0\right)^n\right)$, где $P_n$ и $Q_n$ – многочлены степени не выше, чем $n$. Покажем, что $P_n \equiv Q_n$, т.е. коэффициенты многочленов $P_n$ и $Q_n$ совпадают. Имеем $P_n\left(x\right)-Q_n\left(x\right) = \bar{o}\left(\left(x-x_0\right)^n\right)$, т.е. $R_n\left(x\right) \equiv P_n\left(x\right)-Q_n\left(x\right) = \bar{o}\left(\left(x-x_0\right)^n\right)$, где степень $R_n$ не превосходит $n$. Покажем, что все коэффициенты $b_k$ многочлена $R_n\left(x\right) \equiv b_0 + b_1 \left(x-x_0\right) + \ldots +b_n\left(x-x_0\right)^n$ равны нулю. Из равенства $$b_0 + b_1 \left(x-x_0\right) + \ldots +b_n\left(x-x_0\right)^n = \bar{o}\left(\left(x-x_0\right)^n\right),$$ устремляя $x \to x_0$ и учитывая, что правая часть стремится к нулю, получаем, что $b_0 = 0$. Следовательно, $$b_1 \left(x-x_0\right) + \ldots +b_n\left(x-x_0\right)^n = \bar{o}\left(\left(x-x_0\right)^n\right).$$ Разделив это равенство на $x − x_0$, получим $$ b_1 + b_2 \left(x-x_0\right) + \ldots +b_n\left(x-x_0\right)^{n-1} = \bar{o}\left(\left(x-x_0\right)^{n-1}\right),$$ откуда, устремляя $x \to x_0$, получим, что $b_1 = 0$. Продолжая этот процесс, получим, что $b_0 = b_1 = \ldots = b_n = 0$, т.е. $R_n = 0$, что и требовалось.

Замечание: Если функция $f$ является многочленом степени $n$, то она совпадает со своим многочленом Тейлора порядка $n$ и выше. В самом деле, если $f\left(x\right) = P_n\left(x\right)$, то для $n \leqslant m$ будем иметь $$f\left(x\right) = P_n\left(x\right) = P_m\left(x\right) + 0 = P_m\left(x\right) + r_m\left(x\right),$$ где $r_m\left(x\right) = 0 = \bar{o}\left(\left(x-x_0\right)^m\right) \left(x \to x_{0}\right)$. Значит, в силу единственности многочлена Тейлора, $P_m\left(x\right) \equiv P_n\left(x\right)$ – многочлен Тейлора.

Примеры решения задач

1. Пусть $f\left(x\right) = x^2 − 3x + 1$. Требуется построить формулу Тейлора для функции $f$ порядка $n = 2$ в окрестности точки $x_0 = 1$.
   
   Решение

   Можно было бы вычислить $f\left(1\right), f^{\prime}\left(1\right), f^{\prime \prime}\left(1\right)$ и построить многочлен Тейлора согласно общей формуле $$ P_2\left(x\right) = f\left(1\right) + \frac {f^{\prime}\left(1\right)}{1!}\left(x-1\right) + \frac {f^{\prime \prime}\left(1\right)}{2!}\left(x-1\right)^2,$$ и тогда получили бы $$ f\left(x\right) = x^2 — 3x + 1 = f\left(1\right) + \frac {f^{\prime}\left(1\right)}{1!}\left(x-1\right) + \frac {f^{\prime \prime}\left(1\right)}{2!}\left(x-1\right)^2 + r_2\left(x\right), $$ где $r_2\left(x\right) = f\left(x\right) — P_2\left(x\right) = \bar{o}\left(\left(x-1\right)^2\right) \left(x \to 1\right)$. На самом деле оказывается, что $r_2\left(x\right) ≡ 0$. Действительно, данный пример можно решить проще, если многочлен $x^2−3x+1$ расписать по степеням $x−1$, а именно: $x^2−3x+1 = \left(\left(x-1\right) + 1\right)^2-3\left(\left(x-1\right)+1\right)+1 = $$ $$= -1-\left(x-1\right)+\left(x-1\right)^2 = P_2 \left(x\right).$ Справа мы получили многочлен по степеням $x−1$. Данная функция $x^2 − 3x + 1$ представляет собой многочлен. В силу единственности, это и есть многочлен Тейлора для функции в окрестности точки $x_0 = 1$.

2. Построить формулу Тейлора для функции $f\left(x\right)=\sin x$ порядка $n = 3$ в окрестности точки $x_0 = \frac{\pi}{2}$.
   
   Решение

   Записываем формулу Тейлора по определению, вычисляя предварительно $f\left(\frac{\displaystyle \pi}{\displaystyle 2}\right), f^{\prime}\left(\frac{\displaystyle \pi}{\displaystyle 2}\right), f^{\prime \prime}\left(\frac{\displaystyle \pi}{\displaystyle 2}\right), f^{\left(3\right)}\left(\frac{\displaystyle \pi}{\displaystyle 2}\right)$.
   $f\left(\frac{\displaystyle \pi}{\displaystyle 2}\right) = 1,$ $f^{\prime}\left(\frac{\displaystyle \pi}{\displaystyle 2}\right) = \cos\frac{\displaystyle \pi}{\displaystyle 2} = 0,$ $f^{\prime \prime}\left(\frac{\displaystyle \pi}{\displaystyle 2}\right) = -\sin\frac{\displaystyle \pi}{\displaystyle 2} = -1,$ $f^{\left(3\right)}\left(\frac{\displaystyle \pi}{\displaystyle 2}\right) = -\cos\frac{\displaystyle \pi}{\displaystyle 2} = 0.$ С помощью полученных данных построим многочлен Тейлора третьего порядка $ P_3\left(x\right) = 1 + \frac {\displaystyle 0}{\displaystyle 1!}\left(x-\frac{\displaystyle \pi}{\displaystyle 2}\right) + \frac {\displaystyle -1}{\displaystyle 2!}\left(x-\frac{\displaystyle \pi}{\displaystyle 2}\right)^2 + \frac {\displaystyle 0}{\displaystyle 3!}\left(x-\frac{\displaystyle \pi}{\displaystyle 2}\right)^3.$ Тогда формула Тейлора будет выглядеть следующим образом: $$f\left(x\right) = 1-\frac{\displaystyle 1}{\displaystyle 2}\left(x-\frac{\displaystyle \pi}{\displaystyle 2}\right)^2 + \bar{o} \left(\left(x − x_{0}\right)^2\right).$$
   

3. Вычислить предел $\lim\limits_{x\to 0}\frac{\displaystyle\sqrt{1+x}-e^x+x^2}{\displaystyle\sin x}$, используя формулу Тейлора.
   
   Решение

   Разложим выражения $\sqrt{1+2x}$, $e^x$ и $\sin x$ по формуле Тейлора в окрестности точки $x_0 = 0$ порядка $n=1$: $$\sqrt {1+x}=\left(1+x\right)^{\frac{1}{2}}=1+\frac{1}{2}x+\bar{o}\left(x\right);$$ $$ e^x=1+x+\bar{o}\left(x\right).$$
   Используя эти разложения и заменив в знаменателе функцию $\sin x$ на эквивалентную ей в окрестности точки $x_0=0$ функцию $x$, получаем из исходной дроби следующую: $$\frac{1+\frac{\displaystyle 1}{\displaystyle 2}x-1-x+\bar{o}\left(x\right)}{x+\bar{o}\left(x\right)}.$$
   Тогда в пределе получаем выражение
   $$\lim\limits_{x\to 0} \frac {-\frac{\displaystyle x}{\displaystyle 2}+\bar{o}\left(x\right)} {x+\bar{o}\left(x\right)}.$$ Если поделить почленно числитель и знаменатель дроби на $x$, то получим $$\lim\limits_{x\to 0} \frac {-\frac{\displaystyle 1}{\displaystyle 2}+\frac{\displaystyle \bar{o}\left(x\right)}{\displaystyle x}} {1+\frac{\displaystyle \bar{o}\left(x\right)}{\displaystyle x}}.$$ Выражения вида $\frac{\displaystyle \bar{o}\left(x\right)}{\displaystyle x}$ в пределе дадут $0$. Тогда в ответе получаем $\frac{-1}{2}.$

Тест

Лимит времени: 0

Навигация (только номера заданий)

0 из 6 заданий окончено

Вопросы:

1. 1
2. 2
3. 3
4. 4
5. 5
6. 6

Информация

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

Вы уже проходили тест ранее. Вы не можете запустить его снова.

Тест загружается...

Вы должны войти или зарегистрироваться для того, чтобы начать тест.

Вы должны закончить следующие тесты, чтобы начать этот:

Результаты

Правильных ответов: 0 из 6

Ваше время:

Время вышло

Вы набрали 0 из 0 баллов (0)

Средний результат
Ваш результат

Рубрики

1. Нет рубрики 0%
2. Математический анализ 0%

Ваш результат был записан в таблицу лидеров

Загрузка

Имя: E-Mail:

Капча:

максимум из 22 баллов

Место	Имя	Записано	Баллы	Результат
Таблица загружается
Нет данных

1. 1
2. 2
3. 3
4. 4
5. 5
6. 6

1. С ответом
2. С отметкой о просмотре

1. Задание 1 из 6

   1.

   Остаток в формуле Тейлора функции $f$ с центром в точке $x_0$, представленный в форме Пеано, можно записать в виде:

   • $\bar{o}\left(\left(x − x_{0}\right)^{n}\right)\left(x \to \infty \right)$
   • $\bar{o}\left(\left(x − x_{0}\right)\right)\left(x \to x_{0}\right)$
   • $\bar{o}\left(\left(x − x_{0}\right)^{n}\right)\left(x \to x_{0}\right)$
   Правильно
   

   Неправильно
   
2. Задание 2 из 6

   2.

   Выберите правильное утверждение:

   • $$\bar{o}((x-x_0)^n)>(x-x_0)^n, x \to x_0$$
   • $$\bar{o}((x-x_0)^n)\sim x-x_0, x \to x_0$$
   • $$\lim_{x \to x_0} \frac{\bar{o}((x-x_0)^n)}{(x-x_0)^n}=0$$
   • $$\lim_{x \to x_0} \frac{(x-x_0)^n}{\bar{o}((x-x_0)^n)}=0$$
   Правильно
   

   Неправильно
   
3. Задание 3 из 6

   3.

   Функции $f(x)=3x^2+1$ с центром в точке $x_0=1$ соответствует следующая формула Тейлора:

   • $3x^2+1 = 13+12(x-2)+3(x-2)^2$
   • $3x^2+1 = 4+6(x-1)+3(x-1)^2$
   • $3x^2+1 = 4+10(x-1)+5(x-1)^2$
   • $3x^2+1 = 4+6x+3$
   Правильно
   

   Неправильно
   
4. Задание 4 из 6

   4.

   Установите соответствие между функциями и их многочленами Тейлора 3 степени с центром в точке $x_0=0$

   Элементы сортировки

   • $f(x)=\sin x$
   • $f(x)=\ln\left(1+x\right)$
   • $f(x)=\frac{4}{x+1}$
   • $f(x) = \sqrt {x+4}$

   • $x-\frac{1}{6}x^3+\bar{o}(x^3)$

   • $x-\frac{x^2}{2}+\frac{x^3}{3}+\bar{o}(x^3)$

   • $4-4x+4x^2-4x^3+\bar{o}(x^3)$

   • $2+\frac{1}{4}x-\frac{1}{64}x^2+\frac{3}{1536}x^3+\bar{o}(x^3)$

   Правильно 4 / 4Баллы

   Неправильно / 4 Баллы
5. Задание 5 из 6

   5.

   Предел $\lim\limits_{x\to 0}\frac{\displaystyle 1-\cos 6x}{\displaystyle 5x}$ равен:
   Правильно
   

   Неправильно
   
6. Задание 6 из 6

   6.

   Достаточными условиями для разложения функции $f\left(x\right)$ по формуле Тейлора с $n$ членами в окрестности точки $x_0$ являются:

   • Наличие у функции в точке $x_0$ производной порядка $n$
   • Монотонность функции в точке $x_0$
   • Наличие у функции в окрестности точки $x_0$ производных до $\left(n-1\right)$-го порядка включительно
   • Равномерная непрерывность функции в окрестности точки $x_0$
   Правильно
   

   Неправильно