9. 定積分と不等式【ノート】
1人で学べる！高校数学

高校数学[総目次]

数学Ⅲ　第3章　積分法

	スライド	ノート	問題
1. 不定積分	[無料]
2. 置換積分法（不定積分）	[無料]
3. 部分積分法（不定積分）	[無料]
4. 定積分とその性質
5. 置換積分法（定積分）
6. 部分積分法（定積分）
7. 定積分と微分法
8. 定積分と和の極限
9. 定積分と不等式
10. 定積分の応用（面積）
11. 定積分の応用（体積）
12. 定積分の応用（回転体の体積）
13. 曲線の長さ

9．定積分と不等式

9.1　定積分と不等式

定理 　閉区間 $[a,b]$ で連続な関数 $f(x)$ が，この区間で常に $f(x)\geqq 0$ ならば， $${\int }_a^{b}f(x)dx\geqq 0$$ が成り立つ．等号成立は，$[a,b]$ で常に $f(x)=0$ のとき．

　この定理は，図の緑色部分の面積が0以上であるという事実からも理解しやすい．

証明

　${\displaystyle F(x)={\int }_a^{x}f(t)dt}$ とする．$F(b)\geqq 0$ を示せばよい． $$F^{\prime }(x)=\frac{d}{dx}{\int }_a^{x}f(t)dt=f(x)\geqq 0（\because \text{仮定})$$ であるから，$F(x)$ は $a\leqq x\leqq b$ で単調に増加する関数である．よって， $$F(x)\geqq F(a)(={\int }_a^{a}f(t)dt)=0$$ により， $F(x)$ は $a\leqq x\leqq b$ で常に非負となり，従って $F(b)\geqq 0$． また，等号が成立するとき，すなわち ${\displaystyle {\int }_a^{b}f(x)dx=F(b)=0}$ が成り立つときは，$F(x)$ の単調増加性により $$0=F(a)\leqq F(x)\leqq F(b)=0$$となるから，$F(x)$ は $a\leqq x\leqq b$ で常に0． 故に $f(x)=F^{\prime }(x)=(0{)}^{\prime }=0$．

■

系 　閉区間 $[a,b]$ で連続な関数 $f(x)$ が，この区間で常に $f(x)\geqq 0$，かつ ${\displaystyle {\int }_a^{b}f(x)dx=0}$ ならば，この区間で常に $f(x)=0$．

証明

　上の定理の証明における等号成立時の議論により明らか．

■

　上の定理から，直ちに次が成り立つ：

定理 　閉区間 $[a,b]$ で連続な関数 $f(x)$ が，この区間で常に $f(x)\geqq g(x)$ ならば， $${\int }_a^{b}f(x)dx\geqq {\int }_a^{b}g(x)dx$$ が成り立つ．等号成立は，$[a,b]$ で常に $f(x)=g(x)$ のとき．

証明

　$F(x)=f(x)-g(x)$ とおくと，区間 $[a,b]$ で常に $F(x)\geqq 0$．従って， $${\int }_a^{b}F(x)dx={\int }_a^b\{f(x)-g(x)\}dx\geqq 0$$ $$\therefore {\int }_a^{b}f(x)dx-{\int }_a^{b}g(x)dx\geqq 0$$ $$\therefore {\int }_a^{b}f(x)dx\geqq {\int }_a^{b}g(x)dx$$

■

例題1　次を示せ． $$\frac{\pi }{4}<{\int }_0^1\frac{dx}{1+x^3}<1$$

こたえ

　解答例を表示する

　閉区間 $[0,1]$ において，常に $$1\leqq 1+x^3\leqq 1+x^2$$ であるから， $$\frac{1}{1+x^2}\leqq \frac{1}{1+x^3}\leqq 1$$ 　この不等式の等号は常に成り立っている訳ではないから，各辺を0から1まで積分すると $${\int }_0^1\frac{dx}{1+x^2}<{\int }_0^1\frac{dx}{1+x^3}<{\int }_0^{1}dx$$ 　この右辺の積分は1である．またこの左辺の積分は $x=\tan \theta$ とおくと， $$dx={\displaystyle \frac{d\theta }{co{s}^2\theta }},\begin{array}{cc}x& 0\to 1\\ \theta & 0\to \frac{\pi }{4}\end{array}$$ となるから， $$\begin{array}{rl}{\int }_0^1\frac{dx}{1+x^2}& ={\int }_0^{\frac{\pi }{4}}\frac{1}{1+{\tan }^2\theta }\cdot \frac{1}{{\cos }^2\theta }d\theta \\ & ={\int }_0^{\frac{\pi }{4}}d\theta =\frac{\pi }{4}\end{array}$$ $$\therefore \frac{\pi }{4}<{\int }_0^1\frac{dx}{1+x^3}<1$$

■

例題2　$n$ を2以上の自然数とするとき，次を示せ． $$1+\frac{1}{2}+\frac{1}{3}+\cdots +\frac{1}{n}<1+\log n$$

こたえ

　解答例を表示する

　関数 ${\displaystyle \frac{1}{x}}$ は $x>0$ で単調に減少するから，任意の自然数 $k$ について，$k\leqq x\leqq k+1$ のとき，

$$\frac{1}{k+1}\leqq \frac{1}{x}$$

が成り立つ．この不等式の等号は常に成り立つ訳ではないから，両辺を $k$ から $k+1$ まで積分すると

$${\int }_k^{k+1}\frac{dx}{k+1}<{\int }_k^{k+1}\frac{dx}{x}$$

$$\therefore \frac{1}{k+1}<{\int }_k^{k+1}\frac{dx}{x}$$

　この式の $k$ に1から $n-1$ まで代入して辺々加えると

