Roly Poly

問題

(1) 定積分

$$\int_0^1 \frac{x\log x}{(x+1)^2}dx$$

の値を求めよ。

(2) 関数列 ${f_n(x)}$ を

$$f_{n+1}(x)=(x^x)^{f_n(x)},\quad f_1(x)=x^x$$

で定める。定積分

$$\int_0^1(x^x)^{{(x^x)}^{(x^x)\cdots}}dx:=\int_0^1\lim_{n\to \infty} f_n(x)\ dx$$

の値を求めよ。ただしテトレーション $x^{{x^{x\cdots}}}$ は底 $x$ が $e^{-e}<x<e^{1/e}$ のとき収束することは証明せずに用いて良い。

備考

この問題の正解判定は出題者により手動で行われるため、判定までに時間がかかることがある。

問題文

$\pi$ が $\dfrac{1000\pi}{1001}\risingdotseq 3.13845\cdots$ よりも大きいことを示せ

問題文

$0$でない整数$x，y，z$について$A=xy−z，B=x-yz$と定める。$A+B=3，A-B=5$となるとき、$x，y，z$の値を求めよ

問題文

(1)$p$を奇素数とし、$\frac{1}{p}$を2進数で表示したときの循環節(※)が2以上8以下であるような$p$は6つ存在する。フェルマーの小定理を用いて$p$とその$p$に対する$\frac{1}{p}$の循環節の長さの関係を導き、6つの$p$の値を全て答えよ。

(2)$p$を奇素数とし、$\frac{1}{p}$を2進数で表示したときに最大で1が連続して並ぶ個数を$f(p)$とおく。例えば$\frac{1}{3}=0.01010…_{(2)}$より$f(3)=1$である。(1)を満たす$p$の中で$f(p)$が最大となるのは$p$がいくらのときか。Midyの定理を用いることによって求め、その値を答えよ。

(※)循環節とは、循環小数の繰り返される数字の列のうちその長さが最小でありかつその先頭が最も先に来るようなもののことである。例えば$\frac{1}{3}=0.01010…_{(2)}$となり、このときの循環節は$01$であり、$0101$や$10$は循環節とならない。

解答形式

(1)の全ての答えを小さい順に1~6行目に半角数字で入力してください。また、(2)の答えを7行目に半角数字で入力してください。

問題文

$x,y$を自然数とする。$x^2+8y$と$y^2+8x$がともに平方数になるような$x,y$の組$(x,y)$をすべて求めよ。

解答形式

例えば、$(x,y)=(1,2),(13,4),(51,16)$と答えたい場合は

12
134
5116

と入力してください。解の組は$x$の値が小さい順に並べてください。$x$の値が同じで$y$の値が異なる場合は$y$の値が小さい方を先に入力してください。

問題文

関数 $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$$

を考える。

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

解答形式

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

問題文

どの辺の長さも整数である$\triangle ABC$の面積を$S$とする。$S^2$の小数部分を求めよ。

解答形式

とりうるすべての小数部分を小さい順に都度改行、列挙してください。
例：
「0,1/2,1/3,1/6,1/√5」の場合、

0
0.5
0.'3'
0.1'6'
1/\sqrt{5}

問題文

$x^4+y^4+z^4+w^4+(x^2+y^2+z^2+w^2)(xy+xz+xw+yz+yw+zw)+4xyzw$
を因数分解せよ。

解答形式

TeXで入力してください。項の順番に関しては辞書式順で入力してください。字数の高い因数を先に書いてください。
例1:
$(x^2+y^2+z^2+w^2)(x+y+z+w)$と答えるには
(x^2+y^2+z^2+w^2)(x+y+z+w)を入力してください。
例2:
$x,y,z,w$から重複せず3文字を選び、かけ合わせた項4つを辞書式順に並べると
$xyz,xyw,xzw,yzw$

問題文

$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}$$

（１）$\displaystyle \lim_{t \to +\infty}x(t)=+\infty$ となる $a$ の範囲は、$\displaystyle a \geq \frac {\fbox{ア}\sqrt{\fbox{イ}}}{\fbox{ウ}}$ である。
（２）$\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行目に入力せよ。
（２）の答えとして、文字列「エオカキク」を半角で2行目に入力せよ。
ただし、分数はそれ以上約分できない形で、根号の中身が最小になるように答えよ。

問題文

行列$A$を次で定義する。
$$A= \begin{pmatrix} 6& -3 & -7 & 0 & 0 & 0\\ -1 & 2 & 1 & 0 & 0 & 0\\ 5& -3 & -6 & 0 & 0 & 0\\ 0& 0 & 0 & 1 & 2 & 1\\ 0& 0 & 0 & -1 & 4 & 1\\ 0& 0 & 0 & 2 & -4 & 0\\ \end{pmatrix}$$
このとき次の実線形空間の次元を求めよ。
$$V=\{X\in M_{6}(\mathbb{R})\mid AX=XA\}$$
ただし、$M_{6}(\mathbb{R})$とは6行6列の実正方行列全体の集合である。

解答形式

半角数字で答えよ。

問題文

漸化式
$$a_{n+3}=3a_{n+2}-4a_{n+1}+2a_n\quad (n=1,2,\cdots)$$ および
$$a_1=1, \; a_2=0, \; a_3=0$$ を満たす数列 $\{a_n\}$ を考える。次の空欄 $\fbox{ア}$ 〜 $\fbox{フ}$ に当てはまる数字を答えなさい。

