Восьмиквадратная идентичность Дегена

В математике устанавливает восьмиквадратное тождество Дегена , что произведение двух чисел, каждое из которых представляет собой сумму восьми квадратов, само по себе является суммой восьми квадратов. А именно: ${\begin{aligned}&\left(a_{1}^{2}+a_{2}^{2}+a_{3}^{2}+a_{4}^{2}+a_{5}^{2}+a_{6}^{2}+a_{7}^{2}+a_{8}^{2}\right)\left(b_{1}^{2}+b_{2}^{2}+b_{3}^{2}+b_{4}^{2}+b_{5}^{2}+b_{6}^{2}+b_{7}^{2}+b_{8}^{2}\right)=\\[1ex]&\quad \left(a_{1}b_{1}-a_{2}b_{2}-a_{3}b_{3}-a_{4}b_{4}-a_{5}b_{5}-a_{6}b_{6}-a_{7}b_{7}-a_{8}b_{8}\right)^{2}+\\&\quad \left(a_{1}b_{2}+a_{2}b_{1}+a_{3}b_{4}-a_{4}b_{3}+a_{5}b_{6}-a_{6}b_{5}-a_{7}b_{8}+a_{8}b_{7}\right)^{2}+\\&\quad \left(a_{1}b_{3}-a_{2}b_{4}+a_{3}b_{1}+a_{4}b_{2}+a_{5}b_{7}+a_{6}b_{8}-a_{7}b_{5}-a_{8}b_{6}\right)^{2}+\\&\quad \left(a_{1}b_{4}+a_{2}b_{3}-a_{3}b_{2}+a_{4}b_{1}+a_{5}b_{8}-a_{6}b_{7}+a_{7}b_{6}-a_{8}b_{5}\right)^{2}+\\&\quad \left(a_{1}b_{5}-a_{2}b_{6}-a_{3}b_{7}-a_{4}b_{8}+a_{5}b_{1}+a_{6}b_{2}+a_{7}b_{3}+a_{8}b_{4}\right)^{2}+\\&\quad \left(a_{1}b_{6}+a_{2}b_{5}-a_{3}b_{8}+a_{4}b_{7}-a_{5}b_{2}+a_{6}b_{1}-a_{7}b_{4}+a_{8}b_{3}\right)^{2}+\\&\quad \left(a_{1}b_{7}+a_{2}b_{8}+a_{3}b_{5}-a_{4}b_{6}-a_{5}b_{3}+a_{6}b_{4}+a_{7}b_{1}-a_{8}b_{2}\right)^{2}+\\&\quad \left(a_{1}b_{8}-a_{2}b_{7}+a_{3}b_{6}+a_{4}b_{5}-a_{5}b_{4}-a_{6}b_{3}+a_{7}b_{2}+a_{8}b_{1}\right)^{2}\end{aligned}}$

Впервые обнаруженный Карлом Фердинандом Дегеном около 1818 года, личность была независимо заново открыта Джоном Томасом Грейвсом (1843 г.) и Артуром Кэли (1845 г.). Последние два получили его, работая над расширением кватернионов , называемым октонионами . В алгебраических терминах тождество означает, что норма произведения двух октонионов равна произведению их норм: $\left\|ab\right\|=\left\|a\right\|\left\|b\right\|$ . Подобные утверждения верны для кватернионов ( четырёхквадратное тождество Эйлера ), комплексных чисел ( двухквадратное тождество Брахмагупты-Фибоначчи ) и действительных чисел. В 1898 году Адольф Гурвиц доказал, что не существует подобного билинейного тождества для 16 квадратов ( седенионов ) или любого другого числа квадратов, кроме 1,2,4 и 8. Однако в 1960-е годы Х. Зассенхаус, В. Эйххорн и может существовать небилинейное тождество А. Пфистер (независимо) показал, что для 16 квадратов .

Обратите внимание, что каждый квадрант сводится к версии четырехквадратного тождества Эйлера : ${\begin{aligned}&\left(a_{1}^{2}+a_{2}^{2}+a_{3}^{2}+a_{4}^{2}\right)\left(b_{1}^{2}+b_{2}^{2}+b_{3}^{2}+b_{4}^{2}\right)=\\&\quad \left(a_{1}b_{1}-a_{2}b_{2}-a_{3}b_{3}-a_{4}b_{4}\right)^{2}+\\&\quad \left(a_{1}b_{2}+a_{2}b_{1}+a_{3}b_{4}-a_{4}b_{3}\right)^{2}+\\&\quad \left(a_{1}b_{3}-a_{2}b_{4}+a_{3}b_{1}+a_{4}b_{2}\right)^{2}+\\&\quad \left(a_{1}b_{4}+a_{2}b_{3}-a_{3}b_{2}+a_{4}b_{1}\right)^{2}\end{aligned}}$

и аналогично для остальных трех квадрантов.

