絶対値のある積分は区間を分ける-分け方に工夫が必要なとき(東京都立大2017理系第3問)

式に絶対値があるときの積分やるよ。
プラスのときとマイナスのときで分けますか?
分けるよ。区間を2つに分けて足し算するのがポイント。

例として,22x  dx\displaystyle\int_{-2}^2|x|\space dx を求めてみましょう。

絶対値の記号があるときのグラフは上のようになります。y=xy=x のグラフを考え,xx 軸より下の部分を上に向かってひっくり返すと絶対値のグラフになります。

このとき,xx は 2-2 から 22 まで変化していきますが,2-2 から 00 の区間で符号を逆にしなければならないことが分かります。

式を書き換えると

20x  dx+02x  dx\displaystyle\int_{-2}^{0}-x\space dx+\int_0^2x\space dx
=[12x2]20+[12x2]02=\Big[-\cfrac{1}{2}x^2\Big]_{-2}^0+\Big[\cfrac{1}{2}x^2\Big]_0^2
12{0(2)2}+12(220)-\cfrac{1}{2}\{0-(-2)^2\}+\cfrac{1}{2}(2^2-0)
=4=4

このように,式に絶対値がある場合には,積分区間を分けて計算し,それらを合計して積分します。

演習問題

xx は 0 x 10\leqq x\leqq 1 をみたす実数とし,ee は自然対数の底とする。以下の問いに答えなさい。(東京都立大2017)

(1) 定積分 xx+11te1t  dt\displaystyle\int_{x}^{x+1}|1-t|e^{1-t}\space dt を求めなさい。

(2) 定積分 xx+1πsin(π t)  dt\displaystyle\int_{x}^{x+1}|\pi\sin(\pi t)|\space dt を求めなさい。

(3) 関数

f(x)=xx+1{1te1tπsin(π t)}  dtf(x)=\displaystyle\int_{x}^{x+1}\{|1-t|e^{1-t}-|\pi\sin(\pi t)|\}\space dt (0 x1)(0\leqq x\leqq1)

の最大値と最小値,およびそのときの xx の値を求めなさい。

積分区間を分ける

(1)から始めます。

やり方分かったけど,区間の区切りかたが分からないです。
上の例のときは区切るポイント簡単に見つかったけど,実際の入試問題だと複雑になるね。でもていねいに考えれば大丈夫。

問題文の 0 x 10\leqq x\leqq 1 をもとに絶対値を区切るポイントを見つけましょう。

xx+11te1t  dt\displaystyle\int_{x}^{x+1}|1-t|e^{1-t}\space dt

式を見ると,tt が xx から x+1x+1 まで変化することが分かります。よって

0 x10\leqq x\leqq1 より

x=tx=t とすると

0 t10\leqq t\leqq1
1t0-1\leqq-t\leqq0
01t10\leqq1-t\leqq1

つまり,積分のスタート地点では絶対値の中はプラスの値です。次に

0 x10\leqq x\leqq1 より

1 x+121\leqq x+1\leqq2

x+1=tx+1=t とすると

1 t21\leqq t\leqq2
2t1-2\leqq-t\leqq-1
11t0-1\leqq1-t\leqq0

積分の終わりの地点では絶対値の中はマイナスの値です。

今度は,絶対値の区切ポイントを見つけましょう。

1t=01-t=0 のとき

t=1t=1

これらから,1t1-t はプラスから始まって t=1t=1 で符号が逆転,あとはマイナスになることが分かります。よって積分区間を [x,1][x,1] と [1,x+1][1,x+1] に分けて,2つ目の積分は符号を逆にして絶対値を外せばうまくいきそうです。

x1(1t)e1t  dt+1x+1(t1)e1t  dt\displaystyle\int_{x}^{1}(1-t)e^{1-t}\space dt+\int_{1}^{x+1}(t-1)e^{1-t}\space dt

式がかけ算なので部分積分に持ち込みましょう。

部分積分法
abf(x)g(x)dx=[f(x)g(x)]ababf(x)g(x)dx\displaystyle\int_a^bf(x)g'(x)dx=\Big[f(x)g(x)\Big]_a^b-\int_a^bf'(x)g(x)dx

