2026-08-21
Степень полинома как число активных листов сплит-геометрии
Чем отличаются уравнения 5, 4, 3 и 2-й степени
В работах «От формулы Эйлера к сплит-геометрии» и «Двухпериодический режим многоуровневого идемпотентного расщепления» единица была последовательно раскрыта сначала в две, а затем в четыре взаимно ортогональные компоненты. Каждая компонента получила собственную комплексную плоскость, а степени коммутирующих гиперболических единиц позволили независимо управлять фазами разных уровней.
Возникает естественный вопрос: можно ли связать число активных идемпотентных компонент со степенью алгебраического уравнения? Иными словами, можно ли рассматривать корни полинома не только как набор чисел, но и как проекции одного многоуровневого элемента на взаимно ортогональные листы сплит-геометрии?
Ниже будет показано, что такая интерпретация возможна. Более того, для полинома с различными корнями соответствующие идемпотенты не требуется вводить произвольно: они канонически строятся по интерполяционной формуле Лагранжа. Понижение степени от пяти к четырём, трём и двум получает геометрический смысл последовательного перехода корневых листов в нулевое состояние.
Основной результат этой работы относится к геометрическому и идемпотентному представлению корней. Такое представление следует отличать от вычисления неизвестных корней по коэффициентам. Для степеней два, три и четыре существуют общие формулы через радикалы или тригонометрические функции. Для общего уравнения пятой степени аналогичной формулы в радикалах не существует.
1. Степень полинома и число корневых ветвей
Пусть над полем комплексных чисел задан нормированный полином степени \(n\):
\[\tag{1}
P_n(x)
=x^n+a_{n-1}x^{n-1}+\ldots+a_1x+a_0.
\]
По основной теореме алгебры он имеет ровно \(n\) комплексных корней с учётом их кратности:
\[\tag{2}
P_n(x)=\prod_{k=1}^{n}(x-r_k).
\]
Это позволяет сформулировать исходный геометрический принцип:
\[\tag{3}
\boxed{
\deg P_n
=
\text{число активных идемпотентных корневых листов}
}
\]
Фраза «одна идемпотента соответствует одной степени \(x\)» может использоваться только как предварительная интуиция. В строгой формулировке идемпотента соответствует не одночлену \(x^k\), а одной корневой ветви. У полинома степени \(n\) имеется \(n+1\) одночленов, включая свободный член, но только \(n\) корней с учётом кратности.
Введём \(n\) попарно ортогональных проекторов:
\[\tag{4}
E_k^2=E_k,
\qquad
E_kE_l=0\quad(k\ne l),
\qquad
\sum_{k=1}^{n}E_k=I_n.
\]
Тогда все корни объединяются в одном корневом элементе:
\[\tag{5}
\boxed{
\mathcal R_n
=\sum_{k=1}^{n}r_kE_k.
}
\]
Проекция \(E_k\mathcal R_n\) выделяет ровно одну ветвь:
\[\tag{6}
E_k\mathcal R_n=r_kE_k.
\]
Поэтому \(\mathcal R_n\) является не новым числовым корнем, а единым диагональным элементом, спектр которого состоит из всех корней полинома.
2. Канонические идемпотенты, построенные из самого полинома
До сих пор проекторы \(E_k\) были введены формально. Покажем теперь, что при различных корнях они возникают непосредственно из полинома. Рассмотрим фактор-алгебру
\[\tag{7}
\mathcal A_n
=\mathbb C[x]/(P_n).
\]
Два полинома в этой алгебре считаются одинаковыми, если их разность делится на \(P_n(x)\). Обозначим через \([x]\) класс переменной \(x\). По определению фактор-алгебры
\[\tag{8}
P_n([x])=0.
\]
Предположим сначала, что все корни \(r_1,\ldots,r_n\) различны. Для каждого корня введём фундаментальный полином Лагранжа:
\[\tag{9}
\boxed{
E_k(x)
=\prod_{\scriptstyle 1\le l\le n,\;l\ne k}
\frac{x-r_l}{r_k-r_l}
=
\frac{P_n(x)}{(x-r_k)P_n'(r_k)}.
}
\]
В точках корней он принимает значения
\[\tag{10}
E_k(r_l)=\delta_{kl}.
\]
То есть \(E_k\) равен единице на собственной корневой ветви и нулю на всех остальных. Отсюда в фактор-алгебре следуют идемпотентные свойства:
\[\tag{11}
E_k^2\equiv E_k\pmod{P_n},
\qquad
E_kE_l\equiv0\pmod{P_n}\quad(k\ne l).
\]
Сумма всех фундаментальных полиномов равна единице:
\[\tag{12}
\sum_{k=1}^{n}E_k(x)
\equiv1\pmod{P_n}.
\]
Наконец, интерполяционная формула для функции \(f(x)=x\) даёт
\[\tag{13}
\boxed{
[x]
=\sum_{k=1}^{n}r_kE_k.
}
\]
Таким образом, корневой элемент \(\mathcal R_n\) в формуле (5) можно отождествить с классом переменной \([x]\) в фактор-алгебре. Для любой функции, корректно определённой на конечном наборе корней, выполняется покомпонентное правило
\[\tag{14}
\boxed{
f(\mathcal R_n)
=\sum_{k=1}^{n}f(r_k)E_k.
}
\]
В частности,
\[\tag{15}
P_n(\mathcal R_n)
=\sum_{k=1}^{n}P_n(r_k)E_k
=0.
\]
С алгебраической точки зрения это является частным проявлением китайской теоремы об остатках. Для различных корней линейные идеалы \((x-r_k)\) попарно взаимно просты, поэтому
\[\tag{16}
\boxed{
\mathbb C[x]/(P_n)
\cong
\bigoplus_{k=1}^{n}\mathbb C.
}
\]
Сплит-геометрия при этом получает стандартное алгебраическое основание: каждый прямой компоненте соответствует один ортогональный идемпотент и один корень.
3. Наглядный пример построения трёх проекторов
Рассмотрим простой полином
\[\tag{17}
P_3(x)=(x-1)(x-2)(x-3).
\]
Его фундаментальные идемпотенты равны
\[\tag{18}
\begin{aligned}
E_1(x)&=\frac{(x-2)(x-3)}{(1-2)(1-3)}
=\frac{(x-2)(x-3)}{2},\\
E_2(x)&=\frac{(x-1)(x-3)}{(2-1)(2-3)}
=-(x-1)(x-3),\\
E_3(x)&=\frac{(x-1)(x-2)}{(3-1)(3-2)}
=\frac{(x-1)(x-2)}{2}.
\end{aligned}
\]
В фактор-алгебре по модулю \(P_3\) выполняется
\[\tag{19}
E_1+E_2+E_3=1,
\qquad
E_iE_j=\delta_{ij}E_i.
\]
Корневой элемент принимает вид
\[\tag{20}
\mathcal R_3
=E_1+2E_2+3E_3.
\]
После упрощения правая часть совпадает с \(x\) по модулю \(P_3(x)\). Три обычных числа \(1,2,3\) оказываются тремя проекциями одного элемента \(\mathcal R_3\).
4. Коэффициенты как симметрические инварианты листов
Идемпотенты соответствуют корням, но не отдельным коэффициентам. Коэффициенты полинома являются элементарными симметрическими функциями всех корневых координат:
\[\tag{21}
\begin{aligned}
a_{n-1}&=-\sum_k r_k,\\
a_{n-2}&=\sum_{i < j}r_ir_j,\\
a_{n-3}&=-\sum_{i < j < l}r_ir_jr_l,\\
&\, \vdots\\
a_0&=(-1)^n\prod_{k=1}^{n}r_k.
\end{aligned}
\]
Геометрически отдельный корень является координатой одного листа, тогда как коэффициент является инвариантом всей конфигурации. Например, сумма корней описывает коллективное смещение всех листов, попарная сумма произведений — их связи второго порядка, а свободный коэффициент — произведение всех корневых координат.
Особенно важен последний инвариант:
\[\tag{22}
a_0=(-1)^n r_1r_2\cdots r_n.
\]
Если \(a_0=0\), то хотя бы одна координата \(r_k\) равна нулю. Соответствующий идемпотент не перестаёт существовать алгебраически, но его вклад в корневой элемент исчезает:
\[\tag{23}
E_kr_k=E_k\cdot0=0.
\]
Именно это состояние далее будет называться нулевым, или неактивным, корневым листом.
5. Два уровня расщепления и четыре корневых листа
Первый идемпотентный уровень задаётся гиперболической единицей \(\j\):
\[\tag{24}
\ep=\frac{1+\j}{2},
\qquad
\em=\frac{1-\j}{2},
\qquad
\j=\ep-\em.
\]
Второй независимый уровень задаётся единицей \(\jp\):
\[\tag{25}
\pmp=\frac{1+\jp}{2},
\qquad
\pme=\frac{1-\jp}{2},
\qquad
\jp=\pmp-\pme.
\]
Если обе единицы коммутируют, возникают четыре минимальных проектора:
\[\tag{26}
\boxed{
E_1=\ep\pmp,
\quad
E_2=\ep\pme,
\quad
E_3=\em\pmp,
\quad
E_4=\em\pme.
}
\]
Их сумма равна единице:
\[\tag{27}
E_1+E_2+E_3+E_4
=(\ep+\em)(\pmp+\pme)=1.
\]
Поэтому общее уравнение четвёртой степени естественно помещается в сбалансированную двухуровневую геометрию \(2\times2\):
\[\tag{28}
\mathcal R_4
=\ep\pmp r_1
+\ep\pme r_2
+\em\pmp r_3
+\em\pme r_4.
\]
Важно, что четыре листа не являются четырьмя разными алгебрами. Они представляют четыре взаимно ортогональные компоненты одной общей единицы.
6. Как получить пять листов без полного удвоения пространства
Два бинарных уровня дают четыре минимальных канала. Для общего уравнения пятой степени требуется пять независимых корневых ветвей. Можно было бы ввести третий глобальный бинарный уровень и получить сразу восемь каналов, но для пяти корней это избыточно.
Более экономная конструкция состоит в локальном расщеплении только одного из четырёх листов. Обозначим последний лист через \(E_4=\em\pme\) и введём внутри соответствующего идеала относительную пару идемпотентов \(\qmp,\qme\):
\[\tag{29}
\qmp^2=\qmp,
\qquad
\qme^2=\qme,
\qquad
\qmp\qme=0,
\qquad
\qmp+\qme=E_4=\em\pme.
\]
Оба новых проектора содержатся внутри \(E_4\), поэтому
\[\tag{30}
E_4\qmp=\qmp,
\qquad
E_4\qme=\qme,
\qquad
E_4=\qmp+\qme.
\]
В результате получаем пять примитивных проекторов:
\[\tag{31}
\boxed{
\begin{aligned}
F_1&=\ep\pmp,\
F_2&=\ep\pme,\
F_3&=\em\pmp,\
F_4&=\qmp,\
F_5&=\qme.
\end{aligned}
}
\]
Они попарно ортогональны и образуют полную единицу:
\[\tag{32}
F_iF_j=\delta_{ij}F_i,
\qquad
F_1+F_2+F_3+F_4+F_5=1.
\]
Таким образом, многоуровневое расщепление не обязано удваивать все существующие каналы одновременно. Оно может образовывать разветвлённое дерево, в котором на каждом шаге расщепляется только выбранный конечный лист.
Локальное расщепление одного листа следует понимать как построение уточнённой прямой суммы. В отличие от глобальной третьей пары с суммой, равной единице, здесь \(\qmp+\qme=\em\pme\). Поэтому третичный уровень существует только внутри выбранного идеала, а остальные три канала не получают лишнего индекса.
7. Общее уравнение пятой степени
Рассмотрим нормированное уравнение
\[\tag{33}
\boxed{
P_5(x)
=x^5+Ax^4+Bx^3+Cx^2+Dx+E=0.
}
\]
Пусть его корни равны \(r_1,\ldots,r_5\). Пятилистный корневой элемент записывается как
\[\tag{34}
\boxed{
\begin{aligned}
\mathcal R_5={}&
\ep\pmp r_1
+\ep\pme r_2
+\em\pmp r_3\\
&+\qmp r_4
+\qme r_5.
\end{aligned}
}
\]
Его пять проекций дают пять корней:
\[\tag{35}
F_k\mathcal R_5=r_kF_k,
\qquad
k=1,\ldots,5.
\]
Коэффициенты уравнения связаны с корнями формулами Виета:
\[\tag{36}
\begin{aligned}
A&=-\sum_{k=1}^{5}r_k,\\
B&=\sum_{i < j}r_ir_j,\\
C&=-\sum_{i < j < l}r_ir_jr_l,\\
D&=\sum_{i < j < l < m}r_ir_jr_lr_m,\\
E&=-r_1r_2r_3r_4r_5.
\end{aligned}
\]
Пятилистная запись является точным представлением корневого пространства, но сама по себе ещё не вычисляет \(r_k\) через коэффициенты \(A,\ldots,E\). Это различие станет особенно существенным для пятой степени.
8. Редукция от пятой степени к четвёртой
Положим свободный коэффициент равным нулю:
\[\tag{37}
E=0.
\]
Поскольку \(E=-r_1r_2r_3r_4r_5\), хотя бы один корень должен обратиться в нуль. Без ограничения общности выберем
\[\tag{38}
r_5=0.
\]
Тогда полином факторизуется:
\[\tag{39}
\begin{aligned}
P_5(x)
&=x^5+Ax^4+Bx^3+Cx^2+Dx\
&=x\left(x^4+Ax^3+Bx^2+Cx+D\right)\
&=xP_4(x).
\end{aligned}
\]
Оставшийся множитель
\[\tag{40}
\boxed{
P_4(x)=x^4+Ax^3+Bx^2+Cx+D
}
\]
является общим нормированным уравнением четвёртой степени. В корневом элементе последний лист становится нулевым:
\[\tag{41}
\mathcal R_5
=F_1r_1+F_2r_2+F_3r_3+F_4r_4+F_5\cdot0.
\]
Активная часть имеет вид
\[\tag{42}
\boxed{
\mathcal R_4
=F_1r_1+F_2r_2+F_3r_3+F_4r_4.
}
\]
Единицей активной четырёхлистной подгеометрии становится
\[\tag{43}
I_4=F_1+F_2+F_3+F_4=1-F_5.
\]
Идемпотент \(F_5\) не уничтожается: он остаётся частью полной расширенной алгебры, но его корневая амплитуда равна нулю. Поэтому геометрически правильнее говорить не об исчезновении листа, а о его стягивании в начало координат и исключении из активного корневого пространства.
9. Редукция от четвёртой степени к третьей
После условия \(E=0\) свободным коэффициентом оставшейся квартики является \(D\). Положим
\[\tag{44}
D=0.
\]
Тогда ещё один корень становится нулевым. Выберем \(r_4=0\). Исходный полином пятой степени принимает вид
\[\tag{45}
\begin{aligned}
P_5(x)
&=x^5+Ax^4+Bx^3+Cx^2\
&=x^2\left(x^3+Ax^2+Bx+C\right)\
&=x^2P_3(x).
\end{aligned}
\]
Получаем общее кубическое уравнение
\[\tag{46}
\boxed{
P_3(x)=x^3+Ax^2+Bx+C=0.
}
\]
Его три корня образуют активный элемент
\[\tag{47}
\boxed{
\mathcal R_3
=F_1r_1+F_2r_2+F_3r_3,
}
\]
с активной единицей
\[\tag{48}
I_3=F_1+F_2+F_3=I_4-F_4.
\]
Геометрия трёх корней может рассматриваться двумя способами. Первый — как вырожденная многоуровневая геометрия пяти листов, два из которых имеют нулевую амплитуду. Второй — как собственная трёхфазная орбита, в которой три корня связаны фазовыми сдвигами на \(2\pi/3\). Первое представление лучше показывает редукцию степеней, второе удобнее для вычисления корней в тригонометрическом случае.
10. Редукция от третьей степени ко второй
Свободным коэффициентом кубического множителя является \(C\). При
\[\tag{49}
C=0
\]
третий корень также становится нулевым. Получаем
\[\tag{50}
\begin{aligned}
P_5(x)
&=x^5+Ax^4+Bx^3\
&=x^3\left(x^2+Ax+B\right)\
&=x^3P_2(x).
\end{aligned}
\]
Оставшийся множитель является общим квадратным уравнением:
\[\tag{51}
\boxed{
P_2(x)=x^2+Ax+B=0.
}
\]
Корневой элемент сокращается до двух активных компонент:
\[\tag{52}
\boxed{
\mathcal R_2
=F_1r_1+F_2r_2,
}
\]
а активная единица равна
\[\tag{53}
I_2=F_1+F_2=I_3-F_3.
\]
В выбранной нумерации оба оставшихся листа лежат внутри первичной компоненты \(\ep\):
\[\tag{54}
\mathcal R_2
=\ep\left(\pmp r_1+\pme r_2\right).
\]
Внутри идеала \(\ep\mathcal A\) элемент \(\ep\) играет роль собственной единицы. Поэтому после трёх последовательных стягиваний пятилистная геометрия естественно возвращается к обычному бинарному расщеплению.
11. Единая алгебраическая и геометрическая последовательность
Все переходы можно собрать в одну формулу:
\[\tag{55}
\boxed{
\begin{aligned}
P_5(x)
&=x^5+Ax^4+Bx^3+Cx^2+Dx+E,\\
E=0
&\Longrightarrow P_5(x)=xP_4(x),\\
D=0
&\Longrightarrow P_5(x)=x^2P_3(x),\\
C=0
&\Longrightarrow P_5(x)=x^3P_2(x).
\end{aligned}
}
\]
На уровне корней:
\[\tag{56}
\boxed{
\begin{aligned}
\{r_1,r_2,r_3,r_4,r_5\}
&\longrightarrow
\{r_1,r_2,r_3,r_4,0\}\\
&\longrightarrow
\{r_1,r_2,r_3,0,0\}\\
&\longrightarrow
\{r_1,r_2,0,0,0\}.
\end{aligned}
}
\]
На уровне активных единиц:
\[\tag{57}
\boxed{
I_5=1
\longrightarrow
I_4=1-F_5
\longrightarrow
I_3=1-F_5-F_4
\longrightarrow
I_2=1-F_5-F_4-F_3.
}
\]
Таким образом, понижение степени не является произвольным удалением части формулы. Оно соответствует точному алгебраическому переходу к идеалу, единицей которого служит сумма оставшихся активных проекторов.
12. Как вычисляются четыре корня внутри двухуровневой геометрии
Пятилистная схема описывает общую геометрию корней. Для степени четыре можно дополнительно показать, как классическое решение Феррари упаковывается в два бинарных идемпотентных уровня.
После замены
\[\tag{58}
x=X-\frac A4
\]
уравнение \(P_4(x)=0\) приводится к виду
\[\tag{59}
X^4+pX^2+qX+r=0,
\]
где
\[\tag{60}
\begin{aligned}
p&=B-\frac{3A^2}{8},\\
q&=C-\frac{AB}{2}+\frac{A^3}{8},\\
r&=D-\frac{AC}{4}+\frac{A^2B}{16}-\frac{3A^4}{256}.
\end{aligned}
\]
Представим левую часть как разность квадратов:
\[\tag{61}
(X^2+\alpha)^2-(\beta X+\gamma)^2=0.
\]
Сравнение коэффициентов даёт
\[\tag{62}
p=2\alpha-\beta^2,
\qquad
q=-2\beta\gamma,
\qquad
r=\alpha^2-\gamma^2.
\]
Если \(z=\beta^2\), то \(z\) определяется кубической резольвентой
\[\tag{63}
\boxed{
z^3+2pz^2+(p^2-4r)z-q^2=0.
}
\]
После выбора подходящего корня резольвенты
\[\tag{64}
\beta=\sqrt z,
\qquad
\alpha=\frac{p+z}{2},
\qquad
\gamma=-\frac{q}{2\beta}.
\]
Введём две знаковые единицы
\[\tag{65}
\j=\ep-\em,
\qquad
\jp=\pmp-\pme.
\]
Тогда все четыре корня приведённой квартики объединяются в одном операторе:
\[\tag{66}
\boxed{
\mathcal X_4
=-\frac{\beta}{2}\j
+\frac12\jp
\sqrt{\beta^2-4\alpha-4\gamma\j}.
}
\]
Квадратный корень берётся покомпонентно по первому уровню:
\[\tag{67}
\sqrt{\beta^2-4\alpha-4\gamma\j}
=\ep\sqrt{\Delta_+}
+\em\sqrt{\Delta_-},
\]
где
\[\tag{68}
\Delta_+=\beta^2-4\alpha-4\gamma,
\qquad
\Delta_-=\beta^2-4\alpha+4\gamma.
\]
После раскрытия по четырём листам получаем
\[\tag{69}
\begin{aligned}
\mathcal X_4={}&
\ep\pmp\frac{-\beta+\sqrt{\Delta_+}}2
+\ep\pme\frac{-\beta-\sqrt{\Delta_+}}2\\
&+\em\pmp\frac{\beta+\sqrt{\Delta_-}}2
+\em\pme\frac{\beta-\sqrt{\Delta_-}}2.
\end{aligned}
\]
Первый уровень выбирает одно из двух квадратных уравнений, а второй — один из двух корней внутри выбранного уравнения. Таким образом, классическая вложенная структура решения Феррари точно соответствует геометрии \(2\times2\).
13. Кубическое уравнение: вырожденные листы и собственная фазовая геометрия
Кубическое уравнение можно получить из общей схемы как пятилистную конфигурацию с двумя нулевыми листами. Но три активные ветви не образуют сбалансированное бинарное дерево. Поэтому для вычисления трёх действительных корней естественнее использовать циклическую фазовую геометрию порядка три.
Для уравнения
\[\tag{70}
x^3+Ax^2+Bx+C=0
\]
введём
\[\tag{71}
x=y-\frac A3,
\qquad
y^3+py+q=0,
\]
где
\[\tag{72}
p=B-\frac{A^2}{3},
\qquad
q=\frac{2A^3}{27}-\frac{AB}{3}+C.
\]
При трёх действительных корнях положим
\[\tag{73}
\rho=\sqrt{-\frac p3},
\qquad
\cos(3\theta)=-\frac{q}{2\rho^3}.
\]
Тогда
\[\tag{74}
\boxed{
x_k
=-\frac A3
+2\rho\cos\left(\theta+\frac{2\pi k}{3}\right),
\qquad
k=0,1,2.
}
\]
Эта формула возникает из сопряжённой пары степеней
\[\tag{75}
\j^s=\ep+\em e^{i\pi s},
\qquad
\j^{-s}=\ep+\em e^{-i\pi s},
\]
поскольку проекция их суммы на плоскость \(\em\) равна
\[\tag{76}
\operatorname{P}_{\em}
\left(\j^s+\j^{-s}\right)
=2\cos(\pi s).
\]
Три корня соответствуют сдвигам
\[\tag{77}
s_k=s+\frac{2k}{3}.
\]
Следовательно, кубика допускает одновременно две геометрические интерпретации: три ортогональных корневых проектора в фактор-алгебре и три фазовых положения одной сопряжённой пары. Первая конструкция применима к любым различным корням, вторая непосредственно вычисляет корни только в соответствующем тригонометрическом режиме.
14. Квадратное уравнение как один бинарный уровень
Для уравнения
\[\tag{78}
ax^2+bx+c=0
\]
достаточно одного идемпотентного расщепления. Введём
\[\tag{79}
\jp=\pmp-\pme.
\]
Два корня объединяются в операторе
\[\tag{80}
\boxed{
\mathcal R_2
=-\frac{b}{2a}
+\frac{\jp}{2a}\sqrt{b^2-4ac}.
}
\]
Раскрывая его по двум листам, получаем
\[\tag{81}
\mathcal R_2
=\pmp\frac{-b+\sqrt{b^2-4ac}}{2a}
+\pme\frac{-b-\sqrt{b^2-4ac}}{2a}.
\]
В этом случае алгебраическая и геометрическая структуры полностью совпадают: один бинарный уровень содержит ровно две проекции и ровно два корня.
15. Специальная квинтика и граница общего метода
Одна сопряжённая фазовая пара позволяет получить специальное уравнение пятой степени. Пусть
\[\tag{82}
y=2\rho\cos\theta.
\]
Из тождества для многочлена Чебышёва пятой степени следует
\[\tag{83}
\boxed{
y^5-5\rho^2y^3+5\rho^4y
-2\rho^5\cos(5\theta)=0.
}
\]
Все пять корней этого специального уравнения имеют вид
\[\tag{84}
\boxed{
y_k
=2\rho\cos\left(\theta+\frac{2\pi k}{5}\right),
\qquad
k=0,1,2,3,4.
}
\]
Это квинтика де Муавра. Её коэффициенты связаны дополнительными условиями, поэтому она не является общей квинтикой. Пятифазная орбита здесь действительно вычисляет корни, тогда как пятилистный элемент \(\mathcal R_5\) представляет корни произвольного уравнения пятой степени, но не определяет их автоматически через коэффициенты.
Теорема Абеля утверждает, что общей формулы, выражающей корни произвольного уравнения степени пять и выше через конечную комбинацию арифметических операций и радикалов, не существует. Идемпотентное расщепление не отменяет этого ограничения: если корни общей квинтики неизвестны, построение их числовых координат остаётся самостоятельной задачей.
Поэтому корректный результат новой конструкции состоит не в «решении общей квинтики в радикалах», а в построении её пятилистного корневого пространства и в геометрическом описании редукции степеней.
16. Кратные корни и нильпотентные направления
Формула (9) содержит множитель \(P_n'(r_k)\) в знаменателе. Если корень кратный, то \(P_n'(r_k)=0\), и обычный проектор Лагранжа в таком виде не определён. Это не техническая мелочь, а изменение структуры фактор-алгебры.
Например, для
\[\tag{85}
P(x)=(x-r)^m
\]
фактор-алгебра имеет вид
\[\tag{86}
\mathbb C[x]/\bigl((x-r)^m\bigr).
\]
В ней появляется нильпотентный элемент
\[\tag{87}
\nu=[x-r],
\qquad
\nu^m=0.
\]
Поэтому кратность корня кодируется не несколькими каноническими ортогональными идемпотентами с одинаковой координатой, а локальной нильпотентной структурой около одного корневого листа. Для полинома
\[\tag{88}
P(x)=\prod_{j=1}^{s}(x-r_j)^{m_j}
\]
китайская теорема об остатках даёт разложение
\[\tag{89}
\boxed{
\mathbb C[x]/(P)
\cong
\bigoplus_{j=1}^{s}
\mathbb C[x]/\bigl((x-r_j)^{m_j}\bigr).
}
\]
Число ортогональных корневых листов здесь равно числу различных корней \(s\), а полная степень
\[\tag{90}
n=m_1+\cdots+m_s
\]
дополнительно учитывает нильпотентную глубину каждого листа. Поэтому основной тезис работы необходимо уточнить:
\[\tag{91}
\boxed{
\begin{aligned}
\text{различный корень}
&\longleftrightarrow
\text{идемпотентный лист},\\
\text{кратность корня}
&\longleftrightarrow
\text{нильпотентная глубина листа}.
\end{aligned}
}
\]
Для полиномов без кратных корней нильпотентная часть отсутствует, и степень действительно совпадает с числом активных идемпотентных листов. Для кратных корней формула (3) остаётся верной только при подсчёте листов с формальной кратностью; каноническая алгебраическая геометрия различает число листов и их внутреннюю глубину.
17. Что является известным, а что добавляет сплит-геометрия
Факторизация полинома, интерполяционные полиномы Лагранжа, китайская теорема об остатках, формулы Кардано и Феррари являются классическими результатами.
Предлагаемое развитие состоит в их объединении с многоуровневой сплит-геометрией:
\[\tag{92}
\boxed{
\begin{aligned}
\text{степень полинома}
&\longrightarrow
\text{число активных корневых каналов},\\
\text{корень}
&\longrightarrow
\text{координата идемпотентного листа},\\
\text{коэффициенты}
&\longrightarrow
\text{симметрические инварианты конфигурации},\\
\text{нулевой корень}
&\longrightarrow
\text{стянутый неактивный лист},\\
\text{кратность}
&\longrightarrow
\text{нильпотентная глубина}.
\end{aligned}
}
\]
Такое прочтение связывает фазовые операторы предыдущих работ, глубокое идемпотентное расщепление и классическую алгебру полиномов в единую геометрическую картину.
Заключение
Полином степени \(n\) с различными корнями канонически порождает \(n\) взаимно ортогональных идемпотентов. Каждый идемпотент выделяет одну корневую ветвь, а класс переменной в фактор-алгебре раскладывается в корневой элемент \(\mathcal R_n=\sum r_kE_k\). Поэтому степень полинома получает геометрическую интерпретацию как число активных листов его корневого пространства.
Два уровня бинарного расщепления естественно создают четыре листа и совпадают со структурой решения общего уравнения четвёртой степени. Пятый лист можно получить локальным расщеплением одного из четырёх каналов, не удваивая всё пространство. Последовательное обращение свободных коэффициентов в нуль приводит к точной цепочке
\[\tag{93}
\boxed{
P_5
\longrightarrow
xP_4
\longrightarrow
x^2P_3
\longrightarrow
x^3P_2.
}
\]
Алгебраически на каждом шаге появляется дополнительный нулевой корень. Геометрически один из листов стягивается в начало координат, а единица активного пространства уменьшается на соответствующий проектор. Тем самым уравнения пятой, четвёртой, третьей и второй степени оказываются различными активными сечениями одной многоуровневой корневой геометрии.
Вместе с тем идемпотентное представление не следует смешивать с универсальным способом вычисления корней. Оно точно раскрывает структуру корневого пространства, но сохраняет классические ограничения алгебры: общая квинтика не разрешима в радикалах, а кратные корни требуют включения нильпотентных направлений.
Используемые материалы
- Encyclopedia of Mathematics. Idempotent.
- Encyclopedia of Mathematics. Interpolation formula.
- The Stacks Project. Lemma 10.15.4: Chinese remainder.
- Encyclopedia of Mathematics. Galois theory.
- Encyclopedia of Mathematics. Abel theorem on algebraic equations.