[D] ひっくり返したれやぁ！

問題文

$n=0,1,\cdots$ に対し，$I_n$を
$$
I_n=\sum_{k=0}^{\infty}\frac{1}{2^{k}k!(2n+2k-1)!!}
$$で定める。ただし $(-1)!!=1$ とする。この級数は収束することが知られている（例えば，ダランベールの判定法を適用すればよい）。特に
$$
I_0+I_1=\fbox{ア}
$$である。また，$\{I_n\}$ は漸化式
$$
I_{n-1}-I_{n+1}=(\,\fbox{イ}\,n-\fbox{ウ}\,)I_n\quad(n=1,2,\cdots)
$$を満たし
$$
\lim_{n\to\infty}\frac{I_{n+1}}{I_n}=\fbox{エ}
$$が成り立つ。これらの結果を用い，漸化式を変形すると
$$
1+\cfrac{1}{3+\cfrac{1}{5+\cfrac{1}{7+\cfrac{1}{\ddots}}}}=\frac{\fbox{オ}^{\fbox{カ}}+\fbox{キ}}{\fbox{ク}^{\fbox{ケ}}-\fbox{コ}}
$$が得られる。ただし $\fbox{オ}\neq\fbox{キ}$ とする。

注意

自然数 $n\geq 1$ に対し，$n!!$ は $1$ 個とばしの階乗を表す。例えば，$n$ が奇数のとき
$$
n!!=n(n-2)(n-4)\cdots 3\cdot 1
$$である。

解答形式

空欄 $\fbox{ア}$ 〜 $\fbox{コ}$ には，半角数字 0 - 9 ，記号 - ，円周率 π ，自然対数の底 e のいずれかが当てはまります。$\fbox{ア}$ 〜 $\fbox{コ}$ に当てはまるものを改行区切りで入力してください。

問題文

$\displaystyle f(x)=\int_{0}^{1}\frac{(1+xt^2)-e^{xt^2}}{t\cdot e^{xt^2}}dt$とおく。
1 $\displaystyle \lim_{x \to 0}\frac{f(x)}{x^p}$が有限値となる$p$とその極限値$\alpha$を求めよ。
2 $\displaystyle \lim_{x \to \infty}\frac{f(x)}{(\log{x})^q}$が有限値となる$q$とその極限値$\beta$を求めよ。

解答形式

$p=\fbox{ア}$
$\alpha=\displaystyle-\frac{\fbox{イ}}{\fbox{ウ}}$
$q=\fbox{エ}$
$\beta=\displaystyle-\frac{\fbox{オ}}{\fbox{カ}}$
である。$\fbox{ア}$から順に1行ごとに答えよ。

問題文

$n$ を正の整数とするとき，以下の条件を満たす三角形の総数 $T_n$ を求めなさい。ただし，互いに合同であるような $2$ つの三角形は区別しない。

• 条件：三角形の辺の長さはすべて $n$ 以下の整数である。

例えば，$n=1$ のときには，辺の長さが $1$ の正三角形を作ることができる。これ以外に条件を満たすような三角形は存在しない。よって $T_1=1$ である。

$n$ が奇数のとき

$$
T_n=\frac{\fbox{ア}}{\fbox{イウ}}n^3+\frac{\fbox{エ}}{\fbox{オ}}n^2+\frac{\fbox{カ}}{\fbox{キク}}n+\frac{\fbox{ケ}}{\fbox{コ}}
$$

である。

解答形式

空欄 $\fbox{ア}$ 〜 $\fbox{コ}$ には，半角数字 0 - 9 ，記号 - のいずれかが当てはまります。$\fbox{ア}$ 〜 $\fbox{コ}$ に当てはまるものを改行区切りで入力してください。分数は既約分数の形で答えてください。

問題文

$f:{\mathbb R} \rightarrow {\mathbb R}$ は微分可能で、任意の $x,y \in {\mathbb R}$ に対して

$$
f(x+y)+f(x)f(y)=f(xy+1)
$$

を満たすとする。以下の空欄を埋めよ。

⑴ $f(0)=\fbox{アイ}$ または $f(0)=\fbox{ウ}$ が成り立つ。また、$f(0)=\fbox{アイ}$ のとき $f(1)=\fbox{エ}$ で、このとき $x \in {\mathbb R}$ を固定するごとに極限

