1大阪大学 2024年 数学 第1問解答・解説

(1) $x\geqq 0$ において$$f_n'(x)=-\frac{n}{2}e^{nx}-\frac13\sin\frac{x}{3}.$$自然数 $n$ は $n\geqq1$ であり、$e^{nx}\geqq1$、$\sin\frac{x}{3}\geqq-1$ だから、$$f_n'(x)\leqq-\frac{n}{2}e^{nx}+\frac13\leqq-\frac12+\frac13=-\frac16<0.$$よって $f_n$ は $x\geqq0$ でxが大きくなると値が必ず小さくなる。また、$$f_n(0)=\frac32>0,\qquad f_n(x)\leqq2-\frac12e^{nx}\longrightarrow-\infty\quad(x\to\infty).$$関数 $f_n$ は連続であるから中間値の定理により $f_n(x)=0$ は少なくとも1つの解をもつ。異なるxに対して同じ値をとらないことから解は高々1つである。したがって、解はただ1つである。
(2) その解を $a_n$ とすると、$$e^{na_n}=2\left(1+\cos\frac{a_n}{3}\right)\leqq4.$$対数関数は増加するので $na_n\leqq\log4$。また $a_n>0$ だから、$$0<a_n\leqq\frac{\log4}{n}\longrightarrow0.$$よって $\displaystyle\lim_{n\to\infty}a_n=0$。
(3) (2)より $a_n\to0$ であるから、(2)の等式から$$e^{na_n}=2\left(1+\cos\frac{a_n}{3}\right)\longrightarrow4.$$したがって、対数関数の連続性より$$na_n=\log(e^{na_n})\longrightarrow\log4.$$ゆえに $\displaystyle\lim_{n\to\infty}na_n=\log4$。

導関数が常に$-\frac16$以下であることで一意性を示し、端点値と無限遠での挙動から存在を得る。根の方程式を指数に直して $0<a_n\leqq(\log4)/n$ を示し、同じ等式の極限から n $a_n$ を求める。