ja %E3%83%9A%E3%83%88%E3%83%AB%3D%E3%83%80%E3%82%B0%E3%83%A9%E3%82%B9%3D%E3%83%8E%E3%82%A4%E3%83%9E%E3%83%B3%E3%81%AE%E5%AE%9A%E7%90%86

幾何学において, ペトル–ダグラス–ノイマンの定理（ペトル–ダグラス–ノイマンのていり、英語: Petr–Douglas–Neumann theorem,PDN-theorem）は、平面上の任意の多角形と正多角形に関する定理である^[1]。1905年と1908年、プラハとドイツにおけるカール・ペトル（英語版）の出版による発表が初出であり^[2]^[3]^[4]、その後、それぞれ1940年と1941年にジェス・ダグラスとベルンハルト・ノイマンによって、独自に再発見された^[4]^[5]^[6]。命名はStephen B Grayによる^[4]。ペトル=ダグラス=ノイマンの定理は、ダグラスの定理（Douglas's theorem）、ダグラス–ノイマンの定理（Douglas–Neumann theorem）、ナポレオン–ダグラス–ノイマンの定理（Napoleon–Douglas–Neumann theorem）、ペトルの定理（Petr's theorem）、PDN定理（PDN-theorem）などとも呼ばれる^[4]^[7]。

ペトル=ダグラス=ノイマンの定理はナポレオンの定理、ヴァン・オーベルの定理の一般化となっている。

内容

ペトル=ダグラス=ノイマンの定理の主張は以下のとおりである^[5]^[8]^[9]。

頂角が $2 k π / n$ で（kは $1 \leq k \leq n - 2$ を満たす整数）底辺をn角形 $A 0$ のそれぞれの辺とする二等辺三角形を作る。これら二等辺三角形の頂点から成るn角形 $A 1$ に対しても同様に頂角が $2 m π / n$ である（mは $1 \leq m \leq n - 2$ , $m \neq k$ を満たす整数）二等辺三角形を作る。このような過程をn−2回くり返してn角形 $A 0, A 1, A 2,..., A n -2$ を作成する。ただし、n−2回の間に、 $1 \leq k \leq n - 2$ を満たす、すべての整数kが（順序は無関係に）用いられるとする。このとき $A 0, A 1, A 2,..., A n -2$ の幾何中心はすべて一致し、さらに $A n -2$ は正n角形となる。

三角形の場合

$n = 3$ とすることで、 $1 \leq k \leq n - 2$ を満たす整数は1のみである。つまり任意の三角形のそれぞれの辺上に頂角120°の二等辺三角形を作ったとき、それら頂点からなる三角形であるナポレオンの三角形と呼ばれる正三角形の中心が、元の三角形の重心と一致する。これはナポレオンの定理である。

四角形の場合

四角形の場合、 $n = 4$ なのでkは1,2である。したがって二等辺三角形の頂角は以下のようになる。

${\frac {(2\times 1\times \pi )}{4}}={\frac {\pi }{2}}=90^{\circ }\quad (k=1)$ ${\frac {(2\times 2\times \pi )}{4}}=\pi =180^{\circ }\quad (k=2)$

ペトル=ダグラス=ノイマンの定理によれば四角形 $A 2$ は正方形である。 $k = 1, 2$ の順序によって、二つの方法で $A 2$ を作成できる。ただし頂角πの二等辺三角形の頂点は底辺の中点とする。

A₁をπ/2、A₂をπとした場合の作図

$A 1$ を、頂角 $π / 2$ かつ、四角形 $A 0$ の辺を底辺とする二等辺三角形の頂点が成す四角形とする。 $A 2$ は $A 1$ の辺の中点が成す四角形で、正方形となる。

$A 1$ の頂点は $A 0$ のそれぞれ辺を一辺とする正方形の中心である。また、 $A 2$ は $A 1$ のヴァリニョンの平行四辺形であり、その同値条件から $A 1$ は対角線の長さが等しい且つ直交する四角形であることが分かる。すなわちこれは、ヴァン・オーベルの定理である。

A₁をπ、A₂をπ/2とした場合の作図

$A 1$ は四角形 $A 0$ のヴァリニョンの平行四辺形である。ペトル=ダグラス=ノイマンの定理より $A 2$ を $A 1$ のそれぞれの辺を底辺とする、頂角 $π / 2$ の三角形の頂点が成す四角形は正方形である。すなわちこれは、テボーの問題Iである。

四角形におけるペトル=ダグラス=ノイマンの定理の画像


$A 0$ =ABCD, $A 1$ =EFGH, $A 2$ =PQRS。 $A 1, A 2$ の頂角はそれぞれ $π / 2, π$ 。	$A 0$ =ABCD, $A 1$ =EFGH, $A 2$ =PQRS。 $A 1, A 2$ の頂角はそれぞれ $π, π / 2$ 。


