三角形に関する幾何学的構成問題
幾何学 において 、 ルモワーヌの問題 は、1868年にフランスの数学者 エミール・ルモワーヌによって提起された 定規とコンパスによる作図 問題である 。 [1] [2]
三角形 の辺に配置された 正三角形 のそれぞれの 頂点を 1 つずつ指定して 、元の三角形を構築します。
この問題はNouvelles Annales de Mathématiques (シリーズ2、巻7(1868)、p 191) の質問864として発表されました。この問題の主な関心事は、 Nouvelles Annales de Mathématiques (シリーズ2、巻8(1869)、pp 40-42)に掲載された ルートヴィヒ・キーペルトによる問題の解決に関する議論に、現在 キーペルト双曲線 として知られる 双曲線 の記述が含まれていたことです 。 [3]
ルートヴィヒ・キーパートの解決策
補題 1 を説明する図。
ルートヴィヒ・キーペルトによるルモワーヌの問題の解決法を示す図
キーパートはいくつかの補題 を証明することによって彼の構成の妥当性を証明した 。 [3] [4]
問題
A 1 、 B 1 、 C 1 を 三角形 の辺に配置された 正三角形 の頂点と し ます。 A 1 、 B 1 、 C 1 が 与えられている場合 、 A、 B、 C を 作成します 。
△
あ
B
C
。
{\displaystyle \triangle ABC.}
補題1
任意の 三角形
△
あ
B
C
、
{\displaystyle \triangle ABC,}
の 3 辺に正三角形を描く場合 、 線分 は 等しく 、 点
△
あ
B
C
1
、
{\displaystyle \triangle ABC_{1},}
P に 集まり 、 線分 が 互いに 作る 角度 は 60° に等しく なり ます 。
△
あ
C
B
1
、
{\displaystyle \triangle ACB_{1},}
△
B
C
あ
1
、
{\displaystyle \triangle BCA_{1},}
あ
あ
1
¯
、
{\displaystyle {\overline {AA_{1}}},}
B
B
1
¯
、
{\displaystyle {\overline {BB_{1}}},}
C
C
1
¯
{\displaystyle {\overline {CC_{1}}}}
補題2
△
あ
1
B
1
C
1
{\displaystyle \triangle A_{1}B_{1}C_{1}}
上で
△
あ
B
C
、
{\displaystyle \triangle ABC,}
と同じ作図を行うと、 3つの正三角形
△
あ
1
B
1
C
2
、
{\displaystyle \triangle A_{1}B_{1}C_{2},}
3つの等しい線分 が得られ、これらも点 P で一致することになります 。
△
あ
1
C
1
B
2
、
{\displaystyle \triangle A_{1}C_{1}B_{2},}
△
B
1
C
1
あ
2
、
{\displaystyle \triangle B_{1}C_{1}A_{2},}
あ
1
あ
2
¯
、
{\displaystyle {\overline {A_{1}A_{2}}},}
B
2
B
2
¯
、
{\displaystyle {\overline {B_{2}B_{2}}},}
C
2
C
2
¯
、
{\displaystyle {\overline {C_{2}C_{2}}},}
補題3
A、B、Cは それぞれ の 中点です 。
あ
1
あ
2
¯
、
{\displaystyle {\overline {A_{1}A_{2}}},}
B
2
B
2
¯
、
{\displaystyle {\overline {B_{2}B_{2}}},}
C
2
C
2
¯
。
{\displaystyle {\overline {C_{2}C_{2}}}.}
解決
正三角形を 線分
あ
1
B
1
¯
、
{\displaystyle {\overline {A_{1}B_{1}}},}
あ
1
C
1
¯
、
{\displaystyle {\overline {A_{1}C_{1}}},}
上
B
1
C
1
¯
{\displaystyle {\overline {B_{1}C_{1}}}}
に それぞれ 記述 し ます 。
△
あ
1
B
1
C
1
、
{\displaystyle \triangle A_{1}B_{1}C_{1},}
△
あ
1
C
2
B
2
、
{\displaystyle \triangle A_{1}C_{2}B_{2},}
△
B
1
C
1
あ
2
、
{\displaystyle \triangle B_{1}C_{1}A_{2},}
あ
1
あ
2
¯
、
{\displaystyle {\overline {A_{1}A_{2}}},}
B
2
B
2
¯
、
{\displaystyle {\overline {B_{2}B_{2}}},}
C
2
C
2
¯
{\displaystyle {\overline {C_{2}C_{2}}}}
の中点は、それぞれ、 必要な三角形の 頂点 A、B、Cです。
その他の解決策
1868年から1869年にかけて、キーパート以外にも、ウィリエール氏(アルロン校)、ブロカール氏、クラヴェリー氏(クレルモン校)、ジョッフル氏(シャルルマーニュ校)、ラシーヌ氏(ポワティエ校)、オージェ氏(カーン校)、V.ニエビロウスキー氏、L.アンリ・ロレズ氏など数名が解答を提出した。キーパートの解答は他の解答よりも完成度が高かった。 [3]
参考文献
^ Weisstein, Eric W. 「Lemoine の問題」。MathWorld—A Wolfram Web Resource より 。2012 年 5 月 9 日 閲覧 。
^ Wetzel, John E. (1992年4月). 「ナポレオンの定理の逆」 (PDF) . The American Mathematical Monthly . 99 (4): 339–351. doi :10.2307/2324901. 2014年4月29日時点のオリジナル (PDF) よりアーカイブ。 2012年 5月9日 閲覧 。
^ abc Kiepertがフランス語で説明した建設の詳細はここで読むことができます。[1]
^ Julio Gonzalez Cabillon. 「Kiepert の双曲線」. 数学フォーラム . Goodwin College of Professional Studies . 2012 年 5 月 9 日 閲覧 。