オイラーの四平方恒等式とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > 百科事典 > オイラーの四平方恒等式の意味・解説 

オイラーの四平方恒等式

(Euler's four-square identity から転送)

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2015/04/18 06:11 UTC 版)

数学において、オイラーの四平方恒等式 (Euler's four-square identity) とは、4つの平方数の和である2数の積は再び4つの平方数の和になることをいうものである。具体的は、次のようになる。

オイラーゴールドバッハ宛ての1748年5月4日付の手紙でこの恒等式について書いている[1][2](が上記とは異なる符号の取り方をしている)。恒等式は初等代数学英語版で証明でき、任意の可換環において成り立つ。実数であれば、よりエレガントな証明が可能である。恒等式は、2つの四元数の積の絶対値が絶対値の積に等しいと言う事実を表しているのである。(ブラーマグプタの二平方恒等式では複素数に対して同様であるのと同じように。)

恒等式はラグランジュラグランジュの四平方定理を証明するために使った。正確に言えば、素数に対して定理を証明すれば一般の場合が従うので十分であるということを恒等式は意味している。上記式の符号の取り方は2つの四元数を掛けて得られる符号に対応している。他の符号の取り方は、任意の ak を −ak に、あるいは bk を −bk に、あるいは右辺の自乗されている任意の項の符号を変えることによって、得ることができる。

フルヴィッツの定理英語版は以下のような定理である。

の形の恒等式(ただし 双線型写像)は、n = {1, 2, 4, 8} に対してのみ可能である。しかしながら、より一般的なPfisterの定理英語版によって、 を変数の1つの集合の単に有理関数とすれば(分母を許せば)、すべての n = 2m に対して可能である[3]。四平方恒等式の別種は次のように与えられる。

ただし

次の副産物にも注意しよう。

関連項目

参考文献

  1. ^ Leonhard Euler: Life, Work and Legacy, R.E. Bradley and C.E. Sandifer (eds), Elsevier, 2007, p. 193
  2. ^ Mathematical Evolutions, A. Shenitzer and J. Stillwell (eds), Math. Assoc. America, 2002, p. 174
  3. ^ Pfister's Theorem on Sums of Squares, Keith Conrad, http://www.math.uconn.edu/~kconrad/blurbs/linmultialg/pfister.pdf

外部リンク




英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「オイラーの四平方恒等式」の関連用語

オイラーの四平方恒等式のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



オイラーの四平方恒等式のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアのオイラーの四平方恒等式 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。

©2025 GRAS Group, Inc.RSS