幾何学において、ペトル–ダグラス–ノイマンの定理（ペトル–ダグラス–ノイマンのていり、）は、平面上の任意の多角形と正多角形に関する定理である。1905年と1908年、プラハとドイツにおけるカレル・ペトルの出版による発表が初出であり、その後、それぞれ1940年と1941年にジェス・ダグラスとベルンハルト・ノイマンによって、独自に再発見された。命名はStephen B Grayによる。ペトル=ダグラス=ノイマンの定理は、ダグラスの定理（Douglas's theorem）、ダグラス–ノイマンの定理（Douglas–Neumann theorem）、ナポレオン–ダグラス–ノイマンの定理（Napoleon–Douglas–Neumann theorem）、ペトルの定理（Petr's theorem）、PDN定理（PDN-theorem）などとも呼ばれる。
ペトル=ダグラス=ノイマンの定理はナポレオンの定理、ヴァン・オーベルの定理の一般化となっている。
内容 ペトル=ダグラス=ノイマンの定理の主張は以下のとおりである。
三角形の場合 サムネイル|294x294ピクセル|ペトル=ダグラス=ノイマンの定理の系、ナポレオンの定理の図解 とすることで、を満たす整数は1のみである。つまり任意の三角形のそれぞれの辺上に頂角120°の二等辺三角形を作ったとき、それら頂点からなる三角形であるナポレオンの三角形と呼ばれる正三角形の中心が、元の三角形の重心と一致する。これはナポレオンの定理である。
四角形の場合 四角形の場合、なのでkは1,2である。したがって二等辺三角形の頂角は以下のようになる。
ペトル=ダグラス=ノイマンの定理によれば四角形は正方形である。の順序によって、二つの方法でを作成できる。ただし頂角πの二等辺三角形の頂点は底辺の中点とする。
A1をπ/2、A2をπとした場合の作図 を、頂角かつ、四角形の辺を底辺とする二等辺三角形の頂点が成す四角形とする。はの辺の中点が成す四角形で、正方形となる。
の頂点はのそれぞれ辺を一辺とする正方形の中心である。また、はのヴァリニョンの平行四辺形であり、その同値条件からは対角線の長さが等しい且つ直交する四角形であることが分かる。すなわちこれは、ヴァン・オーベルの定理である。
A1をπ、A2をπ/2とした場合の作図 は四角形のヴァリニョンの平行四辺形である。ペトル=ダグラス=ノイマンの定理よりをのそれぞれの辺を底辺とする、頂角の三角形の頂点が成す四角形は正方形である。すなわちこれは、テボーの問題Iである。
四角形におけるペトル=ダグラス=ノイマンの定理の画像 250x250ピクセル250x250ピクセル=ABCD,=EFGH,=PQRS。 の頂角はそれぞれ。=ABCD,=EFGH,=PQRS。 の頂角はそれぞれ。 262x262ピクセル250x250ピクセルが自己交叉し、 の頂角がそれぞれである場合。が自己交叉し、 の頂角がそれぞれである場合。 400x400ピクセルヴァン・オーベルの定理とペトル=ダグラス=ノイマンの定理の図解
五角形の場合 サムネイル|336x336px|をABCDEとする。 (=FGHIJ)が72°、 A2 (= KLMNO)が144°、 (=PQRST)が216°の頂角から成る場合のペトル=ダグラス=ノイマンの定理 五角形においては、よりで二等辺三角形の頂角は以下のようになる。
ペトル=ダグラス=ノイマンの定理によれば、 は正五角形である。3つの角の順序によって下の表の様に6つの正五角形ができる。 数A1の頂角A2の頂角A3の頂角172°144°216°272°216°144°3144°72°216°4144°216°72°5216°72°144°6216°144°72°
定理の証明 この定理の証明はn角形の頂点を複素数で表すことから始まる。 複素n次元空間の列ベクトルでn角形Aを以下の様に表す。
多角形BをAのそれぞれの辺を底辺とする頂角の二等辺三角形の頂点の成すn角形として、以下の様に置く。
ここでiを虚数単位、eをネイピア数として、とおくと
が成り立つので
を得る。をに変換する行列、線型作用素をとする（とする）。またIをの単位行列としてBを以下のように表せる。
つまりj番目の過程で得られる多角形がと以下の関係にあることを意味する。
ここでは1の原始n乗根で、は整数列の j番目の項である。
下記のように、からすべての作用素を掛け合わせたものは、行列 が巡回行列であるため、積は順列σの順序に依らない。
多角形が正多角形であることを示すには、Pの辺が隣の辺をで回転したものであること、つまり
を示さなければならない。
この条件は以下の様にまとめられる。
または、
が正多角形であることは、次のような計算を施すことで示すことができる。
幾何中心が一致する事を示すには、すべての頂点の相加平均を求めればよい。Aをn個の成分をもつベクトルとして、幾何中心を複素内積によって表すことを考えると、として
である。式(1)の両辺にEをかけると、
を得る。したがってすべての幾何中心は一致する。
出典
外部リンク