Тождество восьми квадратов

Тождество восьми квадратов - математическая теорема о том, что

произведение сумм восьми квадратов само является суммой восьми квадратов. Тождество восьми квадратов/рамка Действительно: $(a_{1}^{2}+a_{2}^{2}+a_{3}^{2}+a_{4}^{2}+a_{5}^{2}+a_{6}^{2}+a_{7}^{2}+a_{8}^{2})(b_{1}^{2}+b_{2}^{2}+b_{3}^{2}+b_{4}^{2}+b_{5}^{2}+b_{6}^{2}+b_{7}^{2}+b_{8}^{2})=\,$ $(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})^{2}+\,$ $(a_{2}b_{1}+a_{1}b_{2}+a_{4}b_{3}-a_{3}b_{4}+a_{6}b_{5}-a_{5}b_{6}-a_{8}b_{7}+a_{7}b_{8})^{2}+\,$ $(a_{3}b_{1}-a_{4}b_{2}+a_{1}b_{3}+a_{2}b_{4}+a_{7}b_{5}+a_{8}b_{6}-a_{5}b_{7}-a_{6}b_{8})^{2}+\,$ $(a_{4}b_{1}+a_{3}b_{2}-a_{2}b_{3}+a_{1}b_{4}+a_{8}b_{5}-a_{7}b_{6}+a_{6}b_{7}-a_{5}b_{8})^{2}+\,$ $(a_{5}b_{1}-a_{6}b_{2}-a_{7}b_{3}-a_{8}b_{4}+a_{1}b_{5}+a_{2}b_{6}+a_{3}b_{7}+a_{4}b_{8})^{2}+\,$ $(a_{6}b_{1}+a_{5}b_{2}-a_{8}b_{3}+a_{7}b_{4}-a_{2}b_{5}+a_{1}b_{6}-a_{4}b_{7}+a_{3}b_{8})^{2}+\,$ $(a_{7}b_{1}+a_{8}b_{2}+a_{5}b_{3}-a_{6}b_{4}-a_{3}b_{5}+a_{4}b_{6}+a_{1}b_{7}-a_{2}b_{8})^{2}+\,$ $(a_{8}b_{1}-a_{7}b_{2}+a_{6}b_{3}+a_{5}b_{4}-a_{4}b_{5}-a_{3}b_{6}+a_{2}b_{7}+a_{1}b_{8})^{2}\,$ Впервые открытое датским математиком Фердинандом Дегеном около 1818 года, это замечательное тождество было «переокрыто» ещё два раза: сначала Томасом Грейвсом в 1843, а затем Артуром Кэли в 1845. Кэли вывел его, работая над обобщением кватернионов, названным октонионами. В алгебраических терминах тождество означает, что норма произведения двух октонионов равняется произведению их норм: $\|ab\|=\|a\|\|b\|$. Подобное утверждение верно для кватернионов («тождество четырёх квадратов»), комплексных чисел («тождество двух квадратов») и действительных чисел. В 1898 году Гурвиц (Hurwitz) доказал, что подобного тождества не существует ни для 16 (седенионы), ни для любого другого числа квадратов, кроме 1, 2, 4 и 8. Ссылки Degen's eight-square identity Шаблон:Ref-en