コンテンツにスキップ

ド・グアの定理

出典: フリー百科事典『ウィキペディア(Wikipedia)』
頂点Oで面が直交する三角錐

ド・グアの定理(ド・グアのていり、: De Gua's theorem)はピタゴラスの定理の3次元版ともいえる定理であり、ジャン・ポール・ド・グア・ド・マルヴ英語版フランス語版にちなんで命名された。日本では、四平方の定理と呼ばれることが多い。

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

一般化

[編集]

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

U を、k-次元アフィン部分空間(よって )に含まれるようなボレル集合とする。ちょうど k 個の要素からなる任意の部分集合 に対し、U による線型包への直交射影 と書くことにする(ここで 標準基底)。このとき

ここで Uk-次元体積で、和は要素数がちょうど k 個となる全ての部分集合 の上にわたってとるものとする。

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

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

歴史

[編集]

ド・グア (1713–85) は本定理を1783年に公表したが、ほぼ同時期に、別のフランス人数学者シャルル・ド・タンソー・ダモンダン(Charles de Tinseau d'Amondans英語版フランス語版 )(1746–1818) もわずかに一般性の高いバージョンのものを公表していた。だが、それよりずっと早くにヨハン・ファウルハーバー英語版ドイツ語版 (1580–1635) およびルネ・デカルト (1596–1650)もこの定理のことを知っていた[2][3]

脚注

[編集]
  1. ^ Donald R Conant & William A Beyer (Mar 1974). “Generalized Pythagorean Theorem”. The American Mathematical Monthly (Mathematical Association of America) 81 (3): 262–265. doi:10.2307/2319528. JSTOR 2319528. 
  2. ^ Weisstein, Eric W. "de Gua's theorem". mathworld.wolfram.com (英語).
  3. ^ Howard Whitley Eves: Great Moments in Mathematics (before 1650). Mathematical Association of America, 1983, ISBN 9780883853108, S. 37 (excerpt, p. 37, - Google ブックス)

参考文献

[編集]

さらに詳しく

[編集]
  • Kheyfits, Alexander (2004). “The Theorem of Cosines for Pyramids”. The College Mathematics Journal (Mathematical Association of America) 35 (5): 385–388. JSTOR 4146849.  ド・グアの定理の証明および、任意の三角錐や角錐への一般化。