みんなの教科書GitHub

数学III 微分法

答えと解説

答えが合っていても、解説を読んで「なぜそう解くのか」まで確認すると力がつきます。 解説を読んでもわからないときは、AIに質問してみましょう。

1基本

次の関数を微分せよ。
(1) y=(x2+1)(2x3)y = (x^2+1)(2x-3)
(2) y=xx2+1y = \dfrac{x}{x^2+1}

答え

(1) y=6x26x+2y' = 6x^2 - 6x + 2
(2) y=1x2(x2+1)2y' = \dfrac{1 - x^2}{(x^2+1)^2}

解説

(1) 積の微分法 {fg}=fg+fg\{f g\}' = f'g + fg' を使います。f=x2+1f = x^2+1g=2x3g = 2x-3 とすると f=2xf' = 2xg=2g' = 2 なので

y=2x(2x3)+(x2+1)2y' = 2x(2x-3) + (x^2+1) \cdot 2
=4x26x+2x2+2=6x26x+2= 4x^2 - 6x + 2x^2 + 2 = 6x^2 - 6x + 2

検算として先に展開すると y=2x33x2+2x3y = 2x^3 - 3x^2 + 2x - 3 で、微分すれば y=6x26x+2y' = 6x^2 - 6x + 2 となり一致します。

(2) 商の微分法 {fg}=fgfgg2\left\{\dfrac{f}{g}\right\}' = \dfrac{f'g - fg'}{g^2} を使います。f=xf = xg=x2+1g = x^2+1 とすると f=1f' = 1g=2xg' = 2x なので

y=1(x2+1)x2x(x2+1)2=x2+12x2(x2+1)2=1x2(x2+1)2y' = \frac{1 \cdot (x^2+1) - x \cdot 2x}{(x^2+1)^2} = \frac{x^2 + 1 - 2x^2}{(x^2+1)^2} = \frac{1 - x^2}{(x^2+1)^2}

商の微分は分子の引き算の順序(分子の微分が先)を間違えやすいので、公式を声に出しながら書くのがおすすめです。

ChatGPTで質問Claudeで質問Geminiで質問
2基本

次の関数を微分せよ。
(1) y=(2x+1)5y = (2x+1)^5
(2) y=x2+3y = \sqrt{x^2+3}

答え

(1) y=10(2x+1)4y' = 10(2x+1)^4
(2) y=xx2+3y' = \dfrac{x}{\sqrt{x^2+3}}

解説

どちらも合成関数の微分法「外側を微分 × 中身の微分」を使います。

(1) 外側は「5乗」、中身は 2x+12x+1 です。

y=5(2x+1)4(2x+1)=5(2x+1)42=10(2x+1)4y' = 5(2x+1)^4 \cdot (2x+1)' = 5(2x+1)^4 \cdot 2 = 10(2x+1)^4

(2) まず指数の形に直します。y=(x2+3)12y = (x^2+3)^{\frac{1}{2}} なので

y=12(x2+3)12(x2+3)=12x2+32x=xx2+3y' = \frac{1}{2}(x^2+3)^{-\frac{1}{2}} \cdot (x^2+3)' = \frac{1}{2\sqrt{x^2+3}} \cdot 2x = \frac{x}{\sqrt{x^2+3}}

「中身の微分を掛ける」のを忘れるのが最も多いミスです。合成関数を見たら、中身が何かをまず確認する習慣をつけましょう。

ChatGPTで質問Claudeで質問Geminiで質問
3基本

次の関数を微分せよ。
(1) y=sin3xy = \sin 3x
(2) y=e2xy = e^{2x}
(3) y=log(x2+1)y = \log(x^2+1)

答え

(1) y=3cos3xy' = 3\cos 3x
(2) y=2e2xy' = 2e^{2x}
(3) y=2xx2+1y' = \dfrac{2x}{x^2+1}

解説

いずれも基本公式と合成関数の微分法の組合せです。

(1) (sinu)=cosuu(\sin u)' = \cos u \cdot u' で、中身は u=3xu = 3x なので

y=cos3x(3x)=3cos3xy' = \cos 3x \cdot (3x)' = 3\cos 3x

(2) (eu)=euu(e^u)' = e^u \cdot u' で、中身は u=2xu = 2x なので

y=e2x(2x)=2e2xy' = e^{2x} \cdot (2x)' = 2e^{2x}

(3) (logu)=uu(\log u)' = \dfrac{u'}{u} で、中身は u=x2+1u = x^2+1 なので

