カタラン数の一般項を漸化式から求める

zyogamaya 自動ジャッジ 難易度: 数学 > 高校数学
2020年9月26日18:48 正解数: 2 / 解答数: 5 (正答率: 40%) ギブアップ数: 1

問題文

以下の漸化式で与えられる数列${a_n},{b_n}$を考える。ただし、$n$は非負整数であるとし、${a_n}$の初項は$a_0=1$とする。
$\displaystyle a_{n+1}=\sum_{k=0}^na_ka_{n-k} , \displaystyle b_{n+1}=\sum_{k=0}^n (k+1)a_ka_{n-k}$
(1)$b_n$を$a_n$で表わせ。
(2)$\displaystyle a_{n+1}=\frac{2(2n+1)}{n+2}a_n$を証明せよ。
(3)それぞれの数列の一般項$a_n,b_n$を求めよ。
(4)$\displaystyle \lim_{n \to \infty} \sqrt[n]{a_n}$を求めよ。ただし$\displaystyle\lim_{n \to \infty} \frac{\log n}{n}=\lim_{n \to \infty} \frac{\log(n+1)}{n}=0$を証明無しで用いても良い。

解答形式

(4)の答えを半角数字またはTeXで入力してください。
(1)~(3)についてはお手持ちの紙に解答し、解説を確認ください。


ヒント1

(1)$1+2+3+……+100$を解いたガウスの方法を踏襲してみましょう。

ヒント2

(2)数学的帰納法です。$b_n$はこのために必要だったわけです。

ヒント3

(3)まあ積の形なので楽勝でしょうか。

ヒント4

(4)(3)の結果を代入し、挟み撃ちで求めましょう。必要に応じて$\log$を取ると良いでしょう。


スポンサーリンク

解答提出

この問題は自動ジャッジの問題です。 解答形式が指定されていればそれにしたがって解答してください。

Discordでログイン Sign in with Google パスワードでログイン

ログインすると? ログインすると、解答・ギブアップをする他に、問題を投稿したり、ランキングで競うことができます。

または


おすすめ問題

この問題を解いた人はこんな問題も解いています


問題文

$N$ を正の整数、$c>0$ を定数とする。実数の組 $(t_1,t_2,\ldots,t_N)$ に対して関数

$$
f_n(t_1,t_2,\ldots,t_N)=t_n(1-t_n)\left(c(1+t_n)-\sum_{i=1}^{N}t_i\right) \ \ \ (n=1,2,\ldots ,N)
$$

を考える。また、$N\times N$ 行列 $J(t_1,t_2,\ldots,t_N)$ を

$$
J(t_1,t_2,\ldots,t_N) =
\left(
\begin{array}{ccc}
\frac{\partial f_1}{\partial t_1} & \cdots & \frac{\partial f_1}{\partial t_N} \\
\vdots & \ddots & \vdots \\
\frac{\partial f_N}{\partial t_1} & \cdots & \frac{\partial f_N}{\partial t_N}
\end{array}\right)
$$

と定義する。

$N=1000,\ \displaystyle{c=\frac{1000}{1.23}}$ として、以下の問いに答えよ。

(1)$1000$個の実数の組 $(x_1,x_2,\ldots,x_{1000})$ であって、$x_1\leq x_2 \leq \ldots \leq x_{1000} $ かつ

$$
f_n(x_1,x_2,\ldots,x_{1000})=0\ \ \ (n=1,2,\ldots ,1000)
$$

を満たすものはいくつあるか。

(2)(1)で考えた組のうち、$J(x_1,x_2,\ldots,x_{1000})$ の固有値の実部がすべて負であるようなものはいくつあるか。

解答形式

(1)の答えを半角数字で1行目に入力せよ。
(2)の答えを半角数字で2行目に入力せよ。

[B] Symmetric Concavity

masorata 自動ジャッジ 難易度:
2月前

2

問題文

関数 $f:(0,\infty)\to(0,\infty)$ は $C^2$級で、任意の $x>0$ に対して

$$
f(1)=1,\ \ f\left(\frac{1}{x}\right)=\frac{f(x)}{x},\ \ \frac{d^2}{dx^2} f(x)\leq 0,\ \ \frac{d^2}{dx^2} \left( \frac{1}{f\left(\frac{1}{x}\right)} \right) \leq 0
$$

