大阪大学(理系) 2020年 問題4


$\qquad t\ を正の実数とする。xy\ 平面において、連立不等式$
$\hspace{4em} x \geqq 0,\quad y \geqq 0 ,\quad xy \leqq 1,\quad x+y \leqq t $
\[の表す領域の面積を \ S(t)\ とおく。極限 \ \ \lim _{t \rightarrow \infty}(S(t)-2\log t)\ \ を求めよ。\]


$(解説)$

$S(t)\ は領域を \ 3\ つの部分に分けて、それぞれの面積を求める。極限について \ \ -2\log t\ \ の項があるから求まります。$


 

$連立不等式の表す領域は、直線 \ y=x\ に関して対称であるので、$
$ y < x \ \ の部分で、右のグラフのとおり表す領域を$
$S_1,\ S_2,\ S_3\ とする。$

(i)$\ \ S_1 \ について$

$\quad xy=1 \ と \ y=x \ の交点は \ x=1\ だから$

$\qquad S_1=\cfrac{1}{2} \times 1 \times 1=\cfrac{1}{2}$

(ii)$\ \ S_2 \ について$

$\quad xy=1\ と \ x+y=t\ \quad の交点は$

$\quad x(t-x)=1 \qquad x^2-tx+1=0\ \ の解のうち大きい方を \ \alpha \ とすると$

$\qquad \alpha =\cfrac{t+\sqrt{t^2-4}}{2}$

\[S_2=\int _1^{\alpha}\cfrac{dx}{x}=\big[\log x\big]_1^{\alpha}=\log \alpha\]
(iii)$\ \ S_3 \ について$

$\quad S_3=\cfrac{1}{2}(t-\alpha )^2$

$よって$
\begin{eqnarray*} S(t) &=&2(S_1+S_2+S_3)\\ \\ &=&1+2\log \alpha +(t-\alpha)^2\\ \\ &=&1+2\log \cfrac{t+\sqrt{t^2-4}}{2} +\big(t- \cfrac{t+\sqrt{t^2-4}}{2}\big)^2\\ \\ &=&1+2\log (t+\sqrt{t^2-4})-2\log 2 +\big(\cfrac{t-\sqrt{t^2-4}}{2}\big)^2\\ \\ &=&1-2\log 2 +2\log (t+\sqrt{t^2-4})+\cfrac{1}{4}\big(2t^2-4-2t\sqrt{t^2-4}\big)\\ \\ &=&1-2\log 2 +2\log (t+\sqrt{t^2-4})+\cfrac{1}{2}\big(t^2-2-t\sqrt{t^2-4}\big)\\ \\ \end{eqnarray*} $したがって$

$\qquad S(t)-2\log t=1-2\log 2 +2\log \cfrac{t+\sqrt{t^2-4}}{t}+\cfrac{1}{2}\big(t^2-2-t\sqrt{t^2-4}\big)$

\[ \lim _{t \rightarrow \infty}\log \cfrac{t+\sqrt{t^2-4}}{t} =\lim _{t \rightarrow \infty}\log \Big(1+\sqrt{1-\small{\cfrac{4}{t^2}}}\Big) =\log 2 \]
\[ \lim _{t \rightarrow \infty}\big(t^2-2-t\sqrt{t^2-4}\big) =\lim _{t \rightarrow \infty}\cfrac{(t^2-2)^2-t^2(t^2-4)}{t^2-2+t\sqrt{t^2-4}} =\lim _{t \rightarrow \infty}\cfrac{4}{t^2-2+t\sqrt{t^2-4}} =0\\ \] $よって$
\[\lim _{t \rightarrow \infty}\big(S(t)-2\log t\big)=1-2\log 2 +2\log 2=1\]


ページの先頭へ↑




メインメニュー に戻る