• 右側の不等式: $f(x) = x-\sin x$ とおく. $0 \leqq x \leqq \dfrac{\pi}{2}$ において, \[ f'(x) = 1-\cos x \geqq 0\] であるから, $f(x) \geqq f(0) = 0$ つまり $\sin x \leqq x$ が成り立つ.
• 左側の不等式: $g(x) = \sin x-\dfrac{2}{\pi}x$ とおく. \[ g'(x) = \cos x-\frac{2}{\pi}\] であるから, $0 \leqq x \leqq \dfrac{\pi}{2}$ において, $\cos x = \dfrac{2}{\pi}$ の解を $x = \alpha$ とおくと増減表は次のようになり, $g(x) \geqq g(0) = g\left(\dfrac{\pi}{2}\right) = 0$ が成り立つ.

  $x$	$0$	$\cdots$	$\alpha$	$\cdots$	$\dfrac{\pi}{2}$
  $g'(x)$		$+$	$0$	$-$
  $g(x)$	$0$	$\nearrow$	極大	$\searrow$	$0$

(1)

$f(x) = 2^x-x$ $(x \geqq 1)$ とおく. $x > 1$ において, $e < 4$ から \[\begin{aligned} f'(x) &= 2^x\log 2-1 \\ &> 2\log 2-1 = \log\frac{4}{e} > \log 1 = 0 \end{aligned}\] であるので, $f(x)$ は単調増加である. よって, $f(x)$ の連続性により, $x \geqq 1$ において \[ f(x) \geqq f(1) = 2-1 = 1 > 0\] が成り立つ. よって, $x < 2^x$ $(x \geqq 1)$ が成り立つ.

(2)

(1) により $x \geqq 1$ において \[ 0 < \frac{x}{e^x} < \frac{2^x}{e^x} = \left(\frac{2}{e}\right) ^x\] が成り立ち, $0 < \dfrac{2}{e} < 1$ から $x \to \infty$ のとき右辺は $0$ に収束するので, \[\lim\limits_{x \to \infty}\frac{x}{e^x} = 0\] である.

(3)

$t = e^x$ とおくと, $x = \log t$ であり, $x \to \infty$ のとき $t \to \infty$ となるから, \[\lim\limits_{t \to \infty}\dfrac{\log t}{t} = 0\] が成り立つ.

(1)

$f(x) = e^{x-1}-x$ とおく. このとき, $f'(x) = e^{x-1}-1$ から, \[ f'(x) \geqq 0 \iff x \geqq 1, \quad f'(x) \leqq 0 \iff x \leqq 1\] である. よって, $f(x)$ は $x = 1$ で極小かつ最小になるので, $f(x) \geqq f(1) = 0$ から $e^{x-1}-x \geqq 0$ つまり $x \leqq e^{x-1}$ であり, 等号成立は $x = 1$ の場合に限る.

(2)

(1) の結果から, \[ x_1\cdots x_n \leqq e^{x_1-1}\cdots e^{x_n-1} = e^{x_1+\cdots +x_n-n} = e^0 = 1\] であり, 等号成立は $x_1 = \cdots = x_n = 1$ の場合に限る.

(3)

$a = \dfrac{x_1+\cdots +x_n}{n}$ から $\dfrac{x_1}{a}+\cdots +\dfrac{x_n}{a} = n$ であるので, (2) の結果から

$\dfrac{x_1}{a}\cdots\dfrac{x_n}{a} \leqq 1$　つまり　$x_1\cdots x_n \leqq a^n$

であり, 等号成立は $\dfrac{x_1}{a} = \cdots = \dfrac{x_n}{a} = 1$ つまり $x_1 = \cdots = x_n$ の場合に限る.

(1)

与式を $x$ で微分すると \[ f'(x) = \frac{1}{n+1}-p^{\frac{1}{n+1}}\cdot\frac{1}{n+1}x^{-\frac{n}{n+1}} = \frac{x^{\frac{n}{n+1}}-p^{\frac{1}{n+1}}}{(n+1)x^{\frac{n}{n+1}}}\] となるから, $f(x)$ は $x = p^{\frac{1}{n}}$ のとき極小かつ最小の値 \[\begin{aligned} f(p^{\frac{1}{n}}) &= \frac{s+p^{\frac{1}{n}}}{n+1}-(p^{1+\frac{1}{n}})^{\frac{1}{n+1}} \\ &= \frac{s+p^{\frac{1}{n}}}{n+1}-p^{\frac{1}{n}} = \frac{s-np^{\frac{1}{n}}}{n+1} \end{aligned}\] をとる.

(2)

(i)

$n = 1$ のとき. $[\ast ]$ は明らかに成り立つ.

(ii)

$n = k$ ($k$: 正の整数)のとき $[\ast ]$ が成り立つとする. このとき, $s = a_1+\cdots +a_k,$ $p = a_1\cdots a_k$ に (1) の結果を適用すると, \[\begin{aligned} &\frac{s+x}{k+1}-(px)^{\frac{1}{k+1}} \geqq \frac{s-kp^{\frac{1}{k}}}{k+1} \\ &= \frac{k}{k+1}\left\{\frac{a_1+\cdots +a_k}{k}-(a_1\cdots a_k)^{\frac{1}{k}}\right\} \geqq 0 \end{aligned}\] となる. そこで, $x = a_{k+1}$ を代入すると, \[\begin{aligned} &\frac{s+a_{k+1}}{k+1}-(pa_{k+1})^{\frac{1}{k+1}} \geqq 0 \\ &\frac{a_1+\cdots +a_k+a_{k+1}}{k+1} \geqq (a_1\cdots a_ka_{k+1})^{\frac{1}{k+1}} \end{aligned}\] が得られる. よって, $n = k+1$ のとき $[*]$ が成り立つ.

(i), (ii) から, すべての正の整数 $n$ に対して $[\ast ]$ が成り立つ.

(1)

\[ f(x) = r(x-1)-(x^r-1) \quad (x > 0)\] とおく. これを $x$ で微分すると \[ f'(x) = r-rx^{r-1} = \frac{r(x^{1-r}-1)}{x^{1-r}}\] となるから, \[ f'(x) \geqq 0 \iff x \geqq 1, \quad f'(x) \leqq 0 \iff x \leqq 1\] である. よって, $f(x)$ は $x = 1$ において極小かつ最小の値をとるから, \[ f(x) \geqq f(1) = 0\] が成り立つ. ゆえに, \[ r(x-1) \geqq x^r-1 \quad \cdots [1]\] であり, 等号成立は $x = 1$ の場合に限る.

(2)

$r = \dfrac{1}{p}$ ($p > 1$ から $0 < x < 1$), $x = \dfrac{a}{b}$ ($a,$ $b > 0$ から $x > 0$)を $[1]$ に代入すると, \[\begin{aligned} \frac{1}{p}\left(\frac{a}{b}-1\right) &\geqq \left(\frac{a}{b}\right) ^{\frac{1}{p}}-1 \\ \frac{1}{p}(a-b) &\geqq a^{\frac{1}{p}}b^{-\frac{1}{p}}b-b \\ \frac{a}{p}+\left( 1-\frac{1}{p}\right) b &\geqq a^{\frac{1}{p}}b^{1-\frac{1}{p}} \\ \frac{a}{p}+\frac{b}{q} &\geqq a^{\frac{1}{p}}b^{\frac{1}{q}} \quad \cdots [2] \end{aligned}\] が得られる. 等号成立は, $\dfrac{a}{b} = 1$ つまり $a = b$ の場合に限る.

(3)

(i)

$n = 2$ のとき. $a = x_1,$ $b = x_2,$ $p = q = 2$ に $[2]$ を適用すると, \[ A_2 = \frac{x_1}{2}+\frac{x_2}{2} \geqq x_1{}^{\frac{1}{2}}x_2{}^{\frac{1}{2}} = G_2\] が得られる. 等号成立は, $x_1 = x_2$ の場合に限る.

(ii)

$n = k$ ($k$: $2$ 以上の整数)のとき不等式が成り立ち, 等号成立が $x_1 = \cdots = x_k$ の場合に限るとする. このとき, $a = G_k,$ $b = x_{k+1},$ $p = \dfrac{k+1}{k},$ $q = k+1$ とおくと, $[2]$ から \[\begin{aligned} A_{k+1} &= \frac{kA_k+x_{k+1}}{k+1} \\ &\geqq \frac{kG_k+x_{k+1}}{k+1} = \frac{G_k}{\dfrac{k+1}{k}}+\frac{x_{k+1}}{k+1} = \frac{a}{p}+\frac{b}{q} \\ &\geqq a^{\frac{1}{p}}b^{\frac{1}{q}} = G_{k+1} \end{aligned}\] が得られる. 等号成立は, $A_k = G_k = x_{k+1}$ つまり $x_1 = \cdots = x_k = x_{k+1}$ の場合に限る.

(i), (ii) から, $2$ 以上のすべての整数 $n$ に対して, $A_n \geqq G_n$ が成り立ち, 等号成立は $x_1 = \cdots = x_n$ の場合に限る.

(1)

$f(x) = (1+x)^r-(1+rx)$ とおく. このとき, \[ f'(x) = r(1+x)^{r-1}-r = r\{ (1+x)^{r-1}-1\}\] である. $r < 0$ であるから, $x > -1$ において \[\begin{aligned} f'(x) \geqq 0 &\iff (1+x)^{r-1}-1 \leqq 0 \iff (1+x)^{r-1} \leqq 1 \\ &\iff 1+x \geqq 1 \iff x \geqq 0, \\ f'(x) \leqq 0 &\iff -1 < x \leqq 0 \end{aligned}\] が成り立つ.

$x$	$-1$	$\cdots$	$0$	$\cdots$
$f'(x)$		$-$	$0$	$+$
$f(x)$		$\searrow$	$0$	$\nearrow$

よって, $f(x)$ の $x > -1$ における最小値は $f(0) = 0$ であるから, $f(x) \geqq 0\ (x > -1)$ つまり $[1]$ が成り立つ. 等号成立は $x = 1$ の場合に限る.

(2)

(i)

$n = 2$ のとき. $a_1a_2 = 1$ から $a_2 = a_1{}^{-1}$ であるので, \[ (a_1+a_2)-2 = a_1+a_1{}^{-1}-2 = (\sqrt{a_1}-\sqrt{a_1}{}^{-1})^2 \geqq 0\] から $[2]$ が成り立つ. 等号成立は $a_1 = a_1{}^{-1} = a_2$ つまり $a_1 = a_2 = 1$ の場合に限る.

(ii)

$n = k$ ($k$: $2$ 以上の整数)のとき $[2]$ が成り立ち, 等号成立が $a_1 = \cdots = a_k$ の場合に限るとする. $n = k+1$ のとき, $a_1\cdots a_ka_{k+1} = 1$ から $a_1\cdots a_k = a_{k+1}{}^{-1}$ であるので, \[\begin{aligned} &a_1+\cdots +a_k+a_{k+1} \\ &\geqq k(a_1\cdots a_k)^{\frac{1}{k}}+a_{k+1} \\ &= ka_{k+1}{}^{-\frac{1}{k}}+a_{k+1} \\ &= k\left\{ 1+\left( a_{k+1}-1\right)\right\} ^{-\frac{1}{k}}+a_{k+1} \\ &\geqq k\left\{ 1+\left( -\frac{1}{k}\right) (a_{k+1}-1)\right\} +a_{k+1} \\ &= k+1 \end{aligned}\] が成り立つ. 第 $2$ の不等号は, $x = a_{k+1}-1\ (> -1),$ $r = -\dfrac{1}{k}\ (< 0)$ に $[1]$ を適用することで得られる. 等号成立は $a_1 = \cdots = a_k = a_{k+1} = 1$ の場合に限る.

(i), (ii) から, すべての正の整数 $n$ に対して $[2]$ が成り立ち, 等号成立は $a_1 = \cdots = a_n = 1$ の場合に限る.

(3)

$G_n = (x_1\cdots x_n)^{\frac{1}{n}},$ $a_k = \dfrac{x_k}{G_n}$ とおくと, $a_1\cdots a_n = 1$ となるから, $[2]$ により, \[\begin{aligned} \frac{x_1}{G_n}+\cdots +\frac{x_n}{G_n} &\geqq n \\ x_1+\cdots +x_n &\geqq nG_n \end{aligned}\] つまり $[3]$ が得られる. 等号成立は $x_1 = \cdots = x_n$ の場合に限る.

(1)

(i)

$n = 2$ のとき. $x_2$ を定数とみなして, $0 < x_1 < \pi$ の範囲で $x_1$ の関数 \[ f(x_1) = \sin (t_1x_1+t_2x_2)-t_1\sin x_1-t_2\sin x_2\] を考える. \[ f'(x_1) = t_1\{\cos (t_1x_1+t_2x_2)-\cos x_1\}\] であり, $\cos x$ ($0 < x < \pi $)は単調減少であるから, $t_1x_1+t_2x_2 \leqq x_1$ つまり $x_1 \geqq x_2$ のとき $f'(x_1) \geqq 0$ であり, $t_1x_1+t_2x_2 \geqq x_1$ つまり $x_1 \leqq x_2$ のとき $f'(x_1) \leqq 0$ である. よって, $f(x_1) \geqq f(x_2) = 0$ であるから, \[\sin (t_1x_1+t_2x_2) \geqq t_1\sin x_1+t_2\sin x_2 \quad (0 < x_1 < \pi )\] が成り立ち, 等号成立は $x_1 = x_2$ の場合に限る.

(ii)

$n = m$ ($m$: $2$ 以上の整数)のとき不等式と等号成立条件が成り立つとする. $n = m+1$ の場合に, $s = t_1+\cdots +t_m$ とおく. \[ u_k = \frac{t_k}{s} \quad (1 \leqq k \leqq m)\] とおくと, \[\begin{aligned} &\sin\left(\sum_{k = 1}^{m+1}t_kx_k\right) \\ &= \sin\left(\sum_{k = 1}^mt_kx_k+t_{m+1}x_{m+1}\right) \\ &= \sin\left( s\sum_{k = 1}^mu_kx_k+t_{m+1}x_{m+1}\right) \\ &\geqq s\sin\left(\sum_{k = 1}^mu_kx_k\right) +t_{m+1}\sin x_{m+1} \quad (\because\text{(i)}) \\ &\geqq s\sum_{k = 1}^mu_k\sin x_k+t_{m+1}\sin x_{m+1} \\ &= \sum_{k = 1}^{m+1}t_k\sin x_k \end{aligned}\] が得られる. 等号成立は, “ $\displaystyle\sum\limits_{k = 1}^mu_kx_k = x_{m+1},$ $x_1 = \cdots = x_m$ ” つまり $x_1 = \cdots = x_m = x_{m+1}$ の場合に限る.

(i), (ii) から, $2$ 以上のすべての整数 $n$ に対して不等式, 等号成立条件が成り立つ.

(2)

$n$ 角形 $\mathrm P_1\cdots\mathrm P_n$ が単位円 $\mathrm O$ に内接するとする. $\mathrm P_{n+1} = \mathrm P_1$ として, $\theta _k = \angle\mathrm P_k\mathrm{OP}_{k+1}$ とおく. \[\begin{aligned} L &= \sum_{k = 1}^n\mathrm P_k\mathrm P_{k+1} = \sum_{k = 1}^n2\sin\frac{\theta _k}{2} = 2n\sum_{k = 1}^n\frac{1}{n}\sin\frac{\theta _k}{2} \\ &\leqq 2n\sin\left(\sum_{k = 1}^n\frac{1}{n}\cdot\frac{\theta _k}{2}\right) = 2n\sin\frac{\pi}{n} \end{aligned}\] であり, 等号成立は $\dfrac{\theta _1}{2} = \cdots = \dfrac{\theta _n}{2}$ の場合に限るから, 単位円に内接する $n$ 角形のうち周の長さ $L$ が最大になるものは正 $n$ 角形である. \[\begin{aligned} S &= \sum_{k = 1}^n\triangle\mathrm{OP}_k\mathrm P_{k+1} = \sum_{k = 1}^n\frac{1}{2}\sin\theta _k = \frac{n}{2}\sum_{k = 1}^n\frac{\sin\theta _k}{n} \\ &\leqq \frac{n}{2}\sin\left(\sum_{k = 1}^n\frac{\theta _k}{n}\right) = \frac{n}{2}\sin\frac{2\pi}{n} \end{aligned}\] であり, 等号成立は $\theta _1 = \cdots = \theta _n$ の場合に限るから, 単位円に内接する $n$ 角形のうち面積 $S$ が最大になるものは正 $n$ 角形である.

(1)

$\log x$ の単調増加性, $e < 2^2$ から,

$1 < 2\log 2$　つまり　$\dfrac{1}{2} < \log 2$

である.

(2)

$f(x) = 2^x-x^2$ から, \[\begin{aligned} f'(x) &= 2^x\log 2-2x, \\ f''(x) &= 2^x(\log 2)^2-2 \end{aligned}\] である. $2^x$ の単調増加性から, $x > 4$ のとき, \[\begin{aligned} f''(x) &> 2^4(\log 2)^2-2 \\ &> 2^4\left(\frac{1}{2}\right) ^2-2 = 2 \\ &> 0 \end{aligned}\] である. よって, $x > 4$ において $f'(x)$ は単調増加で, \[ f'(4) > 2^4\cdot\frac{1}{2}-2\cdot 4 = 0\] であるから, $x > 4$ において $f'(x) > 0$ が成り立つ. これは, $x > 4$ において $f(x)$ が単調増加であることを意味する.

(3)

(2) の結果と $f(4) = 2^4-4^2 = 0,$ $f(x)$ の連続性により, $x > 4$ において $f(x) > 0$ が成り立つ. また, $x \leqq -1$ において, $2^x,$ $-x^2$ は単調増加で, その和 $2^x-x^2$ も単調増加であるから, \[ f(x) \leqq f(-1) = 2^{-1}-(-1)^2 = -\frac{1}{2} < 0\] が成り立つ. さらに, \[ f(0) = 1, \quad f(1) = 1, \quad f(2) = 0, \quad f(3) = -1\] である. 以上から, $f(x) = 0$ つまり $2^x = x^2$ の整数解は $x = 2,$ $4$ に限る.

(4)

$f(x)$ は連続で $f(-1) < 0,$ $f(0) > 0$ であるから, 中間値の定理により $-1 < x < 0$ の範囲に $f(x) = 0$ つまり $2^x = x^2$ の実数解が存在する. ゆえに, 求める実数解の整数部分は $-1$ である.

(1)

$f_n(x)$ を $4$ 回微分すると, \[\begin{aligned} f_n{}'(x) &= \sum_{k = 0}^{2n}\frac{(-1)^k}{(2k)!}x^{2k}-\cos x, \\ f_n{}''(x) &= \sum_{k = 1}^{2n}\frac{(-1)^k}{(2k-1)!}x^{2k-1}+\sin x \\ &= \sin x-\sum_{k = 0}^{2n-1}\frac{(-1)^k}{(2k+1)!}x^{2k+1}, \\ f_n{}'''(x) &= \cos x-\sum_{k = 0}^{2n-1}\frac{(-1)^k}{(2k)!}x^{2k}, \\ f_n{}''''(x) &= -\sin x-\sum_{k = 1}^{2n-1}\frac{(-1)^k}{(2k-1)!}x^{2k-1} \\ &= \sum_{k = 0}^{2n-2}\frac{(-1)^k}{(2k+1)!}x^{2k+1}-\sin x = f_{n-1}(x) \end{aligned}\] が得られる.

(2)

(i)

$n = 1$ のとき. (1) の結果により, \[\begin{aligned} f_1{}''''(x) &= f_0(x) = x-\sin x, \\ f_0{}'(x) &= 1-\cos x \geqq 0 \end{aligned}\] が成り立つ. よって, $x \geqq 0$ において,

• $f_1{}''''(x)$ は単調増加であるから \[ f_1{}''''(x) \geqq f_1{}''''(0) = 0,\]
• $f_1{}'''(x)$ は単調増加であるから \[ f_1{}'''(x) \geqq f_1{}'''(0) = 0,\]
• $f_1{}''(x)$ は単調増加であるから \[ f_1{}''(x) \geqq f_1{}''(0) = 0,\]
• $f_1{}'(x)$ は単調増加であるから \[ f_1{}'(x) \geqq f_1{}'(0) = 0,\]
• $f_1(x)$ は単調増加であるから \[ f_1(x) \geqq f_1(0) = 0\]

が成り立つ.

(ii)

$n > 1$ のとき. $x \geqq 0$ において $f_{n-1}(x) \geqq 0,$ $f_{n-1}{}'(x) \geqq 0,$ $f_{n-1}{}''(x) \geqq 0,$ $f_{n-1}{}'''(x) \geqq 0$ であるとすると, (1) と同様に, $x \geqq 0$ において $f_n(x) \geqq 0,$ $f_n{}'(x) \geqq 0,$ $f_n{}''(x) \geqq 0,$ $f_n{}'''(x) \geqq 0$ となる.

(i), (ii) から, すべての正の整数 $n$ に対して, $x \geqq 0$ において, $f_n(x) \geqq 0,$ $f_n{}'(x) \geqq 0,$ $f_n{}''(x) \geqq 0,$ $f_n{}'''(x) \geqq 0,$ つまり \[\begin{aligned} \sum_{k = 0}^{2n-1}\frac{(-1)^k}{(2k)!}x^{2k} &\leqq \cos x \leqq \sum_{k = 0}^{2n}\frac{(-1)^k}{(2k)!}x^{2k}, \\ \sum_{k = 0}^{2n-1}\frac{(-1)^k}{(2k+1)!}x^{2k+1} &\leqq \sin x \leqq \sum_{k = 0}^{2n}\frac{(-1)^k}{(2k+1)!}x^{2k+1}　 \end{aligned}\] が成り立つ.

　$x,$ $y > 0$ として, $t = \dfrac{y}{x}\,(> 0)$ とおく. \[\begin{aligned} a\sqrt x+b\sqrt y \leqq c\sqrt{x+y} &\iff a+b\sqrt t \leqq c\sqrt{1+t} \\ &\iff \frac{a+b\sqrt t}{\sqrt{1+t}} \leqq c \end{aligned}\] であるから, 求める $c$ の値は関数 $f(t) = \dfrac{a+b\sqrt t}{\sqrt{1+t}}$ の最大値に等しい. \[\begin{aligned} f'(t) &= \frac{\dfrac{b}{2\sqrt t}\cdot\sqrt{1+t}-(a+b\sqrt t)\cdot\dfrac{1}{2\sqrt{1+t}}}{1+t} \\ &= \frac{b(1+t)-(a+b\sqrt t)\sqrt t}{2\sqrt t(1+t)^{\frac{3}{2}}} = \frac{b-a\sqrt t}{2\sqrt t(1+t)^{\frac{3}{2}}} \end{aligned}\] であるから, \[\begin{aligned} f'(t) \geqq 0 &\iff 0 < t \leqq \frac{b^2}{a^2}, \\ f'(t) \leqq 0 &\iff t \geqq \frac{b^2}{a^2} \end{aligned}\] が成り立つ. よって, $t = \dfrac{b^2}{a^2}$ のとき, $f(t)$ は極大かつ最大の値　 \[\frac{a+b\sqrt{\dfrac{b^2}{a^2}}}{\sqrt{1+\dfrac{b^2}{a^2}}} = \frac{a^2+b^2}{\sqrt{a^2+b^2}} = \sqrt{a^2+b^2}\] をとる. ゆえに, 求める値は $c = \sqrt{a^2+b^2}$ である.