Применение степенных рядов для доказательства тождеств
С помощью степенных рядов можно доказывать многие тождества. Для этого берут некоторую функцию и двумя способами разлагают ее в степенной ряд. Поскольку функция может быть представлена лишь единственным образом в виде степенного ряда, то коэффициенты при одинаковых степенях
![](../../../../img/tex/b/4/4/b44f2f8ee1012b4caf393f22f2aefe48.png)
Рассмотрим, например, известное нам разложение
![](../../../../img/tex/3/b/e/3bea822a60837f1608e1da39bc06981b.png)
Возведя обе части этого разложения в квадрат, получаем
![]() |
(10.1) |
Если заменить здесь
![](../../../../img/tex/b/4/4/b44f2f8ee1012b4caf393f22f2aefe48.png)
![](../../../../img/tex/b/4/4/b44f2f8ee1012b4caf393f22f2aefe48.png)
![]() |
(10.2) |
Перемножив разложения (10.1) и (10.2), выводим, что
![]() |
(10.3) |
Очевидно, что коэффициенты при нечетных степенях
![](../../../../img/tex/b/4/4/b44f2f8ee1012b4caf393f22f2aefe48.png)
![](../../../../img/tex/3/7/6/376ce266a400210b78eabd9106f54f60.png)
![](../../../../img/tex/0/f/4/0f4d1bd1415d9e3009c3c5b3b31f258a.png)
Но функцию
![](../../../../img/tex/4/5/a/45a11ab8275a75d5f6b7e702531cd32e.png)
![](../../../../img/tex/f/d/1/fd182d5dd5ef3316a3c1e2bee78ed8f6.png)
А разложение для
![](../../../../img/tex/1/a/7/1a750e181d9070134b603ac2ef544bca.png)
![](../../../../img/tex/b/4/4/b44f2f8ee1012b4caf393f22f2aefe48.png)
![](../../../../img/tex/c/4/d/c4d84acf0255b468cc716181a1ffa4e6.png)
![]() |
(10.4) |
Мы знаем, что никакая функция не может иметь двух различных разложений в степенные ряды. Поэтому коэффициент при
![](../../../../img/tex/3/7/6/376ce266a400210b78eabd9106f54f60.png)
разложении (10.3) должен равняться коэффициенту при
![](../../../../img/tex/3/7/6/376ce266a400210b78eabd9106f54f60.png)
в разложении (10.4). Отсюда вытекает следующее тождество:
![](../../../../img/tex/a/1/6/a165cfb25bb2caf49f759254644ce834.png)