をすべて満たすとする。このような $f$ に対し

$$
I [f]=\int_{\frac{1}{2}}^{2}f(x)dx
$$

を考える。

(1)$I[f]$ の最大値は $\displaystyle \frac{\fbox{アイ}}{\fbox{ウエ}}$ である。
(2)$I[f]$ の最小値は $\fbox{オ}-\fbox{カ}\log\fbox{キ}$ である。ただし $\log$ は自然対数である。

解答形式

ア〜カには、0から9までの数字が入る。
(1)の答えとして、文字列「アイウエ」をすべて半角で1行目に入力せよ。
(2)の答えとして、文字列「オカキ」をすべて半角で2行目に入力せよ。
ただし、対数の中身が最小となるように答えよ。

[C] Soft Spring

masorata 自動ジャッジ 難易度:
2月前

2

問題文

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

4次関数の性質

zyogamaya 自動ジャッジ 難易度:
2年前

2

問題文

4次関数のグラフ$C:y=f(x)$は2つの変曲点$\mathrm{P},\mathrm{Q}$をもち、1本の複接線が引けて、異なる2点$\mathrm{A}(\alpha,f(\alpha)),\mathrm{B}(\beta,f(\beta))$が接点となる。また$f(x)$の4次の係数は1である。このとき、$\displaystyle\frac{d^3}{dx^3}f(x)=0$の解を$x=\gamma$、$\mathrm{C}(\gamma,f(\gamma))$、複接線を$l_1$、直線$\mathrm{PQ}$を$l_2$、$C$上の点$\mathrm{C}$における接線を$l_3$、$l_2$と$C$の交点のうち$\mathrm{P},\mathrm{Q}$と異なる点をそれぞれ$\mathrm{R},\mathrm{S}$、$l_3$と$C$の交点のうち$\mathrm{C}$と異なる点をそれぞれ$\mathrm{D},\mathrm{E}$とおく。ただし$x$座標について、$\mathrm{A}$より$\mathrm{B}$、$\mathrm{P}$より$\mathrm{Q}$、$\mathrm{R}$より$\mathrm{S}$、$\mathrm{D}$より$\mathrm{E}$の方が大きいとする。

(1)直線$l_1,l_2,l_3$は互いに平行であることを示せ。

(2)線分長の2乗比$\mathrm{AB}^2:\mathrm{PQ}^2$を求めよ。

(3)線分長の2乗比$\mathrm{RS}^2:\mathrm{DE}^2$を求めよ。

(4)直線$l_2$と$C$で囲まれる部分の面積$S$を$\alpha,\beta$で表わせ。

解答形式

(2),(3),(4)の答えはそれぞれ一桁の自然数a,b,c,d,e,f,g,h,i,jを用いて以下のように表されます。
センター、共通テスト形式で埋め、10桁の自然数abcdefghijを答えてください。
$\mathrm{AB}^2:\mathrm{PQ}^2=a:b$
$\mathrm{RS}^2:\mathrm{DE}^2=c:d$
$S=\displaystyle\frac{e\sqrt{f}}{ghi}(\beta-\alpha)^j$

有名な解法を使いたい

Kinmokusei 自動ジャッジ 難易度:
3年前

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$行目
に入力して解答してください。

求値問題5

Kinmokusei 自動ジャッジ 難易度:
3年前

5

問題文

次の文章の空欄を埋めてください。

$n$個の実数$x_1,x_2,\cdots,x_n$が、$x_1+2x_2+3x_3+\cdots+nx_n=n$を満たすとき、$x_1^2+x_2^2+\cdots+x_n^2$の最小値を$m_n$とすると、
$$
m_n=\frac{\fbox アn}{(n+\fbox イ)(\fbox ウn+1)}
$$
であり、
$$
\lim_{n\rightarrow\infty}\left(m_1+\frac{m_2}{2}+\cdots+\frac{m_n}{n}\right)=\fbox{エオ}\left(-\frac{1}{\fbox カ}+\ln{\fbox キ}\right)
$$
である。

解答形式