y=(x2+1)x2+1=2xx2+1y' = \frac{(x^2+1)'}{x^2+1} = \frac{2x}{x^2+1}

log\log の微分は「中身の微分を分子に、中身を分母に」とセットで覚えると速く正確に計算できます。

ChatGPTで質問Claudeで質問Geminiで質問
4基本

曲線 y=logxy = \log x 上の点 (1, 0)(1,\ 0) における接線の方程式を求めよ。

答え

y=x1y = x - 1

解説

接線の公式 y=f(a)(xa)+f(a)y = f'(a)(x-a) + f(a) を使います。

f(x)=logxf(x) = \log x の導関数は

f(x)=1xf'(x) = \frac{1}{x}

接点の xx 座標は a=1a = 1 なので、接線の傾きは

f(1)=11=1f'(1) = \frac{1}{1} = 1

接点 (1, 0)(1,\ 0) を通り傾き 11 の直線だから

y=1(x1)+0=x1y = 1 \cdot (x - 1) + 0 = x - 1

検算として、x=1x = 1 を代入すると y=0y = 0 で確かに接点を通ります。接線の問題は「傾き f(a)f'(a)」と「接点の座標」の2つがそろえば必ず書けます。

ChatGPTで質問Claudeで質問Geminiで質問
5基本

関数 y=xexy = xe^x の極値を求めよ。

答え

x=1x = -1 で極小値 1e-\dfrac{1}{e}(極大値はない)

解説

積の微分法で導関数を求めます。

y=(x)ex+x(ex)=ex+xex=(x+1)exy' = (x)'e^x + x(e^x)' = e^x + xe^x = (x+1)e^x

ex>0e^x > 0 が常に成り立つので、yy' の符号は x+1x+1 の符号と一致します。

x<1x < -1 のとき y<0y' < 0(減少)、x>1x > -1 のとき y>0y' > 0(増加)。

増減表より、x=1x = -1 で減少から増加に切り替わるので極小で、極小値は

y=(1)e1=1ey = (-1) \cdot e^{-1} = -\frac{1}{e}

極大値はありません。「ex>0e^x > 0 だから符号は多項式部分だけで決まる」という見方は、指数関数を含む増減の問題全般で使える時短テクニックです。

ChatGPTで質問Claudeで質問Geminiで質問
6標準

対数微分法を用いて、関数 y=xxy = x^x(x>0x > 0)を微分せよ。

答え

y=xx(logx+1)y' = x^x(\log x + 1)

解説

底にも指数にも xx がある関数なので、(xn)(x^n)' の公式も (ax)(a^x)' の公式もそのままでは使えません。対数微分法を使います。

x>0x > 0 より y=xx>0y = x^x > 0 なので、両辺の自然対数をとると

logy=logxx=xlogx\log y = \log x^x = x \log x

