ブラーマグプタの二平方恒等式とは? わかりやすく解説

Weblio 辞書 > 同じ種類の言葉 > 人文 > 高等数学 > 恒等式 > ブラーマグプタの二平方恒等式の意味・解説 

ブラーマグプタの二平方恒等式

(Brahmagupta–Fibonacci identity から転送)

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/05/15 15:11 UTC 版)

ナビゲーションに移動 検索に移動

ブラーマグプタの二平方恒等式(ブラーマグプタのにへいほうこうとうしき)とは、二つの平方数の和で表される二つの数の積が、二つの平方数の和で表せることを示す恒等式である。言い換えれば、二つの平方数の和は乗算に関して閉じているということである。この恒等式はラグランジュの恒等式英語版における特別な場合である。

正確には、次のように表される。

(1), (2) とも等式の各辺を展開することにより確かめられる。また、(1), (2) は b と −b を(または cd を)入れ替えることにより得られる。

この恒等式は整数環有理数環において成り立ち、さらに一般的には任意の可換環において成り立つ。

整数の場合、この恒等式は数論に応用することができる。例えば、フェルマーの二平方和定理と共に使われたとき、平方数と4を法として1に合同な素数の積は平方数の和で表せることを証明できる。

歴史

この恒等式はディオファントスによって発見され、インド数学者天文学者であるブラーマグプタ(598年 - 668年)によって再発見された。彼の著書『ブラーマ・スプタ・シッダーンタ』はムハンマド・アル・ファザーリによりサンスクリットからアラビア語へと翻訳され、後の1126年にラテン語に翻訳された[1]。この恒等式は後にフィボナッチLiber Quadratorum (The Book of Squares) に1125年に現れた。

関連する定理

同様の恒等式にオイラーの四平方恒等式 (Euler's four-square identity) がある。これは、四つの平方数に関する恒等式であり、四元数との関連がある。さらに、デゲンの八平方恒等式 (Degen's eight-square identity) という恒等式もある。これはボット周期性 (en:Bott periodicity theorem) を持つ八元数から引き出される。

複素数との関連性

実数 a,b,c,d があるとき、この恒等式は複素数絶対値の積の性質に等しい。 すなわち、

|a + bi||c + di| = |(a + bi)(c + di)|,

つまり

|a + bi||c + di| = |(acbd) + i(ad + bc)|,

両辺を二乗して

|a + bi|2|c + di|2 = |(acbd) + i(ad + bc)|2,

絶対値の定義より

(a2 + b2)(c2 + d2) = (acbd)2 + (ad + bc)2.

ノルムによる解釈

変数 a, b, c, d有理数である場合、この恒等式は体 Q(i) におけるノルムは乗法的であるという主張から解釈される場合がある。このとき次の式を得る。

a のノルムを N(a) で表すと

N(a + bi) = a2 + b2 かつ N(c + di) = c2+d2,

また、

N((a + bi)(c + di)) = N((acbd) + i(ad + bc)) = (acbd)2 + (ad + bc)2.

したがって、ブラーマグプタの二平方恒等式から次のことが導かれる。

N((a + bi)(c + di)) = N(a + bi)・N(c + di).

脚注

  1. ^ ジョージ・G・ジョーゼフ (2000). The Crest of the Peacock, p. 306. Princeton University Press. ISBN 0691006598.

関連項目

外部リンク





ブラーマグプタの二平方恒等式と同じ種類の言葉


英和和英テキスト翻訳>> 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