Формула Тейлора для полиномов — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
м (Больше формулы)
м (rollbackEdits.php mass rollback)
 
(не показано 6 промежуточных версий 5 участников)
Строка 5: Строка 5:
 
{{Определение
 
{{Определение
 
|definition=
 
|definition=
Пусть полином <tex>P_n(x) = \sum\limits_{k = 0}^n a_kx^k</tex>. Тогда при <tex>a_0 \ne 0</tex>, <tex>n = \deg P_n</tex> {{---}} '''степень полинома'''.
+
Пусть полином <tex>P_n(x) = \sum\limits_{k = 0}^n a_kx^k</tex>. Тогда при <tex>a_n \ne 0</tex>, <tex>n = \deg P_n</tex> {{---}} '''степень полинома'''.
 
}}
 
}}
  
Строка 14: Строка 14:
 
Тейлор
 
Тейлор
 
|statement=
 
|statement=
<tex dpi=150>\forall x_0 \in \mathbb{R} \ P_n(x) = \sum\limits_{k = 0}^n \frac{P_n^{(k)}(x_0)}{k!} (x - x_0)^k</tex> {{---}} разложение  
+
<tex>\forall x_0 \in \mathbb{R} \ P_n(x) = \sum\limits_{k = 0}^n \frac{P_n^{(k)}(x_0)}{k!} (x - x_0)^k</tex> {{---}} разложение  
 
полинома по степеням <tex>x - x_0</tex>
 
полинома по степеням <tex>x - x_0</tex>
 
|proof=
 
|proof=
Строка 21: Строка 21:
 
Забавный факт: <tex>x = x - x_0 + x_0</tex>. Тогда <tex>x^k = (x - x_0 + x_0)^k = \sum\limits_{j=0}^k C_j^k (x - x_0)^j x_0^{k - j}</tex>
 
Забавный факт: <tex>x = x - x_0 + x_0</tex>. Тогда <tex>x^k = (x - x_0 + x_0)^k = \sum\limits_{j=0}^k C_j^k (x - x_0)^j x_0^{k - j}</tex>
  
<tex>P_n(x) = \sum\limits_{k=0}^n a_kx^k = \sum\limits_{k = 0}^n a_k \sum\limits_{j=0}^n C_j^k (x - x_0)^j x_0^{k - j}</tex>
+
<tex>P_n(x) = \sum\limits_{k=0}^n a_kx^k = \sum\limits_{k = 0}^n a_k \sum\limits_{j=0}^k C_j^k (x - x_0)^j x_0^{k - j}</tex>
  
Так как в этой повторной сумме(что хотел этим сказать автор?) формуле <tex>x - x_0</tex> присутствует максимум в <tex>n</tex>-й степени,
+
Так как в этой повторной сумме <tex>x - x_0</tex> присутствует максимум в <tex>n</tex>-й степени, то коэффициент при старшей степени будет иметь индекс <tex> n </tex>. Собрав коэффициенты при одинаковых степенях <tex>x-x_0</tex>, получим искомые коэффициенты <tex>b_i</tex>
собрав коэффициенты при одинаковых степенях <tex>x-x_0</tex>, получим полином искомые коэффициенты <tex>b_i</tex>
 
  
Теперь докажем, что <tex>b_k = \frac{P_n^{(k)}(x_0)}{k!}</tex>.
+
Теперь докажем, что <tex dpi=150>b_k = \frac{P_n^{(k)}(x_0)}{k!}</tex>.
  
 
<tex>(x^p)^{(k)} = p(p-1)(p-2) \ldots (p - k + 1)x^{p - k}</tex>. Отсюда видно, что если порядок дифференцирования <tex>k</tex>:
 
<tex>(x^p)^{(k)} = p(p-1)(p-2) \ldots (p - k + 1)x^{p - k}</tex>. Отсюда видно, что если порядок дифференцирования <tex>k</tex>:
 
* больше, чем <tex>p</tex>, то <tex>(x^p)^{(k)} = 0</tex>
 
* больше, чем <tex>p</tex>, то <tex>(x^p)^{(k)} = 0</tex>
 
* равен <tex>p</tex>, то <tex>(x^p)^{(k)} = p!</tex>
 
* равен <tex>p</tex>, то <tex>(x^p)^{(k)} = p!</tex>
 +
