一般化に挑戦

はじめに

この記事では級数や積分の一般化について説明していきます。作問と同様に少しでも多くの人に一般化に興味を持ててもらえたらいいな、と思い作成することにしました。

本題

一般化ですが、多くが一般化されていない式の定数部分を文字にして計算するという方法です。試しに次の簡単な積分を例にして考えてみましょう。(原案: 白茶 さん)

解いてみます。

$ \begin{eqnarray*} &&\int_0^{\frac\pi2}\frac1{1+\cos^2x}dx\\ &=&\int_0^{\frac\pi2}\frac1{1+\frac1{\cos^2x}}\frac{dx}{\cos^2x}\\ &=&\int_0^{\frac\pi2}\frac1{2+\tan^2x}\frac{dx}{\cos^2x}\\ &=&\int_0^\infty \frac1{2+t^2}dt~~~~~~~~~~(t=\tan x)\\ &=&\int_0^{\frac\pi2}\frac1{2(1+\tan^2\theta)}\frac{\sqrt2}{\cos^2\theta}d\theta~~~~~~~~~~(t=\sqrt2\tan\theta) \\ &=&\frac1{\sqrt2}\int_0^{\frac\pi2}d\theta\\ &=&\frac\pi{2\sqrt2} \end{eqnarray*} $

解けましたね。今回はこの積分の一般化を考えてみましょう。この解法をベースにして考えた時にどこの定数なら変えても解けそうか、を考えてみると楽かもしれません。ここでは分母の$1$を$a$に変えても同じ解法で解けそうなのでそれを解いてみます。

$ \begin{eqnarray*} &&\int_0^{\frac\pi2}\frac1{a+\cos^2x}dx\\ &=&\int_0^{\frac\pi2}\frac1{1+\frac a{\cos^2x}}\frac{dx}{\cos^2x}\\ &=&\int_0^{\frac\pi2}\frac1{a+1+a\tan^2x}\frac{dx}{\cos^2x}\\ &=&\int_0^\infty \frac1{1+a+at^2}dt~~~~~~~~~~(t=\tan x)\\ &=&\frac1a\int_0^\infty\frac1{\frac{1+a}a+t^2}dt \\ &=&\frac1a\int_0^{\frac\pi2}\frac1{\frac{1+a}a(1+\tan^2\theta)}\sqrt{\frac{1+a}a} \frac{d\theta}{\cos^2\theta} ~~~~~~~~~~\l t=\sqrt{\frac{1+a}a}\tan\theta \r \\ &=&\frac1{\sqrt{a(1+a)}}\int_0^{\frac\pi2}d\theta\\ &=&\frac\pi{2\sqrt{a(1+a)}}\\ \end{eqnarray*} $

よって、

$\d\int_0^{\frac\pi2}\frac1{a+\cos^2x}dx=\frac\pi{2\sqrt{a(1+a)}} $

がわかりました。一般化が完成しましたね。

ちなみにですが、この一般化がわかったことにより こちら の記事にある問題が少しの工夫で解けるようになります。

おわりに

今回は一般化に挑戦というタイトルで記事を書いてみました。簡単な一般化でも使い方によってはかなり強力になる時があります。是非チャレンジしてみてください。