а во втором случае будет -кратным малым решением как уравнения (2.1), так и уравнения (2.14). В данном случае мы представим левую часть уравнения (2.14), т. е. отмеченный многочлен в виде произведения степеней неприводимых отмеченных многочленов (см. определение 3.2 и теорему 3.2).
Именно, напишем, что
где — неприводимые отмеченные многочлены.
Рассмотрим теперь все те многочлены , которые входят в правую часть равенства (2.22) с одинаковыми степенями. Пусть, например, Положим тогда
Разумеется, принимает какие-то значения из ряда натуральных чисел. При помощи многочленов равенство (2.22) принимает вид
Эту запись нужно понимать так, что если среди чисел нет числа то т. е. в правой части (2.23) нет тогда сомножителя . Равенство (2.23) показывает, что если является -кратным решением уравнения то — простое решение уравнения
Применяя к данному уравнению (2.23) предыдущие рассуждения, мы при помощи диаграммы Ньютона получим для представление в виде сходящегося ряда (2.21).
Таким образом, и в случае кратных корней определяющего уравнения нами доказаны утверждения 2.2 и 2.3.
Отметим еще, что многочлены, входящие в равенство (2.22), а значит и многочлены , входящие в равенство (2.23), могут быть найдены при помощи алгоритма, изложенного в § 4.
Замечание 2.2. Отметим, что рассуждения, содержащиеся в данном и предыдущем пунктах, приводят
к другому доказательству утверждения теоремы 2.1 для уравнения (2.1).
Пусть — корень уравнения (2.18), кратность которого , так что первый член разложения (2.4) будет и (2.5) примет вид
Учитывая замену получим
и, полагая будем иметь
Подставляя данное выражение в (2.17), точнее, в выражение для получим
или
Применяя к данному уравнению диаграмму Ньютона, получим
Отсюда и из предыдущего имеем
так что
Продолжая данный процесс, мы и получим разложение по возрастающим степеням К (ибо ).