第6章 積分法の応用

数学IIIの総合問題
─ 極限・微分法・積分法の総仕上げ

数学IIIの全範囲 ── 極限、微分法とその応用、積分法とその応用 ── を横断する最終総合問題に取り組みます。入試の大問では、これらの分野が融合して出題されるのが常です。極限で評価し、微分で解析し、積分で計算する ── この一連の流れを自在に操る力を、ここで仕上げましょう。数学IIIの学習の総決算です。

1極限と微分の融合 ─ 関数の挙動を精密に捉える

極限と微分は、ともに「関数の局所的な挙動」を調べる道具です。微分係数の定義自体が極限ですから、この2つが融合するのは自然なことです。

微分可能性と極限

$f(x) = \begin{cases} x^2\sin\dfrac{1}{x} & (x \neq 0) \\ 0 & (x = 0) \end{cases}$ の $x = 0$ における微分可能性を調べます。

$$f'(0) = \lim_{h \to 0}\frac{f(h) - f(0)}{h} = \lim_{h \to 0}\frac{h^2\sin\frac{1}{h}}{h} = \lim_{h \to 0}h\sin\frac{1}{h} = 0$$

$\left|h\sin\dfrac{1}{h}\right| \le |h| \to 0$ よりはさみうちの原理から確かに $f'(0) = 0$ です。

一方、$x \neq 0$ では $f'(x) = 2x\sin\dfrac{1}{x} - \cos\dfrac{1}{x}$ であり、$\lim_{x \to 0}f'(x)$ は $\cos\dfrac{1}{x}$ が振動するため存在しません。つまり、$f$ は $x = 0$ で微分可能だが、導関数 $f'$ は $x = 0$ で連続ではないのです。

💡 「微分可能」と「導関数が連続」は異なる

微分可能:$\lim_{h\to 0}\dfrac{f(x+h)-f(x)}{h}$ が存在する

$C^1$ 級(連続微分可能):$f'(x)$ が存在し、かつ連続である

上の例は「微分可能だが $C^1$ 級ではない」関数です。入試では、定義に立ち返って微分可能性を確認する問題が出題されます。

ロピタルの定理と微分係数

ロピタルの定理は $\dfrac{0}{0}$ 型や $\dfrac{\infty}{\infty}$ 型の不定形極限を処理する強力な道具ですが、使用条件を厳密に確認する必要があります。

$$\lim_{x \to 0}\frac{e^x - e^{-x} - 2x}{x - \sin x}$$

$x = 0$ で分子・分母ともに $0$ です。ロピタルの定理を適用すると:

$$\lim_{x \to 0}\frac{e^x + e^{-x} - 2}{1 - \cos x}$$

まだ $\dfrac{0}{0}$ 型なので、もう一度:

$$\lim_{x \to 0}\frac{e^x - e^{-x}}{\sin x} = \lim_{x \to 0}\frac{e^x + e^{-x}}{\cos x} = \frac{2}{1} = 2$$

⚠️ ロピタルの定理の適用条件

✗ 分子・分母が $0$ になるのを確認せずにいきなり微分する

✓ 毎回 $\dfrac{0}{0}$ 型(または $\dfrac{\infty}{\infty}$ 型)であることを確認してから微分する

$\dfrac{0}{0}$ 型でない場合にロピタルの定理を使うと誤った結果になります。また、$\lim\dfrac{f'(x)}{g'(x)}$ が存在しない場合はロピタルの定理から何も結論できません。

⚠️ テイラー展開とロピタルの使い分け

✗ 高次の不定形に何度もロピタルを適用して計算量が爆発する

✓ 3回以上のロピタルが必要なら、テイラー展開のほうが効率的な場合が多い

上の例でテイラー展開を使うと:$e^x - e^{-x} - 2x = \dfrac{x^3}{3} + \cdots$、$x - \sin x = \dfrac{x^3}{6} + \cdots$ より、答えは $\dfrac{1/3}{1/6} = 2$ と一発です。

2微分と積分の相互関係 ─ 微積分学の基本定理の深層

