定積分\int_a^b{f(x)}dxはなぜ負の値になることがあるのでしょうか?
定積分\int_a^b{f(x)}dxはy=f(x)とx軸、直線x=a,x=bに囲まれた部分の面積を求める計算となります。
y=f(x)とx軸、直線x=a,x=bに囲まれた部分の面積はy軸に平行な直線を使って分割し、それぞれの部分を近似した長方形に置き換え、すべての長方形の面積を足し合わせることで求めます。これが定積分の根本にある考え方です。
これら近似した長方形の辺の長さは符号を考慮した長さとなります。符号を考慮した長さとは、測りはじめの基準点と基準となる向きがあるため負の値にもなりうる長さのことです。
数直線において数直線の矢印の方向を正とすると、数直線上の測りはじめの基準点から数直線の矢印方向にある点までの距離は正の値、基準点から数直線の矢印と逆方向にある点までの距離は負の値で表すことになります。符号を考慮した長さは終端となる点の座標から基準点の座標を引いた値によって表されます。
また、数直線の座標も数直線の矢印の方向を正、0を基準点としたときの各点までの符号を考慮した距離と考えることができます。
また、数直線の座標も数直線の矢印の方向を正、0を基準点としたときの各点までの符号を考慮した距離と考えることができます。
定積分\int_a^b{f(x)}dxにおいて、x軸に平行な線分の長さはx軸方向を正として下端aにより近い端点を基準点として測ります。a\leqq
bのときx軸方向と同方向に測ることになるので長さは正の値となります。逆にa\geqq
bのときはx軸方向と逆方向に測ることになるので長さは負の値となります。
y=f(x)とx軸、直線x=a、x=bに囲まれた部分のうち2つの直線x=x_n,x=x_{n+1}(ただしx_n<x_{n+1})間の近似した長方形に着目して考えます。このとき長方形のy軸に平行な辺の長さはx=p(ただしx_n\leqq
p\leqq x_{n+1})におけるf(x)の値f(p)とします。
a\leqq bかつf(p)\geqq0のとき
長方形のx軸に平行な辺の長さはa\leqq
bより0以上の値なのでx_{n+1}-x_n、y軸に平行な辺の長さはf(p)\geqq0です。したがって、この2辺の長さの積より求められる長方形の面積は2つの正の数の積なので(x_{n+1}-x_n)f(p)\geqq0となります。
このことからa\leqq x\leqq
bにおいて常にf(x)\geqq0のとき\int_a^b{f(x)}dx\geqq0となります。
a\leqq bかつf(p)\leqq0のとき
したがって、長方形の面積は正の数と負の数の積なので(x_{n+1}-x_n)f(p)\leqq0となります。
このことからa\leqq x\leqq
bにおいて常にf(x)\leqq0のとき\int_a^b{f(x)}dx\leqq0となります。
a\geqq bかつf(p)\geqq0のとき
したがって、長方形の面積は負の数と正の数の積なので(x_n-x_{n+1})f(p)\leqq0となります。
このことからb\leqq x\leqq
aにおいて常にf(x)\geqq0のとき\int_a^b{f(x)}dx\leqq0となります。
a\geqq bかつf(p)\leqq0のとき
したがって、長方形の面積は2つの負の数の積なので(x_n-x_{n+1})f(p)\geqq0となります。
このことからb\leqq x\leqq
aにおいて常にf(x)\leqq0のとき\int_a^b{f(x)}dx\geqq0となります。
以上のように符号を考慮した長さをもちいた結果、求める面積も符号を考慮したものとなるため定積分には負の値が存在します。
積分区間a\leqq x\leqq
bでf(x)の正負が入れ替わる、例えば上図のようにa\leqq x\leqq
cでf(x)\geqq0、c\leqq x\leqq bでf(x)\leqq0となる場合を考えます。
y=f(x)とx軸と直線x=aで囲まれた部分の面積をS_1、y=f(x)とx軸と直線x=bで囲まれた部分の面積をS_2とすると定積分\int_a^b{f(x)}dxの値はこれらの面積の和となるのでS_1+S_2なのですが、定積分ではS_1は正の値、S_2は負の値となるので絶対値をもちいて表せば
\begin{align*}\int_a^b{f(x)}dx&=S_1+S_2\\[0.5em]&=|S_1|+\bigl(-|S_2|\bigr)\\[0.5em]&=|S_1|-|S_2|\end{align*}
となります。
S_1,S_2がともに符号を考慮しない面積であればどちらも正の値で
S_1+S_2=|S_1|+|S_2|
となるはずなので定積分における面積の和は符号を考慮しない面積の和とは異なる結果になります。
定積分を利用してy=f(x)とx軸、直線x=a,x=bに囲まれた部分の符号を考慮しない面積を求めるにはa,bをa<bとなるように定め、y=f(x)をy=|f(x)|に置き換えて\int_a^b|f(x)|dxを計算する必要があります。
Share: