テデトクログイン

← コースに戻る

積分を使う — 原始関数と基本定理

ウォームアップ — 第14章の振り返り

1 / 1

a を動かして、2つの極値(赤い点)が1点に合流して消える瞬間を作ってください。

f′(x) = x² + a 極値 x = ±1.10

前のレッスンで、リーマン和の収束と「S′(x) = f(x)」という衝撃の再会を見ました。 このレッスンでは基本定理を計算の道具に変えます。

振り返り — あの連動図

もう一度、面積関数の図に触ってください。赤い点を動かして「S の傾き = f の高さ」を思い出します。

上: f(x) と 0 から x までの面積

下: 面積関数 S(x) とその接線

f(2.50) = 1.598(上の高さ) S′(2.50) = 1.598(下の接線の傾き)— 常に一致する

原始関数という発想の転換

基本定理 S(x)=f(x)S'(x) = f(x) を裏返すと、面積を求める手順はこうなります:

abf(x)dx=F(b)F(a)(F=f)\int_a^b f(x)\,dx = F(b) - F(a) \quad (F' = f)

「微分すると ff になる関数 FF」= 原始関数を1つ見つければ、 短冊を無限に足す作業が引き算1回で終わる。これが基本定理の実用面です。

例: f(x)=x2f(x) = x^2 なら F(x)=x33F(x) = \frac{x^3}{3}(微分して確認: F(x)=x2F'(x) = x^2 ✓)。よって

02x2dx=233033=83\int_0^2 x^2\,dx = \frac{2^3}{3} - \frac{0^3}{3} = \frac{8}{3}

微分の逆引き表

原始関数探しは微分の知識の「逆引き」です。第13章の計算規則がそのまま資産になります:

| f(x)f(x) | 原始関数 F(x)F(x) | |---|---| | xnx^n | xn+1n+1\frac{x^{n+1}}{n+1}(n1n \neq -1) | | 1x\frac{1}{x} | lnx\ln\|x\| | | exe^x | exe^x | | sinx\sin x | cosx-\cos x | | cosx\cos x | sinx\sin x |

原始関数は1つではありません(F+CF + C も微分すれば ff)。 定積分では引き算で CC が消えるので、どれを選んでも同じ答えになります。

符号付き面積という注意点

02πsinxdx=[cosx]02π=0\int_0^{2\pi} \sin x\,dx = [-\cos x]_0^{2\pi} = 0 — 面積が「消える」? グラフの下側(f<0f < 0 の部分)は負の面積として引かれるからです。 純粋な「面積の合計」が欲しいときは f|f| を積分します。この感覚は下のチャレンジで。

試してみよう

操作チャレンジ — 図で解く2問

1 / 2

面積関数の増える速さ S′(x) が、ちょうど 1.5(橙の破線の高さ)になる x を探してください。

S′(x) = f(x) = 0.563