オイラーの四平方恒等式

オイラーの四平方恒等式

数学において、オイラーの四平方恒等式とは、幾つかの平方数の和で構成される2つの数の積が、再び四つの平方数の和として表されることを示すものである。この恒等式は、1748年にオイラーがゴールドバッハに宛てた手紙に登場し、その内容は次のように定式化されることができる。

具体的には、オイラーの四平方恒等式は次のように表現される：

$$
(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_{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} +
(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}.
$$

この恒等式の特筆すべき点は、初等代数学において証明できること、そして任意の可換環でも成り立つことである。実数を使った場合には、よりエレガントな証明が可能になる。

この恒等式は、実は四元数の性質を示しており、二つの四元数の積の絶対値が、個々の四元数の絶対値の積に一致することを意味している。このように、オイラーの四平方恒等式は数学的な美しさを感じさせるものであり、他の多くの数学的定理やひもづいている。

オイラーの恒等式は、特にラグランジュがその後に提唱した四平方定理の証明に使用された。この定理では、素数に対して成り立つことを示すだけで、一般の場合も従うとされている。これは恒等式の意義とその多様性を証明するものである。また、符号の取り方も重要であり、符号は四元数を掛け合わせたときの結果に対応している。

さらに、フルヴィッツの定理に言及することも重要である。この定理は、いくつかの平方数の和を別の平方数の和で表すことができる形を提示しており、この形は特定の$n = 1, 2, 4, 8$に対してのみ成立する。興味深いことに、Pfisterの定理を通じて、すべての$n = 2m$に対しても成立が示される。

オイラーの四平方恒等式の別の形も存在する。これには、変数の間に特定の関係が見られ、平方数の和を用いた形で表現される。この恒等式は、数の性質を深く掘り下げる手法を提供しており、数学の美しさを増幅させる要素となっている。

加えて、オイラーの四平方恒等式から導き出される副産物も見逃せない。たとえば、次のような形が成立することが示されている。$$ u_{1}^{2}+u_{2}^{2}=(b_{1}^{2}+b_{2}^{2})^{2}(b_{3}^{2}+b_{4}^{2}). $$これは、数の間の複雑な関係を示し、他の数学的法則と密接に関連していることを示唆している。

最終的に、このようなオイラーの四平方恒等式は、数学の多様性と深遠さを理解するための重要な鍵となる。さらに詳しい研究が、数学の他の分野への新たな洞察をもたらす可能性があり、その探求は今後の研究者たちにとって魅力的な課題であり続けるだろう。

もう一度検索