問題文
こちらも問題に不備があったため、数値設定を変更いたしました。不備が重なってしまいたいへん申し訳ありません。
正六角形 $ABCDEF$ の線分 $AC, BC, DE$ 上にそれぞれ点 $P, Q, R$ を取ったところ, $PQ \perp BC, PR \perp DE, \angle QAR=60^\circ$ が成立しました. また, 三角形 $APQ$ の外心を $O$, 三角形 $APR$ の外心を $O^\prime$ とし, 三角形 $AOO^\prime$ の外接円と三角形 $APQ$ の外接円の交点を $X( \neq A)$, 三角形$AOO^\prime$ の外接円 と三角形 $APR$ の外接円の交点を $Y( \neq A)$ とすると, $BY=7$ が成立しました. このとき, 線分 $DX$ の長さを求めて下さい.
解答形式
答えは最大公約数が $1$ である正整数 $a,b, c$ によって $\cfrac{\sqrt{b}-c}{a}$ と表されるため, $a+b+c$ の値を半角数字で解答してください.