高等学校数学II/微分・積分の考えのソースを表示

{{Pathnav|高等学校の学習|高等学校数学|高等学校数学II|pagename=微分・積分の考え|frame=1|small=1}}
ここでは微分積分の概念について理解し、多項式関数の微分積分を学ぶ。また、微分の応用を応用して接線の方程式やグラフの概形などを求めたり、積分を応用してグラフの面積を求める。微分積分は物理学や工学などさまざまな分野で応用されている。

== 平均変化率 ==
[[ファイル:微分.svg|サムネイル|平均変化率の図]]
中学校では、一次関数と<math>y=ax^2</math>の'''変化の割合'''を求めただろう。ここでは、同じものを'''平均変化率'''と呼ぶことにする。一般の関数 <math>y=f(x)</math> の平均変化率を考えてみたい。中学校で学習したことと同様に考えると、 <math>y=f(x)</math> において、 <math>x</math> が <math>a</math> から <math>b</math> まで変化したときの平均変化率は、「 <math>y</math> の変化量/ <math>x</math> の変化量」で求められる。つまり、 <math>\frac{f(b)-f(a)}{b-a}</math> である。

'''例'''

<math>y=x^2 + 2x + 1</math> において、 <math>x</math> が-1から3まで変化したときの平均変化率を求める。

<math>\frac{(3^2 + 2\cdot 3+1)-((-1)^2 + 2 \cdot (-1) + 1)}{3-(-1)} </math><math>=4</math>

== 極限 ==
関数 <math>f(x)</math> において、 <math>x</math> が <math>a</math> とは異なる値をとりながら限りなく <math>a</math> に近づくとき、 <math>f(x)</math> が限りなく <math>A</math> に近づくことを、 <math>
\lim_{x\rightarrow a} f(x) = A
</math> とかく。

==== 例 ====
<math>
\lim_{x\rightarrow 0} 3x
</math>を求める。

<math>x</math>を、<math>1,0.1,0.01,0.001,\cdots</math>と限りなく0に近づけてみる。すると、<math>3x</math>は、<math>3,0.3,0.03,0.003,\cdots</math>と、限りなく0に近づくことがわかる。

よって、<math>x</math>を限りなく0に近づけると、<math>3x</math>は限りなく0に近づくので、<math>
\lim_{x\rightarrow 0} 3x = 0
</math>である。

次に、
<math>
\lim_{x\rightarrow 1} \frac{x^2 -1 }{x-1}
</math>を求める。

<math>x</math>を、<math>1.1,1.01,1.001,0.0001,1.00001,\cdots</math>と、限りなく1に近づけてみると、<math>\frac{x^2 -1 }{x-1} </math>は、<math>2.1,2.01,2.001,2.0001,2.00001,\cdots</math>と、限りなく2に近づく。

なので、<math>
\lim_{x\rightarrow 1} \frac{x^2 -1 }{x-1} = 2
</math>である。

これは、式に値を代入する前に、式自体を約分してしまった方が簡単に計算できる。すなわち、
<math>\frac{x^2 -1 }{x-1} = \frac{(x+1)(x-1)}{x-1}</math>であり、<math>x</math>を1とは異なる値を取りながら限りなく1に近づけるとき<math>x \neq 1</math>なので、これは約分でき、<math>\frac{x^2 -1 }{x-1} = \frac{(x+1)(x-1)}{x-1} = x+1</math>である。

なので、<math>
\lim_{x\rightarrow 1} \frac{x^2 -1 }{x-1}
</math>を求めるには、<math>
\lim_{x\rightarrow 1} (x+1)
</math>を求めれば良い。

<math>
\lim_{x\rightarrow 1} (x+1) = 2
</math>であるので、<math>
\lim_{x\rightarrow 1} \frac{x^2 -1 }{x-1} = 2
</math>と求めることができる。


※発展　最初の例では、<math>x</math>を、<math>1,0.1,0.01,0.001,\cdots</math>と、限りなく0に近づけたが、<math>2,0.2,0.02,0.002,\cdots</math>や、<math>-1,-0.1,-0.01,-0.001,\cdots</math>のように近づけてみても<math>x</math>は限りなく0に近づく。他にも、<math>1,-0.1,0.01,-0.001,\cdots</math>や<math>0.1,0.5,0.01,0.05,\cdots</math>など<math>x</math>を0に近づかせる方法はいくらでも考えられる。

