| For All Solvers
OMC233

OMC233(F) - 別解

ユーザー解説 by UNOwen

 公式解説と同様にsymmedianがわかる. AICI=BI2CI2\frac{AI}{CI}=\frac{BI^2}{CI^2} なので,AI=1,CI=xAI=1,CI=x とおくと BI=xBI=\sqrt{x} となる.
 また,CIXYCI\parallel XY より IBY=CIY=90\angle IBY=\angle CIY=90^\circ なので CY=x3x1CY=\sqrt{\frac{x^3}{x-1}} がわかる.
 さらに,CIXY,CX=IX,IYX=90CI\parallel XY,CX=IX,\angle IYX=90^\circ より XY=x2XY=\frac{x}{2} なので,直線 BCBC と直線 IXIX との交点を PP とすると CPPY=IPPX=2\frac{CP}{PY}=\frac{IP}{PX}=2 となる.
 一方, CAP=CYX=YCI\angle CAP=\angle CYX=\angle YCI なので,余弦定理より CX=x3+3x24x4CX=\sqrt{\frac{x^3+3x^2}{4x-4}} がわかり,これと APIP=CP2AP\cdot IP=CP^2 から x3x2x3=0x^3-x^2-x-3=0 を得る.