両辺を xx で微分します。左辺は合成関数の微分法で yy\dfrac{y'}{y}、右辺は積の微分法で

yy=1logx+x1x=logx+1\frac{y'}{y} = 1 \cdot \log x + x \cdot \frac{1}{x} = \log x + 1

両辺に yy を掛けて、y=xxy = x^x を戻すと

y=xx(logx+1)y' = x^x(\log x + 1)

(xx)=xxx1(x^x)' = x \cdot x^{x-1}」とするのは典型的な誤りです。指数に変数がある関数を見たら対数微分法、と反射的に判断できるようにしましょう。

ChatGPTで質問Claudeで質問Geminiで質問
7標準

曲線 y=xy = \sqrt{x} 上の点 (4, 2)(4,\ 2) における接線と法線の方程式を求めよ。

答え

接線: y=14x+1y = \dfrac{1}{4}x + 1、 法線: y=4x+18y = -4x + 18

解説

y=x12y = x^{\frac{1}{2}} と直して微分すると

y=12x12=12xy' = \frac{1}{2}x^{-\frac{1}{2}} = \frac{1}{2\sqrt{x}}

x=4x = 4 での接線の傾きは

124=14\frac{1}{2\sqrt{4}} = \frac{1}{4}

接線は点 (4, 2)(4,\ 2) を通り傾き 14\dfrac{1}{4} なので

y=14(x4)+2=14x1+2=14x+1y = \frac{1}{4}(x - 4) + 2 = \frac{1}{4}x - 1 + 2 = \frac{1}{4}x + 1

法線の傾きは、接線と垂直だから傾きの積が 1-1 となる値、すなわち 4-4 です。よって

y=4(x4)+2=4x+16+2=4x+18y = -4(x - 4) + 2 = -4x + 16 + 2 = -4x + 18

検算: 接線・法線とも x=4x = 4y=2y = 2 となり、確かに接点を通ります。14×(4)=1\dfrac{1}{4} \times (-4) = -1 で垂直条件も満たしています。

ChatGPTで質問Claudeで質問Geminiで質問
8標準

原点から曲線 y=exy = e^x に引いた接線の方程式を求めよ。

答え

y=exy = ex

解説

原点は曲線上の点ではないので、接点の xx 座標を tt とおくのが定石です。

接点は (t, et)(t,\ e^t)y=exy' = e^x より接線の傾きは ete^t なので、接線の方程式は

y=et(xt)+ety = e^t(x - t) + e^t

この接線が原点 (0, 0)(0,\ 0) を通るから、代入して

0=et(0t)+et=et(1t)0 = e^t(0 - t) + e^t = e^t(1 - t)

et>0e^t > 0 なので 1t=01 - t = 0、すなわち t=1t = 1

接点は (1, e)(1,\ e)、傾きは ee だから、接線の方程式は

y=e(x1)+e=exy = e(x - 1) + e = ex

「曲線外の点から引く接線」では、与えられた点の座標を接線の式の xxyy に代入するのであって、接点の座標に使ってはいけません。ここを混同するミスが非常に多いので注意しましょう。

ChatGPTで質問Claudeで質問Geminiで質問
9標準

f(x)=logxf(x) = \log x、区間 [1, e][1,\ e] について、平均値の定理を満たす cc の値を求めよ。

答え

c=e1c = e - 1

解説

f(x)=logxf(x) = \log xx>0x > 0 で連続かつ微分可能なので、閉区間 [1, e][1,\ e] で平均値の定理が使えます。定理の式は

f(e)f(1)e1=f(c)(1<c<e)\frac{f(e) - f(1)}{e - 1} = f'(c) \quad (1 < c < e)

左辺を計算すると、f(e)=loge=1f(e) = \log e = 1f(1)=log1=0f(1) = \log 1 = 0 より

10e1=1e1\frac{1 - 0}{e - 1} = \frac{1}{e - 1}

f(x)=1xf'(x) = \dfrac{1}{x} なので、f(c)=1cf'(c) = \dfrac{1}{c} とおいて

1c=1e1,c=e1\frac{1}{c} = \frac{1}{e - 1} \quad \text{,} \quad c = e - 1

最後に cc が区間の内部にあるか確認します。2<e<32 < e < 3 より 1<e1<2<e1 < e - 1 < 2 < e なので、確かに 1<c<e1 < c < e を満たします。平均値の定理の問題では、この「範囲の確認」まで書いて初めて完答です。

ChatGPTで質問Claudeで質問Geminiで質問
10標準

関数 y=x44x3y = x^4 - 4x^3 の極値と変曲点を求めよ。

答え

x=3x = 3 で極小値 27-27(極大値はない)。変曲点は (0, 0)(0,\ 0)(2, 16)(2,\ -16)

解説

まず第1次導関数で増減を調べます。

y=4x312x2=4x2(x3)y' = 4x^3 - 12x^2 = 4x^2(x - 3)

y=0y' = 0 となるのは x=0, 3x = 0,\ 3 です。符号を調べると、4x204x^2 \ge 0 なので yy' の符号は x3x - 3 で決まり

x<0x < 0y<0y' < 00<x<30 < x < 3y<0y' < 0x>3x > 3y>0y' > 0

x=0x = 0 の前後で符号が変わらない(減少のまま)ので、x=0x = 0 は極値ではありません。x=3x = 3 で減少から増加に変わるので極小で、極小値は

y=34433=81108=27y = 3^4 - 4 \cdot 3^3 = 81 - 108 = -27

次に第2次導関数で凹凸を調べます。

y=12x224x=12x(x2)y'' = 12x^2 - 24x = 12x(x - 2)

y=0y'' = 0 となるのは x=0, 2x = 0,\ 2 で、x<0x < 0y>0y'' > 0(下に凸)、0<x<20 < x < 2y<0y'' < 0(上に凸)、x>2x > 2y>0y'' > 0(下に凸)。どちらの点でも符号が変わるので、変曲点は

(0, 0),(2, 24423)=(2, 16)(0,\ 0), \quad (2,\ 2^4 - 4 \cdot 2^3) = (2,\ -16)

y=0y' = 0 でも極値とは限らない」ことを実感できる典型問題です。x=0x = 0 は極値ではなく変曲点になっています。

ChatGPTで質問Claudeで質問Geminiで質問
11標準

関数 y=x+2cosxy = x + 2\cos x(0xπ0 \le x \le \pi)の最大値と最小値を求めよ。

答え

最大値 π6+3\dfrac{\pi}{6} + \sqrt{3}(x=π6x = \dfrac{\pi}{6} のとき)、最小値 5π63\dfrac{5\pi}{6} - \sqrt{3}(x=5π6x = \dfrac{5\pi}{6} のとき)

解説

微分して増減を調べます。

y=12sinxy' = 1 - 2\sin x

y=0y' = 0 とすると sinx=12\sin x = \dfrac{1}{2}0xπ0 \le x \le \pi の範囲では

x=π6, 5π6x = \frac{\pi}{6},\ \frac{5\pi}{6}

符号を調べると、0x<π60 \le x < \dfrac{\pi}{6}sinx<12\sin x < \dfrac{1}{2} だから y>0y' > 0(増加)、π6<x<5π6\dfrac{\pi}{6} < x < \dfrac{5\pi}{6}y<0y' < 0(減少)、5π6<xπ\dfrac{5\pi}{6} < x \le \piy>0y' > 0(増加)です。

極値と端点の値をすべて計算します。

y(0)=0+2cos0=2y(0) = 0 + 2\cos 0 = 2
y(π6)=π6+232=π6+3y\left(\frac{\pi}{6}\right) = \frac{\pi}{6} + 2 \cdot \frac{\sqrt{3}}{2} = \frac{\pi}{6} + \sqrt{3}
y(5π6)=5π6+2(32)=5π63y\left(\frac{5\pi}{6}\right) = \frac{5\pi}{6} + 2 \cdot \left(-\frac{\sqrt{3}}{2}\right) = \frac{5\pi}{6} - \sqrt{3}
y(π)=π+2cosπ=π2y(\pi) = \pi + 2\cos\pi = \pi - 2

およその値は順に 222.262.260.890.891.141.14 なので、最大値は π6+3\dfrac{\pi}{6} + \sqrt{3}、最小値は 5π63\dfrac{5\pi}{6} - \sqrt{3} です。

閉区間の最大・最小では、極値だけでなく必ず端点の値も候補に入れて比較することを忘れないでください。

ChatGPTで質問Claudeで質問Geminiで質問
12発展

(1) 関数 f(x)=logxxf(x) = \dfrac{\log x}{x}(x>0x > 0)の最大値を求めよ。
(2) (1) を利用して、eπe^{\pi}πe\pi^{e} の大小を比較せよ。

答え

(1) x=ex = e のとき最大値 1e\dfrac{1}{e}
(2) eπ>πee^{\pi} > \pi^{e}

解説

(1) 商の微分法で

f(x)=1xxlogx1x2=1logxx2f'(x) = \frac{\dfrac{1}{x} \cdot x - \log x \cdot 1}{x^2} = \frac{1 - \log x}{x^2}

x2>0x^2 > 0 なので、f(x)f'(x) の符号は 1logx1 - \log x の符号と一致します。logx<1\log x < 1 すなわち 0<x<e0 < x < ef(x)>0f'(x) > 0(増加)、x>ex > ef(x)<0f'(x) < 0(減少)。

よって x=ex = e で最大となり、最大値は

f(e)=logee=1ef(e) = \frac{\log e}{e} = \frac{1}{e}

(2) e<πe < \pi で、(1) より f(x)f(x)x>ex > e で単調に減少するから

f(e)>f(π),1e>logππf(e) > f(\pi) \quad \text{,} \quad \frac{1}{e} > \frac{\log \pi}{\pi}

両辺に eπ (>0)e\pi\ (> 0) を掛けて

π>elogπ\pi > e \log \pi

π=πloge\pi = \pi \log e と書き直すと πloge>elogπ\pi \log e > e \log \pi、すなわち

logeπ>logπe\log e^{\pi} > \log \pi^{e}

logx\log x は単調増加なので

eπ>πee^{\pi} > \pi^{e}

「累乗の大小比較は対数をとって logxx\dfrac{\log x}{x} 型の関数に持ち込む」のは入試で頻出の発想です。(1) が (2) の誘導になっている構造を見抜けるようにしましょう。

ChatGPTで質問Claudeで質問Geminiで質問
13発展

aa を実数の定数とするとき、方程式 xex=axe^{-x} = a の異なる実数解の個数を調べよ。ただし limxxex=0\displaystyle\lim_{x \to \infty} xe^{-x} = 0 を用いてよい。

答え

a>1ea > \dfrac{1}{e} のとき 00 個、a=1ea = \dfrac{1}{e} または a0a \le 0 のとき 11 個、0<a<1e0 < a < \dfrac{1}{e} のとき 22

解説

定数 aa が分離されているので、曲線 y=f(x)=xexy = f(x) = xe^{-x} と直線 y=ay = a の共有点の個数を数えます。

まず増減を調べます。積の微分法で

f(x)=ex+x(ex)=(1x)exf'(x) = e^{-x} + x \cdot (-e^{-x}) = (1 - x)e^{-x}

ex>0e^{-x} > 0 なので、x<1x < 1f(x)>0f'(x) > 0(増加)、x>1x > 1f(x)<0f'(x) < 0(減少)。よって x=1x = 1 で極大かつ最大となり、最大値は

f(1)=1ef(1) = \frac{1}{e}

次にグラフの端の様子を調べます。xx \to \infty のとき、与えられた極限より f(x)0f(x) \to 0 で、x>0x > 0 では常に f(x)>0f(x) > 0 です。xx \to -\infty のとき、xx \to -\inftyexe^{-x} \to \infty なので f(x)f(x) \to -\infty。また f(0)=0f(0) = 0 です。

したがってグラフは、左下の -\infty から増加して原点を通り、(1, 1/e)(1,\ 1/e) で頂点に達したあと、xx 軸に近づきながら(y>0y > 0 を保って)減少していきます。

直線 y=ay = a を上下に動かして共有点を数えると

【場合1】 a>1ea > \dfrac{1}{e} のとき: 最大値より上なので共有点なし。00 個。

【場合2】 a=1ea = \dfrac{1}{e} のとき: 頂点でのみ接する。11 個。

【場合3】 0<a<1e0 < a < \dfrac{1}{e} のとき: 増加部分(0<x<10 < x < 1)と減少部分(x>1x > 1)で1回ずつ交わる。22 個。

【場合4】 a=0a = 0 のとき: x>0x > 0 では f(x)>0f(x) > 0 なので交点は原点のみ。11 個。

【場合5】 a<0a < 0 のとき: f(x)<0f(x) < 0 となるのは x<0x < 0 の増加部分だけなので、そこで1回だけ交わる。11 個。

まとめると、a>1ea > \dfrac{1}{e}00 個、a=1ea = \dfrac{1}{e} または a0a \le 011 個、0<a<1e0 < a < \dfrac{1}{e}22 個です。

定数分離の問題では、極値だけでなく「x±x \to \pm\infty での極限」と「グラフが軸に触れるかどうか」まで調べないと、境目(a=0a = 0 のような値)で個数を数え間違えます。

ChatGPTで質問Claudeで質問Geminiで質問
14発展

x>0x > 0 のとき、不等式 ex>1+x+x22e^x > 1 + x + \dfrac{x^2}{2} が成り立つことを証明せよ。

答え

(証明問題。解説は下記参照)

解説

差をとって関数を作り、増減を調べる方針です。

f(x)=ex(1+x+x22)f(x) = e^x - \left(1 + x + \frac{x^2}{2}\right)

とおき、x>0x > 0f(x)>0f(x) > 0 を示します。微分すると

f(x)=ex1xf'(x) = e^x - 1 - x

f(x)f'(x) の符号がすぐには分からないので、もう一度微分します。

f(x)=ex1f''(x) = e^x - 1

x>0x > 0 のとき ex>e0=1e^x > e^0 = 1 なので f(x)>0f''(x) > 0。よって f(x)f'(x)x0x \ge 0 で単調に増加します。さらに

f(0)=e010=0f'(0) = e^0 - 1 - 0 = 0

だから、x>0x > 0 のとき

f(x)>f(0)=0f'(x) > f'(0) = 0

したがって f(x)f(x)x0x \ge 0 で単調に増加します。さらに

f(0)=e0(1+0+0)=0f(0) = e^0 - (1 + 0 + 0) = 0

だから、x>0x > 0 のとき

f(x)>f(0)=0f(x) > f(0) = 0

すなわち ex>1+x+x22e^x > 1 + x + \dfrac{x^2}{2} が成り立ちます。(証明終)

1回の微分で符号が判定できないときは、「もう一度微分して ff'' から ff' の増減を調べ、f(0)=0f'(0) = 0 とつないで符号を確定させる」のが定石です。f(0)=0f(0) = 0f(0)=0f'(0) = 0 という出発点の確認を省略すると証明として不完全になるので、必ず明記しましょう。

ChatGPTで質問Claudeで質問Geminiで質問