$A 0$ が自己交叉し、 $A 1, A 2$ の頂角がそれぞれ $π / 2, π$ である場合。	$A 0$ が自己交叉し、 $A 1, A 2$ の頂角がそれぞれ $π, π / 2$ である場合。


ヴァン・オーベルの定理とペトル=ダグラス=ノイマンの定理の図解

五角形の場合

五角形においては、 $n = 5$ より $k = 1, 2, 3$ で二等辺三角形の頂角は以下のようになる。

${\frac {(2\times 1\times \pi )}{5}}={\frac {2\pi }{5}}=72^{\circ }\quad (k=1)$ ${\frac {(2\times 2\times \pi )}{5}}={\frac {4\pi }{5}}=144^{\circ }\quad (k=2)$ ${\frac {(2\times 3\times \pi )}{5}}={\frac {6\pi }{5}}=216^{\circ }\quad (k=3)$

ペトル=ダグラス=ノイマンの定理によれば、 $A 3$ は正五角形である。3つの角の順序によって下の表の様に6つの正五角形ができる。

数	A₁の頂角	A₂の頂角	A₃の頂角
1	72°	144°	216°
2	72°	216°	144°
3	144°	72°	216°
4	144°	216°	72°
5	216°	72°	144°
6	216°	144°	72°

定理の証明

この定理の証明はn角形の頂点を複素数で表すことから始まる^[4]^[7]^[10]。複素n次元空間の列ベクトルでn角形Aを以下の様に表す。

$A={\begin{pmatrix}a_{1}\\a_{2}\\\vdots \\a_{n}\end{pmatrix}}$

多角形BをAのそれぞれの辺を底辺とする頂角 $θ$ の二等辺三角形の頂点の成すn角形として、以下の様に置く。

$B={\begin{pmatrix}b_{1}\\b_{2}\\\vdots \\b_{n}\end{pmatrix}}$

ここでiを虚数単位、eをネイピア数として、 $α = e iθ$ とおくと

$\alpha (a_{r}-b_{r})=a_{r+1}-b_{r}$

が成り立つので

$b_{r}=(1-\alpha )^{-1}(a_{r+1}-\alpha a_{r})$

を得る。 $a r$ を $a r +1$ に変換する行列、線型作用素を $S : C n \to C n$ とする（ $a n +1 = a 1$ とする）。またIを $n \times n$ の単位行列としてBを以下のように表せる。

$B=(1-\alpha )^{-1}(S-\alpha I)A$

つまりj番目の過程で得られる多角形 $A j +1$ が $A j$ と以下の関係にあることを意味する。

$A_{j+1}=(1-\omega ^{\sigma _{j}})^{-1}(S-\omega ^{\sigma _{j}}I)A_{j}\quad \ldots (1)$

ここで $ω =exp(2 i π / n)$ は1の原始n乗根で、 $σ j$ は整数列 $(1,2,..., n -2)$ の j番目の項である。

下記のように、 $A 0$ からすべての作用素を掛け合わせたものは、行列 $S - ω j I$ が巡回行列であるため、積は順列σの順序に依らない。

$\prod _{j=1}^{n-2}(1-\omega ^{j})^{-1}(S-\omega ^{j}I)$

多角形 $P =(p 1, p 2, ..., p n)$ が正多角形であることを示すには、Pの辺が隣の辺を $π (n - 2)/ n$ で回転したものであること、つまり

$p_{r+1}-p_{r}=\omega (p_{r+2}-p_{r+1})$

を示さなければならない。

この条件は以下の様にまとめられる。

$(S-I)(I-\omega S)P=0$ または、 $(S-I)(S-\omega ^{n-1}I)P=0\quad (\because \omega ^{n}=1)$

$A n -2$ が正多角形であることは、次のような計算を施すことで示すことができる。

$(S-I)(S-\omega ^{n-1}I)A_{n-2}$ $=(S-I)(S-\omega ^{n-1}I)(1-\omega )^{-1}(S-\omega I)(1-\omega ^{2})^{-1}(S-\omega ^{2}I)\ldots (1-\omega ^{n-2})^{-1}(S-\omega ^{n-2}I)A_{0}$ $=\prod _{j=1}^{n-2}{\Bigl (}(1-\omega ^{j})^{-1}{\Bigr )}\cdot \prod _{j=0}^{n-1}{\Bigl (}(S-\omega ^{j}I){\Bigr )}\cdot A_{0}$ $=\prod _{j=1}^{n-2}{\Bigl (}(1-\omega ^{j})^{-1}{\Bigr )}\cdot (S^{n}-I)A_{0}$ $=0\quad (\because S^{n}=I)$

幾何中心 $c A$ が一致する事を示すには、すべての頂点の相加平均を求めればよい。Aをn個の成分をもつベクトルとして、幾何中心を複素内積によって表すことを考えると、 $E :=(1/ n) (1, 1, ..., 1)$ として

$c_{A}=EA$

である。式(1)の両辺にEをかけると、