$$
f'(x)=\lim_{h\to 0}\frac{f(x+h)-f(x)}{h}
$$

を考えるとロピタルの定理の仮定をすべて満たしていることがわかる。よって同定理を用いて $f$ が満たす微分方程式を導くことができる。

⑵ $f$ が満たす微分方程式を解くことで、$f$ をすべて決定できる。特に $f(23)$ がとり得る値は $\fbox{オ}$ 通りあり、それらの値の総和は $\fbox{カキク}$ である。

解答形式

ア〜クには、0から9までの数字または「-」(マイナス)が入る。
⑴の答えとして、文字列「アイウエ」をすべて半角で1行目に入力せよ。
⑵の答えとして、文字列「オカキク」をすべて半角で2行目に入力せよ。

問題文

次の文章の空欄を埋めてください。ただし、以下の文章全てにおいて$x>0$とします。
$(1.1)$
$f(x)=x+4x^{-2}$の最小値を、微分を用いて求めよう。まず、
$$f'(x)=\fbox ア-\frac{\fbox イ}{x^3}$$である。$f'(x)$の符号は$x=\fbox ウ$の前後でのみ変化するから、$f(x)$は$x=\fbox ウ$で極値をとり、さらにそれが最小値であることが分かる。したがって、$f(x)$の最小値は$\fbox エ$である。

この問題は$(1.2)$に示すような解法が知られている。

$(1.2)$
相加相乗平均の関係式を用いて$f(x)$の最小値を求める。$a_1+a_2=1$を満たす$0$以上の実数$a_1,a_2$を用いて、
$$f(x)=a_1x+a_2x+\frac{4}{x^2}\ge3\left(a_1x\cdot a_2x\cdot\frac{4}{x^2}\right)^{\frac 13}=3(4a_1a_2)^{\frac 13}$$とする。いかなる$a_1,a_2$の組に対してもこの不等式は成立する。一方で、等号を成立させる$x$が存在するには、$a_1x=a_2x$でなければならないから、$a_1=a_2$となる。このとき、等号成立条件
$$a_1x=a_2x=\frac{4}{x^2}$$を満たす$x$は存在して、その値は$x=\fbox ウ$で、不等式の右辺の値は$\fbox エ$となり、最小値が得られる。

$(2)$
$g(x)=x+3x^{-1}+x^{-2}$の最小値を、$(1.2)$の解法に準じて求めよう。
$(1.2)$中の議論と同様に、等号成立条件を考えれば、同類項の係数（前問では$a_1,a_2$にあたる）が異なってはならないと言える。したがって、$3$つの自然数$b_1,b_2,b_3$を用いて、$$g(x)=b_1\cdot \frac{x}{b_1}+b_2\cdot\frac{3}{b_2x}+b_3\cdot\frac{1}{b_3x^2}$$と考えることにする（即ち、$b_1$個の$x/b_1$、$b_2$個の$3/b_2x$、$b_3$個の$1/b_3x^2$の和と考える）。相加相乗平均の関係式を適用したときに、累乗根の中身が定数となるには、$b_1=\fbox オb_2+\fbox カb_3$であればよい。等号成立条件は$$\frac{x}{b_1}=\frac{3}{b_2x}=\frac{1}{b_3x^2}$$である。中辺と最右辺の等式から、$x=b_2/(3b_3)$であり、これと最左辺・最右辺の等式から、$$\frac{b_2}{3b_3\left(\fbox オb_2+\fbox カb_3\right)}=\frac{9b_3}{b_2^2}$$整理して、$$b_2^3-\fbox{キク}b_2b_3^2-\fbox{ケコ}b_3^3=0$$この式を解くと、$b_2/b_3=\fbox サ/\fbox シ$を得られるので、$b_1:b_2:b_3=\fbox ス:\fbox セ:\fbox ソ$であれば良いことが分かる。これより、$$g(x)\ge\left(b_1+b_2+b_3\right)\left(\left(\frac{x}{b_1}\right)^{b_1}\left(\frac{3}{b_2x}\right)^{b_2}\left(\frac{1}{b_3x^2}\right)^{b_3}\right)^{\frac{1}{b_1+b_2+b_3}}=\frac{\fbox{タチ}}{\fbox ツ}$$であり、$x=\fbox テ$で等号が成立して、最小値となる。

解答形式（要注意!）

以下のこと（特に2つ目）に注意して解答してください。