$\fbox ア~\fbox キ$には$1$以上$9$以下の整数が入ります。文字列アイウエオカキを半角数字で解答してください。
例: $\fbox ア=1,\fbox イ=2,\fbox ウ=3,\fbox {エオ}=45,\fbox カ=6,\fbox キ=7$ $\rightarrow$ $1234567$ と解答

三角関数の計算

hkd585 自動ジャッジ 難易度:
17月前

3

問題文

$\dfrac{1}{\cos\dfrac{\pi}{9}}+\dfrac{1}{\cos\dfrac{5}{9}\pi}+\dfrac{1}{\cos\dfrac{7}{9}\pi}=-\dfrac{a}{b}$ ( $a,b$ は互いに素な自然数)である.

$a+b$ の値を求めよ.

解答形式

半角数字で解答してください。

簡単です.教科書にもありそうなつまらない問題ですが,一応2通りの解法を用意しているので,考えていただけたら幸いです.

求値問題7

Kinmokusei 自動ジャッジ 難易度:
3年前

4

問題文

(2021.3.13 15:56 追記) 解答に誤りがあったため修正しました。

次の不等式を満たす最大の自然数$n$を求めてください。
$$
2^{n+1}-10\sum_{k=1}^n \lfloor \frac{2^{k-1}}{5} \rfloor \le 20210220
$$ただし、$\lfloor x\rfloor$は$x$を超えない最大の整数を表します。

解答形式

半角数字で解答してください。

3年前

4

問題文

数列$~\{a_n\},~\{b_n\}$を相異なる2つの実数$~\alpha,\beta~$を用いて以下のように定義する。
$$
a_n = \cfrac{1}{\displaystyle{\sum_{k=0}^n}\alpha^{n-k}\beta^{k}}~~~,~~~b_n = \sum_{m=0}^\infty\frac{1}{a_mn^{m+2}}
$$ただし、$\{b_n\}~$は$n\geq 2$で定義されるものとする。$\alpha,\beta~$が
$$
\begin{cases}
\alpha + \beta = 1\\
|\alpha||\beta| = 1
\end{cases}
$$を満たすとき、
$$
a_k = b_k
$$となる最小の自然数$~k~$は$~k=\fbox{ア}\fbox{イ}$であり、このとき$~b_k = \cfrac{\fbox{ウ}}{\fbox{エ}\fbox{オ}}$である。

解答形式

ア〜オには0から9までの数字のいずれかが入る。
数字列「アイウエオ」をすべて半角で入力し解答せよ。
ただし、分数は既約分数の形にすること。

極値

zyogamaya 自動ジャッジ 難易度:
3年前

4

問題文

関数$f(x)=(xe^{x-1}+x^2+2x+2)e^{-x}$の極大値を求めよ。

解答形式

半角数字またはTeXで入力してください。分数の場合は「a/b」などと入力可能です。
例:
答えが$\displaystyle\frac{e^2}{7}$の場合、「e^2/7」と入力する。

答えが$\displaystyle\frac{4e^3+26}{e^4}$の場合、「(4e^3+26)/e^4」と入力する。

球を対称式で移す

masorata 自動ジャッジ 難易度:
3年前

7

問題文

実数 $a,b,c$ が $a^2+b^2+c^2\leqq 1$ を満たして動くとき、
座標空間上の点 $(a+b+c, ab+bc+ca, abc)$ が動く領域を $D$ とする。
以下の問いに答えよ。

⑴ $yz$ 平面に平行な平面 $\pi_t\colon \ x=t$ と $D$ が共有点を持つような実数 $t$ の範囲を求めよ。

⑵ $t$ が⑴で求めた範囲にあるとき、平面 $\pi_t$ と $D$ の共通部分を $E_t$ とする。
このとき、 ある $t$ の関数 $m(t), M(t)$ および $t$ と $y$ の関数 $p(t,y),q(t,y)$ が存在して、

$$
\begin{eqnarray}
E^1_t &=& \{ (x,y,z)|\ x=t,\ m(t) \leqq y \leqq M(t) \}\\
E^2_t &=& \{ (x,y,z)|\ x=t,\ z^2+p(t,y)z+q(t,y)\leqq0 \}
\end{eqnarray}
$$

