ナポレオンの問題

ウィキペディア

ナポレオンの問題

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/12/26 20:30 UTC 版)

ナポレオンの問題（ナポレオンのもんだい、英：Napoleon's problem）とは、有名なコンパスのみによる作図問題の一つである。

一つの円とその中心が与えられているとき、コンパスのみを使ってその円を四つの等しい弧に分割する、という問題である。 ナポレオン・ボナパルトは、数学愛好家としても知られているが、ナポレオン自身がこの問題を創作したのか、あるいは単に解いたのみに過ぎないのかは不明である。

ナポレオンの友人であるイタリアの数学者ロレンツォ・マスケローニは、定規とコンパスで作図可能な図形は、コンパスのみで作図可能であることを示した（モール-マスケローニの定理）。 これは、マスケローニに先立ち、モール（Georg Mohr）がその著作Euclides Danicus の中で1672 年で示したが、その本は 1928 年に再発見された。

上に示したナポレオンの問題は、中心が未知の円が与えられたとき、コンパスのみを用いて四つの等しい弧に分割するという真のナポレオンの問題よりも簡単である。 以下では、真のナポレオンの問題の解とその略証を記す。

所与の円の中心の作図

${\mathcal {C}}$

円 ${\mathcal {C}}$ 上の任意の点 X を中心に取り、 ${\mathcal {C}}$ の中心 O を通る弧を描き、 ${\mathcal {C}}$ との二交点を V と Y とする。 同様に、Y を中心に取り、O の中心を通る弧を描き、 ${\mathcal {C}}$ との X 以外の交点を Z とする。 OV、OX、OY、OZ、VX、XY、YZ は、すべて円 ${\mathcal {C}}$ の半径 r に等しい。

V を中心とし Y を通る弧と、Z を中心とし X を通る弧を描き、交点を T とする。 VY、VT、XZ、ZT は、 ${\sqrt {3}}r$ に等しい。 △OVT で、∠VOT=90°、OV=r、VT= ${\sqrt {3}}r$ だから、OT= ${\sqrt {2}}r$ である。

中心 Z、半径 OT の弧と円 ${\mathcal {C}}$ との交点を U、W とする。 四角形 UVWZ は正方形であり、弧 UV、VW、WZ、ZU の長さは ${\mathcal {C}}$ の周の四分の一に等しい。