問題一覧 | ポロロッカ

問題文

$n=0, 1,\cdots$ に対して

\begin{equation}
I_n=\int_0^1 \frac{x^n}{\sqrt{1-x^4}}dx
\end{equation}

と定める。この広義積分は収束することが知られている。

任意の $n=0,1,\cdots$ に対して
\begin{equation}
I_{n+\fbox{ア}}=\frac{n+\fbox{イ}}{n+\fbox{ウ}}I_n
\end{equation}が成り立つ（ただし $\fbox{ア}$ は $0$ でない）。これを利用すると

\begin{equation}
\prod_{n=1}^{\infty} \left[1-\frac{4}{(4n-1)^2}\right]=\frac{\fbox{エ}\;\pi^{\fbox{オ}}}{\alpha^{\fbox{カ}}}
\end{equation}が導かれる。ここで $\alpha$ は

\begin{equation}
\alpha=\int_0^{\infty} t^{-3/4}e^{-t}dt=\Gamma\left(\frac{1}{4}\right)
\end{equation}で定義される定数である（この広義積分は収束することが知られている）。

注意事項

以下の事実は証明なしに用いてよい。

実数 $x>0$ に対して，広義積分
\begin{equation}
\Gamma(x) := \int_0^{\infty} t^{x-1}e^{-t}\;dt
\end{equation}は収束する。
実数 $x>0$ に対して
\begin{equation}
\Gamma(x+1)=x\Gamma(x)
\end{equation}が成り立つ。
実数 $x, y>0$ に対して
\begin{equation}
\frac{\Gamma(x)\Gamma(y)}{\Gamma(x+y)}=\int_0^1 t^{x-1}(1-t)^{y-1}\;dt
\end{equation}が成り立つ。ただし，右辺の広義積分は収束することが知られている。
実数 $0

問題文

$n$ を非負整数とする。縦の長さが $3$，横の長さが $2n$ の長方形をした部屋を，辺の長さが $1$ と $2$ の長方形の畳で敷き詰める方法の総数を $a_n$ とする。ただし，部屋を固定したとき，畳を回転または反転させて一致するような敷き詰め方は区別して数える。また，便宜上 $a_0=1$ と約束する。

例えば，縦の長さが $3$，横の長さが $2$ である部屋を畳で敷き詰める方法は
の $3$ 通りだから $a_1=3$ である。このとき
$$
a_n=\fbox{ア}\;a_{n-1}+\fbox{イ}\;\sum_{k=0}^{n-2}a_k\quad (n=2,3,\cdots)
$$が成り立つから
$$
a_4=\fbox{ウエオ}
$$である。また，上の漸化式を変形すると
$$
\lim_{n\to\infty}\frac{a_{n+1}}{a_n}=\fbox{カ}+\sqrt{\fbox{キ}}
$$が成り立つことが分かる。