УказательРазделыОбозначенияАвторО проекте


§

Вспомогательная страница к разделу Исторические задачи по элементарной математике

§

Под «равенством Эйлера-Лагранжа» известен еще один результат


Тождество Эйлера

?

Доказать, что произведение двух чисел, каждое из которых есть сумма четырех квадратов, также равно сумме четырех квадратов.

Ответ.

(a_1^2+a_2^2+a_3^2+a_4^2)(b_1^2+b_2^2+b_3^2+b_4^2) \equiv
\equiv (a_1b_1+a_2b_2+a_3b_3+a_4b_4)^2+(a_1b_2+a_3b_4-a_2b_1-a_4b_3)^2 +(a_1b_3+a_4b_2-a_3b_1-a_2b_4)^2+(a_1b_4+a_2b_3-a_4b_1-a_3b_2)^2 \ .

Этот ответ может быть получен разными способами — например, раскрытием скобок.

Решение применением теории определителей. Составим матрицу

A=\left(\begin{array}{rrrr} a_1 & a_2 & a_3 & a_4 \\ b_1 & b_2 & b_3 & b_4 \end{array} \right)

и умножим матрицу A_{} на ей транспонированную A^{\top}

A\cdot A^{\top} =\left(\begin{array}{cc} a_1^2+a_2^2 + a_3^2 + a_4^2 & a_1b_1 + a_2b_2+a_3b_3 + a_4 b_4 \\ a_1b_1 + a_2b_2+a_3b_3 + a_4 b_4 & b_1^2+ b_2^2 + b_3^2 + b_4^2 \end{array} \right) \ .

Теперь вычислим определитель получившейся матрицы второго порядка двумя способами. С одной стороны, он равен

(a_1^2+a_2^2 + a_3^2 + a_4^2)(b_1^2+ b_2^2 + b_3^2 + b_4^2)-(a_1b_1 + a_2b_2+a_3b_3 + a_4 b_4)^2 \ .

С другой стороны, применение теоремы Бине-Коши к произведению матриц дает сумму 6_{}-ти квадратов:

\left| \begin{array}{rr} a_1 & a_2 \\ b_1 & b_2 \end{array} \right|^2+ \left| \begin{array}{rr} a_1 & a_3 \\ b_1 & b_3 \end{array} \right|^2+ \left| \begin{array}{rr} a_1 & a_4 \\ b_1 & b_4 \end{array} \right|^2+ \left| \begin{array}{rr} a_2 & a_3 \\ b_2 & b_3 \end{array} \right|^2+ \left| \begin{array}{rr} a_2 & a_4 \\ b_2 & b_4 \end{array} \right|^2+ \left| \begin{array}{rr} a_3 & a_4 \\ b_3 & b_4 \end{array} \right|^2 \ .

Таким образом мы получаем представление (a_1^2+a_2^2 + a_3^2 + a_4^2)(b_1^2+ b_2^2 + b_3^2 + b_4^2) в виде суммы 7-ми квадратов, в то время как Эйлеру удалось свести все к 4-м. Попробуем сгруппировать определители в последней сумме:

\left( \left| \begin{array}{rr} a_1 & a_2 \\ b_1 & b_2 \end{array} \right|^2+ \left| \begin{array}{rr} a_3 & a_4 \\ b_3 & b_4 \end{array} \right|^2 \right)+ \left( \left| \begin{array}{rr} a_1 & a_3 \\ b_1 & b_3 \end{array} \right|^2+ \left| \begin{array}{rr} a_2 & a_4 \\ b_2 & b_4 \end{array} \right|^2 \right)+ \left( \left| \begin{array}{rr} a_1 & a_4 \\ b_1 & b_4 \end{array} \right|^2+ \left| \begin{array}{rr} a_2 & a_3 \\ b_2 & b_3 \end{array} \right|^2 \right)

и сделаем из каждой скобки полные квадраты:

= \left( \left| \begin{array}{rr} a_1 & a_2 \\ b_1 & b_2 \end{array} \right|+ \left| \begin{array}{rr} a_3 & a_4 \\ b_3 & b_4 \end{array} \right| \right)^2+ \left( \left| \begin{array}{rr} a_1 & a_3 \\ b_1 & b_3 \end{array} \right|- \left| \begin{array}{rr} a_2 & a_4 \\ b_2 & b_4 \end{array} \right| \right)^2+ \left( \left| \begin{array}{rr} a_1 & a_4 \\ b_1 & b_4 \end{array} \right|+ \left| \begin{array}{rr} a_2 & a_3 \\ b_2 & b_3 \end{array} \right| \right)^2-
-2 \left( \left| \begin{array}{rr} a_1 & a_2 \\ b_1 & b_2 \end{array} \right| \cdot \left| \begin{array}{rr} a_3 & a_4 \\ b_3 & b_4 \end{array} \right|- \left| \begin{array}{rr} a_1 & a_3 \\ b_1 & b_3 \end{array} \right| \cdot \left| \begin{array}{rr} a_2 & a_4 \\ b_2 & b_4 \end{array} \right| + \left| \begin{array}{rr} a_1 & a_4 \\ b_1 & b_4 \end{array} \right|\cdot \left| \begin{array}{rr} a_2 & a_3 \\ b_2 & b_3 \end{array} \right| \right) \ .

Последняя скобка обращается в нуль, а оставшиеся формируют требуемое представление.

=>

В частном случае a_4=0, b_4=0 тождество Эйлера иногда называют тождеством Лагранжа:

(a_1^2+a_2^2+a_3^2)(b_1^2+b_2^2+b_3^2) \equiv (a_1b_1+a_2b_2+a_3b_3)^2+(a_1b_2-a_2b_1)^2 +(a_1b_3-a_3b_1)^2+(a_2b_3-a_3b_2)^2 \ .


2015/11/12 08:48 редактировал au