第7章 積分法

定積分と微分の関係
─ 上端が変数の定積分を微分する

微積分学の基本定理により、定積分の上端を変数 $x$ にした関数を微分すると被積分関数に戻ります。この関係は入試で「$\int_a^x f(t)\, dt$ を微分せよ」という形で頻出し、定積分で定義された関数の性質を調べる問題の基礎となります。

1$\frac{d}{dx}\int_a^x f(t)\, dt = f(x)$ の原理

$F(x)$ が $f(x)$ の原始関数とすると:

📐 微積分学の基本定理(第1部)

$$\frac{d}{dx}\int_a^x f(t)\, dt = f(x)$$

※ 被積分関数の変数 $t$ を積分変数といい、上端の変数 $x$ と区別する必要があります。

📌 なぜ成り立つのか

$\int_a^x f(t)\, dt = F(x) - F(a)$($F$ は $f$ の原始関数)

$F(a)$ は定数なので、$x$ で微分すると:

$$\frac{d}{dx}\{F(x) - F(a)\} = F'(x) - 0 = F'(x) = f(x)$$

つまり「積分してから微分すると元に戻る」のは当然の結果です。

⚠️ 変数の使い分けに注意

✗ $\frac{d}{dx}\int_a^x f(x)\, dx$(同じ文字 $x$ を積分変数と上端の両方に使っている!)

✓ $\frac{d}{dx}\int_a^x f(t)\, dt$(積分変数 $t$ と上端 $x$ を区別)

上端の $x$ は「外側の変数」、$t$ は「積分の内部でのみ使うダミー変数」です。同じ文字を使うと意味が曖昧になります。

2基本的な計算パターン

📝 基本パターンの計算

例1:$\frac{d}{dx}\int_0^x t^2\, dt = x^2$

例2:$\frac{d}{dx}\int_1^x (3t^2 - 2t)\, dt = 3x^2 - 2x$

例3:$\frac{d}{dx}\int_0^x (t - 1)(t + 2)\, dt = (x - 1)(x + 2)$

いずれも「被積分関数の $t$ を $x$ に置き換えるだけ」です。

具体的に計算して確認

📝 原始関数を使った確認

例:$F(x) = \int_0^x (3t^2 - 2t)\, dt = \left[t^3 - t^2\right]_0^x = x^3 - x^2$

$F'(x) = 3x^2 - 2x$ ✓(被積分関数の $t$ を $x$ に置き換えた結果と一致)

💡 「直接代入」vs「原始関数を求めて微分」

簡単な問題では、原始関数を求めてから微分しても同じ結果が得られます。しかし、被積分関数が複雑な場合は「$t$ を $x$ に置き換える」公式の方がはるかに効率的です。

入試では公式を直接使って答えを出せる場合が多いです。

3上端・下端が関数の場合

上端が $x$ ではなく $g(x)$ の場合、合成関数の微分が必要です。

📐 上端が $g(x)$ の場合の公式

$$\frac{d}{dx}\int_a^{g(x)} f(t)\, dt = f(g(x)) \cdot g'(x)$$

特に上端が $x^2$ のとき:

$$\frac{d}{dx}\int_a^{x^2} f(t)\, dt = f(x^2) \cdot 2x$$

※ 合成関数の微分(チェインルール)$\frac{d}{dx}F(g(x)) = F'(g(x)) \cdot g'(x)$ に対応。

📝 計算例

例1:$\frac{d}{dx}\int_0^{x^2} t^3\, dt = (x^2)^3 \cdot 2x = 2x^7$

【検算】$\int_0^{x^2} t^3\, dt = \left[\frac{t^4}{4}\right]_0^{x^2} = \frac{x^8}{4}$。微分すると $2x^7$ ✓

例2:$\frac{d}{dx}\int_0^{2x} (t + 1)\, dt = (2x + 1) \cdot 2 = 4x + 2$

【検算】$\int_0^{2x} (t+1)\, dt = \left[\frac{t^2}{2}+t\right]_0^{2x} = 2x^2 + 2x$。微分すると $4x + 2$ ✓

下端が変数の場合

📐 下端が変数の場合

