ド・グアの定理

ド・グアの定理（ド・グアのていり、）はピタゴラスの定理の3次元版ともいえる定理であり、にちなんで命名された。日本では、四平方の定理と呼ばれることが多い。
三角錐に、3面が直交しあう頂点がある（立方体の頂点と同様）ならば、その頂点と向かい合う面の面積の平方は、残りの3つの各面の面積の平方の和に等しい。
一般化.
ピタゴラスの定理とド・グアの定理はいずれも直交する頂点を持つ "n"-単体に関する定理の特別な場合（"n" = 2, 3）である。さらにこれ自体、Donald R. Conant と William A. Beyer による以下に述べる定理の特別な場合である。
"U" を、formula_2 の "k"-次元アフィン部分空間（よって formula_3 ）に含まれるようなボレル集合とする。ちょうど "k" 個の要素からなる任意の部分集合 formula_4 に対し、"U" の formula_5 による線型包への直交射影を formula_6 と書くことにする（ここで formula_7 は formula_2 の標準基底）。このとき
ここで formula_10 は "U" の"k"-次元体積で、和は要素数がちょうど "k" 個となる全ての部分集合 formula_11 の上にわたってとるものとする。
ド・グアの定理および上記の "n"-単体への一般化は、"k" = "n"−1 かつ、"U" が formula_2 内の ("n"−1)-単体で各頂点が直交座標系の座標軸上にあるような特別な場合である。例えば、"n" = 3, "k" = 2 とし、"U" が formula_13,formula_14,formula_15-軸上にそれぞれ頂点 "A", "B", "C" がある formula_16 であるときを考える。要素数がちょうど2の formula_17 の部分集合 formula_18 は formula_19, formula_20, formula_21 である。定義より formula_22 は formula_23 の formula_24-平面への直交射影だから、"O"（原点）, "B", "C" を頂点とする formula_25 である。同様に formula_26, formula_27 なので、Conant–Beyerの定理は
となってド・グアの定理が得られる。
歴史.
ド・グア (1713–85) は本定理を1783年に公表したが、ほぼ同時期に、別のフランス人数学者シャルル・ド・タンソー・ダモンダン（ ）(1746–1818) もわずかに一般性の高いバージョンのものを公表していた。だが、それよりずっと早くに (1580–1635) およびルネ・デカルト (1596–1650)もこの定理のことを知っていた。