3

JMO2024本選4(幾何)

820
0

かばたんです. 初めまして. JMO2024本選がついこの前実施されました. 自分は4番で誤読をして本来なら解けていたはずのこの問題を落とし, 春合宿に行けるかかなり危うい状況です. 数学のモチベも特にないので, 戒めを含め解説でも書こうかなと思い立ちました.(実は初投稿です)

JMO2024本選4の解説

とりあえず解説を書いていこうと思います.

JMO2024本選4

AB<ACを満たす鋭角三角形ABCがあり, その外心をO, 三角形ABCの外接円のAを含まない方の弧BCの中点をMとする. 辺ABB側の延長線上の点DBD=BMを満たした. また, AC(端点を除く)上の点ECE=CMを満たした. 三角形ABEの外接円と三角形ACDの外接円がA出ない点Xで交わっているとき, 線分DEの垂直二等分線は三角形AOXの外接円に接することを示せ.

問題の図 問題の図

(Geogebraを使うと明らかに見えてしまいますが)コンパスで丁寧に作図すれば, 以下のような予想が立つはずです.

  • DEの垂直二等分線はMを通る
  • 問題となる接点は, 三角形ABCの外接円と三角形AOXの外接円の交点である

接点をTなどと適当におけば, 以下の予想も立てられると思います(初見では気づきにくいと思いますが)

  • 四角形AXTOAXOTなる等脚台形である

まずはこれらを示すことを目標にしていきます. 実際一つ目の予想は比較的簡単に証明できます.

A,D,E,Mは同一円周上にある. さらにDEの垂直二等分線はMを通る

内接四角形の定理よりMBD=MCEであり, BD=BM=CM=CEだったのでBMDCMEとなります. 従ってDM=MEであり, AMBACの二等分線だったことからA,D,E,Mの共円がわかります. またDEの垂直二等分線がMを通ることもここからただちにわかります.


予想が一つ証明できました. 嬉しいですね. しかし二つ目以降はなかなかうまくいきません(簡単な方法があるのかもしれませんが).
これは点Tがまだかなり扱いにくいところから来ています. ということで, 点Tをもう少し眺めてみます. すると, Tが三角形ADEの外心になるのではないかと思えてきます(この点がDEの垂直二等分線上にあるので, 素直に外心を考えます). 実際に作図をして確認してみるといいと思います.

Tは三角形ADEの外心である

!FORMULA[46][37236][0]は三角形!FORMULA[47][35250694][0]の外心? Tは三角形ADEの外心?

なんだか正しそうですね. ではこれを正当化するにはどうすればいいでしょうか? 以下の二つを示せばいいわけです.

  • 三角形ADEの外心をOとすれば, Oは三角形ABCの外接円上にある.
  • 四角形AXOOは等脚台形をなす

これさえわかればangle-chasingで適当に終わりそうですね(実際終わります). 一つ目の証明の方が素直なのでそっちから.

Oは三角形ABCの外接円上にある

同一法で示します. つまり, OMの垂直二等分線とABCの外接円の交点Pをとり, O=Pをいいます. Pの定義よりAP=PMなので2ADM=APMを言えばいいわけですが, これはかなり簡単にわかります(補題1が重要な役割を果たしています).
AOP=MOP=MBD=ACBよりOAP=OMP=BMDが従い示されました.


さて, ここまでは基本的な内容でできるわけですが, 最後の補題の証明は少し難しいです(僕も試験中この証明に苦労しました. 後述). ここでBD=CEが生きてきます. かなり綺麗でめっちゃ好きです.

四角形AXOOは等脚台形である

