オイラーの四平方恒等式
オイラーはゴールドバッハ宛ての1748年5月4日付の手紙でこの恒等式について書いている(が上記とは異なる符号の取り方をしている)。恒等式は初等代数学で証明でき、任意の可換環において成り立つ。 a k {\displaystyle a_{k}} と b k {\displaystyle b_{k}} が実数であれば、よりエレガントな証明が可能である。恒等式は、2つの四元数の積の絶対値が絶対値の積に等しいと言う事実を表しているのである。(ブラーマグプタの二平方恒等式では複素数に対して同様であるのと同じように。)
恒等式はラグランジュがラグランジュの四平方定理を証明するために使った。正確に言えば、素数に対して定理を証明すれば一般の場合が従うので十分であるということを恒等式は意味している。上記式の符号の取り方は2つの四元数を掛けて得られる符号に対応している。他の符号の取り方は、任意の ak を −ak に、あるいは bk を −bk に、あるいは右辺の自乗されている任意の項の符号を変えることによって、得ることができる。
フルヴィッツの定理(英語版)は以下のような定理である。
( a 1 2 + a 2 2 + a 3 2 + ⋯ + a n 2 ) ( b 1 2 + b 2 2 + b 3 2 + ⋯ + b n 2 ) = c 1 2 + c 2 2 + c 3 2 + ⋯ + c n 2 {\displaystyle (a_{1}^{2}+a_{2}^{2}+a_{3}^{2}+\dotsb +a_{n}^{2})(b_{1}^{2}+b_{2}^{2}+b_{3}^{2}+\dotsb +b_{n}^{2})=c_{1}^{2}+c_{2}^{2}+c_{3}^{2}+\dotsb +c_{n}^{2}\,}