← PC用は別頁

♪♬∃∀ ∅====♫♠♣♥♦
■無理関数(対数関数)■
増減・極値,凹凸・変曲点,漸近線,グラフ
《例 L1》
\(\small\displaystyle y=x\log x\) のグラフ

■関数の定義域
対数関数の真数は正でなければならないから,関数は \(x\gt 0\) で定義される.
\(\small\displaystyle x=0\) において関数は定義されないが,右側極限値 \(\small\displaystyle x\rightarrow +0\) は次のように求められる (○)
\(\small\displaystyle \log x=t\) とおく
\(\small\displaystyle x=e^t\)
\(\small\displaystyle t\rightarrow -\infty\)
\(\small\displaystyle t=-s\) とおく
\(\small\displaystyle s\rightarrow \infty\)
\(\small\displaystyle \lim_{x\rightarrow +0}x\log x\)
\(\small\displaystyle =\lim_{t\rightarrow-\infty} te^t\)
\(\small\displaystyle =\lim_{s\rightarrow+\infty }(-se^{-s})\)
\(\small\displaystyle =\lim_{s\rightarrow+\infty }(-\frac{s}{e^s})\)
 分母分子が \(\small\displaystyle \rightarrow \infty\) のときのロピタルの定理を用いると
\(\small\displaystyle =\lim_{s\rightarrow+\infty }(-\frac{1}{e^s})=0\)
(別解)
\(\small\displaystyle \lim_{x\rightarrow +0}x\log x\)
\(\small\displaystyle =\lim_{x\rightarrow +0}\frac{\log x}{\frac{1}{x}}\)
 分母分子が \(\small\displaystyle \rightarrow \infty\) のときのロピタルの定理を用いると