もちろん、この例では、<math>x</math>をどのように近づけたとしても極限の値は変わらない。

しかし、<math>x</math>を、<math>1,0.1,0.01,0.001,\cdots</math>と近づけたとき、<math>f(x)</math>は<math>\alpha</math>に近づくが、<math>x</math>を、<math>2,0.2,0.02,0.002,\cdots</math>と近づけたら、<math>f(x)</math>は<math>\alpha</math>に近づかない。そんな関数<math>f(x)</math>だってあるだろう。

なぜ<math>x</math>を<math>1,0.1,0.01,0.001,\cdots</math>と、近づけただけで、極限の値を求めることが出来るのか?と疑問に思う人もいるかも知れない。

極限を厳密に定義するには、[[解析学基礎/極限#極限の形式的な定義|イプシロンデルタ論法]]を使う必要がある。しかし、高校生には少し難しいと考える人が多いので高校ではあまり教えられていない。

なので、この本では、イプシロンデルタ論法を使わず、曖昧な方法で極限を定義した。なので、上のような疑問を持った人は、その疑問について深く考えずに先に進むか、[[解析学基礎/極限#極限の形式的な定義|イプシロンデルタ論法]]を学ぶかしてほしい。
[[ファイル:平均変化率.svg|サムネイル|平均変化率]]

== 微分係数と導関数 ==
[[ファイル:Derivative GIF.gif|220x220px|hを0に近づけたときのアニメーション|サムネイル]]

関数 <math>y = f(x)</math> の傾きについて考えてみよう。 
 
<math>x</math> が <math>a</math> から <math>a + h</math> まで変化したときの平均変化率は

<math>\frac{f(a+h)-f(a)}{h}</math>

である。このとき、 <math>h</math> を限りなく0に近づければ <math>a</math> での傾きを求めることができる。つまり、関数 <math>y = f(x)</math> の <math>a</math> での傾きは

<math>\lim_{h\to 0}\frac{f(a+h)-f(a)}{h}</math>

で与えられる。これを <math>x = a</math> における'''微分係数'''という。

また

<math>f'(x) = \lim_{h\to 0}\frac{f(x+h)-f(x)}{h}</math>

で与えられる関数 <math>f'(x)</math> を関数 <math>f(x)</math> の'''導関数'''という。

関数 <math>f(x)</math> の導関数は<math>\frac{df}{dx}</math>と表されることもある。


ここで、いくつかの関数の導関数を求めてみよう。
*<math>f(x) = 1</math>
{|
|-
|<math>f'(x)</math>
|<math>= \lim _{h\rightarrow 0} \frac {f(x+h) - f(x)} h</math>
|-
|
|<math>= \lim _{h\rightarrow 0} \frac {1 - 1} h</math>
|-
|
|<math>= \lim _{h\rightarrow 0} 0</math>
|-
|
|<math>= 0</math>
|}
*<math>f(x) = x</math>
{|
|-
|<math>f'(x)</math>
|<math>= \lim _{h\rightarrow 0} \frac {f(x+h) - f(x)} h</math>
|-
|
|<math>= \lim _{h\rightarrow 0} \frac {x+h - x} h</math>
|-
|
|<math>= \lim _{h\rightarrow 0} 1</math>
|-
|
|<math>=  1</math>
|}
*<math>f(x) = x^2</math>
{|
|-
|<math>f'(x)</math>
|<math>= \lim _{h\rightarrow 0} \frac {f(x+h) - f(x)} h</math>
|-
|
|<math>= \lim _{h\rightarrow 0} \frac {(x+h)^2 - x^2} h</math>
|-
|
|<math>= \lim _{h\rightarrow 0} \frac{2hx + h^2} h</math>
|-
|
|<math>= \lim _{h\rightarrow 0} (2x + h)</math>
|-
|
|<math>= 2x </math>
|}
である。


<math>n</math> を自然数とする。関数 <math>f(x) = x^n</math> の導関数は二項定理を応用し
{|
|-
|<math>f'(x)</math>
|<math>= \lim _{h\rightarrow 0} \frac {f(x+h) - f(x)} h</math>
|-
|
|<math>= \lim _{h\rightarrow 0} \frac {(x+h)^n - x^n} h</math>
|-
|
|<math>= \lim _{h\rightarrow 0} \frac{(x^n + _nC_1x^{n-1}h + _nC_2x^{n-2}h^2\cdots + h^n) - x^n} h</math>
|-
|
|<math>= \lim _{h\rightarrow 0} (_nC_1x^{n-1} + _nC_2x^{n-2}h + \cdots + h^{n-1})</math>
|-
|
|<math>= nx^{n-1} </math>
|}
と求められる

== 和・差及び定数倍の導関数 ==
関数 <math>f(x), g(x)</math> に対し次が成り立つ。

# <math>\{f(x) \pm g(x)\}' = f'(x) \pm g'(x)</math> (複号同順)
# <math>\{ kf(x) \}' = kf'(x)</math>

'''証明'''

# <math>\{f(x) \pm g(x)\}' = \lim_{h\to 0}\frac{f(x+h) \pm g(x+h)-\{f(x) \pm g(x)\}}{h} = \lim_{h\to 0}\{\frac{f(x+h) - f(x)}{h} \pm \frac{g(x+h) - g(x)}{h}\} = f'(x) \pm g'(x)</math>
# <math>\{ kf(x) \}' = \lim_{h\to 0}\frac{kf(x+h) - kf(x)}{h} = \lim_{h\to 0}k\frac{f(x+h) - f(x)}{h} = kf'(x)</math>


'''演習問題'''

次の関数を微分せよ

1. <math>f(x)=2x^3+4x^2-5x-1</math><br>2. <math>f(x)=(2x+3)(3x-5)</math>


'''解答'''

1.
:<math>\begin{align}
  f'(x) & = (2x^3+4x^2-5x-1)' \\
        & = 2(x^3)'+4(x^2)'-5(x)'-(1)' \\
        & = 2 \times 3x^2 + 4 \times 2x -5 \times 1 - 0 \\
        & = 6x^2+8x-5
\end{align}
</math>
2. <math>f(x)=6x^2-x-15</math> であるから
:<math>\begin{align}
  f'(x) & = (6x^2-x-15)' \\
        & = 6(x^2)'-(x)'-(15)' \\
        & = 6 \times 2x - 1 - 0 \\
        & = 12x-1
\end{align}
</math>

== 導関数の応用 ==

=== 接線の方程式 ===
曲線 <math>y = f(x)</math> 上の点 <math>(t, f(t))</math> における接線の方程式を求める。この接線の傾きは <math>f'(t)</math>であり、点 <math>(t, f(t))</math> を通るので、方程式は <math>y = f'(t)(x-t) + f(t)</math> で与えられる。実際、<math>x = t </math> とすると <math>y = f(t)</math> となるのでこの方程式は点 <math>(t, f(t))</math> を通ることがわかり、 <math>x</math> の係数は <math>f'(t)</math> なので傾きは <math>f'(t)</math> である。
=== 法線の方程式 ===
曲線 <math>y = f(x)</math> 上の点 <math>(t, f(t))</math> における法線の方程式は、<math> y = -\frac{1}{f'(t)}(x-t)+f(t) </math> で与えられる。

=== 関数値の増減 ===
f'(x)は、fの傾きを表わすので、 <math>f'(x)>0</math> の点では、fは増大し、 <math>f'(x)<0</math> の点では、fは減少することがわかる。

これをもとに関数の概形を描くことができる。



'''例'''

<math>y=x^3</math> の増減を調べる

両辺を''x''で微分すると、

:<math>y'=3x^2</math>
:となる。これは0を除き常に正なので、 <math>y=x^3</math> は常に増加することがわかる。

=== 関数の極大・極小 ===
<math>f(x)=x^3 - 3x</math>を微分すると
:<math>f'(x)=3x^2 -3 =3(x+1)(x-1)</math>
増減表は次のようになる。
<table border="1" cellpadding="2">
<tr><th><div class="center"><math>x</math></div></th><th><div class="center"><math>\cdots</math></div> </th><th><div class="center"> <math>-1</math></div> </th><th><div class="center"><math>\cdots</math></div></th><th><div class="center"><math>1</math></div> </th><th><div class="center"><math>\cdots</math></div></th></tr>
<tr><th><div class="center"><math>f'(x)</math></div></th><td><div class="center"><math>+</math></div></td><td><div class="center"> <math>0</math> </div></td><th><div class="center"><math>-</math></div></th><td><div class="center"><math>0</math></div> </td><td><div class="center">+</div></td></tr>
<tr><th><div class="center"><math>f(x)</math></div></th><td><div class="center"><math>\nearrow</math></div></td><td><div class="center"> <math>2</math> </div></td><th><div class="center"><math>\searrow </math></div></th><td><div class="center"><math>-2</math></div> </td><td><div class="center"><math>\nearrow</math></div></td></tr>
</table>
この関数のグラフは、<math>x=-1</math>を境にして増加から減少の状態に変わり、<math>x=1</math>を境にして減少から増加の状態に変わる。<br>
このとき、<math>f(x)</math>は<math>x=-1</math>において'''極大'''（きょくだい）になるといい、そのときの<math>f(x)</math>の値<math>f(-1)=2</math>を'''極大値'''（きょくだいち）という。また、<math>x=1</math>において'''極小'''（きょくしょう）になるといい、そのときの<math>f(x)</math>の値<math>f(1)=-2</math>を'''極小値'''（きょくしょうち）という。極大値と極小値を合わせて'''極値'''（きょくち）という。

== 不定積分 ==
'''不定積分'''(indefinite integral)とは、微分したらその関数になる関数を求める操作である。

つまり、関数<math>f(x)</math>に対して、<math>F'(x)=f(x)</math>となる、関数<math>F(x)</math>を求める操作である。

このとき<math>F(x)</math>を、<math>f(x)</math>の'''原始関数'''(primitive function)と呼ぶ。

例えば、<math>\frac{1}{2}x^2</math>は微分すると、<math>x</math>になるので、<math>\frac{1}{2}x^2</math>は<math>x</math>の原始関数である。

しかし、<math>\frac{1}{2}x^2+1</math>や、<math>\frac{1}{2}x^2+3</math>なども微分すると<math>x</math>になるので、<math>\frac{1}{2}x^2+1</math>や、<math>\frac{1}{2}x^2+3</math>も<math>x</math>の原始関数である。

一般に、<math>\frac{1}{2}x^2 + C</math>(Cは任意の定数)で表される関数は、<math>x</math>の原始関数である。

<math>x</math>の原始関数は一つだけではなく、無数にあるのだ。



一般に、関数 <math>f(x)</math> の原始関数の'''一つ'''を <math>F(x)</math> とするとき、原始関数に任意の定数を足した関数 <math>F(x) + C</math> も <math>f(x)</math> の原始関数になる。

なぜなら、<math>F(x)</math>が<math>f(x)</math>の原始関数である、つまり、<math>F'(x)=f(x)</math>のとき、<math>{(F(x) + C)}' = F'(x) + {(C)}' = F'(x) = f(x)</math>となるからだ。

また、関数 <math>f(x)</math> の原始関数の一つが <math>F(x)</math> であるとき、すべての関数 <math>f(x)</math> の原始関数は <math>F(x) + C</math> の形に書ける。

<math>F(x) + C</math> の形に書けない関数 <math>G(x)</math>が関数 <math>f(x)</math> の原始関数であると仮定する。このとき、<math>h(x)=F(x)-G(x)</math>とすると、関数 <math>h(x)</math> は定数ではない。

このとき、 <math>h'(x)=\{F(x)-G(x)\}'=F'(x)-G'(x)=f(x)-f(x)=0</math> であるはずだが、関数 <math>h(x)</math> は定数ではないので <math>h'(x) = 0</math> とならない。これは矛盾なので、すべての関数 <math>f(x)</math> の原始関数は <math>F(x) + C</math>の形に書けることが証明できる。

関数<math>f(x)</math>の原始関数の'''全体'''を、<math>\int f(x)dx </math> と表す。この表記法は最初は奇妙に思うだろうが、このように表記する理由は後に説明するので、今は、そのまま覚えて欲しい。

まとめると、関数 <math>f(x)</math> の原始関数の全体<math>\int f(x)dx </math>は、<math>f(x)</math>の原始関数の一つを <math>F(x)</math> として、その関数に任意の定数を足した関数<math>F(x) + C</math>で表される。つまり、
:<math>
\int f(x)dx = F(x)+ C
</math>
<math>C</math>は任意の定数としたが、この任意の定数 <math>C</math> を'''積分定数'''(constant of integration)と呼ぶ。

※注意　<math>\int f(x)dx </math>は定義にもあるように、<math>f(x)</math>の原始関数の'''全体'''を表している。つまり、<math>f(x)</math>の原始関数の一つを<math>F(x)</math>とするとき、<math>
\int f(x)dx = F(x)+ C
</math>の右辺<math>F(x) + C</math>は、<math>F(x)</math>に定数を足した関数の全体を表している。つまり、<math>F(x) + C</math>は、<math>F(x)+1</math>や、<math>F(x)-23</math>や、<math>F(x)-5\pi</math>などの、<math>F(x)</math>に定数を足した関数すべてをまとめて<math>F(x)+C</math>と表している。このことがあやふやになっていると、'''重大な間違い'''を起こす可能性があるので、注意が必要である。


関数 <math>f(x)=x^n</math> (ただし <math>n</math> は自然数)の不定積分を求めてみる。やや天下り的だが、<math>F(x) = \frac{1}{n+1}x^{n+1}+C</math> (<math>C</math> は任意の定数)とおくと、 <math>F'(x) = x^n</math> となるので、 <math>\frac{1}{n+1}x^{n+1}+C</math> は原始関数であることがわかる。

したがって <math>\int x^n dx =\frac{1}{n+1}x^{n+1}+C </math>


関数 <math>f(x),g(x)</math> の原始関数をそれぞれ、 <math>F(x),G(x)</math> とする。<math>a</math> を任意の実数定数とすると

<math>\{F(x)+G(x)\}'=F'(x)+G'(x)=f(x)+g(x)</math>

<math>\{aF(x)\}' = aF'(x)=af(x)</math>

となるので、

<math>\int \{ f(x) + g(x) \} dx = \int f(x) dx + \int g(x) dx</math>

<math>\int af(x) dx = a \int f(x) dx</math>

が成り立つことが分かる。



'''演習問題'''

不定積分 <math>\int (x^8+2x^2-6x+9)dx</math> を求めよ

'''解答'''

<math>\int (x^8+2x^2-6x+9)dx = \int x^8 \,dx + 2\int x^2\,dx -6\int x \,dx +9\int dx = \frac{x^9}{9}+\frac{2x^3}{3}-3x^2 + 9x + C</math> (<math>C</math> は積分定数)

== 定積分 ==
関数<math>f(x)</math>の原始関数の一つを<math>F(x)</math>とする。この原始関数に値を代入して、その値の差を求める操作を、'''定積分'''と呼び、<math>\int ^b_a f(x) dx</math>と書く。つまり、 
:<math>
\int ^b_a f(x) dx = F(b) - F(a)
</math>
である。

<math>[f(x)]_a^b = f(b)-f(a)</math><ref><math>f(x)|_a^b</math> で表される時もある</ref>とする。

このようにすると、<math>\int ^b_a f(x) dx =[F(x)]_a^b = F(b) - F(a)</math>と計算できる。

定積分の値は原始関数の選択によらない。実際、原始関数として、 <math>F(x)+C</math> を選び、定積分を計算すると、<math>
\int ^b_a f(x) dx = (F(b)+C) - (F(a)+C) = F(b)-F(a)
</math>

となり、原始関数としてどれを選んでも定積分の値は一定であることがわかる。<ref>なので、実際に定積分の計算をする場合、原始関数として定数項が0となる関数を選んだ方が計算がしやすくなる。</ref>


関数 <math>f(x),g(x)</math> に対して、原始関数をそれぞれ <math>F(x),G(x)</math> とする。 <math>k</math> を実数として、

<math>\int_a^b kf(x)\,dx = kF(b)-kF(a)=k(F(b)-F(a)) = k\int_a^b f(x)\,dx </math>

<math>\int_a^b \{f(x)+g(x)\}dx=[F(x)+G(x)]_a^b = F(b)+G(b)-(F(a)+G(a))=F(b)-F(a)+G(b)-G(a) = \int_a^bf(x)\,dx+\int_a^bg(x)\,dx</math>

<math>\int_a^af(x)\,dx = F(a)-F(a)=0 </math>

<math>\int_b^a f(x)\,dx=F(a)-F(b)=-(F(b)-F(a))=-\int_a^bf(x)\,dx</math>

<math>\int_a^b f(x)\,dx =F(b)-F(a)=(F(b)-F(c))+(F(c)-F(a)) = \int_a^c f(x)\,dx + \int_c^b f(x) \, dx </math>

が成り立つ。

===== 例 =====
<math>\int_2^5x^3dx</math>を求める。

<math>\frac{1}{4}x^4</math>は、微分すると、<math>x^3</math>なので、<math>\frac{1}{4}x^4</math>は<math>x^3</math>の原始関数の一つである。よって<math>\int_2^5x^3dx = \left[\frac{1}{4}x^4\right]_2^5 = \frac{1}{4}5^4 - \frac{1}{4}2^4 = \frac{609}{4}</math>である。

<math>\frac{1}{4}x^4+1</math>も、微分すると、<math>x^3</math>なので、<math>\frac{1}{4}x^4+1
</math>は<math>x^3</math>の原始関数の一つである。よって、<math>\int_2^5x^3dx = \left[\frac{1}{4}x^4+1\right]_2^5 = \left(\frac{1}{4}5^4 + 1\right) - \left(\frac{1}{4}2^4 + 1\right) = \frac{609}{4}</math>と求めることもできる。

== 微分積分学の基本定理 ==

aを定数とするとき、定積分<math> \int_a^x f(t)\,dt</math>はxの関数になる。<br>
関数<math>f(t)</math>の原始関数の一つを<math>F(t)</math>とすると
:<math>\int_a^x f(t)\,dt=F(x)-F(a)</math>
この両辺をxで微分すると、<math>F(a)</math>は定数であるから
:<math>\frac{d}{dx} \int_a^x f(t)\,dt=\frac{d}{dx} F(x) = f(x)</math><!-- この微分積分学の基本定理は「積分した関数を微分すると元の関数に戻る」ということを主張している。つまり、微分と積分は逆の演算であるということである。そもそも我々は不定積分を「微分したら元の関数になる関数」と定義していたのであった。定義からこの定理が成り立つのは当然のように思え、基本定理なんて仰々しいが名前つけられることに疑問を感じる人もいるかも知れない。後述するが、積分は面積を求めることと密接な -->

{| style="border:2px solid pink;width:80%" cellspacing="0"
| style="background:pink" |'''<math>\int_a^x f(t)\,dt</math>の導関数'''
|-
| style="padding:5px" |
<center><math>\frac{d}{dx} \int_a^x f(t)\,dt= f(x)</math></center>

|}

== 定積分と面積 ==
関数<math>f(x)</math>が<math>a \leqq x \leqq b</math>の範囲で常に正であるとする。このとき、定積分<math>\int _a^b f(x) dx</math>によって、関数<math>f(x)</math>のグラフと、直線<math>x=a</math>、直線<math>x=b</math>、<math>x</math>軸で囲まれた部分の面積を求めることができる。<!-- 図 -->

関数<math>f(x)</math>のグラフと、直線<math>x=a</math>、直線<math>x=c</math>と、<math>x</math>軸で囲まれた部分の面積を<math>S(c)</math>とすることによって、関数<math>S(x)</math>を定める。(<math>a \leqq x \leqq b</math>とする)

関数<math>f(x)</math>のグラフと、直線<math>x=c</math>、直線<math>x=c+h</math>と、<math>x</math>軸で囲まれた部分の面積を考える(<math>a \leqq c+h \leqq b</math>とする)。これは、<math>S(c+h)-S(c)</math>である。ここで、<math>c<t<c+h</math>なる<math>t</math>をとってきて、その点における<math>f(x)</math>の値<math>f(t)</math>を高さとする長方形の面積を考えることで、<math>t</math>を上手にとれば、<math> S(c+h) - S(c)=h \cdot f(t) </math>とできる。両辺を<math>h</math>で割り、<math>h \to 0</math>の極限を考えると、
:<math>\lim_{h \to 0} \frac{S(c+h) - S(c)}{h} =\lim_{h \to 0} f(t)</math>
であるが、左辺は微分の定義より<math>S'(c)</math>であり、<math>\lim_{h \to 0} t=c</math>であることに注意すると右辺は<math>f(c)</math>である。文字を<math>c</math>から<math>x</math>に取り換えると、結局
:<math>S'(x)=f(x)</math>
が得られる。つまり、<math>S(x)</math>は<math>f(x)</math>の原始関数の一つであることが分かる。

よって、<math>\int _a^b f(x) dx = S(b) - S(a)</math>であるが、この式の右辺は、関数<math>f(x)</math>のグラフと、直線<math>x=a</math>、直線<math>x=b</math>と、<math>x</math>軸で囲まれた面積である。よって、左辺<math>\int _a^b f(x) dx</math>は、関数<math>f(x)</math>のグラフと、直線<math>x=a</math>、直線<math>x=b</math>と、<math>x</math>軸で囲まれた面積を表している。

{| style="border:2px solid pink;width:80%" cellspacing="0"
| style="background:pink" |'''定積分と面積の関係'''
|-
| style="padding:5px" |
<math>a \le x \le b</math>　で、　<math>f(x) \ge 0</math>　のとき、直線 <math>x=a,x=b</math> と <math>x</math> 軸、 <math>f(x)</math> で囲まれる面積 <math>S</math> は
<center><math>S= \int_a^b f(x)\,dx</math></center>

|}


歴史的には、積分は、関数のグラフで囲まれた部分の面積を求めるために考え出された。この節で述べたような微分との関連は積分自体の発明よりずっと後になって発見されたことである。

例として、
<math>0 \leqq x \leqq 1</math>の範囲で、y = xのグラフとx軸ではさまれた部分の面積を、積分を用いて計算する。
(
実際にはこれは三角形なので、積分を用いなくても面積を計算することが出来る。
答は<math> \frac 1 2</math> となる。
)
定積分を行なうと、
<math>
\int_0^1 x dx
</math>
<math>
= \frac 1 2 [x^2]^1_0 
</math>
<math>
= \frac 1 2 [1^2  - 0^2] 
</math>
<math>
= \frac 1 2 [1  - 0] 
</math>

<math>
= \frac 1 2
</math>
となり確かに一致する。


'''演習問題'''

放物線<math>y=5-x^2</math>とx軸および2直線<math>x=-1\ ,\ x=2</math>で囲まれた部分の面積Sを求めよ。


'''解答'''

この放物線は<math>-1 \le x \le 2</math>でx軸の上側にあるから、
:<math>S= \int_{-1}^{2} (5-x^2)\,dx=\left[5x - \frac{x^3}{3} \right]^{2}_{-1} =12</math><br>
<br>
<math>a \le x \le b</math>　において、常に　<math>f(x) \ge g(x)</math>　であるとき、2つの曲線　<math>y=f(x)\ ,\ y=g(x)</math>　に挟まれる部分の面積Sは、次の式で表される。
{| style="border:2px solid pink;width:80%" cellspacing="0"
| style="background:pink" |曲線 <math>y=f(x),y=g(x)</math> の間の面積
|-
| style="padding:5px" |
<math>a \le x \le b</math>　で、　<math>f(x) \ge g(x)</math>　のとき、
<center><math>S= \int_a^b \left\{ f(x)-g(x) \right\}\,dx</math></center>

|}

* 問題例

** 問題

放物線<math>y=x^2 -1</math>と直線<math>y=x+1</math>によって囲まれた部分の面積Sを求めよ。

** 解答
放物線と直線の交点のx座標は
:<math>x^2 -1=x+1</math>
:<math>x^2 -x-2=0</math>
:<math>x=-1\ ,\ x=2</math>
<math>-1 \le x \le 2</math>の範囲で<math>x^2 -1 \le x+1</math>より
:<math>S= \int_{-1}^{2} \left\{ (x+1)-(x^2 -1) \right\}\,dx= \int_{-1}^{2} (-x^2+x+2)\,dx=\left[- \frac{x^3}{3} + \frac{x^2}{2} +2x \right]^{2}_{-1} = \frac{9}{2}</math><br>
<br>
<br>
<math>a \le x \le b</math>　で、　<math>f(x) \le 0</math>　のとき、x軸<math>y=0</math>と曲線<math>y=f(x)</math>によって挟まれていると考えられるので、
:<math>S= \int_a^b \left\{ 0-f(x) \right\}\,dx = -  \int_a^b f(x)\,dx</math>
となる。

{| style="border:2px solid pink;width:80%" cellspacing=0
|style="background:pink"|'''面積(3)'''
|-
|style="padding:5px"|
<math>a \le x \le b</math>　で、　<math>f(x) \le 0</math>　のとき、
<center><math>S=- \int_a^b f(x)\,dx</math></center>

|}

* 問題例

** 問題

放物線<math>y=x^2 -2x</math>とx軸で囲まれた部分の面積Sを求めよ。

** 解答
放物線とx軸の交点のx座標は
:<math>x^2 -2x=0</math>
:<math>x=0\ ,\ x=2</math>
この放物線は<math>0 \le x \le 2</math>でx軸の下側にあるから、
:<math>S=- \int_0^2 (x^2 -2x)\,dx=- \left[\frac{x^3}{3} -x^2 \right]^{2}_{0} = \frac{4}{3}</math>

{{コラム|物理学と微分積分|
[[File:GodfreyKneller-IsaacNewton-1689.jpg|thumb|ニュートン]]
微分積分は、物理学でも運動方程式の計算などに応用されている。

1600年代、ニュートンなどの研究により、運動の法則を微分積分を使った式で表現できることが解明された。

なお、ニュートンは著書として『プリンピキア』をあわらし、その著書でニュートンは運動の法則が微分積分で表されることを述べ、力学（りきがく）の理論を進歩させた。


なお、微分積分を研究した同時代の数学者には、ニュートンの他にもライプニッツがいる。
}}
==本当にちょっとした余談==
高校数学をしていると「将来微分とか積分とか何に使う？」と思う人の方が多いと思う。確かに日常生活では、積分などの高度な
数学は使わない。だがその一方裏では積分や
微分、高校数学では収まらないような数学が使われている。例えば台風の進路予想。
これは積分を使い台風の進路を予測している。他にもセキュリティの強化などにも数学は使われている。日常生活では数学は使わないが、数学に親しみを持ってみてはどうだろうか。

== 演習問題 ==
(1)<math>F(x)=2x^2</math>のとき
<math>f(x)</math>を求めよ。ただし<math>F'(x)</math>
 (2)<math>\lim_{x\rightarrow c}(x^2+x)=11</math>となる<math>c</math>を求めよ
(3)原始関数、定積分を求めよ
 1)<math>\int ^5_3 \{2x^9+(6x-2x^3)\}dx</math>
 2)<math>\int (\sin x+\tan x)dx</math>
3)<math>\lim_{x\rightarrow0}\int ^5_x 2xdx</math>

4)<math>\int ^{60}_{-60} (\sin x+\cos^2 x)dx</math>

==演習問題の解答とその手引き==
(1)<math>f(x)=x^3</math>
冪乗の微分は<math>y'=nx^{n-1}</math>
であるため不定積分の定義より<math>f(x)=x^3</math>である。

== 脚注 ==
<references/>
{{DEFAULTSORT:こうとうかつこうすうかくII ひふんせきふん}}
[[Category:高等学校数学II|ひふんせきふん]]
[[カテゴリ:微分積分学]]