$AB\lt AC$ なる鋭角三角形 $ABC$ において,角 $A$ の二等分線と直線 $BC$ の交点を $D$ ,線分 $BC$ の垂直二等分線と直線 $AC$ の交点を $E$ とします.このとき,三角形 $CDE$ の周長は $20$ であり,さらに
$$AD=DC,AE=6$$
が成立しました.線分 $AB$ の長さを求めてください.
答えは正整数 $a,b$ を用いて $\sqrt{a}-b$ と表されるので,$a+b$ の値を解答してください.
この問題を解いた人はこんな問題も解いています