| For All Solvers
OMC170

OMC170(E) - 提出時の解法(初等解)

ユーザー解説 by pomodor_ap

初等解です. 提出時にはこの解法を想定していました.


 三角形 ABCABC の外接円を Γ\Gamma とし,IE=1,AE=xIE=1, AE=x とする. AI,CIAI, CIΓ\Gamma の交点をそれぞれ M,NM, N とすると,MB=MI,NB=NIMB=MI, NB=NI より M,N,HM, N, H はいずれも BIBI の垂直二等分線上にあり,よって共線. したがって,BNM=BAM=BCM=MBC\angle BNM=\angle BAM=\angle BCM=\angle MBC だから三角形 MHBMHBMBNMBNMEBMEBMBAMBA は相似なので,MH×MN=MB2=ME×MAMH×MN=MB^2=ME×MA より A,N,H,EA, N, H, E は共円. よって ANE=90\angle ANE=90^{\circ} より,AOAO と三角形 ABCABC の外接円の交点を P(A)P(\neq A) とすると,N,E,PN, E, P は共線. ここで,APN=ACN=ICB, AEN=90NAE=90NCM=IMC/2=IBC\angle APN=\angle ACN=\angle ICB, \angle AEN=90^{\circ}-\angle NAE=90^{\circ}-\angle NCM=\angle IMC/2=\angle IBC だから,ANP=90\angle ANP=90^{\circ} と併せ,三角形 IBDIBDAENAENICDICDAPNAPN はそれぞれ相似. よって NE=16y,NP=25yNE=16y, NP=25y とおける. ここで,三角形 ABCABCA\angle A 内の傍心を IAI_A とすると,IE×EIA=BE×CE=NE×PEIE×EI_A=BE×CE=NE×PE より N,I,P,IAN, I, P, I_A は共円. ここで MI=MIA, AMP=90MI=MI_A, \angle AMP=90^{\circ} だから,PI=PIAPI=PI_A である. したがって PIIA=PIAI=PNI\angle PII_A=\angle PI_AI=\angle PNI なので,三角形 PEIPEI と三角形 PINPIN は相似. よって,PI=PE×PN=15y, NA=NI=53.PI=\sqrt{PE×PN}=15y, NA=NI=\dfrac{5}{3}. ところで,MI=MIAMI=MI_A であり,また AE×ME=BE×CE=IE×IAEAE×ME=BE×CE=IE×I_AE より IAE:ME=AE:IE=x:1I_AE:ME=AE:IE=x:1 だから,ME=1x2ME=\dfrac{1}{x-2}. よって 16y×9y=NE×EP=AE×ME=xx216y×9y=NE×EP=AE×ME=\dfrac{x}{x-2} だから,y=x12x2y=\dfrac{\sqrt{x}}{12\sqrt{x-2}} であり,よって NE=16y=4x3x2NE=16y=\dfrac{4\sqrt{x}}{3\sqrt{x-2}} なので,三平方の定理から NE2NI2=EI×EANE^2-NI^2=EI×EA より,x=509x9x18x=\dfrac{50-9x}{9x-18}. よって x2x509=0x^2-x-\dfrac{50}{9}=0 である. z=1xz=\dfrac{1}{x} とすると,求めるものは zz の最小多項式であるから,P(z)=z2+950z950.P(z)=z^2+\dfrac{9}{50}z-\dfrac{9}{50}. よって解答すべき値は 1000179\textbf{1000179}.