歐拉四平方和恆等式說明,如果兩個數都能表示為四個平方數的和,則這兩個數的積也能表示為四個平方數的和。等式為:
![{\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})=\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/30fd8e7035f2b43f91ae3c976c4455f10e930a21)
![{\displaystyle (a_{1}b_{1}-a_{2}b_{2}-a_{3}b_{3}-a_{4}b_{4})^{2}+\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0e3f46258148f05f55fdd4c462e95a97132cdf6b)
![{\displaystyle (a_{1}b_{2}+a_{2}b_{1}+a_{3}b_{4}-a_{4}b_{3})^{2}+\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c3d5b53334bdbd68f627e7a055a20d42a2dcffc7)
![{\displaystyle (a_{1}b_{3}-a_{2}b_{4}+a_{3}b_{1}+a_{4}b_{2})^{2}+\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6a5070af9a619f2c469a92eb53fc7a708ab48e7f)
![{\displaystyle (a_{1}b_{4}+a_{2}b_{3}-a_{3}b_{2}+a_{4}b_{1})^{2}\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7cdc0486d8a492ec21a9b014370c59a306b5f01d)
歐拉在1748年5月4日寄給哥德巴赫的一封信中提到了這個恆等式。[1][2]它可以用基本的代數來證明,在任何交換環中都成立。如果as和bs是實數,有一個更加簡潔的證明:這個等式表達了兩個四元數的積的絕對值就是它們絕對值的積的事實,就像婆羅摩笈多-斐波那契恆等式與複數的關係一樣。
拉格朗日用這個恆等式來證明四平方和定理。
參見
參考文獻
- ^ Leonhard Euler: Life, Work and Legacy, R.E. Bradley and C.E. Sandifer (eds), Elsevier, 2007, p. 193
- ^ Mathematical Evolutions, A. Shenitzer and J. Stillwell (eds), Math. Assoc. America, 2002, p. 174