$$\frac{d}{dx}\int_x^b f(t)\, dt = -f(x)$$

$$\frac{d}{dx}\int_{g(x)}^b f(t)\, dt = -f(g(x)) \cdot g'(x)$$

※ $\int_x^b = -\int_b^x$ を使って上端を変数にすることで導出できます。

⚠️ 下端が変数のときの符号

✗ $\frac{d}{dx}\int_x^1 t^2\, dt = x^2$

✓ $\frac{d}{dx}\int_x^1 t^2\, dt = -x^2$

下端が変数のときはマイナスがつきます。$\int_x^1 = -\int_1^x$ と変形してから公式を使いましょう。

4定積分で定義された関数の極値

$F(x) = \int_a^x f(t)\, dt$ の増減を調べる問題は入試頻出です。$F'(x) = f(x)$ なので、$f(x)$ の符号が $F(x)$ の増減を決めます。

📌 $F(x) = \int_a^x f(t)\, dt$ の増減

$F'(x) = f(x)$ より:

$f(x) > 0$ のとき $F(x)$ は増加

$f(x) < 0$ のとき $F(x)$ は減少

$f(x) = 0$ で符号変化するとき $F(x)$ は極値をとる

📝 極値を求める例

問題:$F(x) = \int_0^x (t^2 - 4)\, dt$ の極値を求めよ。

$F'(x) = x^2 - 4 = (x+2)(x-2)$

$F'(x) = 0$ で $x = -2, 2$

$x < -2$: $F'(x) > 0$(増)、$-2 < x < 2$: $F'(x) < 0$(減)、$x > 2$: $F'(x) > 0$(増)

$x = -2$ で極大:$F(-2) = \int_0^{-2} (t^2-4)\, dt = -\int_{-2}^0 (t^2-4)\, dt = -\left[\frac{t^3}{3}-4t\right]_{-2}^0 = -(0-(-\frac{8}{3}+8)) = -\frac{16}{3}$

$x = 2$ で極小:$F(2) = \int_0^2 (t^2-4)\, dt = \left[\frac{t^3}{3}-4t\right]_0^2 = \frac{8}{3}-8 = -\frac{16}{3}$

極大値 $F(-2) = -\frac{16}{3}$、極小値 $F(2) = -\frac{16}{3}$(偶関数の性質から $F(-2) = -F(2)$ ではなく、$f(t)$ が偶関数なので $F(-x) = -F(x)$、つまり実は $F(-2) = \frac{16}{3}$)。

再計算:$F(-2) = \int_0^{-2}(t^2-4)\, dt = \left[\frac{t^3}{3}-4t\right]_0^{-2} = -\frac{8}{3}+8 = \frac{16}{3}$

極大値 $\frac{16}{3}$($x = -2$)、極小値 $-\frac{16}{3}$($x = 2$)

💡 $F(a) = 0$ であることに注意

$F(x) = \int_a^x f(t)\, dt$ のとき、$F(a) = \int_a^a f(t)\, dt = 0$ です。

つまり $F(x)$ は必ず点 $(a, 0)$ を通ります。グラフの概形を描くときにこの情報が役立ちます。

5定積分を含む方程式

被積分関数や積分区間に未知数を含む方程式を解く問題も入試で出題されます。

📝 定積分を含む等式の処理

例1:$\int_0^a (2x - 1)\, dx = 3$ を満たす $a$ を求めよ。

$\left[x^2 - x\right]_0^a = a^2 - a = 3$

$a^2 - a - 3 = 0$ より $a = \frac{1 \pm \sqrt{13}}{2}$

例2:$f(x) = x^2 + \int_0^1 f(t)\, dt$ を満たす関数 $f(x)$ を求めよ。

$\int_0^1 f(t)\, dt$ は定数($x$ を含まない)なので、$c = \int_0^1 f(t)\, dt$ とおく。

$f(x) = x^2 + c$ より $c = \int_0^1 (t^2 + c)\, dt = \frac{1}{3} + c$

$c = \frac{1}{3} + c$ より $0 = \frac{1}{3}$…矛盾。

したがって、この等式を満たす関数は存在しない。