• 漸化式
  $$a_{n+3}=3a_{n+2}-4a_{n+1}+2a_n\quad (n=1,2,\cdots)$$ を満たす数列全体の集合を $V$ とする。数列 $a_n, b_n\in V$ および $c\in\mathbb{C}$ に対して，第 $n$ 項が $ca_n, a_n+b_n$ であるような数列をそれぞれ数列 $a_n$ の $c$ 倍，数列 $a_n, b_n$ の和と定義することにすると，この和とスカラー倍により $V$ は $\mathbb{C}$ 上のベクトル空間になる（確かめよ）。ここで，$V$ の元 $a_n$ は，$a_1, a_2, a_3$ を定めることで完全に決定できる。すなわち，写像 $\varphi: V \to \mathbb{C}^3$ を
  $$\varphi(a_n)=\begin{pmatrix} a_1 \\ a_2 \\ a_3\end{pmatrix}$$ で定めると，$\varphi$ は全単射である。しかも，$\varphi$ は線型写像だから，$\varphi$ はベクトル空間の同型になる。$V$ は $\fbox{ア}$ 次元である。また，$e_n^{(1)}, e_n^{(2)}, e_n^{(3)}\in V$ を
  $$\varphi(e_n^{(1)})=\begin{pmatrix} 1 \\ 0 \\ 0\end{pmatrix},\; \varphi(e_n^{(2)})=\begin{pmatrix} 0 \\ 1 \\ 0\end{pmatrix},\; \varphi(e_n^{(3)})=\begin{pmatrix} 0 \\ 0 \\ 1\end{pmatrix}$$ となるように定めると，$e_n^{(1)}, e_n^{(2)}, e_n^{(3)}$ は $V$ の基底になる。

• $V$ 上の線型変換 $L: V\to V$ を次のように定義する。$a_n\in V$ に対して，$L(a_n)$ を第 $1, 2, 3$ 項がそれぞれ $a_2, a_3, a_4$ である数列とする（$L$ が線型写像になることを確かめよ）。このとき，$L(a_n)$ の第 $n$ 項は $a_{n+\fbox{イ}}$ である。基底 $e_n^{(1)}, e_n^{(2)}, e_n^{(3)}$ のもとでの $L$ の表現行列 $L_A$ は
  $$L_A=\begin{pmatrix} \fbox{ウ} & \fbox{エ} & * \\ \fbox{オ} & \fbox{カ} & \fbox{キ} \\ \fbox{ク} & \fbox{ケコ} & \fbox{サ}\end{pmatrix}$$ である。

• $L_A$ の固有値を $\lambda^{(1)}, \lambda^{(2)}, \lambda^{(3)}$ とする（$\lambda^{(1)}\in\mathbb{R}, {\rm Im}(\lambda^{(2)})>0, {\rm Im}(\lambda^{(3)})<0$）。このとき
  $$\begin{align} \lambda^{(1)}&=\fbox{シ}\\ {\rm Re}(\lambda^{(2)})={\rm Re}(\lambda^{(3)})&=\fbox{ス}\\ {\rm Im}(\lambda^{(2)})=-{\rm Im}(\lambda^{(3)})&=\fbox{セ} \end{align}$$ である。

• 固有値 $\lambda^{(1)}, \lambda^{(2)}, \lambda^{(3)}$ に対応する固有ベクトルをそれぞれ $\alpha^{(1)}, \alpha^{(2)}, \alpha^{(3)}$ とする。固有ベクトルには定数倍の不定性があるが，$\alpha^{(j)}\;(j=1,2,3)$ の第 $1$ 成分が固有値 $\lambda^{(j)}$ に一致するようにとると
  $$\begin{align} \alpha^{(1)}=\begin{pmatrix} \lambda^{(1)} \\ \fbox{ソ} \\ * \end{pmatrix},\; \alpha^{(2)}=\begin{pmatrix} \lambda^{(2)} \\ \fbox{タ}\;i \\ * \end{pmatrix},\; \alpha^{(3)}=\begin{pmatrix} \lambda^{(3)} \\ * \\ \fbox{チツ}-\fbox{テ}\;i \end{pmatrix} \end{align}$$ である。

• $\varphi(\beta_n^{(1)})=\alpha^{(1)}, \;\varphi(\beta_n^{(2)})=\alpha^{(2)}, \;\varphi(\beta_n^{(3)})=\alpha^{(3)}$ となる数列 $\beta_n^{(1)}, \beta_n^{(2)}, \beta_n^{(3)}\in V$ をとる。$\beta_n^{(1)}, \beta_n^{(2)}, \beta_n^{(3)}\in V$ は $V$ の基底をなすから，$V$ の任意の元 $a_n$ はこれらの線型結合で表すことができる。例えば，$a_n\in V$ が
  $$a_1=1, \; a_2=0, \; a_3=0$$ を満たすとき
  $$a_n=\fbox{ト}\;\beta_n^{(1)}-\frac{\beta_n^{(2)}-\beta_n^{(3)}}{\fbox{ナ}\; i}$$ が成り立つ。これを変形すると
  $$a_n=\fbox{ニ}-\left(\sqrt{\fbox{ヌ}}\;\right)^n\sin\left(\frac{n\pi}{\fbox{ネ}}\right)$$ となる。また，$a_1,\cdots, a_{100}$ のうち $a_n$ が最大となるのは $n=\fbox{ノハ}, \fbox{ヒフ}$ のときである。ただし $\fbox{ノハ} < \fbox{ヒフ}$ とする。

※この問題では，数列とは写像 $a: \mathbb{N} \to \mathbb{C}$ のことをいう。$n\in\mathbb{N}$ に対して，$a(n)$ のことを単に $a_n$ と表記する。また，記号の濫用であるが $a$ を $\{a_n\}, a_n$とも書く。

解答形式

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

問題文

$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}}$ として、以下の問いに答えよ。

（１）$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)$$

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

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

解答形式

（１）の答えを半角数字で1行目に入力せよ。
（２）の答えを半角数字で2行目に入力せよ。