問題文
$4$ 点 $\mathrm{A,B,C,D}$ が $\mathrm{AB=BC=CD}=1,\mathrm{DA}=2$ を満たし、さらに線分 $\mathrm{BC}$ と線分 $\mathrm{DA}$ が点 $\mathrm{P}$ で交わっている。線分 $\mathrm{AP}$ の長さが最大となるとき、
$$
\mathrm{AC}=\frac{\sqrt{\fbox{アイ}-\sqrt{\fbox{ウエオ}\ }+\sqrt{\fbox{カキクケ}+\fbox{コサ} \sqrt{\fbox{シスセ}\ }\ }\ }}{\fbox{ソ}}
$$
である。ただし、$\mathrm{XY}$ で線分 $\mathrm{XY}$ の長さを表すものとする。
ヒント
必要であれば以下の事実を用いてよい。
・実数 $a,b,c$(ただし $a\neq-64$ )について、$\displaystyle p=\frac{b+c-a^2}{a+64},q=64p+a^2-b$ とおくと、$x$ についての恒等式
$$
1024x^4+64ax^3+bx^2+2cx+p^2-q=(32x^2+ax+p)^2-q(x-1)^2
$$
が成り立つ(これは、右辺を展開して係数比較することで簡単に確かめられる)。
解答形式
ア〜ソには、0から9までの数字または「-」(マイナス)が入る。
文字列「アイウエオカキクケコサシスセソ」を半角で1行目に入力せよ。
ただし、分数はそれ以上約分できない形で、かつ根号の中身が最小になるように答えよ。