第4問
数列{In}を
$\small\sf{\begin{align*} \sf \rm I_{\sf n}\sf =\int_1^e\left(\log x\right)^ndx\ \ \ (n=1\ ,\ 2\ ,\ 3\ ,\ \ldots)\end{align*}}$
で定める。次の問いに答えよ。
(1) I1の値を求めよ。
(2) 部分積分法により
$\small\sf{\begin{align*} \sf \rm I_{\sf n+1}\sf =-(n+1)\ \rm I_{\sf n}\sf +e\ \ \ (n=1\ ,\ 2\ ,\ 3\ ,\ \ldots)\end{align*}}$
を示せ。また、I2、I3の値を求めよ。
(3) logx の1≦x≦eにおける最大値と最小値を求め、
{In}について
$\small\sf{\begin{align*} \sf 0\lt \rm I_{\sf n}\sf \lt e-1\ \ \ (n=1\ ,\ 2\ ,\ 3\ ,\ \ldots)\end{align*}}$
を示せ。
(4) 整数値をとる数列{an}、{bn}を
$\small\sf{\begin{align*} \sf \rm I_{\sf n}\sf =a_n\ e+b_n\ \ \ (n=1\ ,\ 2\ ,\ 3\ ,\ \ldots)\end{align*}}$
で定める。b1、b2、b3の値を求めよ。
さらに{bn}の一般項を求めよ。
(5) 上の(4)で定めた{an}、{bn}について、次の極限値を求めよ。
$\small\sf{\begin{align*} \sf \lim_{n\rightarrow\infty}\ \frac{a_n}{b_n}\end{align*}}$
--------------------------------------------
【解答】
(1)
部分積分法により
$\scriptsize\sf{\begin{align*} \sf \rm I_{\sf 1}\sf =\int_1^e\ 1\cdot\log x\ dx\end{align*}}$
$\scriptsize\sf{\begin{align*} \sf =\left[x\ \log x\right]_1^e-\int_1^ex\cdot\frac{1}{x}\ dx\end{align*}}$
$\scriptsize\sf{\begin{align*} \sf =e\log e-\log1-(e-1)\end{align*}}$
$\scriptsize\sf{\begin{align*} \sf =\underline{\ 1\ \ }\end{align*}}$ .
(2)
部分積分法により
$\scriptsize\sf{\begin{align*} \sf \rm I_{\sf n+1}\sf =\int_1^e1\cdot\left(\log x\right)^{n+1}dx\end{align*}}$
$\scriptsize\sf{\begin{align*} \sf =\left[x\left(\log x\right)^{n+1}\right]_1^e-\int_1^ex\cdot(n+1)(\log x)^n\cdot\frac{1}{x}\ dx\end{align*}}$
$\scriptsize\sf{\begin{align*} \sf =e(\log e)^{n+1}-(\log 1)^{n+1}-(n+1)\int_1^e\left(\log x\right)^n\ dx\end{align*}}$
$\scriptsize\sf{\begin{align*} \sf =-(n+1)\ \rm I_{\sf n}\sf +e\end{align*}}$
となり、題意は示された。
これと(1)より、
I2=-2I1+e
=e-2.
さらに、
I3=-3I2+e
=-3(e-2)+e
=-2e+6.
(3)
logxをxで微分すると、
$\scriptsize\sf{\begin{align*} \sf \left(\log x\right)'=\frac{1}{x}>0\end{align*}}$
となり、logxは単調に増加する。
よって、1≦x≦eの範囲では、
x=eで最大値 loge=1
x=1で最小値 log1=0
となる。
このことから、1≦x≦eの範囲でつねに
0≦logx≦1
⇔ 0≦(logx)n≦1
となるので、
$\scriptsize\sf{\begin{align*} \sf 0<\int_1^e\left(\log x\right)^ndx<\int_1^e dx\end{align*}}$
$\scriptsize\sf{\begin{align*} \sf \ \ \Leftrightarrow\ \ 0\lt \rm I_{\sf n}\sf <\left[\ x\ \right]_1^e\end{align*}}$
$\scriptsize\sf{\begin{align*} \sf \ \ \Leftrightarrow\ \ 0\lt \rm I_{\sf n}\sf \lt e-1\end{align*}}$ .
(4)
(1)より、
I1=a1e+b1=1 ⇔ a1=0、 b1=1.
(2)より、
I2=a2e+b2=e-2 ⇔ a2=1、 b2=-2
I3=a3e+b3=-2e+6 ⇔ a3=-2、 b3=6.
また、(2)で示した等式は、
an+1e+bn+1=-(n+1)(ane+bn)+e
={-(n+1)an+1}e-(n+1)bn
となるので、係数を比較すると、
an+1=-(n+1)an+1 ・・・・①
bn+1=-(n+1)bn ・・・・②
である。
②は任意のnに対して成り立つので、
b2=-2b1
b3=-3b2
b4=-4b3
・・・
bn-1=-(n-1)bn-2
bn=-nbn-1
となり、これらを辺々かけると、
bn=(-1)n-1n(n-1)・・・・・4・3・2・b1
⇔ bn=(-1)n-1・n!
を得る。
(5)
(4)より、bn≠0なので、
$\scriptsize\sf{\begin{align*} \sf \rm I_{\sf n}\sf =a_n\ e+b_n\ \ \Leftrightarrow\ \ \frac{a_n}{b_n}=\frac{I_n}{b_n\ e}-\frac{1}{e}\end{align*}}$
$\scriptsize\sf{\begin{align*} \sf \ \ \Leftrightarrow\ \ \frac{a_n}{b_n}=\frac{I_n}{(-1)^{n-1}\cdot n\ !\cdot e}-\frac{1}{e}\end{align*}}$ ・・・③
ここで、(3)より
$\scriptsize\sf{\begin{align*} \sf 0<|\rm I_{\sf n}\sf |\lt e-1\end{align*}}$
$\scriptsize\sf{\begin{align*} \sf \ \ \Leftrightarrow\ \ 0<\left|\frac{I_n}{(-1)^{n-1}\cdot n\ !\cdot e}\right|<\frac{e-1}{|(-1)^{n-1}\cdot n\ !\cdot e|}\end{align*}}$
$\scriptsize\sf{\begin{align*} \sf \ \ \Leftrightarrow\ \ 0<\left|\frac{I_n}{(-1)^{n-1}\cdot n\ !\cdot e}\right|<\frac{e-1}{ n\ !\cdot e}\end{align*}}$
$\scriptsize\sf{\begin{align*} \sf \end{align*}}$
であり、
$\scriptsize\sf{\begin{align*} \sf \lim_{n\rightarrow\infty}\ \left|\frac{e-1}{ n\ !\cdot e}\right|=0\ \ \Leftrightarrow\ \ \lim_{n\rightarrow\infty}\ \frac{e-1}{ n\ !\cdot e}=0\end{align*}}$
なので、はさみうちの原理より、
$\scriptsize\sf{\begin{align*} \sf \lim_{n\rightarrow\infty}\ \left|\frac{\rm I_{\sf n}\sf }{(-1)^{n-1}\cdot n\ !\cdot e}\right|=0\end{align*}}$ .
これと③より
$\scriptsize\sf{\begin{align*} \sf \lim_{n\rightarrow\infty}\ \frac{a_n}{b_n}=\underline{\ -\frac{1}{e}\ \ }\end{align*}}$ .
(5)は、(4)までの結論をうまく使いましょう。
{an}の一般項を求めようとすると、泥沼にはまります(笑)
テーマ:数学 - ジャンル:学問・文化・芸術
- 2012/11/08(木) 23:57:00|
- 大学入試(数学) .関西の私立大学 .同志社大 理系 2011(生命医科)
-
| トラックバック:0
-
| コメント:0