1辺が10の正三角形ABCがある.
線分AB上に $AD=3$を満たす点D, 線分BC上に $BE=3$を満たす点Eがある.
線分DEの垂直二等分線と直線ACの交点を $F$とし, 三角形ABCの外接円と交わる点のうち, 直線ABに関して $C$ と反対側にある点を $K$ とする.
直線EFと直線CKの交点を $L$とするとき, $EL$の長さを求めよ. なお, 答えは $\sqrt{a}-b$で表されるため, $a+b$を求めよ.
半角数字で入力してください。
この問題を解いた人はこんな問題も解いています