積分レベル別問題解説 【レベル5】超絶技巧レベル (10題)

No. 1

問題：

$$ \int_0^{\frac{\pi}{2}} \frac{\sqrt{\sin x}}{\sqrt{\sin x} + \sqrt{\cos x}} \,dx $$

解答：

$$ \frac{\pi}{4} $$

【着想の必然性と詳細解説】

分母に $\sin$ と $\cos$ が共存し、分子にその片方があるこの形は、King Property（$x \to \frac{\pi}{2}-t$ の置換）が最も鮮やかに決まる舞台です。難関大入試でも頻出ですが、指数の部分が $\sqrt{}$ であろうが $100$ 乗であろうが、「和をとると分母分子が一致する」という構造を見抜くことが重要です。

求める積分を $I$ とし、$x = \frac{\pi}{2}-t$ と置換すると、$\sin x$ は $\cos t$ に、$\cos x$ は $\sin t$ に入れ替わります。積分区間も反転するため、$I$ は以下のようにも書けます。

$$ I = \int_0^{\frac{\pi}{2}} \frac{\sqrt{\cos t}}{\sqrt{\cos t} + \sqrt{\sin t}} \,dt $$

この2つの $I$ を足し合わせると、分子が $\sqrt{\sin x} + \sqrt{\cos x}$ となり、分母と完全に一致して中身が $1$ になります。

$$ 2I = \int_0^{\frac{\pi}{2}} 1 \,dx = \frac{\pi}{2} \implies I = \frac{\pi}{4} $$

• キーポイント： 対称性の活用（King Property）
• 着眼点： 区間 $[0, \pi/2]$ における $\sin$ と $\cos$ の入れ替え可能性
• 【危険】（ピットフォール）： まともに有理化や置換を試みて時間を浪費すること

No. 2

問題：

$$ \int_0^{\frac{\pi}{2}} \log(\sin x) \,dx $$

解答：

$$ -\frac{\pi}{2} \log 2 $$

【着想の必然性と詳細解説】

積分の歴史の中で最も美しい結果の一つです。この問題の突破口は、「King Property で形を変え、倍角の公式で元の形を無理やり作り出す」という自己回帰のテクニックにあります。

No.1と同様に $x \to \frac{\pi}{2}-t$ の置換で $I = \int_0^{\frac{\pi}{2}} \log(\cos x) \,dx$ が得られます。これらを足すと：

$$ 2I = \int_0^{\frac{\pi}{2}} (\log \sin x + \log \cos x) \,dx = \int_0^{\frac{\pi}{2}} \log(\sin x \cos x) \,dx $$

ここで $\sin x \cos x = \frac{\sin 2x}{2}$ を代入し、対数を分解します。

$$ 2I = \int_0^{\frac{\pi}{2}} \log(\sin 2x) \,dx - \int_0^{\frac{\pi}{2}} \log 2 \,dx $$

第一項は周期性と対称性により、元の $I$ と一致します（$2x=u$ と置換）。すると $2I = I - \frac{\pi}{2} \log 2$ という方程式が成立し、答えが導かれます。

• キーポイント： 対数積分における自己回帰（方程式化）
• 着眼点： $\log \sin x$ と $\log \cos x$ の和が倍角公式に繋がる点
• 【危険】（ピットフォール）： 収束性を疑ってフリーズすること（広義積分ですが高校数学の範囲で値は確定します）

No. 3

問題：

$$ \int_0^1 \frac{x^7-1}{\log x} \,dx $$

解答：

$$ \log 8 $$

【着想の必然性と詳細解説】

分母の $\log x$ が絶望的な壁に見えます。ここで繰り出すのが、パラメータ $a$ を導入して微分する「ファインマンの積分法」です。「積分記号の下で微分する」ことで、邪魔な $\log x$ を抹殺します。

$$ I(a) = \int_0^1 \frac{x^a-1}{\log x} \,dx \quad (I(0)=0) $$

この $I(a)$ を $a$ で微分すると：

$$ I'(a) = \int_0^1 \frac{\partial}{\partial a} \left( \frac{x^a-1}{\log x} \right) \,dx = \int_0^1 \frac{x^a \log x}{\log x} \,dx = \int_0^1 x^a \,dx $$

