問題文
$a>0$ を定数とする。$t\geq0$ で定義された実数値関数 $x(t)$ について、以下の微分方程式の初期値問題を考える:
$$
\begin{cases}
\displaystyle x''(t)=-\frac{x(t)}{(1+\lbrace x(t) \rbrace^2)^2} \ \ \ (t\geq0)\\
\displaystyle x(0)=\frac{\sqrt2}{4}, \ x'(0)=a
\end{cases}
$$
(1)$\displaystyle \lim_{t \to +\infty}x(t)=+\infty$ となる $a$ の範囲は、$\displaystyle a \geq \frac {\fbox{ア}\sqrt{\fbox{イ}}}{\fbox{ウ}}$ である。
(2)$\displaystyle a = \frac {\fbox{ア}\sqrt{\fbox{イ}}}{\fbox{ウ}}$ のとき、$\displaystyle x(t)=\frac{3}{4}$ となる $t$ の値は $\displaystyle t = \frac {\fbox{エ}}{\fbox{オカ}}+\frac{\fbox{キ}}{\fbox{ク}}\log2$ である。ただし $\log$ は自然対数とする。
解答形式
ア〜クには、0から9までの数字が入る。同じ文字の空欄には同じ数字が入る。
(1)の答えとして、文字列「アイウ」を半角で1行目に入力せよ。
(2)の答えとして、文字列「エオカキク」を半角で2行目に入力せよ。
ただし、分数はそれ以上約分できない形で、根号の中身が最小になるように答えよ。