40
правок
Изменения
Нет описания правки
{{Теорема
|statement=Произведение Предположим, что производящие функции для последовательностей <tex>{a_n}</tex> и <tex>{b_n}</tex> <tex>A(s) = a_0 + a_1 s + a_2 s^2 + \dots</tex> и <tex>B(s) = b_0 + b_1 s + b_2 s^2 + \dots</tex> являются рациональными. Значит производящая функция для их произведения Адамара <tex>A(s) \circ B(s) = (a_0 b_0) + (a_1 b_1) s + (a_2 b_2) s^2 + \dots</tex>. является тоже рациональной. Проще говоря, произведение Адамара двух рациональных производящих функций рационально.
|proof= Для доказательства теоремы осталось заменить, что произведение квазимногочленов является квазимногочленом. Это утверждение непосредственно вытекает из формулы <tex>a_n = p_1(n) q_1^n + \dots + p_l(n) q_l^n.</tex>}}