$c_{A_{j+1}}=EA_{j+1}=(1-\omega ^{\sigma _{j}})^{-1}E(S-\omega ^{\sigma _{j}}I)A_{j}=(1-\omega ^{\sigma _{j}})^{-1}(1-\omega ^{\sigma _{j}})EA_{j}=EA_{j}=c_{A_{j}}$

を得る。したがってすべての幾何中心は一致する。

出典

^ Pavel Pech (2001). “The Harmonic Analysis of Polygons and Napoleon’s Theorem”. Journal for Geometry and Graphics Volume 5: 1,13–22.
^ Petr, Karel (1905). “O jedné větě pro mnohoúhelníky rovinné” (チェコ語). Časopis pro pěstování matematiky a fysiky 034 (2): 166–172. doi:10.21136/CPMF.1905.120936. ISSN 1802-114X.
^ K. Petr (1908). “Ein Satz über Vielecke”. Arch. Math. Phys. 13: 29–31.
^ ^a ^b ^c ^d ^e Stephen B. Gray (2003). “Generalizing the Petr–Douglas–Neumann Theorem on n-gons”. American Mathematical Monthly 110 (3): 210–227. doi:10.2307/3647935. JSTOR 3647935 8 May 2012閲覧。.
^ ^a ^b Douglas, Jesse (1940). “On linear polygon transformations”. Bulletin of the American Mathematical Society 46 (6): 551–561. doi:10.1090/s0002-9904-1940-07259-3 7 May 2012閲覧。.
^ B H Neumann (1941). “Some remarks on polygons”. Journal of the London Mathematical Society s1-16 (4): 230–245. doi:10.1112/jlms/s1-16.4.230.
^ ^a ^b Chang, Geng-zhe; Davis, Philip J. (1983-10-01). “A circulant formulation of the Napoleon-Douglas-Neumann theorem”. Linear Algebra and its Applications 54: 87–95. doi:10.1016/0024-3795(83)90207-0. ISSN 0024-3795.
^ van Lamoen, Floor. “Petr–Neumann–Douglas Theorem.”. From MathWorld—A Wolfram Web Resource. 8 May 2012閲覧。
^ Wong, Yung-Chow (1968). “Some Extensions of the Douglas-Neumann Theorem for Concentric Polygons”. The American Mathematical Monthly 75 (5): 470–482. doi:10.2307/2314700. ISSN 0002-9890. https://www.jstor.org/stable/2314700.
^ “The Petr–Neumann–Douglas theorem through linear algebra”. Omar Antolín Camarena. 2024年6月12日閲覧。

外部リンク

Harnad (2024年5月27日). “The Petr-Douglas-Neumann theorem (PDN Theorem)”. YouTube. 2024年6月12日閲覧。
Polster (2024年6月9日). “Petr's miracle: Why was it lost for 100 years? (Mathologer Masterclass)”. YouTube. 2024年6月9日閲覧。

[1] Pavel Pech (2001). “The Harmonic Analysis of Polygons and Napoleon’s Theorem”. Journal for Geometry and Graphics Volume 5: 1,13–22.

[2] Petr, Karel (1905). “O jedné větě pro mnohoúhelníky rovinné” (チェコ語). Časopis pro pěstování matematiky a fysiky 034 (2): 166–172. doi:10.21136/CPMF.1905.120936. ISSN 1802-114X.

[3] K. Petr (1908). “Ein Satz über Vielecke”. Arch. Math. Phys. 13: 29–31.

[Gray-4] Stephen B. Gray (2003). “Generalizing the Petr–Douglas–Neumann Theorem on n-gons”. American Mathematical Monthly 110 (3): 210–227. doi:10.2307/3647935. JSTOR 3647935 8 May 2012閲覧。.

[Douglas-5] Douglas, Jesse (1940). “On linear polygon transformations”. Bulletin of the American Mathematical Society 46 (6): 551–561. doi:10.1090/s0002-9904-1940-07259-3 7 May 2012閲覧。.

[6] B H Neumann (1941). “Some remarks on polygons”. Journal of the London Mathematical Society s1-16 (4): 230–245. doi:10.1112/jlms/s1-16.4.230.

[:0-7] Chang, Geng-zhe; Davis, Philip J. (1983-10-01). “A circulant formulation of the Napoleon-Douglas-Neumann theorem”. Linear Algebra and its Applications 54: 87–95. doi:10.1016/0024-3795(83)90207-0. ISSN 0024-3795.

[8] van Lamoen, Floor. “Petr–Neumann–Douglas Theorem.”. From MathWorld—A Wolfram Web Resource. 8 May 2012閲覧。

[9] Wong, Yung-Chow (1968). “Some Extensions of the Douglas-Neumann Theorem for Concentric Polygons”. The American Mathematical Monthly 75 (5): 470–482. doi:10.2307/2314700. ISSN 0002-9890. https://www.jstor.org/stable/2314700.

[10] “The Petr–Neumann–Douglas theorem through linear algebra”. Omar Antolín Camarena. 2024年6月12日閲覧。

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

ペトル=ダグラス=ノイマンの定理

内容