ここでは、数学IIの微分・積分の考えで学んだ積分の性質についてより詳しく扱う。また、三角関数や指数・対数関数などの関数の積分についても学習する。
高等学校数学の全ての分野を学んだ後に学習に取り組んでほしい。
積分法について
(aは定数)
が成り立つ。
導出
の両辺を微分すると、
左辺 =右辺 =
が従う。
よって、
の両辺は一致する。
(実際には2つの関数の導関数が一致するとき、
それらの関数には定数だけのちがいがある。
仮に、F(x)とG(x)が共通の導関数h(x)を持ったとする。
このとき、
となるが、0の原始関数は定数Cであることが分かる。
よって、両辺を積分すると、
となり、F(x)とG(x)には定数だけの差しかないことが確かめられた。
よって、
は定数だけのちがいを含んで成り立つ式である。
より一般に、不定積分が絡む等式は定数分の差を含めて成り立つというのが通例である。)
についても両辺を微分すると、
左辺=右辺= a f(x)
が従う。
よって、
が成り立つことが分る。
関数
の原始関数を
とすると
である。
関数の原始関数を求める手段として、
積分変数を別の変数で置き換えて積分を行なう手段が知られている。
これを置換積分と呼ぶ。
導出
を
について微分すると、
再び
について積分すると、
また、特に
![{\displaystyle \int f(ax+b)dx={\frac {1}{a}}\int f(ax+b)d(ax+b)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7255aef148b5ef38d8ef39e01be11ee26a62e950)
![{\displaystyle \int \{f(x)\}^{n}f'(x)dx={\frac {1}{n+1}}\{f(x)\}^{n+1}+C(n\neq -1)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/015250f38fcaa20fdb6df9d26477a3417c4b4fc4)
![{\displaystyle \int {\frac {f'(x)}{f(x)}}dx=\log |f(x)|+C}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fe5e4e30a1f1097147898c6b37fd84834c90a484)
例えば、
を考える。
と置く。
この両辺を微分すると
が成り立つことを考慮すると、
|
|
|
|
となることがわかる。
実際この式をxで微分すると
と一致することが分る。
置換積分を使わずに計算することも出来る。
|
|
|
|
|
|
(
と置き換えた。)
となり確かに一致する。
関数の積の積分を行なうときある関数の微分だけを取りだして積分すると、うまく積分できる場合がある。関数
の原始関数を
とすると
導出
積の微分法より
である。これを移項して
である。両辺をxで積分して
が得られる。
例えば、
|
|
|
|
|
|
|
|
|
|
のとき、
なので、
のとき、
なので、
が成り立つ。
![{\displaystyle (\sin x)'=\cos x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/be1c3642eba65ff3d1b953c65d5a34ab274025bd)
![{\displaystyle (\cos x)'=-\sin x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/af53dce9f55d9386fde4f9458b4057897f3564b8)
![{\displaystyle (\tan x)'={\frac {1}{\cos ^{2}x}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b1c7f4f0323f0f51a01605d89524d7366bc77287)
が成り立つことを考慮すると、
![{\displaystyle \int \cos xdx=\sin x+C}](https://wikimedia.org/api/rest_v1/media/math/render/svg/90a634cb50e49d48da142bb3dc1c2832eb2a990f)
![{\displaystyle \int \sin xdx=-\cos x+C}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c8ff7c07b9bcd1f391995c5513d76a3b9e7f0ae6)
![{\displaystyle \int {\frac {1}{\cos ^{2}x}}dx=\tan x+C}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2993c92cf31ab2dc3a06b474bc6e3a4601493cf1)
となることが分る。
は、置換積分法を使って
|
|
|
|
|
|
|
|
-
- なお同様に、
であるので、![{\displaystyle \int {\frac {1}{\tan x}}dx=\int {\frac {\cos x}{\sin x}}dx=\int {\frac {(\sin x)'}{\sin x}}dx=\log \left|\sin x\right|+C}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1354cc1bd63f358f9f9d1f6f09b2e190a600bf29)
-
より一般に有理関数
に対して、
について考える。
とおく。
よって
である。
であり、
かつ
である。よって
と有理関数の積分にもち込める。
幾何学的は、この変換は単位円上の点
と点
を結ぶ直線の勾配
で変換したものである。実際円周角の定理より
より
被積分関数の周期が
の場合は、被積分関数は
の有理関数なので、
と置換すると計算が楽だ。被積分関数が
の有理関数となるときもこの範疇に属する。
と置換したとき、
,
,
(
と
の正負は一致するため),
となる。
例
は
と置換すると、
と置換してしまうと、
と計算量が少し増える。
指数関数について
が成り立つことを用いると、
が得られる。
また、
なので、
である。
また、
の
原始関数も求めることが出来る。
|
|
|
|
|
|
|
|
|
|
となる。
有理関数
に対して、積分
は
すると
より
有理関数
に対して、積分
について考えよう。平方根の中身は平方完成することによって、
のいずれかの形になる。それぞれの場合について、
と変数変換すると三角関数の積分に帰着する。
また、
は二次曲線で、特に
のときは双曲線となる(
より[1])。このとき、
すなわち
と変換するとうまく計算できる(符号はどちらを選択しても良い)。幾何学的には、双曲線の漸近線に平行で切片が
の直線
と双曲線のただ一つの交点
を変数
で表したものである。
例
は
と置換すると、
なので、
すなわち
また、
.なので、
である。
ところで、この変換は双曲線
と直線
のただ一つの交点による変換であった。その交点を方程式を解いて
で表すと、
を得る。これは双曲線の媒介変数表示の一つである。また、
とすると、
これは
の部分の双曲線の媒介変数表示である。最右辺は双曲線関数と呼ばれ、三角関数と似た性質を持つ。関数名の
はhyperbolaに由来する。例えば、双曲線の方程式より得られる
は
とよく似ている。例示の不定積分は
と置換しても解くことが出来るが、ほとんど同じことなので省略する。
定積分について、不定積分と同じように以下が成り立つ。
定積分の置換積分法
のとき、開区間
で微分可能な関数
に対し、
ならば
定積分の部分積分法
- 問題
- 以下の定積分を求めよ(Hint:5, 6は漸化式を利用する)
![{\displaystyle \int _{0}^{1}|e^{x}-{\frac {3}{2}}|\,dx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4f24bc92b40abe503421dbf46ed31a1044800f09)
![{\displaystyle \int _{1}^{0}{\frac {x-2}{(3-x)^{2}}}\,dx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0fe7a32b8088a87d8ad05f632c0faac96f9d8fc6)
![{\displaystyle \int _{-5}^{5}x{\sqrt {x^{2}-9}}\,dx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bb2ce74ba80eafc1ea8e688113704ad21aeb2310)
![{\displaystyle \int _{3}^{7}x\log(x^{2}-2)\,dx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0cdade8bd5601eb9e1cf3a2af7675b555754cb19)
![{\displaystyle \int _{0}^{\frac {\pi }{2}}\sin ^{n}x\,dx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1edb5a1464a18e7f60f6a1ca7593c83743ac87b9)
![{\displaystyle \int _{0}^{\frac {\pi }{4}}\tan ^{n}x\,dx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b624ae81589946df0f6a8dc107c83bf4e04d1dce)
とする。積分
は
とすると、
より、被積分関数
は中心
で半径
の円周の上半分であり、積分区間もその両端なので、積分の値は半円の面積に等しく、
である。
一般に、関数
のグラフは関数
のグラフを直線
で対称移動したものである。
従って、連続関数
を区間
で積分した値
と、連続関数
を区間
で積分した値
は等しい:
![{\displaystyle \int _{\frac {a+b}{2}}^{b}f(x)\,dx=\int _{a}^{\frac {a+b}{2}}f(a+b-x)\,dx.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e7b22e1050ea4f3151ed10406ab725bf46eca41f)
この等式は単に、
の変数変換によっても導出できる。
この等式より、
が導かれる。
この公式は、
が簡単な形になる定積分で役に立つ。
例えば、
King Property の応用例は
,
,
などがある。計算してみよ。
一般に、連続関数について次のことが成り立つ。
- 開区間
において
ならば、![{\displaystyle \int _{a}^{b}f(x)\,dx\leqq \int _{a}^{b}g(x)\,dx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d0aba898c5e99efb6e4148bb25e9112e2d8d2779)
- 等号成立条件は開区間
において恒等的に
であること。
- 調和級数の第n部分和が
より大きいことを証明せよ。
自然数kに対して
のとき
であり、等号は常には成り立たないので
である。故に
。
このとき、(左辺)
より左辺は調和級数の第n部分和であり、(右辺)
なので、題意は示された。
演習問題1
次の不定積分を求めよ。
- (1)
![{\displaystyle \int \tan xdx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/043ea53277043e71edb3ad7bc87b82f032f44d5c)
- (2)
![{\displaystyle \int {\frac {1}{\cos ^{2}x}}dx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/68ea3fa812bc708f0eeb177ef54bf04359339edc)
- (3)
![{\displaystyle \int \log xdx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bf6ea79fbaf268b75bd35cc63df281682f69be40)
- (4)
![{\displaystyle \int x\log xdx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9a7609386f564a0091cd8d5130be025a33d7a281)
- (5)
![{\displaystyle \int x^{2}\log xdx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4520564f6949c7c8cbbe8a3b08e2a399a3834d73)
- (6)
![{\displaystyle \int x^{3}\log xdx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bcade48798459a05bae220f4edd3066a497a0255)
- (7)
![{\displaystyle \int x\sin xdx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4f775cad6a4831376c38a85680f285712c2e2d24)
- (8)
![{\displaystyle \int x^{2}\sin xdx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/185bdab696715eed959a39b26cf6e7728b47b8b8)
- (9)
![{\displaystyle \int x^{2}e^{x}dx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b55903ce8eeb37dcfcdf2a8ac8ad56d50968d86e)
- (1)
![{\displaystyle -\log(\cos x)+C}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5a4ea181509a86ebe2960a7e4e97a57e3c0e08ba)
- (2)
![{\displaystyle \tan x+C}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bfb45262769f8e6911e02b013048eafb977c63cd)
- (3)
![{\displaystyle x\log x-x+C}](https://wikimedia.org/api/rest_v1/media/math/render/svg/baa1c683092e3c6ac5d442fa89056801cc612fb6)
- (4)
![{\displaystyle {\frac {x^{2}\log x}{2}}-{\frac {x^{2}}{4}}+C}](https://wikimedia.org/api/rest_v1/media/math/render/svg/091db75c0a8ea6729cdb4ae0c2a81f2db443963d)
- (5)
![{\displaystyle {\frac {x^{3}\log x}{3}}-{\frac {x^{3}}{9}}+C}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0a7c3ea525ec8de59ca75bbe9ac557dce49bee08)
- (6)
![{\displaystyle {\frac {x^{4}\log x}{4}}-{\frac {x^{4}}{16}}+C}](https://wikimedia.org/api/rest_v1/media/math/render/svg/89f14e6e9d61445bc316fccab984c57193aadeff)
- (7)
![{\displaystyle \sin x-x\cos x+C}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9d803081a764312c526f8ef586d1114ac8b9173a)
- (8)
![{\displaystyle 2x\sin x+(2-x^{2})\cos x+C}](https://wikimedia.org/api/rest_v1/media/math/render/svg/82b14dc9244e48d128124da488b8008649aa01d5)
- (9)
![{\displaystyle (x^{2}-2x+2)e^{x}+C}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f541daaeee33aae89945ec2fc174f61c7a43b0fb)
演習問題2
第一問(Wallis の積分)
は非負整数とし、
とする。
- (1)
を示せ。
- (2)
を示せ。
- (3)
を求めよ。
第二問(ベータ関数の特殊値)
は非負整数、
は
なる実数とし、
とする。
- (1)
を示せ。
- (2)
を求めよ。
- (3)
を求めよ。
ある関数f(x)の原始関数を求める演算は
f(x)とx軸にはさまれた領域の面積を求める演算に等しい。
このことを用いて
ある関数によって作られた領域の面積を求めることが出来る。
x^2の0から1までの積分
例えば、
は、放物線
について
の範囲でかこまれる面積に等しい。
- 楕円の面積
楕円
の面積
の導出
楕円
を
について解くと
![{\displaystyle y=\pm {\frac {b}{a}}{\sqrt {a^{2}-x^{2}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f0a0bb2bf7b00bcc5aadd0bcddc957a5025620ba)
となる。そのうち
は半楕円(楕円の上半分)を示している。その半楕円の面積を2倍したものが楕円の面積Sとなるので
![{\displaystyle S=2\int _{-a}^{a}{\frac {b}{a}}{\sqrt {a^{2}-x^{2}}}={\frac {2b}{a}}\int _{-a}^{a}{\sqrt {a^{2}-x^{2}}}={\frac {2b}{a}}\times {\frac {\pi a^{2}}{2}}=\pi ab}](https://wikimedia.org/api/rest_v1/media/math/render/svg/86486629e4dbb11670b20b2508f01937d29bba8a)
となる。
ある立体
の
における断面積が有限な値で、その値が
の関数
となるとき、この立体を平面
,
(ただし、
)で切り取った領域の体積は、底面積
に極めて小さい高さ
[2]の積
の区間
における累積であるので、以下の式で表すことができる。
![{\displaystyle V=\int _{a}^{b}S(t)\,dt}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7fd10671ac652141bf0a800a5ecfa0f5a2281bc4)
(例1)
である三角錐を考える。
- この三角錐を平面
で切断すると、断面の三角形の各座標は
となる。この時、
の面積
となる。
- これを、区間
で積分すると、
となる[3]。
(例2)
- 設問
である立方体を想定。
- 平面
で切断し、
を得る。
- 線分
に、各々点
から、長さ
である点
をとり、
を
とする。
を区間
で変化させた時、
が通過する部分の体積
を求めよ。なお、
が正方形である証明は省略してよい。
- 解答
の1辺の長さを
とおくと、![{\displaystyle l^{2}=t^{2}+(1-t)^{2}=2t^{2}-2t+1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8d095f5383aafdc3869ff7d554f53ff72488300c)
の面積
は
であるから、![{\displaystyle S(t)=2t^{2}-2t+1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2d1c80b827baf81f0852bc0b87549d98e588e2c1)
- これを、区間
で積分すると、
となる。
で与えられる曲線をx軸の回りに回転させて作られる
立体の体積Vは、
で与えられる。
導出
立体をx軸に垂直であり、x=cを満たす面とx=c+hを満たす面で切ると(hは小さな
定数)、その切断面で挟まれた立体は半径 f(c)の円と半径 f(c+h)の円
ではさまれた立体となる。
しかし、hが極めて小さいとき、この図形は半径f(c),高さhの円柱で
近似できる。
よってこの2つの面に関して、得られた図形の体積は
となる。
これを
満たす全てのcについて足し合わせると、
が得られる。
例えば、
をx軸の回りに回転させて得られる図形の体積は、
- 図形の絵?
となる。
- 球の体積
球の体積
の導出
半径rの球は半円
をx軸の周りに回転させてつくることができる。
![{\displaystyle V=\pi \int _{-r}^{r}{\sqrt {r^{2}-x^{2}}}^{2}dx=\pi \int _{-r}^{r}(r^{2}-x^{2})dx={\frac {4}{3}}\pi r^{3}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1f74d31f8490487153a2de22fb5f5c1d93cc73bd)
また体積をrで微分すると球の表面積
が得られる。
執筆中
これまでに学んだように、積分は微分の逆演算であると同時に、座標平面上での面積計算でもある。この項では、座標平面上の面積計算の方法の一つである区分求積法、および積分法との関連について学ぶ。
面積計算
右図のようなある曲線
がある。単純のため、ここではつねに
であるものとして考える。この曲線と、x軸、および直線
によって囲まれる領域の面積Sを求める。この面積は#面積の項で学んだように、
![{\displaystyle S=\int _{a}^{b}f(x)dx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/701e867eafddbd27baec4b24cd02f8045c34dba8)
と積分法を用いて計算することができた。では、これをもう少し原始的な方法で近似的に求めることを考えてみよう。
曲線を含む図形の面積を求めることは簡単ではないが、例えば三角形や長方形、台形などの直線で囲まれた図形の面積を求めることは難しくない。そこで、下図のようにy=f(x)を棒グラフで近似し、長方形の面積の和を計算することで、求めたい面積Sに近い値を求めることができる。左下のように棒グラフの幅が大きいと誤差も大きいが、棒グラフの幅を狭くすればするほど、すなわち分割数を多くするほど、徐々に求めたい面積の値に近づけることができる。そこで、この区間[a,b]をn等分し、その時の長方形の面積の総和を求め、その後で
の極限を考えることにする。このようにして、区間を細かく等分割し、長方形の面積の総和を求めることにより図形の面積を求める方法を、区分求積法と呼ぶ。
![棒グラフによる近似](//upload.wikimedia.org/wikipedia/commons/thumb/a/af/Riemann_Integration_4.png/350px-Riemann_Integration_4.png)
![さらに細かな棒グラフによる近似](//upload.wikimedia.org/wikipedia/commons/thumb/3/34/Riemann_Integration_5.png/350px-Riemann_Integration_5.png)
左側で近似
右側で近似
を棒グラフで近似するとき、右図のように、長方形の左上の頂点を曲線上に取る方法と、右上の頂点を曲線上に取る方法がある。どちらの方法でも、分割数を大きくすればいずれ求めたい面積に近づくが、まずは左上の頂点を曲線上に取る方法で考えることにする。
ここでは面積を求めたい区間を、単純のため[0, 1]とする。区間[0, 1]をn等分するとき、それぞれの長方形の左端のx座標は、
![{\displaystyle 0,{\frac {1}{n}},{\frac {2}{n}},\cdots ,{\frac {n-1}{n}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d2670b53b0c6b5a4984847cd7603a60525b049eb)
となる。ここで、一般に第k番目の長方形について考えることにする。ただし、いちばん左側の長方形を第0番目とし、いちばん右側の長方形を第n-1番目とする。第k番目の長方形の左端のx座標は
であるから、この長方形の高さは
となり、また長方形の幅は
である。そのため、この長方形の面積
は、
![{\displaystyle s_{k}={\frac {1}{n}}f\left({\frac {k}{n}}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/beab0548926792c24783227a859c8d8759bf320a)
となる。したがって、これらの長方形の面積の総和
は、
![{\displaystyle S_{n}=\sum _{k=0}^{n-1}s_{k}={\frac {1}{n}}\sum _{k=0}^{n-1}f\left({\frac {k}{n}}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3b8758362a9196dfdaa813e4a5cbfaccafd20986)
この
は、区間[0, 1]をn等分した時の長方形の面積の総和であるが、nを大きくすればするほど、次第にもとの面積に近づいていく。したがって、
の極限を考え、
![{\displaystyle S=\lim _{n\to \infty }S_{n}=\lim _{n\to \infty }{\frac {1}{n}}\sum _{k=0}^{n-1}f\left({\frac {k}{n}}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/69ebfdafbd6dec3d347fd221e5accab13eff69be)
となる。このようにして、求めたい面積を計算することができる。さらに、ここでこの区間の面積が積分法により計算できたことから、
![{\displaystyle \lim _{n\to \infty }{\frac {1}{n}}\sum _{k=0}^{n-1}f\left({\frac {k}{n}}\right)=\int _{0}^{1}f(x)dx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f60c5178eb6851c10f6e3183ac386a27d85aca22)
が成り立つ。また、長方形の右上の頂点を曲線上に取る場合は、同様にして
![{\displaystyle S=\lim _{n\to \infty }{\frac {1}{n}}\sum _{k=1}^{n}f\left({\frac {k}{n}}\right)=\int _{0}^{1}f(x)dx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8558739f740b32f77e1784ed870116d306b833fa)
となる。
- ^ 右辺が0のとき双曲線とはならないが、このときは簡単に平方根を外すことが出来るので考える必要はない。
- ^ なお、この時、
が
に対して積分区間で常に鉛直方向の関係にあることが保証されていなければならない。
- ^ 三角錐
は、
を底面(
)とし、
を高さ(
)とする三角錐なので、体積は、
となり、正しい。