| For All Solvers
OMC160 (for experts)

OMC160(F)

ユーザー解説 by sato2718

 ABCABC の外接円の半径 R=65R=65 を示す.
 MOMOABCABC の外接円の交点を K(M)K(\neq M)AONAON の外接円を ω\omega とする.三角形 IMKIMK で,AAMM から IKIK に落とした垂足,OOMKMK の中点, NNMIMI の中点なので,ω\omegaIMKIMK の九点円である.IKIK の中点を TT とすると,TTω\omega を通る.方べきの定理より,OI×IX=AI×ITOI\times IX=AI\times ITなので,IT=40IT=40IK=2IT=80IK=2IT=80.また方べきを使うと,AI×IK=R2IO2AI\times IK=R^2-IO^2が成り立つので,R=65R=65