ラグランジュの恒等式とその仲間

恒等式たちの関係

• ブラーマグプタの恒等式で $n=1$ としたものがBF恒等式です。
• ラグランジュの恒等式で $n=2$ としたものがBF恒等式です。
• ビネ-コーシーの恒等式で $a_i=c_i, b_i=d_i$ としたものがラグランジュの恒等式です。
• ビネ-コーシーの恒等式を行列に拡張したビネ-コーシーの定理というのがあります。
• BF恒等式を拡張したオイラーの4平方恒等式というものもあります。以上をまとめると図のようになります。

恒等式の証明

BF恒等式やブラーマグプタの恒等式は，右辺を展開して左辺と一致することがすぐに確認できます。

上述した包含関係より，ビネ-コーシーの恒等式を証明すればラグランジュの恒等式も証明されるので，ビネ-コーシーの恒等式を証明します。

2行目への式変形の際に同じものを足して引きました（第2項と第4項）。

4行目への変形は少しわかりにくいので，イメージを図に示します。 (赤＋青)＋緑＝全体 です。

また，最終行への変形の際にシグマの分解を用いました。(→シグマ計算を機械的に行うための3つの公式)

恒等式の応用

1. シュワルツの不等式の証明

ラグランジュの恒等式から，$\displaystyle\sum_{i=1}^na_i^2\sum_{i=1}^nb_i^2 \geq (\sum_{i=1}^na_ib_i)^2$ が一瞬でわかるので，ラグランジュの恒等式はシュワルツの不等式の証明そのものになっています。

2：ペル方程式への応用

$x^2-ny^2=1$ をペル方程式と言い，ペル方程式の整数解を求める問題が広く研究されています。→ペル方程式に関する基本的な性質まとめ

ペル方程式の整数解 $(x_1,y_1),\:(x_2, y_2)$ (同じものでもよい)が見つかれば，ブラーマグプタの恒等式で $a=x_1,\:b=y_1,\:c=x_2,\:d=y_2,\:n=-n$ として，

$(x_1x_2-ny_1y_2)^2-n(x_1y_2-y_1x_2)^2=1$

となるので，$(x_1x_2-ny_1y_2,x_1y_2-y_1x_2)$ もペル方程式の解であることが分かります。

こうして， 2つ（または1つ）の整数解から無数の整数解を生成できます。