Эта статья находится в разработке!
Степень полинома
| Определение: |
| Пусть полином [math]P_n(x) = \sum\limits_{k = 0}^n a_kx^k[/math]. Тогда при [math]a_0 \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] |