・$\fbox ア～\fbox テ$には$0$以上$9$以下の整数が入ります。
・式の係数・分母の空欄$\left(\fbox オ・\fbox カ・\fbox シ・\fbox ツ\right)$には$1$が入る可能性もあります。
・$\fbox ス～\fbox ソ$は、$\fbox ス+\fbox セ+\fbox ソ$が最小となるようにしてください。また、分数は既約分数にしてください。

文字列アイウエを$1$行目
文字列オカキクケコを$2$行目
文字列サシスセソを$3$行目
文字列タチツテを$4$行目
に入力して解答してください。

問題文

$n$ を自然数とする。置換 $\sigma\in \mathfrak{S}_n$ に対して，$\sigma$ の近道度 $m(\sigma)$ を次のように定義する。

• $\sigma$ を 互いに素な（共通元をもたない） 巡回置換の積に表したとき，各巡回置換の長さの積の逆数を $m(\sigma)$ とする。（太字部分は19:42追記）

例えば $\sigma=(1 4 2)(5 6 7)(3)\in \mathfrak{S}_7$ なら，$\sigma$ は長さ $3, 3, 1$ の巡回置換からなるから，$\sigma$ の近道度 $m(\sigma)$ は

$$
m(\sigma)=\frac{1}{3\cdot 3\cdot 1}=\frac{1}{9}
$$

である。自然数 $n$ に対して，${1,\cdots, n}$ の置換（これは $n!$ 通りある）の近道度の平均を

$$
f_n=\frac{1}{n!}\sum_{\sigma\in \mathfrak{S}_n} m(\sigma)
$$

とおく。

$$
f_1=1, \; f_2=\frac{\fbox{ア}}{\fbox{イ}}, \; f_4=\frac{\fbox{ウエオ}}{\fbox{カキク}}
$$

であり，

$$
\sum_{n=0}^{\infty} f_n=\fbox{X}
$$

である（級数が収束することは証明なしに認めてよい）。ただし $f_0=1$ と約束する。

※ $\mathfrak{S}_n$ は $n$ 次対称群を表す（19:03追記）。

解答形式

$\fbox{ア}$ 〜 $\fbox{ク}$ には 0 - 9 の数字が当てはまります。$\fbox{　X　}$にはある実数が当てはまります。空欄のある分数はすべて既約です。

• 1行目 には $\fbox{ア}$ に当てはまる数を半角で入力してください。
• 2行目 には $\fbox{イ}$ に当てはまる数を半角で入力してください。
• 3行目 には $\fbox{ウエオ}$ に当てはまる数を半角で入力してください。
• 4行目 には $\fbox{カキク}$ に当てはまる数を半角で入力してください。
• 5行目 には $\fbox{　X　}$ に当てはまる数を入力します。答えを $10$ 進小数で表し，小数第2位を四捨五入して小数第1位まで求めてください。例えば，$9.876\cdots $ が答えになる場合は 9.9 と解答してください。

ヒント

• $f_0,\cdots, f_{n-1}$ を使って $f_n$ を表すことができます。
• $f_n$ の母関数を $f(t)=\displaystyle{\sum_{n=0}^{\infty}} f_nt^n$ とおくと，$f(t)$ はとある微分方程式を満たします。

問題文

$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行目に入力せよ。
ただし、分数はそれ以上約分できない形で、かつ根号の中身が最小になるように答えよ。

問題文

$a$ を実数の定数とする。正の実数値をとる関数 $y(x)$ は何回でも微分可能で、

$$
\begin{cases}
2yy''''+(y'')^2=2y'y'''+a & (x \in {\mathbb R})\\
y'(0)=y''(0)=0 \\
y'''(0)=y''''(0)=1
\end{cases}
$$

を満たすとする。$\displaystyle a=\frac{50}{17}$ のとき、（$x$ が実数全体を動くときの）$y(x)$ の最小値は $\displaystyle \frac{\fbox{アイ}}{\fbox{ウエオ}}$ である。

解答形式

ア〜オには、0から9までの数字が入る。
文字列「アイウエオ」をすべて半角で1行目に入力せよ。
ただし、それ以上約分できない形で答えよ。

問題文

$k>0$ を整数の定数とする。以下の条件

$$
{\rm AB}=8, {\rm AC}=k, \angle {\rm ABC}=60^{\circ}
$$