$$\frac{1}{2}+\frac{1}{3}+\cdots +\frac{1}{n}<{\int }_1^2\frac{dx}{x}+{\int }_2^3\frac{dx}{x}+\cdots +{\int }_{n-1}^n\frac{dx}{x}$$

　この右辺は

$${\int }_1^n\frac{dx}{x}=[\log |x|{]}_1^n=\log n$$

となるから結局上の式は

$$\frac{1}{2}+\frac{1}{3}+\cdots \frac{1}{n}<\log n$$

　この両辺に1を加えて

$$1+\frac{1}{2}+\frac{1}{3}+\cdots +\frac{1}{n}<1+\log n$$

■

別解

　解答例を表示する

　図の長方形の面積の合計より，赤色で囲まれた部分の面積の方が大きいから，

$$\begin{array}{rl}1+{\displaystyle \frac{1}{2}}+{\displaystyle \frac{1}{3}}+\cdots +{\displaystyle \frac{1}{n}}& <1+{\int }_1^n\frac{dx}{x}\\ & =1+[\log x{]}_1^n\\ & =1+\log n\end{array}$$

■

別解における注意

　${\displaystyle \frac{1}{x}}$ は $x\to 0$ で発散するため，次の不等式では積分が計算できない：
$$1+{\displaystyle \frac{1}{2}}+{\displaystyle \frac{1}{3}}+\cdots +{\displaystyle \frac{1}{n}}<{\int }_0^n\frac{dx}{x}$$

9.2　絶対値付きの積分不等式

　定積分において，被積分関数に絶対値が付いたままでは積分できない．例えば，次の例題を考えてみよう．

例題　次の定積分を求めよ．$${\int }_0^3|x-1|dx$$

　この問題を

$${\int }_0^3|x-1|dx=\left|{[{\displaystyle \frac{x^2}{2}}-x]}_0^3\right|={\displaystyle \frac{3}{2}}$$

と計算したらもちろん間違いである．正しくは $0\leqq x\leqq 1$ において，$x-1\leqq 0$ であり，$1\leqq x\leqq 3$ において $x-1\geqq 0$ であるから

$$\begin{array}{rl}{\int }_0^3|x-1|dx& =-{\int }_0^1(x-1)dx+{\int }_1^3(x-1)dx\\ & =-{[{\displaystyle \frac{x^2}{2}}-x]}_0^1+{[{\displaystyle \frac{x^2}{2}}-x]}_1^3\\ & ={\displaystyle \frac{1}{2}}+2\\ & ={\displaystyle \frac{5}{2}}\end{array}$$

といった具合に，関数の値が0以上となる区間と，0以下となる区間に分けて積分する必要がある．

　このように，被積分関数に絶対値が含まれる場合の定積分は注意を要するのである．

　さて，先の例では ${\displaystyle {\int }_0^3|x-1|dx={\displaystyle \frac{5}{2}}}$，${\displaystyle |{\int }_0^3(x-1)dx|={\displaystyle \frac{3}{2}}}$ であったから

$${\int }_0^3|x-1|dx\geqq |{\int }_0^3(x-1)dx|$$

という不等式が成り立つ．このような大小関係になる理由は，右辺における区間 $[0,1]$ での定積分が ${\displaystyle {\int }_0^1(x-1)dx=-{\displaystyle \frac{1}{2}}}$ と負になるためである．

　一般にも関数 $f(x)$ について，次の定理が成り立つ．

定理 $${\int }_a^b|f(x)|dx\geqq |{\int }_a^{b}f(x)dx|$$

　これはグラフで考えるとわかりやすい．例えば下の図において，赤，青の面積をそれぞれ $S_1,S_2$ とすると，左辺は $S_1+S_2$ を表すのに対して，右辺は $x$ 軸の下側にある面積がマイナスされるため $|S_1-S_2|$ となり，全体としてこのような大小関係となるのである．

　また，この不等式の等号成立条件である次の定理も，難関大入試問題攻略のためにもぜひ使えるようになっておきたい．

定理 　区間 $[a,b]$ において，関数 $f(x)$ の値が0となるところを除いて定符号のとき， $${\int }_a^b|f(x)|dx=|{\int }_a^{b}f(x)dx|$$

　この定理は，区間$[a,b]$ で常に非負の値をとる関数か，その逆で常に非正の値をとる関数について，絶対値をとってから積分した値と，積分をしたのちに絶対値をとった値は等しいというもので，定積分が面積を表すことを考えると両者が一致することはうなずける．

例題　次を示せ． $$\left|{\int }_{n\pi }^{(n+1)\pi }\frac{\sin x}{x^2}dx\right|<\frac{1}{\pi }(\frac{1}{n}-\frac{1}{n+1})(n=1,2,\cdots )$$

こたえ

　解答例を表示する

$$\begin{array}{rl}\text{左辺}& \leqq {\int }_{n\pi }^{(n+1)\pi }\left|\frac{\sin x}{x^2}\right|dx\\ & <{\int }_{n\pi }^{(n+1)\pi }\frac{dx}{x^2}\\ & ={[-\frac{1}{x}]}_{n\pi }^{(n+1)\pi }\\ & =-\frac{1}{(n+1)\pi }+\frac{1}{n\pi }\\ & =\text{右辺}\end{array}$$

■

---

高校数学[総目次]

数学Ⅲ　第3章　積分法

	スライド	ノート	問題
1. 不定積分	[無料]
2. 置換積分法（不定積分）	[無料]
3. 部分積分法（不定積分）	[無料]
4. 定積分とその性質
5. 置換積分法（定積分）
6. 部分積分法（定積分）
7. 定積分と微分法
8. 定積分と和の極限
9. 定積分と不等式
10. 定積分の応用（面積）
11. 定積分の応用（体積）
12. 定積分の応用（回転体の体積）
13. 曲線の長さ