微分と積分は逆演算の関係にあります。この関係を正確に述べたのが微積分学の基本定理(ニュートン-ライプニッツの公式)です。

📐 微積分学の基本定理

第1部:$f$ が連続のとき、$F(x) = \int_a^x f(t)\,dt$ とおくと $F'(x) = f(x)$

第2部:$F'(x) = f(x)$ ならば $\int_a^b f(x)\,dx = F(b) - F(a)$

※ 第1部は「積分して微分すると元に戻る」、第2部は「定積分は原始関数の差で計算できる」ことを述べています。

積分で定義された関数の微分

$F(x) = \int_0^x e^{-t^2}\,dt$ の導関数は $F'(x) = e^{-x^2}$ です。では、上端が $x^2$ のときはどうでしょうか。

$G(x) = \int_0^{x^2} e^{-t^2}\,dt$ について、$u = x^2$ とおくと $G(x) = F(u)$ なので:

$$G'(x) = F'(u) \cdot u' = e^{-u^2} \cdot 2x = 2xe^{-x^4}$$

この合成関数の微分は、積分の上端・下端が $x$ の関数になっている問題で頻出です。

💡 積分の上端・下端が関数の場合

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

これは微積分学の基本定理と合成関数の微分法を組み合わせたものです。$a(x) = 0,\; b(x) = x$ のときが最も基本的で、$F'(x) = f(x)$ に帰着します。

積分方程式

$f(x) = e^x + \int_0^x f(t)\,dt$ を満たす連続関数 $f(x)$ を求めます。

両辺を微分すると:$f'(x) = e^x + f(x)$

これは1階線形微分方程式です。$f'(x) - f(x) = e^x$ を解きます。斉次方程式の解が $Ce^x$ なので、定数変化法で特殊解を求めると $f(x) = xe^x$ です。一般解は $f(x) = (x + C)e^x$ です。

元の式に $x = 0$ を代入すると $f(0) = e^0 + 0 = 1$。これより $C = 1$ で、$f(x) = (x + 1)e^x$ です。

⚠️ 積分方程式で初期条件を忘れる

✗ 微分して得た微分方程式の一般解をそのまま答えにする

✓ 元の積分方程式に $x = 0$(や他の特定値)を代入して初期条件を求め、任意定数を決定する

積分方程式を微分すると情報が失われます。元の式から初期条件を復元する一手間が不可欠です。

🔗 ガウス積分と誤差関数

$\int_0^\infty e^{-t^2}\,dt = \dfrac{\sqrt{\pi}}{2}$ は有名なガウス積分であり、$\text{erf}(x) = \dfrac{2}{\sqrt{\pi}}\int_0^x e^{-t^2}\,dt$ は誤差関数と呼ばれます。$e^{-t^2}$ の原始関数は初等関数では表せませんが、定積分としての値は重積分の極座標変換で計算できます。これは大学1年の解析学で学ぶ美しい結果です。

3極限・積分の融合 ─ 区分求積法と不等式評価

区分求積法は、定積分を和の極限として定義する方法であり、同時に和の極限を定積分で計算する手法でもあります。この双方向の関係が、極限と積分の融合問題の核心です。

📐 区分求積法

$$\lim_{n \to \infty}\frac{1}{n}\sum_{k=1}^{n} f\!\left(\frac{k}{n}\right) = \int_0^1 f(x)\,dx$$

より一般に $\lim_{n \to \infty}\dfrac{1}{n}\sum_{k=0}^{n-1} f\!\left(a + \dfrac{(b-a)k}{n}\right) = \int_a^b f(x)\,dx$ (リーマン和)

※ $\dfrac{k}{n}$ の部分が $x$ に、$\dfrac{1}{n}$ が $dx$ に対応します。

典型的な区分求積法の問題

$\displaystyle\lim_{n \to \infty}\sum_{k=1}^{n}\frac{n}{n^2 + k^2}$ を求めます。

$$\sum_{k=1}^{n}\frac{n}{n^2 + k^2} = \sum_{k=1}^{n}\frac{1}{n} \cdot \frac{1}{1 + \left(\frac{k}{n}\right)^2}$$

$f(x) = \dfrac{1}{1+x^2}$ として区分求積法を適用:

$$\lim_{n \to \infty}\frac{1}{n}\sum_{k=1}^{n}f\!\left(\frac{k}{n}\right) = \int_0^1 \frac{dx}{1+x^2} = \left[\arctan x\right]_0^1 = \frac{\pi}{4}$$

💡 区分求積法の「見抜き方」

和 $\sum$ の中に $\dfrac{1}{n}$ と $\dfrac{k}{n}$ が含まれているとき、区分求積法の適用を疑います。

手順:(1) $\dfrac{1}{n}$ をくくり出す (2) 残りの部分で $\dfrac{k}{n}$ を $x$ に置き換える (3) $\int_0^1 f(x)\,dx$ を計算

和の上端が $n-1$ か $n$ かで、$k=0$ から始まるか $k=1$ から始まるかが変わりますが、極限値は同じです。

不等式評価と挟み撃ち

$f(x)$ が単調減少のとき、$\int_k^{k+1} f(x)\,dx \le f(k) \le \int_{k-1}^{k} f(x)\,dx$ が成り立ちます。これを $k = 1, 2, \ldots, n$ について加えると、和の上下を積分で評価できます。

たとえば $\sum_{k=1}^{n}\dfrac{1}{k}$(調和級数の部分和)について:

$$\int_1^{n+1}\frac{dx}{x} \le \sum_{k=1}^{n}\frac{1}{k} \le 1 + \int_1^{n}\frac{dx}{x}$$

つまり $\log(n+1) \le \sum_{k=1}^{n}\dfrac{1}{k} \le 1 + \log n$ です。この評価から、調和級数が発散すること($\sum \dfrac{1}{k} \to \infty$)が直ちにわかります。

⚠️ 区分求積法で $\dfrac{1}{n}$ のくくり出しを間違える

✗ $\sum_{k=1}^{n}\dfrac{1}{\sqrt{nk}}$ を $\dfrac{1}{n}\sum f\!\left(\dfrac{k}{n}\right)$ の形にできないとあきらめる

✓ $\dfrac{1}{\sqrt{nk}} = \dfrac{1}{n} \cdot \dfrac{1}{\sqrt{k/n}}$ と変形すれば $f(x) = \dfrac{1}{\sqrt{x}}$ で $\int_0^1 \dfrac{dx}{\sqrt{x}} = 2$

$\dfrac{1}{n}$ が明示的に見えない場合でも、$n$ に関する因数を整理すれば区分求積法の形に帰着できることがあります。

🔗 オイラーの定数とゼータ関数

$\gamma = \lim_{n \to \infty}\left(\sum_{k=1}^{n}\dfrac{1}{k} - \log n\right) \approx 0.5772$ はオイラー-マスケローニ定数と呼ばれ、この値が有理数か無理数かは未解決問題です。また、$\sum_{k=1}^{\infty}\dfrac{1}{k^s}$($s > 1$)はリーマンゼータ関数 $\zeta(s)$ であり、素数の分布と深く関わっています。高校で学ぶ級数の収束・発散の判定は、この壮大な理論の入り口です。

4三分野の統合 ─ 入試大問の構造を読み解く

難関大学の入試問題は、多くの場合「小問の誘導に従って解き進める」構造になっています。典型的なパターンは、(1) で準備を行い、(2) でその結果を使い、(3) で最終的な結論を導く ── という流れです。

パターン1:不等式 → 積分 → 極限

「(1) 不等式を証明せよ → (2) その不等式を積分して別の不等式を得よ → (3) はさみうちの原理で極限値を求めよ」というのは、数学IIIの入試問題で最も頻出の構造です。

$x \ge 0$ で $e^x \ge 1 + x$ が成り立つことを出発点に、$\int_0^1 e^{x^2}\,dx$ の近似値を求める、という問題を考えます。

$e^{x^2} \ge 1 + x^2$($x \ge 0$)より、$\int_0^1 e^{x^2}\,dx \ge \int_0^1(1+x^2)\,dx = \dfrac{4}{3}$

