7

モーリーの定理を証明する

498
0

自分で考えた内容なので参考文献が存在しません

謎の角度を急に設定するような同一法を避けた,初等的な証明を考えました.

モーリーの定理

三角形の3つの内角の3等分線の,辺に近い2つずつの交点は,正三角形の頂点をなす.

三角形ABCの内角の3等分線の,辺に近い2つずつの交点を図のようにI1,I2,I3とし,外角の3等分線についても同様に,交点をJ1,J2,J3とする.また,直線BI1,J1Cの交点をP1,直線CI1,J1Bの交点をP2とし,同様に点Q1,Q2,R1,R2を定める.BAI3=I3AI2=I2AC=α,CBI1=I1BI3=I3BA=β,ACI2=I2CI1=I1CB=γとする.

点の定義 点の定義
簡単な角度計算によりBP1CBAI3Q2AC,CP2BCAI2R1AB,BR2ABCI1Q1CA
がわかり,B,C,P1,P2C,A,Q1,Q2A,B,R1,R2の共円もわかる.

P1P2CJ2,BJ3の交点をJ2,J3とする.このときB,C,P1,P2の共円からJ2P1C=J1BC
J2CP1=J1CBからJ2CP1J1CB P1C:J2C=BC:J1C
また,P1CB=J2CJ1=120+γからP1CBJ2CJ1
同様にP2BCJ3BJ1

J3BJ1+J1P1J3=(120+β)+(60β)=180
よりB,J1,P1,J3は共円.J3P1B=J3J1B=γ
AR2B=J3R2B=γ=J3J1BよりB,J1,R2,J3は共円.よってB,J1,P1,R2,J3は共円.
R2J1J3=R2P1J3=R2P1J1J2P1C=(180R2BJ1)J1BC=60,
J2J1J3=BJ1CBJ1J3CJ1J3=60よりR2J1J3=J2J1J3=60
からJ1,J2,R2は共線

A,B,R1,R2の共円からABJ3=J3R2R1=60β
J3R2J1=J3P1J1=60β からJ3R2R1=J3R2J1
よってR2,J1,R1は共線   J1,J2,R2の共線からR1,J1,J2,R2は共線
BJ1R1=180BJ1J2=120γ
BJ1R1BJ3AからBJ3A=120γ
ここで,AJ3B=AJ3B=120γ,ABJ3=ABJ3からJ3=J3
同様にQ2,J1,J3,Q1は共線で,J2=J2

簡単な計算により,J1J2J3,J1R1Q2,J2P1R2,J3Q1P2は正三角形であることがわかる.

AI3BACQ2からAI3:AB=AC:AQ2,AI2CABR1からAI2:AC=AB:AR1
この2式からAI3AR1=AI2AQ2を得る.I3I2R1Q2    同様にI1I3P1R2, I2I1Q1P2
R1Q2J3J2, P1R2J1J3, Q1P2I2I1からI3I2J3J2, I1I3J1J3, I2I1J2J1
J1J2J3は正三角形なのでI1I2I3も正三角形.よって示された.

完成図 完成図

完成図,めちゃくちゃ美しくないですか.
証明の途中に発見した性質を紹介しようと思っていましたが多すぎて断念...

改行とか空白とか適当にやったせいで読みにくくて申し訳ない

投稿日:2021321
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中