を満たす三角形 ${\rm ABC}$ が存在するような整数 $k$ の最小値は $\fbox{\text{ア}}$ である。

また，条件を満たす三角形 ${\rm ABC}$ が一意的に存在するような整数 $k$ の最小値は $\fbox{イ}$ である。

ただし，互いに合同であるような $2$ つの三角形は区別しない。

解答形式

空欄 $\fbox{ア}$ 〜 $\fbox{イ}$ には，半角数字 0 - 9 のいずれかが当てはまります。$\fbox{ア}$ 〜 $\fbox{イ}$ に当てはまるものを改行区切りで入力してください。

問題文

$n\;(\geq 2)$ を自然数とするとき，以下の試行を行うことを考える。

試行

• $n$ 人が $0,1,2$ のいずれかひとつの数を無作為に選ぶ。
• 人 $i\; (i=1,2,\cdots, n)$ が選んだ数を $a_i$ とする。各人 $i$ に対して，
  $$
  a_i\equiv\sum_{j=1}^n a_j\; ({\rm mod} \; 3)
  $$ならば人 $i$ は生存し，そうでないなら脱落する。この試行をmodじゃんけんと呼ぶことにする。

$n$ 人がmodじゃんけんを $1$ 回行い，全員が生存するか全員が脱落するとき，modじゃんけんの結果はあいこになると定義する。

$n$ 人がmodじゃんけんを $1$ 回行ってあいこになる確率を $p_n$ とするとき

$$
p_2=\frac{\fbox{ア}}{\fbox{イ}},\; p_3=\frac{\fbox{ウ}}{\fbox{エ}},\; p_4=\frac{\fbox{オ}}{\fbox{カキ}}
$$

である。$n$ を $\fbox{ク}$ で割った余りが $\fbox{ケ}$ であるとき

$$
p_n=\frac{\fbox{コ}^{n}+\fbox{サ}}{\fbox{シ}^n}
$$

であり，そうでないときには

$$
p_n=\frac{\fbox{コ}^{n}+\fbox{ス}}{\fbox{シ}^n}
$$

である。また，

$$
\lim_{n\to\infty} p_n=\fbox{セ}
$$

が成り立つ。

解答形式

空欄 $\fbox{ア}$ 〜 $\fbox{セ}$ には，半角数字 0 - 9 または記号 - のいずれかが当てはまります。$\fbox{ア}$ 〜 $\fbox{セ}$ に当てはまるものを改行区切りで入力してください。分数はこれ以上約分できない形で解答してください。

問題文

$xy$ 平面上に原点を中心とする単位円 $C$ が存在する。$C$ 上の点 ${\rm A,B}$ は第一象限に存在し，それぞれ $x$ 座標が $\cfrac{1}{4}, \cfrac{3}{4}$ である。また、楕円$D$が存在し、その式は
$$
\frac{x^2}{p}+\frac{y^2}{q} = 1~~~~(p>q>0)
$$
と表される。

ある直線が円 $C$ 上の弧 ${\rm AB}$ のうち短い方（両端を含む）と接していて，なおかつ楕円 $D$ とも接している。この2つの接点の距離が $1$ であるとき、$p$ の最大値を求めよ。
(追記:2020年6月29日1:25 問題の不備を修正いたしました。解答は変わりません。)

解答形式

解答は，自然数 $a,b$ を用いて
$$
a+\sqrt{b}
$$という形で表される（平方根は最も簡単な形にしてある）。解答欄には，一行目に $a$、2行目に $b$ の値を半角数字で入力せよ。

問題文

以下のような数列 $\{a_n\}$ を考える。
$$
a_n=1+\sum_{m=1}^{2^n}{\rm floor}\left[\sqrt[n]{\frac{n}{\displaystyle{\sum_{k=1}^m}\; {\rm floor}\left(\cos^2\cfrac{(k-1)!+1}{k}\pi\right)}}\right]
$$なお、${\rm floor}(x)$ は $x$ 以下の最大の整数を返す関数とする。このとき、$a_{20}$ を求めよ。

ただし、必要であれば以下の定理および不等式を用いても良い。

1. $n$ が素数のとき
   $$\quad(n-1)!\equiv-1 \pmod n$$
2. $n\geq 1$ のとき
   $$1\leq\sqrt[n]{n}<2$$

解答形式

半角数字で入力してください.