WikiSort.ru - Не сортированное

Тождество Эйлера о четырёх квадратах — математическая теорема о том, что

Действительно:

${\displaystyle (a_{1}^{2}+a_{2}^{2}+a_{3}^{2}+a_{4}^{2})*(b_{1}^{2}+b_{2}^{2}+b_{3}^{2}+b_{4}^{2})}$

${\displaystyle =(a_{1}b_{1}-a_{2}b_{2}-a_{3}b_{3}-a_{4}b_{4})^{2}+(a_{1}b_{2}+a_{2}b_{1}+a_{3}b_{4}-a_{4}b_{3})^{2}}$

${\displaystyle +\,(a_{1}b_{3}-a_{2}b_{4}+a_{3}b_{1}+a_{4}b_{2})^{2}+(a_{1}b_{4}+a_{2}b_{3}-a_{3}b_{2}+a_{4}b_{1})^{2}}$

Тождество выполняется для элементов любого коммутативного кольца, однако если ${\displaystyle a_{i}}$ и ${\displaystyle b_{i}}$  — действительные числа, тогда тождество может быть переформулировано в терминах кватернионов, а именно: модуль произведения двух кватернионов равен произведению модулей сомножителей:

${\displaystyle |ab|=|a||b|}$ .

Аналогичные тождества

• «тождество одного квадрата»

${\displaystyle a^{2}\cdot b^{2}=(ab)^{2}}$

означает, что модуль произведения двух действительных чисел равен произведению модулей сомножителей:

${\displaystyle |ab|=|a||b|}$ ,

• «тождество двух квадратов» (т. н. тождество Брахмагупты)

${\displaystyle (a_{1}^{2}+a_{2}^{2})\cdot (b_{1}^{2}+b_{2}^{2})=(a_{1}b_{1}-a_{2}b_{2})^{2}+(a_{1}b_{2}+a_{2}b_{1})^{2}}$

означает, что модуль произведения двух комплексных чисел равен произведению модулей сомножителей:

${\displaystyle |ab|=|a||b|}$ ,

• «тождество восьми квадратов» означает, что модуль произведения двух октонионов равен произведению модулей сомножителей:

  ${\displaystyle |ab|=|a||b|}$ .

Во всех этих случаях итоговые функции (чья сумма квадратов и равна произведению квадратов исходных сумм) есть билинейные функции исходных переменных.

Однако аналогичного «тождества шестнадцати квадратов» нет. Зато есть схожая (для ${\displaystyle 2^{N}}$ квадратов при любом натуральном N) существенно иная форма, уже лишь для рациональных функции исходных переменных — по теореме А. Пфистера.^[1]

История

Тождество было выведено Эйлером в 1750 году. Это было сделано почти за 100 лет до появления кватернионов.

Тождество Эйлера было использовано Лагранжем в доказательстве его теоремы о сумме четырёх квадратов.

См. также

• Список объектов, названных в честь Леонарда Эйлера

Примечания

Для улучшения этой статьи желательно: Найти и оформить в виде сносок ссылки на независимые авторитетные источники, подтверждающие написанное. Проставив сноски, внести более точные указания на источники.