とおけば $E_t = E^1_t \cap E^2_t $ と表せる。このような $m(t), M(t), p(t,y),q(t,y)$ を求めよ。

⑶ $E_t$ の面積を $S(t)$ とおく。$t$ が⑴で求めた範囲にあるとき、$S(t)$ を $t$ の式で表せ。 ただし、 $E_t$ がただ一点からなるときは $S(t)=0$ であるとする。

⑷ $D$ の体積 $V$ を求めよ。

解答形式

⑷のみ解答せよ。解は $V = \frac{\sqrt{(ア)}}{(イウ)}\pi$ と書ける。(ア)、(イウ)に当てはまる自然数をそれぞれ1,2行目に半角で入力せよ。ここでア,イ,ウの各文字には0から9までの整数のいずれかが入る。たとえば(ア)=3(イウ)=57 と解答する場合は、1行目に「3」、2行目に「57」と入力せよ。なお、根号の中身が最小になるように解答すること。

[D] Along the Edges

hinu 自動ジャッジ 難易度:
3年前

8

問題文

$$
\newcommand{\nc}{\newcommand}
\nc{\wake}[1]{\begin{cases} #1 \end{cases}}
\nc{\f}[2]{\dfrac{#1}{#2}}
\nc{\s}[1]{\{#1\}}
\nc{\pmat}[1]{\begin{pmatrix} #1 \end{pmatrix}}
\nc{\lr}[1]{\left( #1 \right)}
\nc{\com}[2]{{}_{#1}{\rm C}_{#2} \right)}
\nc{\bar}[1]{{\overline{#1}}}
\nc{\bb}[1]{{\mathbb {#1}}}
\nc{\rmn}[1]{{\rm #1}}
\nc{\q}{\quad}
\nc{\x}{\times}
\nc{\a}{\alpha}
\nc{\b}{\beta}
\nc{\th}{\theta}
\nc{\Q}[1]{\fbox{#1}}
$$

下のように $\rm AB=1\ ,\ BC=2$ の長方形 $\rm ABCD$ がある。点 $\rm P$ は $t=0$ で点 $\rm A$ におり、 $1$ 秒間に $1$ の速度で辺の上を進む。点 $\rm P$ が 点 $\rm A,B,C,D$ のいずれかにいるとき確率 $p$ で辺 $\rm AB$ に平行な向きに、 $1-p$ の確率で辺 $\rm AD$ に平行な向きに向きを変え、それ以外の場所で向きを変えることはないものとする。

$p=\dfrac56$ とするとき点 $\rm P$ が $2n$ 秒後 $(n=0,1,2,\cdots)$ に点 $\rm A$ にいる確率を求めたい。

点 $\rm P$ が $2n$ 秒後に点 $\rm A,D$ にある確率を $A_n,D_n$ とおく。このとき $X_n=A_n+D_n$ とおくと漸化式
$$
X_{n+1}=\f{\Q{ア}}{\Q{イ}}X_n +\f{\Q{ウ}}{\Q{エ}}
$$
が成り立つ。また $Y_n=A_n-D_n$ とおくと漸化式
$$
Y_{n+2}-\f{\Q{オ}}{\Q{カ}}Y_{n+1}+\f{\Q{キ}}{\Q{ク}}Y_n=0
$$
が成り立つ。これらを初期条件 $X_0=\Q ケ\ ,Y_0=\Q{コ}\ ,Y_1=\f{\Q{サ}}{\Q{シ}}$ のもとで解くことで
$$
A_n=\f{\Q ス}{\Q セ}+\f{\Q ソ}{\Q タ}\lr{\f{\Q チ}{\Q ツ}}^n-\lr{\f{\Q テ}{\Q ト}}^n+\f{\Q ナ}{\Q ニ}\lr{\f{\Q ヌ}{\Q ネ}}^n
$$
を得る。なお ${\f{\Q チ}{\Q ツ}}<{\f{\Q ヌ}{\Q ネ}}$ である。

解答形式

上の空欄を埋めよ。解答は半角数字・改行区切りで入力すること。ただし $\Q ア$ から $\Q ネ$ にはそれぞれ 1 から 999 までの整数が入り、分数は既約分数の形で表してある。