=x1(1t)(e1t)’  dt+1x+1(t1)(e1t)’  dt\displaystyle=\int_{x}^1(1-t)(-e^{1-t})’\space dt+\int_1^{x+1}(t-1)(-e^{1-t})’\space dt
=x1(t1)(e1t)’  dt+1x+1(1t)(e1t)’  dt\displaystyle=\int_{x}^1(t-1)(e^{1-t})’\space dt+\int_1^{x+1}(1-t)(e^{1-t})’\space dt
=[(t1)e1t]x1x1(t1)e1t  dt+[(1t)e1t]1x+11x+1(1t)e1t  dt\displaystyle=\Big[(t-1)e^{1-t}\Big]_x^1-\int_x^1(t-1)’e^{1-t}\space dt+\Big[(1-t)e^{1-t}\Big]_1^{x+1}-\int_1^{x+1}(1-t)’e^{1-t}\space dt
=(x1)e1xx1e1t  dtxex+1x+1e1t  dt\displaystyle=-(x-1)e^{1-x}-\int_x^1e^{1-t}\space dt-xe^{-x}+\int_1^{x+1}e^{1-t}\space dt
=(x1)e1x[e1t]x1xex+[e1t]1x+1=-(x-1)e^{1-x}-\Big[-e^{1-t}\Big]_x^1-xe^{-x}+\Big[-e^{1-t}\Big]_1^{x+1}
=xe1x+e1x+1e1xxexex+1\displaystyle=-xe^{1-x}+e^{1-x}+1-e^{1-x}-xe^{-x}-e^{-x}+1
=2xe1xxexex=2-xe^{1-x}-xe^{-x}-e^{-x}

式をなるべくまとめておきます。

=2(xe+x+1)ex=2-(xe+x+1)e^{-x}

ex× e=e1xe^{-x}\times e=e^{1-x} でもとに戻るのを確認して。

=2{x(e+1)+1}ex=2-\{x(e+1)+1\}e^{-x} (答え)

三角関数の場合

(2)に進みます。

(1)と同じ手順で積分区間を分けます。

0 x10\leqq x\leqq1 より

x=tx=t とすると

0π tπ0\leqq\pi t\leqq\pi
0sin(π t)10\leqq\sin(\pi t)\leqq1

また

1 x+121\leqq x+1\leqq2 より

x+1=tx+1=t とすると

ππ t2π\pi\leqq\pi t\leqq2\pi
1sin(π t)0-1\leqq\sin(\pi t)\leqq0

つまり,絶対値の中はプラス→マイナスに変化します。符号が逆転するポイントを求めると

sin(π t)=0\sin(\pi t)=0 とすると

π t=0,π,2π,\pi t=0,\pi,2\pi,\cdots
t=0,1,2,t=0,1,2,\cdots

よって

x1πsin(π t)  dt1x+1πsin(π t)  dt\displaystyle\int_x^1\pi\sin(\pi t)\space dt-\int_1^{x+1}\pi\sin(\pi t)\space dt

いまいちピンと来ないような。

上で作った不等式くっつけると

0 x1 x+120\leqq x\leqq1\leqq x+1\leqq2

だから,途中で 1 を通るってこと。あとは符号を考えて絶対値を外せばオッケー。

もう少し厳密に言うと,x=0x=0 のとき,式は

01πsin(π t)  dt11πsin(π t)  dt\displaystyle\int_0^1\pi\sin(\pi t)\space dt-\int_1^{1}\pi\sin(\pi t)\space dt

となり,2 つ目の項は 0 になります。

同様に x=1x=1 のとき

11πsin(π t)  dt12πsin(π t)  dt\displaystyle\int_1^1\pi\sin(\pi t)\space dt-\int_1^2\pi\sin(\pi t)\space dt

となり,今度は 1 つ目の項が 0 になります。

このように,t=1t=1 が積分区間の端になることがありますが,式としてはちゃんとつじつまが合います。

