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

幾何学において, ペトル-ダグラス-ノイマンの定理（ペトル=ダグラス=ノイマンのていり、英語: Petr–Douglas–Neumann theorem,PDN-theorem）は、平面上の任意の多角形と正多角形に関する定理である。1905年と1908年、プラハとドイツでの数学者、カール・ペトル（英語版）の出版による発表が初出であり、その後、それぞれ1940年と1941年にジェス・ダグラスとベルンハルト・ノイマンによって、独自に再発見された。命名はStephen B Grayによる。ペトル=ダグラス=ノイマンの定理は、ダグラスの定理、ダグラス=ノイマンの定理、ナポレオン=ダグラス=ノイマンの定理、ペトルの定理、PDN-定理などとも呼ばれる。 ペトル=ダグラス=ノイマンの定理はナポレオンの定理、ヴァン・オーベルの定理の一般化となっている。 ペトル=ダグラス=ノイマンの定理の主張は以下のとおりである。 頂角が2kπ/nで（kは1 ≤ k ≤ n - 2を満たす整数）底辺をn角形A0のそれぞれの辺とする二等辺三角形を作る。これら二等辺三角形の頂点から成るn角形A1に対しても同様に頂角が2mπ/nである（mは1 ≤ m ≤ n - 2,m ≠kを満たす整数）二等辺三角形を作る。このような過程をn−2回くり返してn角形A0, A1, A2 ,..., An-2を作成する。 ただし、n−2回の間に、1 ≤ k ≤ n - 2を満たす、すべての整数kが（順序は無関係に）用いられるとする。このときA0, A1, A2 ,..., An-2の幾何中心はすべて一致し、さらにAn-2は正n角形となる。 n = 3とすることで、1 ≤ k ≤ n - 2を満たす整数は1のみである。つまり任意の三角形のそれぞれの辺上に頂角120°の二等辺三角形を作ったとき、それら頂点からなる三角形であるナポレオンの三角形と呼ばれる正三角形の中心が、元の三角形の重心と一致する。これはナポレオンの定理である。 四角形の場合、n = 4なのでkは1,2である。したがって二等辺三角形の頂角は以下のようになる。 ( 2 × 1 × π ) 4 = π 2 = 90 ∘ ( k = 1 ) {\displaystyle {\frac {(2\times 1\times \pi )}{4}}={\frac {\pi }{2}}=90^{\circ }\quad (k=1)} ( 2 × 2 × π ) 4 = π = 180 ∘ ( k = 2 ) {\displaystyle {\frac {(2\times 2\times \pi )}{4}}=\pi =180^{\circ }\quad (k=2)} ペトル=ダグラス=ノイマンの定理によれば四角形A2は正方形である。k = 1, 2の順序によって、二つの方法でA2を作成できる。ただし頂角πの二等辺三角形の頂点は底辺の中点とする。 A1を、頂角π /2かつ、四角形A0の辺を底辺とする二等辺三角形の頂点が成す四角形とする。A2はA1の辺の中点が成す四角形で、正方形となる。 A1の頂点はA0のそれぞれ辺を一辺とする正方形の中心である。また、A2はA1のヴァリニョンの平行四辺形であり、その同値条件からA1は対角線の長さが等しい且つ直交する四角形であることが分かる。すなわちこれは、ヴァン・オーベルの定理である。 A1は四角形A0のヴァリニョンの平行四辺形である。ペトル=ダグラス=ノイマンの定理よりA2をA1のそれぞれの辺を底辺とする、頂角π /2の三角形の頂点が成す四角形は正方形である。すなわちこれは、テボーの問題Iである。 五角形においては、n = 5よりk = 1, 2, 3で二等辺三角形の頂角は以下のようになる。 ( 2 × 1 × π ) 5 = 2 π 5 = 72 ∘ ( k = 1 ) {\displaystyle {\frac {(2\times 1\times \pi )}{5}}={\frac {2\pi }{5}}=72^{\circ }\quad (k=1)} ( 2 × 2 × π ) 5 = 4 π 5 = 144 ∘ ( k = 2 ) {\displaystyle {\frac {(2\times 2\times \pi )}{5}}={\frac {4\pi }{5}}=144^{\circ }\quad (k=2)} ( 2 × 3 × π ) 5 = 6 π 5 = 216 ∘ ( k = 3 ) {\displaystyle {\frac {(2\times 3\times \pi )}{5}}={\frac {6\pi }{5}}=216^{\circ }\quad (k=3)} ペトル=ダグラス=ノイマンの定理によれば、 A3は正五角形である。3つの角の順序によって下の表の様に6つの正五角形ができる。 この定理の証明はn角形の頂点を複素数で表すことから始まる。 複素n次元空間の列ベクトルでn角形Aを以下の様に表す。 A = ( a 1 a 2 ⋮ a n ) {\displaystyle A={\begin{pmatrix}a_{1}\\a_{2}\\\vdots \\a_{n}\end{pmatrix}}} 多角形BをAのそれぞれの辺を底辺とする頂角θの二等辺三角形の頂点の成すn角形として、以下の様に置く。 B = ( b 1 b 2 ⋮ b n ) {\displaystyle B={\begin{pmatrix}b_{1}\\b_{2}\\\vdots \\b_{n}\end{pmatrix}}} ここでiを虚数単位、eをネイピア数として、α=eiθとおくと α ( a r − b r ) = a r + 1 − b r {\displaystyle \alpha (a_{r}-b_{r})=a_{r+1}-b_{r}} が成り立つので b r = ( 1 − α ) − 1 ( a r + 1 − α a r ) {\displaystyle b_{r}=(1-\alpha )^{-1}(a_{r+1}-\alpha a_{r})} を得る。arをar+1に変換する行列、線型作用素をS :Cn → Cnとする（an+1=a1とする）。またIをn×nの単位行列としてBを以下のように表せる。 B = ( 1 − α ) − 1 ( S − α I ) A {\displaystyle B=(1-\alpha )^{-1}(S-\alpha I)A} つまりj番目の過程で得られる多角形Aj+1がAjと以下の関係にあることを意味する。 A j + 1 = ( 1 − ω σ j ) − 1 ( S − ω σ j I ) A j … ( 1 ) {\displaystyle A_{j+1}=(1-\omega ^{\sigma _{j}})^{-1}(S-\omega ^{\sigma _{j}}I)A_{j}\quad \ldots (1)} ここでω=exp(2iπ/n)は1の原始n乗根で、σjは整数列(1,2,...,n-2)の j番目の項である。 下記のように、A0からすべての作用素を掛け合わせたものは、行列S- ωj I が巡回行列であるため、積は順列σの順序に依らない。 ∏ j = 1 n − 2 ( 1 − ω j ) − 1 ( S − ω j I ) {\displaystyle \prod _{j=1}^{n-2}(1-\omega ^{j})^{-1}(S-\omega ^{j}I)} 多角形P=(p1 ,p2 , ..., pn)が正多角形であることを示すには、Pの辺が隣の辺をπ(n - 2)/nで回転したものであること、つまり p r + 1 − p r = ω ( p r + 2 − p r + 1 ) {\displaystyle p_{r+1}-p_{r}=\omega (p_{r+2}-p_{r+1})} を示さなければならない。 この条件は以下の様にまとめられる。 ( S − I ) ( I − ω S ) P = 0 {\displaystyle (S-I)(I-\omega S)P=0} または、 ( S − I ) ( S − ω n − 1 I ) P = 0 ( ∵ ω n = 1 ) {\displaystyle (S-I)(S-\omega ^{n-1}I)P=0\quad (\because \omega ^{n}=1)} An-2が正多角形であることは、次のような計算を施すことで示すことができる。 ( S − I ) ( S − ω n − 1 I ) A n − 2 {\displaystyle (S-I)(S-\omega ^{n-1}I)A_{n-2}} = ( S − I ) ( S − ω n − 1 I ) ( 1 − ω ) − 1 ( S − ω I ) ( 1 − ω 2 ) − 1 ( S − ω 2 I ) … ( 1 − ω n − 2 ) − 1 ( S − ω n − 2 I ) A 0 {\displaystyle =(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}} = ∏ j = 1 n − 2 ( ( 1 − ω j ) − 1 ) ⋅ ∏ j = 0 n − 1 ( ( S − ω j I ) ) ⋅ A 0 {\displaystyle =\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}} = ∏ j = 1 n − 2 ( ( 1 − ω j ) − 1 ) ⋅ ( S n − I ) A 0 {\displaystyle =\prod _{j=1}^{n-2}{\Bigl (}(1-\omega ^{j})^{-1}{\Bigr )}\cdot (S^{n}-I)A_{0}} = 0 ( ∵ S n = I ) {\displaystyle =0\quad (\because S^{n}=I)} 幾何中心cAが一致する事を示すには、すべての頂点の相加平均を求めればよい。Aをn個の成分をもつベクトルとして、幾何中心を複素内積によって表すことを考えると、E:=(1/n) (1, 1, ..., 1)として c A = E A {\displaystyle c_{A}=EA} である。式(1)の両辺にEをかけると、 c A j + 1 = E A j + 1 = ( 1 − ω σ j ) − 1 E ( S − ω σ j I ) A j = ( 1 − ω σ j ) − 1 ( 1 − ω σ j ) E A j = E A j = c A j {\displaystyle 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. https://www.heldermann-verlag.de/jgg/jgg01_05/jgg0502.pdf.  ^ 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. http://www.experimentalmath.info/workshop2004/gray-article.pdf 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. https://www.ams.org/journals/bull/1940-46-06/S0002-9904-1940-07259-3/S0002-9904-1940-07259-3.pdf 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. https://www.sciencedirect.com/science/article/pii/0024379583902070.  ^ 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日閲覧。