一方 $e^{x^2} \le e^x$($0 \le x \le 1$ で $x^2 \le x$)より、$\int_0^1 e^{x^2}\,dx \le \int_0^1 e^x\,dx = e - 1$

よって $\dfrac{4}{3} \le \int_0^1 e^{x^2}\,dx \le e - 1 \approx 1.718$ と評価できます。

パターン2:微分 → 面積 → 体積

「(1) 関数の増減・極値を調べよ → (2) グラフと直線で囲まれた面積を求めよ → (3) その部分を回転した体積を求めよ」という流れも定番です。微分の結果がそのまま積分の準備になっています。

💡 入試大問を読み解く3つの視点

視点1 前の小問の結果は次で使う:証明した不等式や求めた値は、次の小問で必ず使います。使わない結果は出題されません。

視点2 何を求めたいかから逆算する:最後の問い(たとえば「極限を求めよ」)から逆に考え、そのために何が必要かを整理します。

視点3 図形的イメージを常に持つ:式の変形に没頭する前に、何が起きているのかを図形的に把握しましょう。

パラメータを含む関数の総合問題

$f(x) = xe^{-ax}$($a > 0$)について、極値を求め、$x$ 軸との間の面積を計算し、さらに $a$ を変化させたときの面積の挙動を調べる ── このような問題は、微分(極値)→ 積分(面積)→ 極限($a$ の挙動)の三段構成です。

極大値は $x = \dfrac{1}{a}$ で $\dfrac{1}{ae}$、面積は $S(a) = \dfrac{1}{a^2}$ です。$a \to 0^+$ で $S \to \infty$(グラフが「広がる」)、$a \to \infty$ で $S \to 0$(グラフが「つぶれる」)という直感的理解と計算結果が一致します。

5数学IIIの全体像 ─ 何を学んできたのか

数学IIIで学んだ内容を振り返り、各分野がどのように結びついているかを俯瞰します。

極限 ─ 解析学の土台

数列の極限と関数の極限は、微分・積分の定義の基盤です。$\varepsilon$-$\delta$ 論法こそ扱いませんが、はさみうちの原理や連続性の概念は数学IIIの全体を支えています。

テーマ核心概念接続先
数列の極限収束・発散の判定、はさみうち級数、区分求積法
関数の極限$\lim_{x \to a}f(x)$、連続性微分の定義、中間値の定理
級数無限和の収束、部分和の極限テイラー展開、近似計算

微分法 ─ 変化を捉える道具

導関数の計算から始まり、接線・増減・極値・凹凸と進み、グラフの解析、不等式の証明、速度・加速度、近似式へと展開しました。

テーマ核心概念接続先
導関数の計算合成関数、逆関数、対数微分法積分の被積分関数の処理
グラフと方程式増減表、極値、変曲点面積・体積の図形把握
不等式の証明$f'(x)$ の符号 → $f(x)$ の単調性はさみうちの原理、積分評価
テイラー展開多項式近似、剰余項極限の計算、誤差評価

積分法 ─ 蓄積を計算する道具

不定積分の計算技法に始まり、定積分の計算、面積・体積・弧長の計算、そして微分方程式へと至りました。