x1πsin(π t)  dt1x+1πsin(π t)  dt\displaystyle\int_x^1\pi\sin(\pi t)\space dt-\int_1^{x+1}\pi\sin(\pi t)\space dt
=[cos(π t)]x1[cos(π t)]1x+1=\Big[-\cos(\pi t)\Big]_x^1-\Big[-\cos(\pi t)\Big]_1^{x+1}
={cosπcos(π x)}+cos{π(x+1)}cosπ=-\{\cos\pi-\cos(\pi x)\}+\cos\{\pi(x+1)\}-\cos\pi
=1+cos(π x)+cos(π x+π)+1=1+\cos(\pi x)+\cos(\pi x+\pi)+1

[te]三角比の相互の関係から cos(π x+π)=cos(π x)\cos(\pi x+\pi)=-\cos(\pi x) が成り立つ。ピンと来ないときは加法定理で求めると良い。

=2+cos(π x)cos(π x)=2+\cos(\pi x)-\cos(\pi x)

=2=2 (答え)

最大値と最小値

(3)に進みます。(1)と(2)の答えを使って式を作りましょう。

f(x)=xx+1{1te1tπsin(π t)}  dtf(x)=\displaystyle\int_{x}^{x+1}\{|1-t|e^{1-t}-|\pi\sin(\pi t)|\}\space dt (0 x1)(0\leqq x\leqq1)
=2{(e+1)x+1}ex2=2-\{(e+1)x+1\}e^{-x}-2
={(e+1)x+1}ex=-\{(e+1)x+1\}e^{-x}

グラフの形を調べるために,微分して増減表を作りましょう。

f(x)={(e+1)x+1}ex{(e+1)x+1}(ex)f'(x)=-\{(e+1)x+1\}’e^{-x}-\{(e+1)x+1\}(e^{-x})’
=(e+1)ex+{(e+1)x+1}ex=-(e+1)e^{-x}+\{(e+1)x+1\}e^{-x}
={(e+1)+(e+1)x+1}ex=\{-(e+1)+(e+1)x+1\}e^{-x}
={(e+1)xe}ex=\{(e+1)x-e\}e^{-x}

{(e+1)xe}ex=0\{(e+1)x-e\}e^{-x}=0 とすると

ex0e^{-x}\not=0 より (e+1)xe=0(e+1)x-e=0
x=ee+1x=\cfrac{e}{e+1}

増減表は

 x0ee+11 f(x)0++ f(x)↘↗\def\arraystretch{1.5}\begin{array}{|c|c|c|c|c|c|}\hline x&0&\cdots&\frac{e}{e+1}&\cdots&1\\\hline f'(x)&-&-&0&+&+\\\hline f(x)&&\searrow&&\nearrow&\\\hline\end{array}

ここから,最大値と最小値を考えます。増減表から最大値は xx が 0 または 1 のときなので,二つを比べてみます。

f(0)={(e+1)0+1}e0=1f(0)=-\{(e+1)\cdot0+1\}e^{-0}=-1
f(1)={(e+1)1+1}e1f(1)=-\{(e+1)\cdot1+1\}e^{-1}
=(e+2)e1=-(e+2)e^{-1}

どっちが大きいの?

式をもう少し変形してみます。

=12e=-1-\cfrac{2}{e}

2e>0\cfrac{2}{e}>0 だから

1>12e-1>-1-\cfrac{2}{e}

よって,最大値は x=0x=0 のとき。

また,最小値は x=ee+1x=\cfrac{e}{e+1} のときだから

f(ee+1)={(e+1)ee+1+1}eee+1f\Big(\cfrac{e}{e+1}\Big)=-\Big\{(e+1)\cfrac{e}{e+1}+1\Big\}e^{\small\frac{e}{e+1}}
=(e+1)eee+1=-(e+1)e^{\small\frac{e}{e+1}}

したがって

最大値は x=0x=0 のとき 1-1

最小値は x=ee+1x=\cfrac{e}{e+1} のとき (e+1)eee+1-(e+1)e^{\small\frac{e}{e+1}}

(答え)