| For All Solvers
OMC104

OMC104(F)

ユーザー解説 by number_cat

公式解説より計算は重いですが, 思いつきやすいと思います. (おそらく)

ADADFEFE の交点を PP , BABAFEFE の交点を QQ とする. AE=xy,EC=x(1y)AE=xy, EC=x(1-y) とおく. このとき, AB=xAB=x である. また, ADBCAD \parallel BC より AE:EC=PE:EF=DE:EBAE:EC=PE:EF=DE:EB であり, 以下がわかる. EB=DE×ECAE=88yyPE=EF×AEEC=3y1yEB=DE\times \frac{EC}{AE}=\frac{8-8y}{y},PE=EF\times \frac{AE}{EC}=\frac{3y}{1-y} また, BAEBEQ\triangle BAE \sim \triangle BEQ より以下がわかる. BQ=BE×BEBA=(88y)2xy2EQ=AE×BEBA=88yBQ=BE\times\frac{BE}{BA}=\frac{(8-8y)^2}{xy^2},EQ=AE\times\frac{BE}{BA}=8-8y ADBCAD \parallel BC より, QB:QF=AB:PFQB:QF=AB:PF , 余弦定理より AB2+AB×AE+AE2=EB2AB^2+AB\times AE+AE^2=EB^2 である. {(88y)2xy2×31y=(118y)×xx2+x2y+x2y2=(88y)2y2\begin{cases} \dfrac{(8-8y)^2}{xy^2}\times \dfrac{3}{1-y}=(11-8y)\times x \\ x^2+x^2y+x^2y^2=\dfrac{(8-8y)^2}{y^2} \end{cases}

この連立方程式を 0<y<10\lt y\lt 1 に注意して解くことで, (x,y)=(201339,25)(x, y)=(\dfrac{20}{13}\sqrt{39}, \dfrac{2}{5}) がわかる.
実際に解くときは x2=3(88y)2y2(118y)(1y)=(88y)2y2(1+y+y2)x^2=\dfrac{3(8-8y)^2}{y^2(11-8y)(1-y)}=\dfrac{(8-8y)^2}{y^2(1+y+y^2)} と変形して yy の二次方程式を解くとよいだろう.