ラグランジュの恒等式は、数学・物理学・工学の幅広い分野で活用される重要な恒等式のひとつです。
「ラグランジュの恒等式ってどんな公式なの？」「ベクトルとどう関係するの？」という疑問を持つ方も多く、この恒等式の意味と応用を正確に理解することは数学力の向上に大きく貢献します。
ラグランジュの恒等式とは、二組のベクトル（または実数の組）の内積と外積（またはそれに対応するスカラー量）の関係を表す重要な等式であり、コーシー・シュワルツの不等式の導出などにも活用されます。
本記事では、ラグランジュの恒等式の定義・公式・証明方法・ベクトルとの関係・コーシー・シュワルツの不等式への応用まで、詳しく解説していきます。
ベクトル・数学・定理・証明方法という視点から体系的に理解することで、ラグランジュの恒等式の深い理解と応用力が身につくでしょう。
ラグランジュの恒等式の定義と基本公式
それではまず、ラグランジュの恒等式の基本的な定義と公式について解説していきます。
ラグランジュの恒等式（Lagrange’s identity）は、18世紀の数学者ジョセフ＝ルイ・ラグランジュによって示された重要な代数的恒等式です。
この恒等式はスカラーの場合とベクトルの場合の両方で表現でき、それぞれ異なる応用場面を持ちます。
スカラー形式のラグランジュの恒等式
実数 a₁・a₂・b₁・b₂ に対するラグランジュの恒等式（二次元の場合）は次のように表されます。
ラグランジュの恒等式（二次元スカラー形式）
(a₁²＋a₂²)(b₁²＋b₂²) ＝ (a₁b₁＋a₂b₂)²＋(a₁b₂－a₂b₁)²
この等式はすべての実数 a₁・a₂・b₁・b₂ に対して成り立つ恒等式です。
この公式を言葉で表すと「二組の数の各二乗の和の積は、その対応する積の和の二乗と、交差して掛けた差の二乗の和に等しい」ということを意味します。
一般的なn次元の場合には次のように拡張されます。
ラグランジュの恒等式（n次元一般形式）
(Σaᵢ²)(Σbᵢ²) ＝ (Σaᵢbᵢ)²＋Σᵢ＜ⱼ(aᵢbⱼ－aⱼbᵢ)²
ここで i・j は 1 から n まで動く添字、Σᵢ＜ⱼ は i＜j となるすべての組み合わせの和を表す。
この一般形式は、コーシー・シュワルツの不等式を等号を含む形（等号成立条件付き）で表現するための重要な出発点となります。
ラグランジュの恒等式はコーシー・シュワルツの不等式よりも強い情報を持つ恒等式であり、不等式では「≤」で表される関係を「＝」で正確に等式として記述しているという点が重要な特徴です。
ベクトル形式のラグランジュの恒等式
三次元ベクトル a＝(a₁, a₂, a₃)・b＝(b₁, b₂, b₃) に対するラグランジュの恒等式はベクトルの内積と外積を用いて次のように表されます。
ラグランジュの恒等式（ベクトル形式）
|a|²|b|² ＝ (a・b)²＋|a×b|²
または同値な形として：
|a×b|² ＝ |a|²|b|²－(a・b)²
ここで a・b は内積、a×b は外積（ベクトル積）、|・| はノルム（大きさ）を表す。
このベクトル形式のラグランジュの恒等式は、ベクトルの外積の大きさの公式 |a×b|＝|a||b|sinθ と内積の公式 a・b＝|a||b|cosθ（θは二ベクトルのなす角）と密接に関連しています。
ラグランジュの恒等式の幾何学的解釈
ベクトル形式のラグランジュの恒等式 |a|²|b|²＝(a・b)²＋|a×b|² は、幾何学的に非常に美しい解釈を持ちます。
内積 a・b＝|a||b|cosθ より (a・b)²＝|a|²|b|²cos²θ、外積の大きさ |a×b|＝|a||b|sinθ より |a×b|²＝|a|²|b|²sin²θ と書けます。
したがってラグランジュの恒等式は |a|²|b|²cos²θ＋|a|²|b|²sin²θ＝|a|²|b|² という形になり、これは sin²θ＋cos²θ＝1 というピタゴラスの恒等式そのものです。
つまりベクトル形式のラグランジュの恒等式は、三角関数のピタゴラスの恒等式をベクトルの言葉で表現したものと見ることができるでしょう。
ラグランジュの恒等式の証明方法
続いては、ラグランジュの恒等式の具体的な証明方法について確認していきます。
証明の方法は複数ありますが、ここでは最も基本的な直接展開による証明と、ベクトルを用いた証明を紹介します。
直接展開による証明（二次元の場合）
証明：(a₁²＋a₂²)(b₁²＋b₂²) ＝ (a₁b₁＋a₂b₂)²＋(a₁b₂－a₂b₁)² を証明せよ。
（証明）右辺を展開する：
(a₁b₁＋a₂b₂)²＋(a₁b₂－a₂b₁)²
＝ a₁²b₁²＋2a₁b₁a₂b₂＋a₂²b₂²＋a₁²b₂²－2a₁b₂a₂b₁＋a₂²b₁²
＝ a₁²b₁²＋2a₁a₂b₁b₂＋a₂²b₂²＋a₁²b₂²－2a₁a₂b₁b₂＋a₂²b₁²
中間項が相殺される：＋2a₁a₂b₁b₂ と－2a₁a₂b₁b₂ が消える
＝ a₁²b₁²＋a₁²b₂²＋a₂²b₁²＋a₂²b₂²
＝ a₁²(b₁²＋b₂²)＋a₂²(b₁²＋b₂²)
＝ (a₁²＋a₂²)(b₁²＋b₂²)
＝ 左辺 （証明終）
この証明では、右辺を展開すると中間項（クロス項）が互いに相殺されて消え、左辺と一致するという美しい構造が明らかになります。
展開後に 2a₁a₂b₁b₂ と－2a₁a₂b₁b₂ が相殺されるという点が、ラグランジュの恒等式の構造的な核心といえるでしょう。
ベクトルを用いた証明
ベクトル形式の証明：|a×b|² ＝ |a|²|b|²－(a・b)² を証明せよ。
（証明）a＝(a₁, a₂, a₃)、b＝(b₁, b₂, b₃) として外積を成分で表す：
a×b ＝ (a₂b₃－a₃b₂, a₃b₁－a₁b₃, a₁b₂－a₂b₁)
|a×b|² ＝ (a₂b₃－a₃b₂)²＋(a₃b₁－a₁b₃)²＋(a₁b₂－a₂b₁)²
一方 |a|²|b|²－(a・b)² を展開すると：
(a₁²＋a₂²＋a₃²)(b₁²＋b₂²＋b₃²)－(a₁b₁＋a₂b₂＋a₃b₃)²
展開して整理すると（クロス項が相殺されて）：
＝ (a₁b₂－a₂b₁)²＋(a₂b₃－a₃b₂)²＋(a₃b₁－a₁b₃)²
これは |a×b|² と等しい。 （証明終）
この証明は三次元ベクトルの成分計算によるものであり、外積の成分表示とノルムの定義から出発して恒等式を導出しています。
行列式を使った証明アプローチ
ラグランジュの恒等式の一般形は、行列の行列式の性質から優雅に導出することもできます。
行列式の Cauchy–Binet 公式（コーシー・ビネの公式）と呼ばれる結果を用いることで、n次元一般形のラグランジュの恒等式が自然に導かれます。
この行列式を用いたアプローチは、大学数学の線形代数の文脈でラグランジュの恒等式を理解する際に重要な視点となるでしょう。
コーシー・シュワルツの不等式への応用
続いては、ラグランジュの恒等式の最も重要な応用のひとつであるコーシー・シュワルツの不等式への導出について確認していきます。
コーシー・シュワルツの不等式の導出
ラグランジュの恒等式 (Σaᵢ²)(Σbᵢ²)＝(Σaᵢbᵢ)²＋Σᵢ＜ⱼ(aᵢbⱼ－aⱼbᵢ)² から、コーシー・シュワルツの不等式を導出できます。
コーシー・シュワルツの不等式の導出
ラグランジュの恒等式：
(Σaᵢ²)(Σbᵢ²) ＝ (Σaᵢbᵢ)²＋Σᵢ＜ⱼ(aᵢbⱼ－aⱼbᵢ)²
右辺の第二項 Σᵢ＜ⱼ(aᵢbⱼ－aⱼbᵢ)² は二乗の和なので常に ≥ 0
したがって：(Σaᵢ²)(Σbᵢ²) ≥ (Σaᵢbᵢ)²
これがコーシー・シュワルツの不等式です。
等号成立条件：Σᵢ＜ⱼ(aᵢbⱼ－aⱼbᵢ)²＝0
→ すべての i＜j に対して aᵢbⱼ＝aⱼbᵢ
→ a と b が比例する（a₁:a₂:…:aₙ＝b₁:b₂:…:bₙ）
コーシー・シュワルツの不等式の証明は複数の方法がありますが、ラグランジュの恒等式を経由する方法は等号成立条件も自然に導出できる点で優れています。
ラグランジュの恒等式はコーシー・シュワルツの不等式の「等号を含む精密な版」であり、不等式が等号で成り立つ正確な条件を同時に与えてくれるという点が重要な意義です。
ベクトル版コーシー・シュワルツの不等式
ベクトル形式のラグランジュの恒等式 |a|²|b|²＝(a・b)²＋|a×b|² から、ベクトルのコーシー・シュワルツの不等式が導出されます。
|a×b|²≥0 より (a・b)²≤|a|²|b|²、すなわち |a・b|≤|a||b| が得られ、これがベクトルのコーシー・シュワルツの不等式です。
内積の定義 a・b＝|a||b|cosθ と合わせると、|cosθ|≤1 という余弦の基本的な性質も同時に確認できます。
統計学・情報理論への応用
コーシー・シュワルツの不等式（ひいてはラグランジュの恒等式）は、統計学・情報理論・機械学習においても重要な役割を果たします。
相関係数の絶対値が1以下であること（|ρ|≤1）の証明は、コーシー・シュワルツの不等式の直接的な応用です。
情報理論における相互情報量の非負性やエントロピーの性質の証明にも、コーシー・シュワルツの不等式が活用されています。
ラグランジュの恒等式の各分野への応用
続いては、ラグランジュの恒等式が具体的にどのような数学・物理・工学の場面で応用されるかを確認していきます。
数論・整数論への応用
ラグランジュの恒等式は数論においても重要な応用を持ちます。
二次元のラグランジュの恒等式 (a₁²＋a₂²)(b₁²＋b₂²)＝(a₁b₁＋a₂b₂)²＋(a₁b₂－a₂b₁)² は、「二つの整数がそれぞれ二つの整数の二乗の和で表せるならば、それらの積も二つの整数の二乗の和として表せる」という定理の証明に直接使用できます。
たとえば 5＝1²＋2² かつ 13＝2²＋3² であれば 5×13＝65 も二つの整数の二乗の和として表せる（65＝1²＋8²＝4²＋7²）ということが、ラグランジュの恒等式によって保証されます。
この性質は、二平方数の積についての性質を系統的に調べる整数論において基本的な道具となっています。
物理学・ベクトル解析への応用
物理学においては、ベクトル形式のラグランジュの恒等式が電磁気学・流体力学・量子力学などの計算で活用されます。
電磁気学のポインティングベクトルの計算やローレンツ力の計算において、外積と内積の関係を整理する際にラグランジュの恒等式が有用な道具となります。
ベクトル解析では「BAC-CAB公式」と呼ばれる a×(b×c)＝b(a・c)－c(a・b) という三重積の恒等式があり、これもラグランジュの恒等式と関連した重要な公式です。
流体力学の渦度方程式や応力テンソルの計算においても、ベクトルの内積・外積関係を整理するためにラグランジュの恒等式が参照されることがあります。
行列・線形代数への展開
線形代数の文脈では、ラグランジュの恒等式は行列のノルムと行列式の関係を表す重要な等式として理解されます。
m×n行列AとBに対するフロベニウスノルム（Frobenius norm）の関係や、Gram行列の行列式との関係において、ラグランジュの恒等式の一般化が現れます。
特異値分解（SVD）の理論においても、ラグランジュの恒等式に類似した等号関係が基礎的な役割を果たしています。
ラグランジュの恒等式に関連する定理と発展的話題
続いては、ラグランジュの恒等式に関連する重要な定理と発展的な話題について確認していきます。
プラハの公式・ブラーマグプタ–フィボナッチ恒等式
ラグランジュの恒等式の特別なケースや一般化として、いくつかの重要な関連恒等式が存在します。
ブラーマグプタ–フィボナッチ恒等式は、二平方の和の積がまた二平方の和として表せることを示す恒等式であり、ラグランジュの恒等式の二次元版と本質的に同じ内容を持ちます。
オイラーの四平方恒等式（四つの整数の二乗の和の積が同様の形で表せること）は、ラグランジュの恒等式の四次元版への拡張として理解できます。
これらの恒等式は、四元数（クォータニオン）の乗法との深い関係を持ちます。
ラグランジュの恒等式と外積代数
現代数学では、ラグランジュの恒等式は外積代数（グラスマン代数）の観点から自然に理解されます。
外積代数においては、ラグランジュの恒等式は「ベクトルの内積と外積の関係を表す基本恒等式」として、より一般的な次元・より一般的な代数系に対して定式化されます。
微分幾何学のリーマン計量やホッジ双対性の理論においても、ラグランジュの恒等式の精神が様々な形で現れています。
計算機科学・最適化への応用
計算機科学では、コーシー・シュワルツの不等式（ラグランジュの恒等式から導かれる）がアルゴリズムの計算量評価・機械学習のカーネル法・信号処理のフィルタ設計などに活用されます。
最適化理論におけるラグランジュ乗数法は名前こそ同じラグランジュに由来しますが、ラグランジュの恒等式とは直接関係はないため、混同しないよう注意が必要です。
コーシー・シュワルツの不等式の等号条件（二ベクトルが比例）は、最適化問題において最適解の特徴付けに使われる重要な条件となっています。
まとめ
ラグランジュの恒等式は、実数の二組の組の二乗和の積が内積の二乗と外積の二乗の和に等しいことを述べる重要な代数的恒等式です。
スカラー形式では (Σaᵢ²)(Σbᵢ²)＝(Σaᵢbᵢ)²＋Σᵢ＜ⱼ(aᵢbⱼ－aⱼbᵢ)²、ベクトル形式では |a|²|b|²＝(a・b)²＋|a×b|² として表されます。
直接展開による証明・ベクトル成分による証明・行列式を使った証明など複数の証明方法があり、それぞれ異なる数学的視点を提供します。
コーシー・シュワルツの不等式の等号付き精密化・数論の二平方数の積の定理・物理学のベクトル計算など、多くの重要な応用を持つ恒等式です。
ベクトル・数学・定理・証明方法という観点からラグランジュの恒等式を深く理解することで、数学の広い分野での応用力が大きく向上するでしょう。