三角形ABE,ACDの外心をO1,O2とします. AXはこれらの外接円の根軸でありO1O2AXとなるので, 四角形OO1OO2が菱形になることを言えばいいとわかります(これを言えば, O1O2OOよりAXOOであることと, O1O=O1Oことより主張が従います. O1は三角形ABEの外心だったのでO1A=O1Xが成り立つことに注意.).
さて, AB,AD,AC,AEの垂直二等分線をl1,l2,l3,l4としましょう. 明らかにl1l2かつl3l4なのでOO1OO2が平行四辺形になるとわかります. つまりOO1=OO2を示せば十分ですが, これはl1l2の距離とl3l4の距離が等しいことと同値です(詳細は省きます). 一方, よく考えればl1l2の距離はABの中点とADの中点の距離なので, 12(ADAB)=12BDに等しいです. 同様にl3l4の距離は12CEとなるのでBD=CEより主張が示されました.


綺麗ですね〜. 自分が試験中この証明を思いついたときには感動したんですけども(笑). さっきも言いましたけどまるで死んでいたように思えるBD=CEがめっちゃ効いてくるのが好きなポイントです.
さてあとは消化試合です. 接弦定理よりOAT=OTMを示せばいいわけですが, OAT=OTA=OTMよりこれは簡単に従います!よってこの問題を解くことができました.

誤読について

ここからはたぶん多くの受験者がやらかし, 僕も試験中にやってしまった誤読についてです. 問題文を載せたときに「辺」が強調されていたことから察していたと思いますが, 以下のような誤読をしてしまいました.

JMO2024本選4の問題...?

AB<ACを満たす鋭角三角形ABCがあり, その外心をO, 三角形ABCの外接円のAを含まない方の弧BCの中点をMとする. 辺ABB側の延長線上の点DBD=BMを満たした. また, ACC側の延長線上の点ECE=CMを満たした. 三角形ABEの外接円と三角形ACDの外接円がA出ない点Xで交わっているとき, 線分DEの垂直二等分線は三角形AOXの外接円に接することを示せ.

これは接線です これは接線です

図を見ればわかると思いますが, この誤読が頻発した原因はぱっと見主張が成立している点にあります. コンパス作図でこれを接していないと見抜ける人はいないでしょう. さらにA,B,Dの位置関係とA,C,Eの位置関係が対称である点, A,M,Xが共線のように見え図形的性質も比較的良さそうに思える点がその誤読を後押ししています. 実際にA,M,Xは共線であり, 三角形XBDXECは合同になっていました. また, 先ほどの解説でかなり重要であった四角形AOOXも, なんと等脚台形になります(試験中の僕もこのことに気がつきました). せっかくなのでその辺に触れていこうと思います.

A,M,Xは共線である

実は問題を解く上ではそんなに関係ないですが, せっかくなので証明します. まず内接四角形の定理よりXBD=XCE,XDB=XCEであり, BD=CEだったのでXBDXECが成り立ちます. 従ってBX=EXとなるのでAXBACの二等分線になりますが, AMもそうだったのでこれらは一致します. よって示されました.

Oを三角形ADEの外心とする. 四角形AOOXは等脚台形である

先ほどの解説での補題3と全く同じ証明で示せます.


ここまでを導いた僕は, あとは適当にangle-chasingをすれば終わるだろうと思っていました. しかし全然解けない!そりゃそうです. そもそも主張が間違っているので. そうこうしているうちに時間がなくなり, 上の内容を解答用紙に書いたところで試験が終わりました. 終了直後は誤読に気づいていないので, まあ半分はもらえるだろうと考えていたのを覚えています.(その後たけまさとHi_mathと話しているときに誤読に気がついて絶望しました)

終わりに

誤読には気をつけましょう. この誤読がなければ4番を普通に倒せて春には余裕を持って行けていたと思うのでかなり悔しいです. (図が間違えているので厳しいと思いますが)なんとか部分点が入って春合宿に奇跡的に行けることを期待するばかりです.

投稿日:2024213
OptHub AI Competition

この記事を高評価した人

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

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

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

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

投稿者

KABATAN
KABATAN
4
1278

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. JMO2024本選4の解説
  2. 誤読について
  3. 終わりに