ド・グアの定理

頂点Oで面が直交する三角錐

テンプレート:ウィキプロジェクトリンク テンプレート:ウィキポータルリンク ド・グアの定理（ド・グアのていり、テンプレート:Lang-en-short）はピタゴラスの定理の3次元版ともいえる定理であり、テンプレート:仮リンクにちなんで命名された。日本では、四平方の定理と呼ばれることが多い。

三角錐に、3面が直交しあう頂点がある（立方体の頂点と同様）ならば、その頂点と向かい合う面の面積の平方は、残りの3つの各面の面積の平方の和に等しい。

$A_{ABC}^2=A_{ABO}^2+A_{ACO}^2+A_{BCO}^2$

一般化

ピタゴラスの定理とド・グアの定理はいずれも直交する頂点を持つ n-単体に関する定理の特別な場合（n = 2, 3）である。さらにこれ自体、Donald R. Conant と William A. Beyer による以下に述べる定理の特別な場合である。

U を、${ℝ}^n$ の k-次元アフィン部分空間（よって $k\le n$ ）に含まれるようなボレル集合とする。ちょうど k 個の要素からなる任意の部分集合 $I=\{i_1,\dots ,i_k\}\subseteq \{1,\dots ,n\}$ に対し、U の $e_{i_1},\dots ,e_{i_k}$ による線型包への直交射影を $U_I$ と書くことにする（ここで $e_1,\dots ,e_n$ は ${ℝ}^n$ の標準基底）。このとき

${\text{vol}}_k^2(U)=\sum _I{\text{vol}}_k^2(U_I)$

ここで ${\text{vol}}_k(U)$ は U のk-次元体積で、和は要素数がちょうど k 個となる全ての部分集合 $I\subseteq \{1,\dots ,n\}$ の上にわたってとるものとする。

ド・グアの定理および上記の n-単体への一般化は、k = n−1 かつ、U が ${ℝ}^n$ 内の (n−1)-単体で各頂点が直交座標系の座標軸上にあるような特別な場合である。例えば、n = 3, k = 2 とし、U が $x_1$,$x_2$,$x_3$-軸上にそれぞれ頂点 A, B, C がある $\mathrm{△}ABC\subseteq {ℝ}^3$ であるときを考える。要素数がちょうど2の $\{1,2,3\}$ の部分集合 $I$ は $\{2,3\}$, $\{1,3\}$, $\{1,2\}$ である。定義より $U_{\{2,3\}}$ は $U=\mathrm{△}ABC$ の $x_2{x}_3$-平面への直交射影だから、O（原点）, B, C を頂点とする $\mathrm{△}OBC$ である。同様に $U_{\{1,3\}}=\mathrm{△}AOC$, $U_{\{1,2\}}=\mathrm{△}ABO$ なので、Conant–Beyerの定理は

${\text{vol}}_2^2(\mathrm{△}ABC)={\text{vol}}_2^2(\mathrm{△}OBC)+{\text{vol}}_2^2(\mathrm{△}AOC)+{\text{vol}}_2^2(\mathrm{△}ABO)$

となってド・グアの定理が得られる。

歴史

ド・グア (1713–85) は本定理を1783年に公表したが、ほぼ同時期に、別のフランス人数学者シャルル・ド・タンソー・ダモンダン（テンプレート:仮リンク ）(1746–1818) もわずかに一般性の高いバージョンのものを公表していた。だが、それよりずっと早くにテンプレート:仮リンク (1580–1635) およびルネ・デカルト (1596–1650)もこの定理のことを知っていた。

参考文献

• テンプレート:MathWorld
• Sergio A. Alvarez: Note on an n-dimensional Pythagorean theorem, Carnegie Mellon University.
• De Gua's Theorem, Pythagorean theorem in 3-D — 図解および三角錐についての関連した性質。

さらに詳しく

• テンプレート:Cite journal ド・グアの定理の証明および、任意の三角錐や角錐への一般化。