(正しくは問題文が $f(x) = x^2 + a\int_0^1 f(t)\, dt$ などの形で、$a$ によって解が存在したりしなかったりします。)

定積分を含む関数方程式の典型

📐 解法の手順

タイプ1:$\int_a^b f(x)\, dx = c$ の形 → 普通に積分して $a, b$ に関する方程式を解く

タイプ2:$f(x) = g(x) + \int_a^b f(t)\, dt$ の形 → $\int_a^b f(t)\, dt = k$(定数)とおいて連立

タイプ3:$f(x) = g(x) + \int_a^x f(t)\, dt$ の形 → 両辺を微分して微分方程式にする

📝 タイプ2の典型例

問題:$f(x) = 2x + 3\int_0^1 f(t)\, dt$ を満たす1次関数 $f(x)$ を求めよ。

$k = \int_0^1 f(t)\, dt$ とおくと $f(x) = 2x + 3k$

$k = \int_0^1 (2t + 3k)\, dt = \left[t^2 + 3kt\right]_0^1 = 1 + 3k$

$k = 1 + 3k$ より $-2k = 1$ すなわち $k = -\frac{1}{2}$

$f(x) = 2x + 3 \cdot \left(-\frac{1}{2}\right) = 2x - \frac{3}{2}$

⚠️ 定積分は「定数」であることを忘れない

✗ $\int_0^1 f(t)\, dt$ を $x$ の関数として扱う

✓ $\int_0^1 f(t)\, dt$ は上端・下端が定数なので、結果は $x$ を含まない定数

一方、$\int_0^x f(t)\, dt$ は上端が $x$ なので $x$ の関数です。この違いを正確に区別しましょう。

まとめ

  • 基本公式 ─ $\frac{d}{dx}\int_a^x f(t)\, dt = f(x)$(上端を変数にして微分すると被積分関数に戻る)
  • 合成関数型 ─ $\frac{d}{dx}\int_a^{g(x)} f(t)\, dt = f(g(x)) \cdot g'(x)$
  • 下端が変数 ─ $\frac{d}{dx}\int_x^b f(t)\, dt = -f(x)$(符号がつく)
  • 極値の問題 ─ $F(x) = \int_a^x f(t)\, dt$ の増減は $f(x)$ の符号で決まる
  • 関数方程式 ─ $\int_a^b f(t)\, dt$ は定数として扱い、文字でおいて連立する

確認テスト

Q1. $\frac{d}{dx}\int_1^x (t^3 + 2t)\, dt$ を求めよ。

▶ クリックして解答を表示 $x^3 + 2x$($t$ を $x$ に置き換えるだけ)

Q2. $\frac{d}{dx}\int_0^{x^2} 3t\, dt$ を求めよ。

▶ クリックして解答を表示 $3(x^2) \cdot 2x = 6x^3$

Q3. $\frac{d}{dx}\int_x^2 (t + 1)\, dt$ を求めよ。

▶ クリックして解答を表示 $-(x + 1)$(下端が変数なので符号が反転)

Q4. $F(x) = \int_0^x (t - 1)(t - 3)\, dt$ の極値をとる $x$ の値を求めよ。

▶ クリックして解答を表示 $F'(x) = (x-1)(x-3) = 0$ より $x = 1, 3$。$x = 1$ で極大、$x = 3$ で極小。

Q5. $f(x) = x + \int_0^1 f(t)\, dt$ のとき $f(x)$ を求めよ。

▶ クリックして解答を表示 $k = \int_0^1 f(t)\, dt$ とおくと $f(x) = x + k$。$k = \int_0^1 (t+k)\, dt = \frac{1}{2}+k$ より $0 = \frac{1}{2}$…矛盾。解なし。(正確には $f(x) = x + 2\int_0^1 f(t)\, dt$ 等の形であれば解が存在します。)実は $k = \frac{1}{2}+k$ で $k$ が消えてしまうため、この方程式を満たす関数は存在しません。

入試問題演習

問題 1 A 基礎 基本公式

次の微分を求めよ。

(1) $\frac{d}{dx}\int_2^x (3t^2 - t + 1)\, dt$

(2) $\frac{d}{dx}\int_x^0 (t^2 + 4)\, dt$