Комментарий: Доказательство восьмиквадратной идентичности осуществляется путем алгебраических вычислений. Восьмиквадратное тождество можно записать в виде произведения двух скалярных произведений 8-мерных векторов, что снова дает скалярное произведение 8-мерных векторов: $(a \cdot a)(b \cdot b) = (a \times b)\cdot(а \times б)$ . Это определяет правило умножения октонионов $a \times b$ , которое отражает 8-квадратную идентичность Дегена и математику октонионов.

По теореме Пфистера можно получить восьмиквадратное тождество другого типа, где $z_{i}$ , введенные ниже, являются небилинейными и просто рациональными функциями $x_{i},y_{i}$ . Таким образом, $\left(x_{1}^{2}+x_{2}^{2}+x_{3}^{2}+x_{4}^{2}+x_{5}^{2}+x_{6}^{2}+x_{7}^{2}+x_{8}^{2}\right)\left(y_{1}^{2}+y_{2}^{2}+y_{3}^{2}+y_{4}^{2}+y_{5}^{2}+y_{6}^{2}+y_{7}^{2}+y_{8}^{2}\right)=z_{1}^{2}+z_{2}^{2}+z_{3}^{2}+z_{4}^{2}+z_{5}^{2}+z_{6}^{2}+z_{7}^{2}+z_{8}^{2}$

где, ${\begin{aligned}z_{1}&=x_{1}y_{1}-x_{2}y_{2}-x_{3}y_{3}-x_{4}y_{4}+u_{1}y_{5}-u_{2}y_{6}-u_{3}y_{7}-u_{4}y_{8}\\z_{2}&=x_{2}y_{1}+x_{1}y_{2}+x_{4}y_{3}-x_{3}y_{4}+u_{2}y_{5}+u_{1}y_{6}+u_{4}y_{7}-u_{3}y_{8}\\z_{3}&=x_{3}y_{1}-x_{4}y_{2}+x_{1}y_{3}+x_{2}y_{4}+u_{3}y_{5}-u_{4}y_{6}+u_{1}y_{7}+u_{2}y_{8}\\z_{4}&=x_{4}y_{1}+x_{3}y_{2}-x_{2}y_{3}+x_{1}y_{4}+u_{4}y_{5}+u_{3}y_{6}-u_{2}y_{7}+u_{1}y_{8}\\z_{5}&=x_{5}y_{1}-x_{6}y_{2}-x_{7}y_{3}-x_{8}y_{4}+x_{1}y_{5}-x_{2}y_{6}-x_{3}y_{7}-x_{4}y_{8}\\z_{6}&=x_{6}y_{1}+x_{5}y_{2}+x_{8}y_{3}-x_{7}y_{4}+x_{2}y_{5}+x_{1}y_{6}+x_{4}y_{7}-x_{3}y_{8}\\z_{7}&=x_{7}y_{1}-x_{8}y_{2}+x_{5}y_{3}+x_{6}y_{4}+x_{3}y_{5}-x_{4}y_{6}+x_{1}y_{7}+x_{2}y_{8}\\z_{8}&=x_{8}y_{1}+x_{7}y_{2}-x_{6}y_{3}+x_{5}y_{4}+x_{4}y_{5}+x_{3}y_{6}-x_{2}y_{7}+x_{1}y_{8}\end{aligned}}$

и,

${\begin{aligned}u_{1}&={\frac {(ax_{1}^{2}+x_{2}^{2}+x_{3}^{2}+x_{4}^{2})x_{5}-2x_{1}(bx_{1}x_{5}+x_{2}x_{6}+x_{3}x_{7}+x_{4}x_{8})}{c}}\\u_{2}&={\frac {(x_{1}^{2}+ax_{2}^{2}+x_{3}^{2}+x_{4}^{2})x_{6}-2x_{2}(x_{1}x_{5}+bx_{2}x_{6}+x_{3}x_{7}+x_{4}x_{8})}{c}}\\u_{3}&={\frac {(x_{1}^{2}+x_{2}^{2}+ax_{3}^{2}+x_{4}^{2})x_{7}-2x_{3}(x_{1}x_{5}+x_{2}x_{6}+bx_{3}x_{7}+x_{4}x_{8})}{c}}\\u_{4}&={\frac {(x_{1}^{2}+x_{2}^{2}+x_{3}^{2}+ax_{4}^{2})x_{8}-2x_{4}(x_{1}x_{5}+x_{2}x_{6}+x_{3}x_{7}+bx_{4}x_{8})}{c}}\end{aligned}}$

с, $a=-1,\;\;b=0,\;\;c=x_{1}^{2}+x_{2}^{2}+x_{3}^{2}+x_{4}^{2}$

Кстати, $u_{i}$ подчиняться личности, $u_{1}^{2}+u_{2}^{2}+u_{3}^{2}+u_{4}^{2}=x_{5}^{2}+x_{6}^{2}+x_{7}^{2}+x_{8}^{2}$

См. также

Внешние ссылки