Использование производящих функций для доказательства тождеств

Материал из Викиконспекты
Перейти к: навигация, поиск

В дальнейшем будем обозначать [math][x^n]A(x)[/math] коэффициент при [math]x^n[/math] в формальном степенном ряде [math]A(x)[/math]


Задача:
Доказать, что [math]\sum\limits_{k = 0}^{2n} (-1)^k \cdot (k + 1) \cdot (2n + 1 - k) = n + 1[/math]


Докажем, что [math]\sum\limits_{k = 0}^{2n} (-1)^k \cdot (k + 1) \cdot (2n + 1 - k) = 1 \cdot (2n + 1) - 2 \cdot (2n) + 3 \cdot (2n - 1) + \ldots + (2n + 1) \cdot 1 = n + 1[/math]

Рассмотрим известную нам производящую функцию

[math]A(x) = \dfrac{1}{1 - x} = 1 + x + x^2 + \ldots = \sum\limits_{n = 0}^{\infty}x^n[/math]

Возводя её в квадрат, по определению произведения формальных степенных рядов, получаем [math]B(x) = A^2(x) = \dfrac{1}{1 - x} \cdot \dfrac{1}{1 - x} = (\sum\limits_{n = 0}^{\infty}x^n) \cdot (\sum\limits_{n = 0}^{\infty}x^n) = [/math]

[math] = \sum\limits_{n = 0}^{\infty} x^n \cdot \sum\limits_{i = 0}^{n}([x^i]A(x) \cdot [x^{n - i}]A(x)) = \sum\limits_{n = 0}^{\infty} x^n \cdot \sum\limits_{i = 0}^{n}(1 \cdot 1) = \sum\limits_{n = 0}^{\infty} (n + 1) \cdot x^n[/math]

То есть [math]\dfrac{1}{(1 - x)^2} = \sum\limits_{n = 0}^{\infty} (n + 1) \cdot x^n[/math]

Подставляя в эту производящую функцию [math]-x[/math] вместо [math]x[/math] в помощью операции подстановки, получаем [math]B'(x) = \dfrac{1}{(1 - (-x))^2} = \dfrac{1}{(1 + x)^2} = \sum\limits_{n = 0}^{\infty} (n + 1) \cdot (-x)^n = \sum\limits_{n = 0}^{\infty} (-1)^n \cdot (n + 1) \cdot x^n [/math]

Перемножая эти степенные ряды, получаем

[math]C(x) = \dfrac{1}{(1 - x)^2} \cdot \dfrac{1}{(1 + x)^2} = (\sum\limits_{n = 0}^{\infty} (n + 1) \cdot x^n) \cdot (\sum\limits_{n = 0}^{\infty} (-1)^n \cdot (n + 1) \cdot x^n) = \sum\limits_{n = 0}^{\infty}x^n \cdot \sum\limits_{i = 0}^{n}((i + 1) \cdot (-1)^{n - i} \cdot (n - i + 1))[/math]

Рассмотрим [math][x^{2k + 1}]C(x)[/math]

[math][x^{2k + 1}]C(x) = \sum\limits_{i = 0}^{2k + 1}((i + 1) \cdot (-1)^{2k + 1 - i} \cdot (2k + 2 - i))[/math]

Рассмотрим [math]i[/math]-ое и [math]2k + 1 - i[/math]-ое слагаемые этой суммы равны. Модуль [math]i[/math]-ого равен [math](i + 1) \cdot (2k + 2 - i)[/math], а модуль [math]2k + 1 - i[/math]-ого слагаемого равен [math](2k + 1 - i + 1) \cdot (2k + 2 - (2k + 1 - i)) = (2k + 2 - i) \cdot (i + 1)[/math], то есть слагаемые равны по модулю. Знак [math]i[/math]-ого слагаемого определяется выражением [math](-1)^{2k + 1 - i} = (-1)^{1 - i}[/math], а знак [math]2k + 1 - i[/math]-ого — выражением [math](-1)^{2k + 1 - (2k + 1 - i)} = (-1)^i[/math], то есть эти слагаемые равны по модулю, но противоположны по знаку.

Так как слагаемых всего [math]2k + 1 - 0 + 1[/math] (то есть их чётное число), и каждое слагаемое входит в сумму дважды с противоположными знаками, [math][x^{2k + 1}]C(x) = 0 ~~~~ \textbf{(1)}[/math]

Рассмотрим [math][x^{2k}]C(x)[/math]

[math][x^{2k}]C(x) = \sum\limits_{i = 0}^{2k}(i + 1) \cdot (-1)^{2k - i} \cdot (2k + 1 - i) = \sum\limits_{i = 0}^{2k}(i + 1) \cdot (-1)^i \cdot (2k + 1 - i) ~~~~ \textbf{(2)}[/math]

Учитывая [math]\textbf{(1)}[/math] и [math]\textbf{(1)}[/math], получаем, что

[math]C(x) = \sum\limits_{n = 0}^{\infty}x^{2n} \cdot \sum\limits_{k = 0}^{2n}(k + 1) \cdot (-1)^k \cdot (2n + 1 - k)[/math]

Заметим, что [math]C(x)[/math] можно разложить в ряд и другим способом.

[math]C(x) = \dfrac{1}{(1 - x)^2} \cdot \dfrac{1}{(1 + x)^2} = \dfrac{1}{(1 - x)^2 \cdot (1 + x)^2} = \dfrac{1}{(1 - x^2)^2}[/math]

Ранее было получено разложение [math]\dfrac{1}{(1 - x)^2} = \sum\limits_{n = 0}^{\infty} (n + 1) \cdot x^n[/math]

Подставляя [math]x^2[/math] вместо [math]x[/math], получаем разложение [math]C(x) = \dfrac{1}{(1 - x^2)^2} = \sum\limits_{n = 0}^{\infty} (n + 1) \cdot x^{2n}[/math]

То есть известно два разложения [math]C(x)[/math] в формальный степенной ряд: [math]C(x) = \dfrac{1}{(1 - x^2)^2} = \sum\limits_{n = 0}^{\infty} (n + 1) \cdot x^{2n} = \sum\limits_{n = 0}^{\infty}x^{2n} \cdot \sum\limits_{k = 0}^{2n}(k + 1) \cdot (-1)^k \cdot (2n + 1 - k)[/math]

Тогда [math]\sum\limits_{k = 0}^{2n} (-1)^k \cdot (k + 1) \cdot (2n + 1 - k) = n + 1[/math]