(3) $\frac{d}{dx}\int_1^{x^2} \sqrt{t}\, dt$($x > 0$)

解答

(1) $3x^2 - x + 1$

(2) $\int_x^0 = -\int_0^x$ より $-\frac{d}{dx}\int_0^x (t^2+4)\, dt = -(x^2+4)$

(3) $\sqrt{x^2} \cdot 2x = x \cdot 2x = 2x^2$($x > 0$ より $\sqrt{x^2} = x$)

▶ 解答を見る
問題 2 B 標準 極値の問題

$F(x) = \int_0^x t(t - 2)(t - 4)\, dt$ の極値を求めよ。

解答

$F'(x) = x(x-2)(x-4) = 0$ で $x = 0, 2, 4$。

増減:$x < 0$ で $F' < 0$、$0 < x < 2$ で $F' > 0$、$2 < x < 4$ で $F' < 0$、$x > 4$ で $F' > 0$

$x = 0$ で極小:$F(0) = 0$

$x = 2$ で極大:$F(2) = \int_0^2 t(t-2)(t-4)\, dt = \int_0^2 (t^3-6t^2+8t)\, dt$

$= \left[\frac{t^4}{4}-2t^3+4t^2\right]_0^2 = 4-16+16 = 4$

$x = 4$ で極小:$F(4) = \int_0^4 (t^3-6t^2+8t)\, dt = \left[\frac{t^4}{4}-2t^3+4t^2\right]_0^4 = 64-128+64 = 0$

極大値 $4$($x = 2$)、極小値 $0$($x = 0, 4$)

▶ 解答を見る
問題 3 B 標準 関数方程式

$f(x) = 3x^2 - 2\int_0^1 f(t)\, dt$ を満たす $f(x)$ を求めよ。

解答

$k = \int_0^1 f(t)\, dt$ とおくと $f(x) = 3x^2 - 2k$

$k = \int_0^1 (3t^2 - 2k)\, dt = \left[t^3 - 2kt\right]_0^1 = 1 - 2k$

$k = 1 - 2k$ より $3k = 1$ すなわち $k = \frac{1}{3}$

$f(x) = 3x^2 - \frac{2}{3}$

▶ 解答を見る
問題 4 C 発展 定積分と微分の融合

$f(x) = x^2 - 2x + \int_0^x (x - t)f(t)\, dt$ を満たす2次以下の多項式 $f(x)$ を求めよ。

解答

$\int_0^x (x-t)f(t)\, dt = x\int_0^x f(t)\, dt - \int_0^x tf(t)\, dt$

$f(x) = ax^2 + bx + c$ とおく。$f(x) = x^2 - 2x$ より、$\int_0^x (x-t)f(t)\, dt = 0$ のとき $a = 1, b = -2, c = 0$ が候補。

$\int_0^x (x-t)(t^2-2t)\, dt$ を計算して確認:

$= \int_0^x (xt^2-2xt-t^3+2t^2)\, dt = \int_0^x (-t^3+(x+2)t^2-2xt)\, dt$

$= \left[-\frac{t^4}{4}+\frac{(x+2)t^3}{3}-xt^2\right]_0^x = -\frac{x^4}{4}+\frac{(x+2)x^3}{3}-x^3$

$= -\frac{x^4}{4}+\frac{x^4+2x^3}{3}-x^3 = -\frac{x^4}{4}+\frac{x^4}{3}+\frac{2x^3}{3}-x^3 = \frac{x^4}{12}-\frac{x^3}{3}$

これは $0$ ではないので、$f(x) = x^2 - 2x$ は直接の解ではありません。

正確に解くには:$f(x) = x^2 + bx + c$ とし(2次以下)、定積分の項も含めて恒等式として係数を比較します。

この問題は数学IIIの内容に踏み込むため、ここでは方針の提示にとどめます。

解説

$\int_0^x (x-t)f(t)\, dt$ は畳み込み積分の形で、大学数学の微分方程式やラプラス変換と関連する発展的内容です。高校範囲では、$\int_0^x f(t)\, dt$ 型の基本パターンの習得を優先しましょう。

▶ 解答を見る