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

問題文

$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{コ}$ に当てはまるものを改行区切りで入力してください。分数は既約分数の形で答えてください。

問題文

$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{コ}$ に当てはまるものを改行区切りで入力してください。

問題文

次の文章の空欄を埋めてください。ただし、以下の文章全てにおいて$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$行目
に入力して解答してください。

問題文

$\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行ごとに答えよ。

問題文

$$\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 までの整数が入り、分数は既約分数の形で表してある。

問題文

関数$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」と入力する。

問題文

$xy$平面において点$O$を中心とする単位円上に異なる2点を取り、それぞれ$P_0,Q$とする(ただし$P_0,O,Q$は一直線上にないものとする)。また、$\angle P_0OQ$のうち小さい方の角を$\theta$とする$(0<\theta<\pi)$。
これから、以下の操作を$i=1,2,3,…,n$について計$n$回行う。

(操作)
弧$P_{i-1}Q$のうち短い方の弧を2等分するような単位円上の点を$P_i$とし、$\triangle P_{i-1}P_iQ$の面積を$S_i$とする。

このとき、
$$S_i=\sin\frac{\theta}{\fbox{ア}^i}-\frac{1}{2} \sin\frac{\theta}{\fbox{イ}^{i-1}}$$ となるので、
$$\sum_{i=1}^n2^{i-1}S_i=\frac{1}{2}\left(\fbox{ウ}^n\sin\frac{\theta}{\fbox{エ}^n}-\sin\theta\right)$$ となる。ここで$n\to\infty$とすると
右辺の極限値は、
$$\frac{1}{2}(\theta-\sin\theta)$$ となり扇形$P_0OQ$から$\triangle P_0OQ$を取り除いた図形の面積に収束することが分かる(図形的にも明らか)。

解答形式

$\fbox{ア}$~$\fbox{エ}$に入る整数を半角で1,2,…行目に入力してください。

問題文

$n$を$5$以上の自然数とする。
$a_{1}+a_{2}+a_{3}<a_{4}+a_{5}\leq n$ を満たす自然数の組$(a_{1},a_{2},a_{3},a_{4},a_{5})$は何通りあるか。

解答形式

答えは$\frac{\fbox{あ}n^5-\fbox{い}n^4+\fbox{う}n^3-\fbox{え}n^2+\fbox{お}n}{\fbox{か}}$と表せます。
この分数式が既約な形になるように、それぞれの文字に当てはまる整数を、半角数字で、五十音順に改行して答えてください。
(例)$\fbox{あ}=2,\fbox{い}=10,\fbox{う}=4$と回答する場合
2
10
4

問題文

実数 $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」と入力せよ。なお、根号の中身が最小になるように解答すること。

問題文

$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$ の値を半角数字で入力せよ。

問題文

$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行目に入力せよ。

問題文

数列 $\{ a_n \}$ $(n=1,2\dots)$ を、
$$a_1=1,\ a_{n+1} = \sum_{k=1}^{n}\frac{8k-3}{4n^2-1}a_k\ (n = 1,2,...)$$

で定める。$\displaystyle \lim_{n\to\infty}{a_{n}}$ を求めよ。

解答形式

求める極限値は、ある有理数 $q$ を用いて $q \pi$ と表せる。この $q$ を小数で表し、小数第4位を四捨五入したものを入力せよ。すべて半角数字で入力すること。なお、もし $3/2=1.5$のようになる場合は、$1.500$ と入力せよ。