一辺の長さが $5$ の正方形 $ABCD$ の辺 $AB$ 上(端点は除く)に点 $P$ をとります.三角形 $ACP$ の外接円と三角形 $BDP$ の外接円が $P$ でない点 $Q$ で交わり,$DQ=4$ となりました.このとき,線分 $PQ$ の長さを求めてください.ただし,求める長さは,互いに素な正整数 $a,c$ および平方因子をもたない正整数 $b$ を用いて $\dfrac{a\sqrt{b}}{c}$ と表されるので,$a+b+c$ の値を解答してください.
半角数字で入力してください。
この問題を解いた人はこんな問題も解いています