なんと、分母が消えてただのべき乗の積分になりました。$I'(a) = \frac{1}{a+1}$ です。これを $a$ で積分して元の $I(a)$ を求めます。

$$ I(a) = \int \frac{1}{a+1} \,da = \log(a+1) + C $$

$I(0)=0$ より $C=0$。今回の問題は $a=7$ の場合なので、$I(7) = \log 8$ となります。

• キーポイント： 積分記号下の微分（Leibniz Integral Rule）
• 着眼点： 指数関数の微分によって現れる $\log x$ と分母の相殺
• 【危険】（ピットフォール）： 積分変数の $x$ とパラメータ $a$ を混同すること

No. 4

問題：

$$ \int_0^\infty e^{-x^2} \,dx $$

解答：

$$ \frac{\sqrt{\pi}}{2} $$

【着想の必然性と詳細解説】

ガウス積分として有名なこの形は、一変数のままでは原始関数が書けません。そこで「次元を一つ上げて二変数関数として扱い、極座標へ逃げる」という、積分の世界を広げる手法を採ります。

求める積分を $I$ とし、$I^2$ を計算します。

$$ I^2 = \left( \int_0^\infty e^{-x^2} \,dx \right) \left( \int_0^\infty e^{-y^2} \,dy \right) = \int_0^\infty \int_0^\infty e^{-(x^2+y^2)} \,dxdy $$

これを第一象限における重積分とみなし、極座標 $x=r\cos\theta, y=r\sin\theta$ へ変換します（ヤコビアン $r$ が出現）。

$$ I^2 = \int_0^{\frac{\pi}{2}} \int_0^\infty e^{-r^2} r \,drd\theta $$

内側の積分は $r^2=t$ とおけば微分接触型として簡単に解けます。結果は $\frac{\pi}{2} \cdot \frac{1}{2} = \frac{\pi}{4}$ となり、$I = \frac{\sqrt{\pi}}{2}$ が導かれます。

• キーポイント： 二次元への拡張と極座標置換
• 着眼点： $x^2+y^2 = r^2$ という円対称性の利用
• 【危険】（ピットフォール）： 積分範囲を全平面 ($-\infty \to \infty$) と勘違いして $\sqrt{\pi}$ と答えてしまうミス

【補】なぜ $dxdy$ が $r dr d\theta$ に化けるのか？

問題4で $I^2$ を二重積分として扱う際、$dxdy$ を単に $dr d\theta$ とせず、間に $r$ を挟みました。この $r$ の正体について、2つの視点から整理しておきましょう。

1. 幾何学的な直感：扇形の「面積」の歪み

直交座標における $dx dy$ は、どこにあっても同じ大きさの「小さな長方形」の面積です。しかし、極座標で半径 $r$ を $dr$、角度 $\theta$ を $d\theta$ だけ動かしたときの図形（微小要素）を想像してみてください。

• 半径方向の長さ： $dr$
• 円周方向の長さ： 半径 $r$ で中心角 $d\theta$ の弧の長さなので、$r d\theta$

この小さな「扇形の欠片」を長方形とみなすと、その面積 $dA$ は以下のようになります。

$$ dA = (dr) \times (r d\theta) = r dr d\theta $$

中心（原点）から遠ざかるほど、同じ角度 $d\theta$ でも外側の方が「面積が広くなる」ため、その広がり具合を補正するために $r$ を掛ける必要があるのです。

2. 数学的な証明：ヤコビ行列式（Jacobian）

座標変換 $(x, y) \to (r, \theta)$ を行う際、面積要素の対応関係はヤコビ行列式 $J$ で決まります。

$$ x = r \cos \theta, \quad y = r \sin \theta $$

これを各変数で偏微分して行列式を作ると、

$$ \det(J) = \begin{vmatrix} \frac{\partial x}{\partial r} & \frac{\partial x}{\partial \theta} \\ \frac{\partial y}{\partial r} & \frac{\partial y}{\partial \theta} \end{vmatrix} = \begin{vmatrix} \cos \theta & -r \sin \theta \\ \sin \theta & r \cos \theta \end{vmatrix} $$

$$ = r \cos^2 \theta - (-r \sin^2 \theta) = r(\cos^2 \theta + \sin^2 \theta) = r $$

