|
===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ ー ： [ちょうおん] (n) long vowel mark (usually only used in katakana) ・ 定理 ： [ていり] 【名詞】 1. theorem 2. proposition ・ 理 ： [り] 【名詞】 1. reason
数学において、モール–マスケローニの定理（モール–マスケローニのていり、英：Mohr–Mascheroni theorem）とは、定規とコンパスで作図可能な任意の幾何学的作図問題は、コンパスのみでも可能であることを述べるものである。この結果は、最初、が1672年に発表したが〔Georg Mohr, ''Euclides Danicus'' (Amsterdam: Jacob van Velsen, 1672)〕、その証明は1928年になるまで忘れ去られていた〔Hjelmslev, J (1928) Om et af den danske matematiker Georg Mohrudgivet skrift ''Euclides Danicus'', udkommet i Amsterdam i 1672, ''Matematisk Tidsskrift'' B , pages 1-7〕〔Schogt, J H (1938) Om Georg Mohr's ''Euclides Danicus'', ''Matematisk Tidsskrift'' A , pages 34-36〕。この定理は、が1797年に独立して発見した〔Lorenzo Mascheroni, ''La Geometria del Compasso'' (Pavia: Pietro Galeazzi, 1797)〕。 == 概要 == 18 世紀に、イタリアの幾何学者・詩人のマスケローニ（1750～1800）は、与えられた条件と要件が点で表される限り、任意のユークリッド幾何の作図は、コンパスのみで作図可能であるという驚くべき事実を発見した。当然ながら、直線はコンパスで描くことができないが、ユークリッド幾何で作図可能な直線は、コンパスでその直線上の二点を指定することにより、決定できる。 この発見は、1797 年にマスケローニが著した Geometria del compasso に発表された。1890 年、ヴィーンの幾何学者アウグスト・アドラー（August Adler、1873～1950）は、新しい証明を公表した。 ところが、驚くべき事態が起こった。その直ぐ後、1928 年に、デンマークの Johannes Hjelmslev（1873～1950）は、コペンハーゲンの書店で、モールが1672年に著した Euclides Danicus に遭遇した。Hjelmslev がこの本を調べたところ、異なる解によるマスケローニの発見が含まれていることが判明したのである。 モールとマスケローニの証明は、かなり複雑であるが、20 世紀後半にはさらに簡明な証明が幾つか発見された。 定規とコンパスで可能な作図において、すべての新しい点は、 # 二つの円の交点 # 円と直線の交点 # 二つの直線の交点 のいずれかであり、作図は、これらの有限回の過程から成り立つ。 二つの円の交点は、明らかにコンパスのみで作図可能であるが、同定理は、二番目と三番目もコンパスのみで作図できることを証明することにより、定規とコンパスで可能な任意の作図問題が、コンパスのみで作図できることを示すものである。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「モール–マスケローニの定理」の詳細全文を読む スポンサード リンク
|