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