となり、厳密な計算からも $dxdy = r dr d\theta$ が導かれます。

No. 5

問題：

$$ \int_0^\infty \frac{\sin x}{x} \,dx $$

解答：

$$ \frac{\pi}{2} $$

【着想の必然性と詳細解説】

ディリクレ積分として知られるこの問題は、複素関数論の留数定理を用いるのが一般的ですが、ここでも「積分記号下の微分（あるいは二重積分への書き換え）」による技巧的な解法が光ります。

収束を助けるためにパラメータ $e^{-ax}$ を導入した関数 $I(a) = \int_0^\infty e^{-ax} \frac{\sin x}{x} \,dx$ を考え、これを微分します。すると分母の $x$ が消え、$I'(a) = -\int_0^\infty e^{-ax} \sin x \,dx$ という「指数×三角」の基本形（レベル3 No.9）になります。

これを計算すると $I'(a) = -\frac{1}{a^2+1}$ となり、積分して $I(a) = -\tan^{-1} a + C$ を得ます。$a \to \infty$ で $I(a) \to 0$ となることから $C = \frac{\pi}{2}$。求めたいのは $a=0$ の場合なので $I(0) = \frac{\pi}{2}$ です。

• キーポイント： 減衰因子の導入とパラメータ微分
• 着眼点： $1/x$ を $\int_0^\infty e^{-xt} dt$ という積分形式に翻訳する発想
• 【危険】（ピットフォール）： 単純な部分積分で解こうとして計算が破綻すること

No. 6

問題：

$$ \int \frac{1}{x^4+1} \,dx $$

解答：

$$ \frac{1}{4\sqrt{2}} \log \left| \frac{x^2+\sqrt{2}x+1}{x^2-\sqrt{2}x+1} \right| + \frac{1}{2\sqrt{2}} \tan^{-1}(\sqrt{2}x+1) + \frac{1}{2\sqrt{2}} \tan^{-1}(\sqrt{2}x-1) + C $$

【着想の必然性と詳細解説】

有理関数の積分のラスボス的な存在です。分母がこれ以上因数分解できないように見えますが、「複素数の範囲で考えて、実数の範囲に落とし込む」というトリッキーな因数分解が必要になります。

$$ x^4+1 = (x^2+1)^2 - 2x^2 = (x^2+\sqrt{2}x+1)(x^2-\sqrt{2}x+1) $$

この分解さえ見えれば、あとは部分分数分解です。分子を $Ax+B$ の形に置いて恒等式を解くと、非常に重厚な計算になりますが、結果として「対数型（$\log$）」と「逆正接型（$\tan^{-1}$）」の組み合わせに収束します。計算の完遂力そのものが「技巧」と言える一題です。

• キーポイント： 複二次式の強制因数分解と部分分数分解
• 着眼点： $x^4+1$ を $(x^2+1)^2$ の一部とみなす視力
• 【危険】（ピットフォール）： 部分分数分解の係数決定における計算ミス（検算必須）

No. 7

問題：

$$ \int_0^1 \frac{\log(1+x)}{1+x^2} \,dx $$

解答：

$$ \frac{\pi}{8} \log 2 $$

【着想の必然性と詳細解説】

分母に $1+x^2$ がある定積分を見たとき、反射的に $x = \tan \theta$ と置換する決断を下せるかが分かれ目です。この置換によって、積分は「対数」と「三角関数」の融合問題へと姿を変えます。

置換後の式は $\int_0^{\pi/4} \log(1+\tan \theta) \,d\theta$ となります。ここで再び King Property（$\theta \to \frac{\pi}{4}-\phi$）を適用します。加法公式により、

$$ \log(1+\tan(\frac{\pi}{4}-\phi)) = \log\left(1+\frac{1-\tan\phi}{1+\tan\phi}\right) = \log\left(\frac{2}{1+\tan\phi}\right) = \log 2 - \log(1+\tan\phi) $$

となり、なんと元の積分 $I$ が「$\text{定数} - I$」の形で出現します。難関大入試でも「伝説の難問」として語り継がれる、非常に鮮やかな一題です。

• キーポイント： 三角置換と加法公式による自己回帰
• 着眼点： $1+x^2$ は「$\tan$ の世界」への招待状
• 【危険】（ピットフォール）： $\tan$ の加法公式を正確に適用しきれるか

