1

トリリウムの定理で瞬殺せよ.

810
0

この記事は特に深掘りしていません.

目次

1.トリリウムの定理とは
2.問題(2問だけ)
3.問題2の解答
4.終わり

トリリウムの定理とは

 ざっくりと言えば,内心と外接円,傍心を絡めた定理です.

トリリウムの定理

ABCにおいて,内心IAの傍心をIA,外接円ωと直線AIの交点をDとする.このとき,4I,B,C,IAは点Dを中心とした同一円周上に存在する.尚,線分IIAωの直径となる.

証明は こちら

トリリウムの定理 トリリウムの定理
 最初この定理を見たとき,こんな定理どこで使うんだよ!と思っていました.しかし,OMC132(F)で出題されてしまいました(泣).まさかの4bで黄diffというすさまじい事態が起きてしまいました.これ以降,なぜかトリリウムの定理を知っている人たちが急増しました.

問題(2問だけ)

OMC132(F)

5A,B,C,D,Eはこの順で同一直線上に並んでおり,次を満たします.
AB=7,BC=3,CD=4,DE=6
 平面上に相異なる2F,Gをとると,3E,F,Gは同一直線上になく,三角形EFGの内心はDになり,三角形EFGの外接円ωBを通りました.直線AFωの交点のうちFでない方をHとします.HC=8のときFD2を求めて下さい.
 ただし,答えは互いに素な正の整数a,bを用いてabと表されるので,a+bを解答して下さい.

 解答は こちら

2013 Harvard-MIT Mathematics Tournament Geometry Team 6

Let triangle ABC satisfy 2BC=AB+AC and have incenter I and circumcircle ω. Let D be the intersection of AI and ω (with A,D distinct). Prove that I is the midpoint of AD.

 この問題はそれなりの(?)解答を書こうと思います.問題文の解読は自力で頑張ってください.

問題2の解答

 図は以下のよう.
問題2 問題2
 Aの傍心をIAとすると,トリリウムの定理より,4B,I,C,IAは同一円周上に存在し,Dはその円の中心となる.
 点を以下の図のようにおく.(図3)
問題2 問題2
 AIKAIAHは相似であるので,3AK=AHを示せばよい.AK=x,AC=x+y,BC=y+z,BA=z+xとなるように正実数x,y,zを定めると(Ravi変換),問題文の条件からy+z=2xがわかる.よって,AH=AB+BC+CA2=2(x+y+z)2=3xがわかる.
 よって3AK=AHとなり,トリリウムの定理を踏まえると点Iは線分ADの中点であることが示された.(証明終)

終わり

 トリリウムの定理は忘れた頃にやってくる恐ろしい定理です(偏見).ただ,知っていると一発なので覚えておくといいかもしれません.

余談なのですが,わざわざRavi変換する必要なかったですね🙂

投稿日:20221219
OptHub AI Competition

この記事を高評価した人

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

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

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

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

投稿者

pqr_mgh
6
3227

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. 目次
  2. トリリウムの定理とは
  3. 問題(2問だけ)
  4. 問題2の解答
  5. 終わり