Изменения
→Необходимые определения
}}
Отметим, что если <tex>p_0 = 0</tex> и <tex>q_0 = 0</tex>, то оба многочлена могут быть разделены на <tex>t</tex>. В таком случае необходимо разделить Разделим оба многочлена на <tex>t^k</tex>. Если после деления <tex>p_0</tex> и <tex>q_0</tex> остаются равными нулю, то разделим на <tex>t</tex> ещё раз. Делить будем до тех пор, чтобы пока <tex>q_0</tex> стало не равным и <tex>p_0</tex> будут оставаться равными нулю.
Ситуация, при которой <tex>q_0 = 0</tex>, а <tex>p_0 \neq 0</tex> , невозможна, по [[Арифметические действия с формальными степенными рядами#div| правилам деления формальных степенных рядов]].
Остаётся ситуация, при которой <tex>q_0 \neq 0</tex>. Тогда необходимо разделить <tex>P(t), Q(t)</tex> на <tex>q_0</tex>, чтобы <tex>q_0</tex> стало равным <tex>1</tex>. В дальнейшем, без ограничения общности, полагаем <tex>q_0 = 1</tex>
|id=def_linear.
|neat = 1 - параметр нужен для того, чтобы определение не растягивалось на всю страницу(не обязательно)
|definition=Последовательность <tex>a_0, a_1, \ldots, a_n, \ldots </tex> называется '''заданной линейной рекуррентойрекуррентной последовательностью''' (англ. ''constant-recursivesequence''), если её члены <tex>a_0 \ldots a_{k - 1} </tex> заданы, а <tex>\forall n \geqslant k </tex> выполняется <tex> a_n = c_1 \cdot a_{n - 1} + \ldots + c_k \cdot a_{n - k}</tex>
}}
== Теорема о связи этих понятий ==