テーマ核心概念接続先
不定積分置換積分、部分積分、部分分数分解定積分、微分方程式
面積・体積$\int f\,dx$、回転体、断面積法微分による図形把握と融合
弧長・道のり$\sqrt{1+(y')^2}$、速さの積分媒介変数表示、極座標
微分方程式変数分離型、立式と解法物理・化学のモデル化
💡 数学IIIの本質は「無限の操作を有限に制御する」こと

極限は「無限に繰り返す操作の行き着く先」を捉え、微分は「無限に小さい変化」を扱い、積分は「無限個の微小量を足し合わせる」操作です。

数学IIIで学んだすべての概念は「無限を有限に制御する」という一つの思想に貫かれています。この思想こそが、17世紀にニュートンとライプニッツが切り拓いた微積分学の核心であり、現代数学・科学・工学の基盤です。

⚠️ 総合問題で最も多い失敗

✗ 各小問を独立した問題として解き、前の結果を次で活用しない

✓ 小問の誘導に従い、(1)の結果を(2)で、(2)の結果を(3)で使う

入試の大問は「ストーリー」です。前の小問は次の小問のためのヒントであり道具です。

🔗 大学数学への展望

数学IIIの内容は、大学では「微分積分学」(解析学)として再構成されます。$\varepsilon$-$\delta$ 論法による厳密な基礎付け、多変数関数への拡張(偏微分、重積分)、ベクトル解析、複素関数論へと発展します。高校で培った直感と計算力は、大学での厳密な理論を理解するための不可欠な土台です。

まとめ

✅ 確認テスト

Q1. $F(x) = \int_0^{x^2} \sin t\,dt$ のとき $F'(x)$ は?

▶ 答えを見る
$F'(x) = \sin(x^2) \cdot 2x = 2x\sin(x^2)$(微積分学の基本定理 + 合成関数の微分)

Q2. $\displaystyle\lim_{n \to \infty}\frac{1}{n}\sum_{k=1}^{n}\sqrt{\frac{k}{n}}$ を定積分で表すと?

▶ 答えを見る
$\int_0^1 \sqrt{x}\,dx = \left[\dfrac{2}{3}x^{3/2}\right]_0^1 = \dfrac{2}{3}$

Q3. $\displaystyle\lim_{x \to 0}\frac{\sin x - x}{x^3}$ の値は?(テイラー展開を用いよ)

▶ 答えを見る
$\sin x = x - \dfrac{x^3}{6} + \cdots$ より $\dfrac{\sin x - x}{x^3} = -\dfrac{1}{6} + \cdots \to -\dfrac{1}{6}$

Q4. 入試大問で「(1)で不等式を証明し、(2)で極限を求めよ」とあるとき、(1)の結果はどう使うか?

▶ 答えを見る
(1)の不等式で目標の式を上下から評価し、はさみうちの原理で極限値を求める。

Q5. 数学IIIの三本柱(極限・微分・積分)に共通する思想は?

▶ 答えを見る
「無限の操作を有限に制御する」こと。極限は無限の行き先、微分は無限小の変化、積分は無限和。

E入試問題演習

問題 1 LEVEL A 極限×積分

$\displaystyle\lim_{n \to \infty}\sum_{k=1}^{n}\frac{1}{n+k}$ を求めよ。

▶ 解答を表示
解答

$$\sum_{k=1}^{n}\frac{1}{n+k} = \sum_{k=1}^{n}\frac{1}{n} \cdot \frac{1}{1 + \frac{k}{n}}$$

区分求積法より $f(x) = \dfrac{1}{1+x}$ として:

$$\lim_{n \to \infty}\frac{1}{n}\sum_{k=1}^{n}\frac{1}{1+\frac{k}{n}} = \int_0^1 \frac{dx}{1+x} = [\log(1+x)]_0^1 = \log 2$$

採点ポイント
  • $\dfrac{1}{n}$ のくくり出し … 3点
  • 区分求積法の適用 … 3点
  • $\log 2$ の導出 … 2点
問題 2 LEVEL B 微分×積分

$f(x) = x\log x$($x > 0$)について、

(1) $f(x)$ の極値を求め、$\displaystyle\lim_{x \to +0}f(x)$ を求めよ。

(2) $y = f(x)$ と $x$ 軸で囲まれた部分の面積 $S$ を求めよ。

(3) (2)の部分を $x$ 軸の周りに回転した体積 $V$ を求めよ。

▶ 解答を表示
解答

(1) $f'(x) = \log x + 1 = 0$ より $x = e^{-1} = \dfrac{1}{e}$。

$x < \dfrac{1}{e}$ で $f'(x) < 0$、$x > \dfrac{1}{e}$ で $f'(x) > 0$ より、極小値 $f\!\left(\dfrac{1}{e}\right) = -\dfrac{1}{e}$

$\lim_{x \to +0} x\log x = \lim_{x \to +0}\dfrac{\log x}{1/x}$($\dfrac{-\infty}{\infty}$ 型)。ロピタルの定理より $\lim_{x \to +0}\dfrac{1/x}{-1/x^2} = \lim_{x \to +0}(-x) = 0$

(2) $f(x) = x\log x = 0$ は $x = 1$($\log x = 0$)。$0 < x < 1$ で $f(x) < 0$。

$$S = -\int_0^1 x\log x\,dx = -\left[\frac{x^2}{2}\log x - \frac{x^2}{4}\right]_0^1 = -\left(0 - \frac{1}{4} - 0\right) = \frac{1}{4}$$

($\lim_{x \to +0}x^2\log x = 0$ を使用)

(3)

$$V = \pi\int_0^1 (x\log x)^2\,dx = \pi\int_0^1 x^2(\log x)^2\,dx$$

$\int x^2(\log x)^2\,dx$ を部分積分で処理する。$u = (\log x)^2,\; dv = x^2\,dx$ として:

$$\int_0^1 x^2(\log x)^2\,dx = \left[\frac{x^3}{3}(\log x)^2\right]_0^1 - \frac{2}{3}\int_0^1 x^2\log x\,dx$$

$= 0 - \dfrac{2}{3}\left(\left[\dfrac{x^3}{3}\log x\right]_0^1 - \dfrac{1}{3}\int_0^1 x^2\,dx\right) = -\dfrac{2}{3}\left(0 - \dfrac{1}{9}\right) = \dfrac{2}{27}$

$$V = \frac{2\pi}{27}$$

採点ポイント
  • 極小値と $\lim_{x \to +0}$ の計算 … 3点
  • 面積の積分と部分積分 … 3点
  • 体積の計算(部分積分2回) … 4点
問題 3 LEVEL B 不等式×極限

$x > 0$ のとき、次の不等式を示せ。

$$\frac{x}{1+x} \le \log(1+x) \le x$$

また、これを利用して $\displaystyle\lim_{n \to \infty}n\left\{\left(1+\frac{1}{n}\right)^n - e\right\}$ を $\displaystyle\lim_{n \to \infty}n\left\{e^{n\log(1+1/n)} - e\right\}$ として評価し、この極限が有限値であることを示せ。

▶ 解答を表示
解答

不等式の証明:

右側:$g(x) = x - \log(1+x)$ とおくと $g'(x) = 1 - \dfrac{1}{1+x} = \dfrac{x}{1+x} > 0$($x > 0$)。$g(0) = 0$ より $g(x) > 0$。

左側:$h(x) = \log(1+x) - \dfrac{x}{1+x}$ とおくと $h'(x) = \dfrac{1}{1+x} - \dfrac{1}{(1+x)^2} = \dfrac{x}{(1+x)^2} > 0$($x > 0$)。$h(0) = 0$ より $h(x) > 0$。□

極限の評価:

不等式に $x = \dfrac{1}{n}$ を代入すると:

$$\frac{1}{n+1} \le \log\!\left(1+\frac{1}{n}\right) \le \frac{1}{n}$$

$n$ 倍すると:$\dfrac{n}{n+1} \le n\log\!\left(1+\dfrac{1}{n}\right) \le 1$

より精密に、テイラー展開 $\log(1+x) = x - \dfrac{x^2}{2} + \dfrac{x^3}{3} - \cdots$ を用いると:

$$n\log\!\left(1+\frac{1}{n}\right) = 1 - \frac{1}{2n} + \frac{1}{3n^2} - \cdots$$

よって $n\left(n\log\!\left(1+\dfrac{1}{n}\right) - 1\right) = -\dfrac{1}{2} + \dfrac{1}{3n} - \cdots \to -\dfrac{1}{2}$

$e^u \approx e + e(u - 1)$($u \to 1$)の近似を用いると:

$$n\left\{\left(1+\frac{1}{n}\right)^n - e\right\} = n\left\{e^{n\log(1+1/n)} - e\right\} \approx ne\left(n\log\!\left(1+\frac{1}{n}\right) - 1\right) \to -\frac{e}{2}$$

解説

$\left(1 + \dfrac{1}{n}\right)^n$ が $e$ に近づく速さが $O\!\left(\dfrac{1}{n}\right)$ であることを示す問題です。不等式 → テイラー展開 → 極限という数学IIIの三分野が美しく融合しています。

採点ポイント
  • 不等式の証明(各2点) … 4点
  • $x = 1/n$ の代入と変形 … 2点
  • テイラー展開による精密評価 … 2点
  • $-e/2$ への収束の論証 … 2点
問題 4 LEVEL C 極限×微分×積分

$a > 0$ とする。曲線 $C: y = ae^{-x}$($x \ge 0$)について、

(1) $C$ と $x$ 軸および $y$ 軸で囲まれた部分の面積 $S(a)$ を求めよ。

(2) (1)の部分を $x$ 軸の周りに回転した回転体の体積 $V(a)$ を求めよ。

(3) $C$ の $x \ge 0$ における弧長 $L(a)$ を求めよ。

(4) $\displaystyle\lim_{a \to \infty}\frac{V(a)}{S(a)^2}$ を求めよ。

▶ 解答を表示
解答

(1) $S(a) = \int_0^{\infty} ae^{-x}\,dx = a\left[-e^{-x}\right]_0^{\infty} = a$

(2) $V(a) = \pi\int_0^{\infty}(ae^{-x})^2\,dx = \pi a^2\int_0^{\infty}e^{-2x}\,dx = \pi a^2 \cdot \dfrac{1}{2} = \dfrac{\pi a^2}{2}$

(3) $y' = -ae^{-x}$ より:

$$L(a) = \int_0^{\infty}\sqrt{1 + a^2 e^{-2x}}\,dx$$

$t = ae^{-x}$ と置換すると $dt = -ae^{-x}\,dx = -t\,dx$ より $dx = -\dfrac{dt}{t}$。$x = 0$ で $t = a$、$x \to \infty$ で $t = 0$。

$$L(a) = \int_a^{0}\sqrt{1+t^2} \cdot \left(-\frac{1}{t}\right)\,dt = \int_0^{a}\frac{\sqrt{1+t^2}}{t}\,dt$$

$t = \tan\theta$ と置換すると $\dfrac{\sqrt{1+t^2}}{t} = \dfrac{1}{\sin\theta\cos\theta}$、$dt = \dfrac{d\theta}{\cos^2\theta}$ で:

$$L(a) = \int_0^{\alpha}\frac{d\theta}{\sin\theta\cos^3\theta} \quad (\alpha = \arctan a)$$

これを直接計算する代わりに部分積分を利用すると:

$$L(a) = \left[\sqrt{1+t^2}\right]_0^a + \int_0^a \frac{dt}{\sqrt{1+t^2}} \cdot (-1) + \cdots$$

最終的に $L(a) = \sqrt{1+a^2} + \log\dfrac{a}{1+\sqrt{1+a^2}} + 1$ と求まります。

(注:$\int_0^a \dfrac{\sqrt{1+t^2}}{t}\,dt = \sqrt{1+a^2} - 1 + \log\dfrac{2a}{1+\sqrt{1+a^2}} + \log 2$ を利用。)

簡潔に書くと $L(a) = \sqrt{1+a^2} + \log a - \log(1+\sqrt{1+a^2}) + 1$

(4) $\dfrac{V(a)}{S(a)^2} = \dfrac{\pi a^2 / 2}{a^2} = \dfrac{\pi}{2}$

よって $\displaystyle\lim_{a \to \infty}\frac{V(a)}{S(a)^2} = \frac{\pi}{2}$

解説

(4) の結果 $\dfrac{\pi}{2}$ は $a$ に依存しません。面積 $S(a) = a$ と体積 $V(a) = \dfrac{\pi a^2}{2}$ の関係から $V = \dfrac{\pi}{2}S^2$ が恒等的に成り立つためです。小問(1)〜(3)で個別に求めた量の間の関係を(4)で統合するのが、大問構成の醍醐味です。弧長の計算(3)は独立した難問であり、(4)では面積と体積の関係のみが問われています。

採点ポイント
  • 面積 $S(a) = a$(広義積分の処理含む) … 2点
  • 体積 $V(a) = \dfrac{\pi a^2}{2}$ … 2点
  • 弧長の立式と置換 … 3点
  • $V/S^2 = \pi/2$ の計算 … 3点