No. 8

問題：

$$ \int_0^\pi \frac{x \sin x}{1+\cos^2 x} \,dx $$

解答：

$$ \frac{\pi^2}{4} $$

【着想の必然性と詳細解説】

レベル4で学んだ「King Property による変数 $x$ の消去」の究極形です。先頭の $x$ が消えてくれれば、残りは $\cos x = t$ とおく微分接触型になる、という「終わりの形」から逆算して初手を打ちます。

$$ 2I = \int_0^\pi \frac{x \sin x + (\pi-x)\sin(\pi-x)}{1+\cos^2 x} \,dx = \pi \int_0^\pi \frac{\sin x}{1+\cos^2 x} \,dx $$

これで $x$ が定数 $\pi$ に化けました。あとは $\cos x = t$ と置けば、$\int \frac{1}{1+t^2} dt$ すなわち $\tan^{-1} t$ の形に帰着します。区間 $[1, -1]$ を丁寧に処理すれば、$\pi^2/4$ という美しい値が手に入ります。

• キーポイント： 抽象的な King Property の適用と逆正接積分
• 着眼点： $x$ が邪魔なら区間の真ん中で折り返す
• 【危険】（ピットフォール）： 最後、求まった値を $2$ で割り忘れるミス

No. 9

問題：

$$ \int_0^\infty \frac{1}{(x^2+1)(x^n+1)} \,dx $$

解答：

$$ \frac{\pi}{4} $$

【着想の必然性と詳細解説】

$x^n$ という「正体不明の次数」が含まれていることに怯んではいけません。これは「答えが $n$ に依存しない」ことを示唆する出題者からのヒントです。この不気味な項を消し去るために、広義積分で威力を発揮する「相反置換（$x = 1/t$）」を繰り出します。

$x = 1/t$ と置くと、$dx = -1/t^2 dt$ となり、積分範囲は $[\infty, 0]$ に逆転します。整理すると：

$$ I = \int_0^\infty \frac{t^n}{(t^2+1)(t^n+1)} \,dt $$

元の式とこの式を足し合わせると、分子に $(1+x^n)$ が現れ、分母の不気味な項を丸ごとキャンセル（約分）できます！残るのは $\int_0^\infty \frac{1}{x^2+1} dx$ という、もはや基本中の基本と言える積分だけです。

• キーポイント： 相反置換による「不気味な項」の相殺
• 着眼点： $x=0$ と $x=\infty$ を繋ぐ $1/x$ という架け橋
• 【危険】（ピットフォール）： 計算の途中で $x^n$ を展開しようとして自爆すること

No. 10

問題：

$$ \int_0^1 \frac{1}{\sqrt[3]{x^2(1-x)}} \,dx $$

解答：

$$ \frac{2\pi}{\sqrt{3}} $$

【着想の必然性と詳細解説】

いよいよ積分の終着駅の一つ、「特殊関数」への帰着です。この式を $x^{-2/3}(1-x)^{-1/3}$ と書き換えると、ベータ関数の定義式 $B(p, q) = \int_0^1 x^{p-1}(1-x)^{q-1} dx$ そのものであることが分かります。

今回は $p=1/3, q=2/3$ です。ベータ関数とガンマ関数の関係式 $B(p, q) = \frac{\Gamma(p)\Gamma(q)}{\Gamma(p+q)}$ を用いると：

$$ B(1/3, 2/3) = \frac{\Gamma(1/3)\Gamma(2/3)}{\Gamma(1)} = \Gamma(1/3)\Gamma(1-1/3) $$

ここでガンマ関数の反射公式（オイラーの反射公式） $\Gamma(p)\Gamma(1-p) = \frac{\pi}{\sin p\pi}$ を適用します。$p=1/3$ を代入すれば、$\frac{\pi}{\sin(\pi/3)} = \frac{2\pi}{\sqrt{3}}$ という、この世のものとは思えない鮮やかな結果が導かれます。

• キーポイント： ベータ関数と反射公式への帰着
• 着眼点： $x$ と $(1-x)$ のべき乗の積、および積分区間 $[0, 1]$
• 【危険】（ピットフォール）： 高校数学の範囲を超えているため、導出過程よりも「この宇宙の法則」を受け入れる覚悟