\(\small\displaystyle =\lim_{x\rightarrow +0}\frac{\frac{1}{x}}{-\frac{1}{x^2}}=\lim_{x\rightarrow +0}(-x)=0\)
■導関数,第2次導関数
\(\small\displaystyle y'=\log x+1\)
\(y'\) の符号が変わる点を調べる.
\(\small\displaystyle \log x = -1\hspace{10px}\) ⇔ \(\small\displaystyle x=\frac{1}{e}\) で極小
\(\small\displaystyle y^{"}=\frac{1}{x}\hspace{2px}(\gt 0)\) だから,定義域においてつねに正(下に凸)
変曲点はない
■増減凹凸表
\(\small x\)\(\small 0\)\(\small \)\(\small \frac{1}{e}\)\(\small \)
\(\small y'\)\(\small \xcancel{\hspace{20px}}\)\(\small -\)\(\small 0\)\(\small +\)
\(\small y''\)\(\small \xcancel{\hspace{20px}}\)\(\small +\)\(\small +\)\(\small +\)
\(\small y\)\(\small \xcancel{\hspace{20px}}\)\(\small -\frac{1}{e}\)
■漸近線
ない
\(\small\displaystyle \lim_{x\rightarrow\infty}x\log x=\infty\) だから水平漸近線(横線の形の漸近線)はない
\(\small\displaystyle \lim_{x\rightarrow\infty}\frac{x\log x}{x}=\lim_{x\rightarrow\infty}\log x=\infty\) だから,斜め線の形の漸近線もない
■まとめ
零点(x軸との交点) \(\small x=1\) (→ ●)
極大値 なし
\(\small x=\frac{1}{e}\)≒0.367 のとき,極小値 \(\small x=-\frac{1}{e}\)≒-0.367(→ ●)
変曲点 なし
漸近線 なし

《例 L2》
\(\small\displaystyle y=\frac{\log x}{x}\) のグラフ

■関数の定義域
対数関数の真数は正でなければならないから,関数は \(x\gt 0\) で定義される.
■導関数,第2次導関数
\(\small\displaystyle y'=-\frac{\log x-1}{x^2}\)
\(y'\) の符号が変わる点を調べる.
\(\small\displaystyle \log x = 1\hspace{10px}\) ⇔ \(\small\displaystyle x=e\)≒2.718 で極大
\(\small\displaystyle y^{"}=\frac{2\log x-3}{x^3}\)
\(y'\) の符号が変わる点を調べる.
\(\small\displaystyle 2\log x=3\) ⇔ \(\small\displaystyle x=e^{\frac{3}{2}}\)≒4.482 で変曲点
■増減凹凸表
\(\small x\)\(\small 0\)\(\small \)\(\small e\)\(\small \)\(\small e^{\frac{3}{2}}\)\(\small \)
\(\small y'\)\(\small \xcancel{\hspace{20px}}\)\(\small +\)\(\small 0\)\(\small -\)\(\small -\)\(\small -\)
\(\small y''\)\(\small \xcancel{\hspace{20px}}\)\(\small -\)\(\small -\)\(\small -\)\(\small 0\)\(\small +\)
\(\small y\)\(\small \xcancel{\hspace{20px}}\)\(\small \frac{1}{e}\)\(\small \frac{3}{2}e^{-\frac{3}{2}}\)
■漸近線
《縦線の形》
ロピタルの定理を用いると
\(\small\displaystyle \lim_{x\rightarrow +0}\frac{\log x}{x}=\lim_{x\rightarrow +0}\frac{\frac{1}{x}}{1}=\infty\) だから,\(\small\displaystyle x=0\) は漸近線
《横線の形》
ロピタルの定理を用いると
\(\small\displaystyle \lim_{x\rightarrow\infty}\frac{\log x}{x}=\lim_{x\rightarrow\infty}\frac{\frac{1}{x}}{1}=0\) だから,\(\small\displaystyle y=0\) は漸近線
《斜め線の形》
\(\small\displaystyle x\rightarrow\infty \) のとき,横線の形の漸近線があるから,斜め線の形の漸近線はない
■まとめ
零点(x軸との交点) \(\small x=1\) (→ ●)
極小値 なし
\(\small x=e\)≒2.718 のとき,極大値 \(\small x=\frac{1}{e}\)≒0.367(→ ●)
変曲点 \(\small (e^{\frac{3}{2}},\frac{3}{2}e^{-\frac{3}{2}})\)≒(4.481,0.3347) (→ ●)
漸近線 \(\small x=0, y=0\) (→ ---)

《例 L3》
\(\small\displaystyle y=\frac{x}{\log x}\) のグラフ

■関数の定義域
対数関数の真数は正でなければならないから,関数は \(x\gt 0\) で定義される.
■導関数,第2次導関数
\(\small\displaystyle y'=\frac{\log x-1}{(\log x)^2}\)
\(y'\) の符号が変わる点を調べる.
\(\small\displaystyle \log x = 1\hspace{10px}\) ⇔ \(\small\displaystyle x=e\)≒2.718 で極小
\(\small\displaystyle y^{"}=-\frac{\log x-2}{x(\log x)^3}\)
\(y'\) の符号が変わる点を調べる.
\(\small\displaystyle \log x=2\) ⇔ \(\small\displaystyle x=e^{2}\)≒7.389 で変曲点
■増減凹凸表
\(\small x\)\(\small 0\)\(\small \)\(\small 1\)\(\small \)\(\small e\)\(\small \)\(\small e^{2}\)\(\small \)
\(\small y'\)\(\small \xcancel{\hspace{20px}}\)\(\small -\)\(\small \xcancel{\hspace{20px}}\)\(\small -\)\(\small 0\)\(\small +\)\(\small +\)\(\small +\)
\(\small y''\)\(\small \xcancel{\hspace{20px}}\)\(\small -\)\(\small \xcancel{\hspace{20px}}\)\(\small +\)\(\small +\)\(\small +\)\(\small 0\)\(\small -\)
\(\small y\)\(\small \xcancel{\hspace{20px}}\)\(\small \xcancel{\hspace{20px}}\)\(\small e\)\(\small \frac{e^2}{2}\)
■漸近線
《縦線の形》
\(\small\displaystyle \lim_{x\rightarrow 1}\frac{x}{\log x}=\pm\infty\) だから,\(\small\displaystyle x=1\) は漸近線
《横線の形》
ロピタルの定理を用いると
\(\small\displaystyle \lim_{x\rightarrow\infty}\frac{x}{\log x}=\lim_{x\rightarrow\infty}\frac{1}{\frac{1}{x}}=\infty\) だから,横線の形の漸近線(水平漸近線)はない
《斜め線の形》
\(\small\displaystyle y=mx+k\) の形の漸近線があるとすると
\(\small\displaystyle m=\lim_{x\rightarrow\infty}\frac{x}{x\log x}=\lim_{x\rightarrow\infty}\frac{1}{\log x}=0\)
\(\small\displaystyle k=\lim_{x\rightarrow\infty}(\frac{x}{\log x}-0x)=\infty\) だから,存在しない
\(\small\displaystyle y=\sqrt{x}\) や \(\small\displaystyle y=\log x\) について, \(\small\displaystyle x\rightarrow\infty\) のときの漸近線は,\(\small\displaystyle m\rightarrow 0,\hspace{5px}k\rightarrow\infty\) となって定まらない.このような例を幾つか覚えておくと,納得しやすい
■まとめ
零点(x軸との交点) なし
極小値 \(\small\displaystyle x=e\)≒2.718 のとき,極小値\(\small\displaystyle x=e\)≒2.718 (→ ●)
極大値 なし
変曲点 \(\small (e^{2},\frac{e^2}{2})\)≒(7.389, 3.695) (→ ●)
漸近線 \(\small x=1\) (→ ---)

《例 L4》
\(\small\displaystyle y=x-\log x\) のグラフ

■関数の定義域
対数関数の真数は正でなければならないから,関数は \(x\gt 0\) で定義される.
■導関数,第2次導関数
\(\small\displaystyle y'=\frac{x-1}{x}\)
\(y'\) の符号が変わる点を調べる.
\(\small\displaystyle x = 1\) で極小
\(\small\displaystyle y^{"}=-\frac{1}{x^2}\)
\(y'\) の符号が変わる点を調べる.
\(\small\displaystyle y^{''}\hspace{5px}(\gt 0)\) だから,つねに下に凸
■増減凹凸表
\(\small x\)\(\small 0\)\(\small \)\(\small 1\)\(\small \)
\(\small y'\)\(\small \xcancel{\hspace{20px}}\)\(\small -\)\(\small 0\)\(\small +\)
\(\small y''\)\(\small \xcancel{\hspace{20px}}\)\(\small +\)\(\small +\)\(\small +\)
\(\small y\)\(\small \xcancel{\hspace{20px}}\)\(\small 1\)
■漸近線
《縦線の形》
\(\small\displaystyle \lim_{x\rightarrow +0}(x-\log x)=\infty\) だから,\(\small\displaystyle x=0\) は漸近線
《斜め線の形》
\(\small\displaystyle y=mx+k\) の形の漸近線があるとすると
\(\small\displaystyle m=\lim_{x\rightarrow\infty}\frac{x-\log x}{x}=\lim_{x\rightarrow\infty}(1-\frac{1}{x})=1\)
\(\small\displaystyle k=\lim_{x\rightarrow\infty}(-\log x)=-\infty\) だから,存在しない
《横線の形》
ロピタルの定理を用いると
\(\small\displaystyle \lim_{x\rightarrow\infty}\frac{x-\log x}{x}=\lim_{x\rightarrow\infty}(1-\frac{1}{x})=1\) だから
\(\small\displaystyle \lim_{x\rightarrow\infty}(x-\log x)=\infty\)
横線の形の漸近線(水平漸近線)はない
■まとめ
零点(x軸との交点) なし
極小値 \(\small\displaystyle x=1\) のとき,極小値\(\small\displaystyle 1\) (→ ●)
極大値 なし
変曲点 なし
漸近線 \(\small x=0\) (→ ---)

《例 L5》
\(\small\displaystyle y=\log\sqrt{x^2+1}\) のグラフ

■関数の対称性,零点
\(\small\displaystyle y=\frac{1}{2}\log(x^2+1)\) と変形できる
 \(\small\displaystyle x^2+1=1 \) により,零点(x軸との共有点)は,\(\small\displaystyle x=0\)
\(\small\displaystyle f(x)=\frac{1}{2}\log(x^2+1)\) とおくと,\(\small\displaystyle f(-x)=f(x)\) だから,グラフはy軸対称になる
■導関数,第2次導関数
\(\small\displaystyle y'=\frac{x}{x^2+1}\)
\(y'\) の符号が変わる点を調べる.
\(\small\displaystyle x = 0\) で極小値 \(0\)
\(\small\displaystyle y^{"}=-\frac{(x-1)(x+1)}{(x^2+1)^2}\)
\(y'\) の符号が変わる点を調べる.
\(\small\displaystyle x=\pm 1\) で変曲点 \(\small\displaystyle (-1,\frac{\log 2}{2}),\hspace{3px} (1,\frac{\log 2}{2})\)
(\(\small\displaystyle \frac{\log 2}{2}\)≒0.3466)
■増減凹凸表
\(\small x\)\(\small \)\(\small -1\)\(\small \)\(\small 0\)\(\small \)\(\small 1\)\(\small \)
\(\small y'\)\(\small -\)\(\small -\)\(\small -\)\(\small 0\)\(\small +\)\(\small +\)\(\small +\)
\(\small y''\)\(\small -\)\(\small 0\)\(\small +\)\(\small +\)\(\small +\)\(\small 0\)\(\small -\)
\(\small y\)\(\small \frac{\log 2}{2}\)\(\small 0\)\(\small \frac{\log 2}{2}\)
■漸近線
《縦線の形》 なし
《横線の形》なし
《斜め線の形》
\(\small\displaystyle y=mx+k\) の形の漸近線があるとする
ロピタルの定理を使うと
\(\small\displaystyle m=\lim_{x\rightarrow\infty}\frac{\log(x^2+1)}{2x}=\lim_{x\rightarrow\infty}\frac{\frac{2x}{x^2+1}}{2}=0\)
\(\small\displaystyle k=\lim_{x\rightarrow\infty}\frac{\log(x^2+1)}{2}=\infty\) だから,存在しない
■まとめ
零点(x軸との交点) \(\small\displaystyle (0,0)\)
\(\small\displaystyle x=0\) のとき,極小値\(\small\displaystyle 0\) (→ ●)
極大値 なし
変曲点 なし
漸近線 なし

《例 L6》
\(\small\displaystyle y=x(\log x)^2\) のグラフ

■関数の定義域,零点
対数の真数は正だから,\(\small x\gt 0\) が定義域
\(\small\displaystyle x(\log x)^2=0 \) により,零点(x軸との共有点)は,\(\small\displaystyle x=1\)
\(\small\displaystyle x=0\) において関数は定義されないが,右側極限値 \(\small\displaystyle x\rightarrow +0\) は次のように求められる (○)
\(\small\displaystyle \log x=t\) とおく
\(\small\displaystyle x=e^t\)
\(\small\displaystyle t\rightarrow -\infty\)
\(\small\displaystyle t=-s\) とおく
\(\small\displaystyle s\rightarrow \infty\)
\(\small\displaystyle \lim_{x\rightarrow +0}x(\log x)^2\)
\(\small\displaystyle =\lim_{t\rightarrow-\infty} t^2e^t\)
\(\small\displaystyle =\lim_{s\rightarrow+\infty }(s^2e^{-s})\)
\(\small\displaystyle =\lim_{s\rightarrow+\infty }(\frac{s^2}{e^s})\)
 分母分子が \(\small\displaystyle \rightarrow \infty\) のときのロピタルの定理を用いると
\(\small\displaystyle =\lim_{s\rightarrow+\infty }(-\frac{2s}{e^s})\)
 さらに,分母分子が \(\small\displaystyle \rightarrow \infty\) のときのロピタルの定理を用いる
\(\small\displaystyle =\lim_{s\rightarrow+\infty }(-\frac{s}{e^s})=0\)
(別解)
\(\small\displaystyle \lim_{x\rightarrow +0}x(\log x)^2\)
\(\small\displaystyle =\lim_{x\rightarrow +0}\frac{(\log x)^2}{\frac{1}{x}}\)
 分母分子が \(\small\displaystyle \rightarrow \infty\) のときのロピタルの定理を用いると
\(\small\displaystyle =\lim_{x\rightarrow +0}\frac{\frac{2\log x}{x}}{-\frac{1}{x^2}}=\lim_{x\rightarrow +0}\frac{2\log x}{-\frac{1}{x}}\)
 さらに,分母分子が \(\small\displaystyle \rightarrow \infty\) のときのロピタルの定理を用いる
\(\small\displaystyle =\lim_{x\rightarrow +0}\frac{\frac{2}{x}}{\frac{1}{x^2}}=\lim_{x\rightarrow +0}2x=0\)
■導関数,第2次導関数
\(\small\displaystyle y'=(\log x)(\log x+2)\)
\(y'\) の符号が変わる点を調べる.
\(\small\displaystyle \log x = 1, \frac{1}{e^2}\hspace{10px}\)
\(\small\displaystyle y^{"}=\frac{2(\log x+1)}{x}\)
\(y^{''}\) の符号が変わる点を調べる.
\(\small\displaystyle \log x = -1\) ⇔ \(\small\displaystyle x = \frac{1}{e}\)
■増減凹凸表
\(\small x\)\(\small 0\)\(\small \)\(\small \frac{1}{e^2}\)\(\small \)\(\small \frac{1}{e}\)\(\small \)\(\small 1\)\(\small \)
\(\small y'\)\(\small \xcancel{\hspace{20px}}\)\(\small +\)\(\small 0\)\(\small -\)\(\small -\)\(\small -\)\(\small 0\)\(\small +\)
\(\small y''\)\(\small \xcancel{\hspace{20px}}\)\(\small -\)\(\small -\)\(\small -\)\(\small 0\)\(\small +\)\(\small +\)\(\small +\)
\(\small y\)\(\small \xcancel{\hspace{20px}}\)\(\small \frac{4}{e^2}\)\(\small \frac{1}{e}\)\(\small 0\)
■漸近線
《縦線の形》なし
《横線の形》なし
《斜め線の形》
\(\small\displaystyle y=mx+k\) の形の漸近線があるとする
\(\small\displaystyle m=\lim_{x\rightarrow\infty}(\log x)^2=\infty\) だから,存在しない
■まとめ
零点(x軸との交点) \(\small\displaystyle (1,0)\)
\(\small\displaystyle x=1\) のとき,極小値\(\small\displaystyle 0\) (→ ●)
\(\small\displaystyle x=\frac{1}{e^2}\) のとき,極大値\(\small\displaystyle \frac{4}{e^2}\) (→ ●)
変曲点 \(\small\displaystyle (\frac{1}{e},\frac{1}{e})\) (→ ●)
漸近線 なし

《例 L7》
\(\small\displaystyle y=x^2\log x\) のグラフ

■関数の定義域,零点
対数の真数は正だから,\(\small x\gt 0\) が定義域
\(\small\displaystyle x^2\log x=0 \) により,零点(x軸との共有点)は,\(\small\displaystyle x=1\)
\(\small\displaystyle x=0\) において関数は定義されないが,右側極限値 \(\small\displaystyle x\rightarrow +0\) は次のように求められる (○)
\(\small\displaystyle \log x=t\) とおく
\(\small\displaystyle x=e^t\)
\(\small\displaystyle t\rightarrow -\infty\)
\(\small\displaystyle t=-s\) とおく
\(\small\displaystyle s\rightarrow \infty\)
\(\small\displaystyle \lim_{x\rightarrow +0}x^2\log x\)
\(\small\displaystyle =\lim_{t\rightarrow-\infty} te^{2t}\)
\(\small\displaystyle =\lim_{s\rightarrow+\infty }(-se^{-2s})\)
\(\small\displaystyle =\lim_{s\rightarrow+\infty }(-\frac{s}{e^{2s}})\)
 分母分子が \(\small\displaystyle \rightarrow \infty\) のときのロピタルの定理を用いると
\(\small\displaystyle =\lim_{s\rightarrow+\infty }(-\frac{2s}{e^s})\)
 さらに,分母分子が \(\small\displaystyle \rightarrow \infty\) のときのロピタルの定理を用いる
\(\small\displaystyle =\lim_{s\rightarrow+\infty }(-\frac{1}{2e^{2s}})=0\)
(別解)
\(\small\displaystyle \lim_{x\rightarrow +0}x^2\log x\)
\(\small\displaystyle =\lim_{x\rightarrow +0}\frac{\log x}{\frac{1}{x^2}}\)
 分母分子が \(\small\displaystyle \rightarrow \infty\) のときのロピタルの定理を用いると
\(\small\displaystyle =\lim_{x\rightarrow +0}\frac{\frac{1}{x}}{-2x^{-3}}=\lim_{x\rightarrow +0}\frac{x^2}{-2}=0\)
■導関数,第2次導関数
\(\small\displaystyle y'=x(2\log x+1)\)
\(y'\) の符号が変わる点を調べる.
\(\small\displaystyle \log x = -\frac{1}{2}\) ⇔ \(\small\displaystyle x = \frac{1}{\sqrt{e}}\)
\(\small\displaystyle y^{"}=2\log x+3\)
\(y^{''}\) の符号が変わる点を調べる.
\(\small\displaystyle \log x = -\frac{3}{2}\) ⇔ \(\small\displaystyle x = \frac{1}{e\sqrt{e}}\)
■増減凹凸表
\(\small x\)\(\small 0\)\(\small \)\(\small \frac{1}{e\sqrt{e}}\)\(\small \)\(\small \frac{1}{\sqrt{e}}\)\(\small \)
\(\small y'\)\(\small \xcancel{\hspace{20px}}\)\(\small -\)\(\small -\)\(\small -\)\(\small 0\)\(\small +\)
\(\small y''\)\(\small \xcancel{\hspace{20px}}\)\(\small -\)\(\small 0\)\(\small +\)\(\small +\)\(\small +\)
\(\small y\)\(\small \xcancel{\hspace{20px}}\)\(\small -\frac{3}{2e^3}\)\(\small -\frac{1}2{e}\)
■漸近線
《縦線の形》なし
《横線の形》なし
《斜め線の形》
\(\small\displaystyle y=mx+k\) の形の漸近線があるとする
\(\small\displaystyle m=\lim_{x\rightarrow\infty}\frac{x^2\log x}{x}=\infty\) だから,存在しない
■まとめ
零点(x軸との交点) \(\small\displaystyle (1,0)\)
\(\small\displaystyle x=\frac{1}{\sqrt{e}}\) のとき,極小値\(\small\displaystyle -\frac{1}{2e}\) (→ ●)
極大値 なし
変曲点 \(\small\displaystyle (\frac{1}{e\sqrt{e}},-\frac{3}{2e^3})\) (→ ●)
漸近線 なし

《例 L8》
\(\small\displaystyle y=x(\log x)^3\) のグラフ

■関数の定義域,零点
対数の真数は正だから,\(\small x\gt 0\) が定義域
\(\small\displaystyle x(\log x)^3=0 \) により,零点(x軸との共有点)は,\(\small\displaystyle x=1\)
\(\small\displaystyle x=0\) において関数は定義されないが,右側極限値 \(\small\displaystyle x\rightarrow +0\) は次のように求められる (○)
\(\small\displaystyle \log x=t\) とおく
\(\small\displaystyle x=e^t\)
\(\small\displaystyle t\rightarrow -\infty\)
\(\small\displaystyle t=-s\) とおく
\(\small\displaystyle s\rightarrow \infty\)
\(\small\displaystyle \lim_{x\rightarrow +0}x(\log x)^3\)
\(\small\displaystyle =\lim_{t\rightarrow-\infty} t^3e^{t}\)
\(\small\displaystyle =\lim_{s\rightarrow+\infty }(-s^3e^{-s})\)
\(\small\displaystyle =\lim_{s\rightarrow+\infty }(-\frac{s^3}{e^{s}})\)
 分母分子が \(\small\displaystyle \rightarrow \infty\) のときのロピタルの定理を用いると
\(\small\displaystyle =\lim_{s\rightarrow+\infty }(-\frac{3s^2}{e^s})\)
 さらに,分母分子が \(\small\displaystyle \rightarrow \infty\) のときのロピタルの定理を用いる
\(\small\displaystyle =\lim_{s\rightarrow+\infty }(-\frac{6s}{e^{s}})\)
 さらに,分母分子が \(\small\displaystyle \rightarrow \infty\) のときのロピタルの定理を用いる
\(\small\displaystyle =\lim_{s\rightarrow+\infty }(-\frac{6}{e^{s}})=0\)
(別解)
\(\small\displaystyle \lim_{x\rightarrow +0}x(\log x)^3\)
\(\small\displaystyle =\lim_{x\rightarrow +0}\frac{(\log x)^3}{\frac{1}{x}}\)
 分母分子が \(\small\displaystyle \rightarrow \infty\) のときのロピタルの定理を用いると
\(\small\displaystyle =\lim_{x\rightarrow +0}\frac{3(\log x)^2\times\frac{1}{x}}{-\frac{1}{x^2}}=\lim_{x\rightarrow +0}\frac{3(\log x)^2}{-\frac{1}{x}}\)
 さらに,分母分子が \(\small\displaystyle \rightarrow \infty\) のときのロピタルの定理を用いると
\(\small\displaystyle =\lim_{x\rightarrow +0}\frac{6\log x\times\frac{1}{x}}{\frac{1}{x^2}}=\lim_{x\rightarrow +0}\frac{6\log x}{\frac{1}{x}}\)
 さらに,分母分子が \(\small\displaystyle \rightarrow \infty\) のときのロピタルの定理を用いると
\(\small\displaystyle =\lim_{x\rightarrow +0}\frac{\frac{6}{x}}{-\frac{1}{x^2}}=\lim_{x\rightarrow +0}(-6x)=0\)
■導関数,第2次導関数
\(\small\displaystyle y'=(\log x)^2(\log x+3)\)
\(y'\) の符号が変わる点を調べる.
\(\small\displaystyle \log x = -3\) ⇔ \(\small\displaystyle x = -\frac{1}{e^3}\)
\(\small\displaystyle y^{"}=\frac{3\log x(\log x+2)}{x}\)
\(y^{''}\) の符号が変わる点を調べる.
\(\small\displaystyle \log x = -2\) ⇔ \(\small\displaystyle x =1, \frac{1}{e^2}\)
■増減凹凸表
\(\small x\)\(\small 0\)\(\small \)\(\small \frac{1}{e^3}\)\(\small \)\(\small \frac{1}{e^2}\)\(\small \)\(\small 1\)\(\small \)
\(\small y'\)\(\small \xcancel{\hspace{20px}}\)\(\small -\)\(\small 0\)\(\small +\)\(\small +\)\(\small +\)\(\small +\)\(\small +\)
\(\small y''\)\(\small \xcancel{\hspace{20px}}\)\(\small +\)\(\small +\)\(\small +\)\(\small 0\)\(\small -\)\(\small 0\)\(\small +\)
\(\small y\)\(\small \xcancel{\hspace{20px}}\)\(\small -\frac{27}{e^3}\)\(\small -\frac{8}{e^2}\)\(\small 0\)
■漸近線
《縦線の形》なし
《横線の形》なし
《斜め線の形》
\(\small\displaystyle y=mx+k\) の形の漸近線があるとする
\(\small\displaystyle m=\lim_{x\rightarrow\infty}\frac{x(\log x)^2}{x}=\infty\) だから,存在しない
■まとめ
零点(x軸との交点) \(\small\displaystyle (1,0)\)
\(\small\displaystyle x=\frac{1}{e^3}\) のとき,極小値\(\small\displaystyle -\frac{27}{e^3}\)≒−1.344 (→ ●)
極大値 なし
変曲点 \(\small\displaystyle (\frac{1}{e^2},-\frac{8}{e^2}),(1,0)\) (→ ●)
漸近線 なし

《例 L9》
\(\small\displaystyle y=\frac{x}{(\log x)^2}\) のグラフ

■関数の定義域
対数の真数は正だから,\(\small x\gt 0\) が定義域
\(\small\displaystyle x=0\) において関数は定義されないが,右側極限値 \(\small\displaystyle x\rightarrow +0\) は次のように求められる (○)
\(\small\displaystyle x\rightarrow +0 \) のとき, \(\small\displaystyle (\log x)\rightarrow -\infty \)
\(\small\displaystyle \frac{1}{(\log x)^2}\rightarrow 0 \)
※分母と分子は,競合していない.(いわゆる「不定形の極限」ではなく,単純に決まる)
\(\small\displaystyle \frac{x}{(\log x)^2}\rightarrow \frac{0}{\infty}=0 \)
■導関数,第2次導関数
\(\small\displaystyle y'=\frac{\log x-2}{(\log x)^3}\)
\(y'\) の符号が変わる点を調べる.
\(\small\displaystyle \log x = 2\) ⇔ \(\small\displaystyle x = e^2\)
\(\small\displaystyle x = 1\) のとき関数は定義されないが,その前後で符号が変わる
\(\small\displaystyle y^{"}=-\frac{2(\log x-3)}{x(\log x)^4}\)
\(y^{''}\) の符号が変わる点を調べる.
\(\small\displaystyle \log x = 3\) ⇔ \(\small\displaystyle x =e^3\)
■増減凹凸表
\(\small x\)\(\small 0\)\(\small \)\(\small 1\)\(\small \)\(\small e^2\)\(\small \)\(\small e^3\)\(\small \)
\(\small y'\)\(\small \xcancel{\hspace{20px}}\)\(\small +\)\(\small \xcancel{\hspace{20px}}\)\(\small -\)\(\small 0\)\(\small +\)\(\small +\)\(\small +\)
\(\small y''\)\(\small \xcancel{\hspace{20px}}\)\(\small +\)\(\small \xcancel{\hspace{20px}}\)\(\small +\)\(\small +\)\(\small +\)\(\small 0\)\(\small -\)
\(\small y\)\(\small \xcancel{\hspace{20px}}\)\(\small \xcancel{\hspace{20px}}\)\(\small -\frac{e^2}{4}\)\(\small \frac{e^3}{9}\)
■漸近線
《縦線の形》\(\small\displaystyle x=1\)
《斜め線の形》
\(\small\displaystyle y=mx+k\) の形の漸近線があるとする
\(\small\displaystyle m=\lim_{x\rightarrow\infty}\frac{1}{(\log x)^2}=0\)
 分母分子が \(\small\displaystyle \rightarrow \infty\) のときのロピタルの定理を用いると
\(\small\displaystyle k=\lim_{x\rightarrow\infty}\frac{x}{(\log x)^2}\)
\(\small\displaystyle =\lim_{x\rightarrow\infty}\frac{1}{2(\log x)\times \frac{1}{x}}=\lim_{x\rightarrow\infty}\frac{x}{2(\log x)}\)
 さらに,分母分子が \(\small\displaystyle \rightarrow \infty\) のときのロピタルの定理を用いると
\(\small\displaystyle =\lim_{x\rightarrow\infty}\frac{}{2\times \frac{1}{x}}=\lim_{x\rightarrow\infty}\frac{x}{2}=\infty\) だから存在しない
《横線の形》なし(上記の\(\small k\) の計算と同じ)
■まとめ
零点 なし
\(\small\displaystyle x=e^2\)≒7.39 のとき,極小値\(\small\displaystyle -\frac{e^2}{4}\)≒1.85 (→ ●)
極大値 なし
変曲点 \(\small\displaystyle (e^3,-\frac{e^3}{9})\)≒(20.09, 2.27) (→ ●)
漸近線 \(\small\displaystyle x=1\) (→ −−−)

《例 L10》
\(\small\displaystyle y=\frac{\sqrt{x}}{\log x}\) のグラフ

■関数の定義域
対数の真数は正だから,\(\small x\gt 0\) が定義域
\(\small\displaystyle x=0\) において関数は定義されないが,右側極限値 \(\small\displaystyle x\rightarrow +0\) は次のように求められる (○)
\(\small\displaystyle x\rightarrow +0 \) のとき
\(\small\displaystyle \sqrt{x}\rightarrow 0 \)
\(\small\displaystyle \frac{1}{\log x}\rightarrow 0 \) だから
\(\small\displaystyle \sqrt{x}\times \frac{1}{\log x}\rightarrow 0 \)
※分母と分子は,競合していない.(いわゆる「不定形の極限」ではなく,単純に決まる)
■導関数,第2次導関数
\(\small\displaystyle y'=\frac{\log x-2}{2(\log x)^2\sqrt{x}}\)
\(y'\) の符号が変わる点を調べる.
\(\small\displaystyle \log x = 2\) ⇔ \(\small\displaystyle x = e^2\)
\(\small\displaystyle x = 1\) のとき関数は定義されないが,その前後で符号は変わらない
\(\small\displaystyle y^{"}=-\frac{(\log x)^2-8}{4x\sqrt{x}(\log x)^3}\)
\(y^{''}\) の符号が変わる点を調べる.
\(\small\displaystyle \log x = \pm\sqrt{8}\) ⇔ \(\small\displaystyle x =e^{\pm 2\sqrt{2}}\)
■増減凹凸表
\(\small x\)\(\small 0\)\(\small \)\(\small \frac{1}{e^{2\sqrt{2}}}\)\(\small \)\(\small 1\)\(\small \)\(\small e^2\)\(\small \)\(\small e^{2\sqrt{2}}\)\(\small \)
\(\small y'\)\(\small \xcancel{\hspace{20px}}\)\(\small -\)\(\small -\)\(\small -\)\(\small \xcancel{\hspace{20px}}\)\(\small -\)\(\small 0\)\(\small +\)\(\small +\)\(\small +\)
\(\small y''\)\(\small \xcancel{\hspace{20px}}\)\(\small -\)\(\small 0\)\(\small +\)\(\small \xcancel{\hspace{20px}}\)\(\small +\)\(\small +\)\(\small +\)\(\small 0\)\(\small -\)
\(\small y\)\(\small \xcancel{\hspace{20px}}\)\(\small -\frac{1}{2\sqrt{2}e^{\sqrt{2}}}\)\(\small \xcancel{\hspace{20px}}\)\(\small \frac{e}{2}\)\(\small \frac{e^{\sqrt{2}}}{2\sqrt{2}}\)
■漸近線
《縦線の形》\(\small\displaystyle x=1\)
《斜め線の形》
\(\small\displaystyle y=mx+k\) の形の漸近線があるとする
\(\small\displaystyle m=\lim_{x\rightarrow\infty}\frac{1}{\sqrt{x}(\log x)}=0\)
 分母分子が \(\small\displaystyle \rightarrow \infty\) のときのロピタルの定理を用いると
\(\small\displaystyle k=\lim_{x\rightarrow\infty}\frac{\frac{1}{2}x^{-\frac{1}{2}}}{\frac{1}{x}}\)
\(\small\displaystyle =\lim_{x\rightarrow\infty}\frac{x}{2\sqrt{2}}=\infty\) だから存在しない
《横線の形》なし(上記の\(\small k\) の計算と同じ)
■まとめ
零点 なし
\(\small\displaystyle x=e^2\)≒7.39 のとき,極小値\(\small\displaystyle \frac{e}{2}\)≒1.359 (→ ●)
極大値 なし
変曲点 \(\small\displaystyle (e^{-2\sqrt{2}},-\frac{1}{2\sqrt{2}e^{\sqrt{2}}})\)≒(0.059, -0.086),
\(\small\displaystyle (e^{2\sqrt{2}},\frac{e^{\sqrt{2}}}{2\sqrt{2}})\)≒(16.9, 1.45) (→ ●)
漸近線 \(\small\displaystyle x=1\) (→ −−−)

《例 L11》
\(\small\displaystyle y=\sqrt{x}\log x\) のグラフ

■関数の定義域,零点
対数の真数は正だから,\(\small x\gt 0\) が定義域
x軸との共有点は,\(\small\displaystyle \log x=0\) より \(\small\displaystyle x=1\)
\(\small\displaystyle x=0\) において関数は定義されないが,右側極限値 \(\small\displaystyle x\rightarrow +0\) は次のように求められる (○)
\(\small\displaystyle \lim_{x\rightarrow +0}\sqrt{x}\log x\)
\(\small\displaystyle =\lim_{x\rightarrow +0}\frac{\log x}{\frac{1}{\sqrt{x}}}\)
 分母分子が \(\small\displaystyle \rightarrow \infty\) のときのロピタルの定理を用いると
\(\small\displaystyle =\lim_{x\rightarrow +0}\frac{\frac{1}{x}}{-\frac{1}{2}x^{-\frac{3}{2}}}=\lim_{x\rightarrow +0}(-\frac{\sqrt{x}}{2})=0\)
■導関数,第2次導関数
\(\small\displaystyle y'=\frac{\log x+2}{2\sqrt{x}}\)
\(y'\) の符号が変わる点を調べる.
\(\small\displaystyle \log x = -2\) ⇔ \(\small\displaystyle x = \frac{1}{e^2}\)
\(\small\displaystyle y^{"}=-\frac{\log x}{4x\sqrt{x}}\)
\(y^{''}\) の符号が変わる点を調べる.
\(\small\displaystyle \log x = 0\) ⇔ \(\small\displaystyle x = 1\)
■増減凹凸表
\(\small x\)\(\small 0\)\(\small \)\(\small \frac{1}{e^2}\)\(\small \)\(\small 1\)\(\small \)
\(\small y'\)\(\small \xcancel{\hspace{20px}}\)\(\small -\)\(\small 0\)\(\small +\)\(\small +\)\(\small +\)
\(\small y''\)\(\small \xcancel{\hspace{20px}}\)\(\small +\)\(\small +\)\(\small +\)\(\small 0\)\(\small -\)
\(\small y\)\(\small \xcancel{\hspace{20px}}\)\(\small -\frac{2}{e^2}\)\(\small 0\)
■漸近線
《縦線の形》なし
《斜め線の形》
\(\small\displaystyle y=mx+k\) の形の漸近線があるとする
\(\small\displaystyle m=\lim_{x\rightarrow\infty}\frac{\log x}{\sqrt{x}}\)
 分母分子が \(\small\displaystyle \rightarrow \infty\) のときのロピタルの定理を用いると
\(\small\displaystyle k=\lim_{x\rightarrow\infty} \frac{ \frac{1}{x} }{ \frac{1}{2} x^{-\frac{1}{2}} }\)
\(\small\displaystyle =\lim_{x\rightarrow\infty}\frac{2}{\sqrt{x}}=0\)
\(\small\displaystyle k=\lim_{x\rightarrow\infty}\sqrt{x}(\log x-0x)=\infty\) だから,なし
《横線の形》なし(上記の\(\small k\) の計算と同じ)
■まとめ
零点 \(\small\displaystyle x=1\)
\(\small\displaystyle x=\frac{1}{e^2}\)≒0.135 のとき,極小値\(\small\displaystyle -\frac{2}{e}\)≒−0.736 (→ ●)
極大値 なし
変曲点 \(\small\displaystyle (1,0)\) (→ ●)
漸近線 なし

...(PC版)メニューに戻る