* меньше, чем <tex>p</tex>, то <tex>(x^p)^{(k)} |_0 = 0</tex>
  
 
+
Итак, если порядок не равен <tex>k</tex>, то значение <tex>k</tex>-й производной в нуле равно  
Если порядок меньше, чем <tex>k</tex>, то значение <tex>k</tex>-й производной в нуле равно  
 
 
<tex>\left. (x^p)^{(k)} \right|_0 = 0</tex>
 
<tex>\left. (x^p)^{(k)} \right|_0 = 0</tex>
  
Строка 40: Строка 39:
 
При <tex>j \leq n</tex>: <tex>P_n^{(j)}(x) = \sum\limits_{k = 0}^n b_k ((x - x_0)^k)^{(j)}</tex>
 
При <tex>j \leq n</tex>: <tex>P_n^{(j)}(x) = \sum\limits_{k = 0}^n b_k ((x - x_0)^k)^{(j)}</tex>
  
В силу вышесказанного, при <tex>x = x_0</tex>, получаем, <tex>P_n^{(j)}(x_0) = b_j \cdot j! \Rightarrow b_j = \frac{P_n^{(j)}(x_0)}{j!}</tex>
+
В силу вышесказанного, при <tex>x = x_0</tex>, получаем, <tex dpi=150>P_n^{(j)}(x_0) = b_j \cdot j! \Rightarrow b_j = \frac{P_n^{(j)}(x_0)}{j!}</tex>
 
}}
 
}}
  
 
[[Категория:Математический анализ 1 курс]]
 
[[Категория:Математический анализ 1 курс]]

Текущая версия на 19:33, 4 сентября 2022

Эта статья находится в разработке!

Степень полинома

Определение:
Пусть полином [math]P_n(x) = \sum\limits_{k = 0}^n a_kx^k[/math]. Тогда при [math]a_n \ne 0[/math], [math]n = \deg P_n[/math]степень полинома.


Теорема Тейлора

Теорема (Тейлор):
[math]\forall x_0 \in \mathbb{R} \ P_n(x) = \sum\limits_{k = 0}^n \frac{P_n^{(k)}(x_0)}{k!} (x - x_0)^k[/math] — разложение полинома по степеням [math]x - x_0[/math]
Доказательство:
[math]\triangleright[/math]

Установим существование коэффициентов [math]b_0, b_1, \ldots , b_n: \ P_n = \sum\limits_{k = 0}^n b_k (x-x_0)^k[/math].

Забавный факт: [math]x = x - x_0 + x_0[/math]. Тогда [math]x^k = (x - x_0 + x_0)^k = \sum\limits_{j=0}^k C_j^k (x - x_0)^j x_0^{k - j}[/math]

[math]P_n(x) = \sum\limits_{k=0}^n a_kx^k = \sum\limits_{k = 0}^n a_k \sum\limits_{j=0}^k C_j^k (x - x_0)^j x_0^{k - j}[/math]

Так как в этой повторной сумме [math]x - x_0[/math] присутствует максимум в [math]n[/math]-й степени, то коэффициент при старшей степени будет иметь индекс [math] n [/math]. Собрав коэффициенты при одинаковых степенях [math]x-x_0[/math], получим искомые коэффициенты [math]b_i[/math]

Теперь докажем, что [math]b_k = \frac{P_n^{(k)}(x_0)}{k!}[/math].

[math](x^p)^{(k)} = p(p-1)(p-2) \ldots (p - k + 1)x^{p - k}[/math]. Отсюда видно, что если порядок дифференцирования [math]k[/math]:

  • больше, чем [math]p[/math], то [math](x^p)^{(k)} = 0[/math]
  • равен [math]p[/math], то [math](x^p)^{(k)} = p![/math]
  • меньше, чем [math]p[/math], то [math](x^p)^{(k)} |_0 = 0[/math]

Итак, если порядок не равен [math]k[/math], то значение [math]k[/math]-й производной в нуле равно [math]\left. (x^p)^{(k)} \right|_0 = 0[/math]

Тогда [math](P_n(x))^{(j)} = \left(\sum\limits_{k = 0}^n b_k (x-x_0)^k \right)^{(j)}[/math]

При [math]j \leq n[/math]: [math]P_n^{(j)}(x) = \sum\limits_{k = 0}^n b_k ((x - x_0)^k)^{(j)}[/math]

В силу вышесказанного, при [math]x = x_0[/math], получаем, [math]P_n^{(j)}(x_0) = b_j \cdot j! \Rightarrow b_j = \frac{P_n^{(j)}(x_0)}{j!}[/math]
[math]\triangleleft[/math]