偶関数・奇関数の積分を式で示す
偶関数1f(−x)=f(x) がつねに成り立つ関数が偶関数、g(−x)=−g(x) がつねに成り立つ関数が奇関数です。偶関数のグラフは y 軸について対称で、奇関数のグラフは原点について対称です。や奇関数の対称な積分範囲での積分について授業で次の定理を扱いました:
定理
f(x)を偶関数、g(x)を奇関数とする。このとき、定数aについて、以下が成り立つ:
{∫−aaf(x)dx=2∫0af(x)dx∫−aag(x)dx=0
そして、この定理についての説明は偶関数や奇関数のグラフ上の性質を用いてその面積からなされたと思います。この説明はもちろん正しく、みなさんにもそのグラフ的イメージを持っていてもらいたいのですが、しかしこの説明は図に頼っており数学的に厳密であるとは少し言いにくいものです。今回は、上記の定理を置換積分を用いて代数的に証明する方法を紹介したいと思います。
【証明】
- ∫−aaf(x)dxについて
∫−aaf(x)dx=∫−a0f(x)dx+∫0af(x)dx⋯♢
である。ここで、∫−a0f(x)dxについて、
t:=−xなる置換を考える。このとき、
⎩⎨⎧x=−tdx=−dtx:−a→0のときt:a→0
である。よって、
∫−a0f(x)dx=∫a0f(−t)(−dt)=−∫a0f(−t)dt=∫0af(−t)dt⋯♡
となる。ここで、f(x)は偶関数なのでf(−t)=f(t)だから、
♡=∫0af(t)dt=∫0af(x)dx
となる。よって、
♢=∫0af(x)dx+∫0af(x)dx=2∫0af(x)dx
が得られる。□
- ∫−aag(x)dxについて:省略。上記と同様に積分区間を[−a,0]と[0,a]にわけ、[−a,0]のほうの積分に対してt:=−xなる置換を考えてやればいい。各自やってみて。
また、これとはすこし異なりますが、置換積分の面白い例として、以下に挙げる定理があります。(これは俗に“King Property”と呼ばれています。かっこいいですね。)
定理(King Property)
以下が成り立つ:
∫abf(x)dx=∫abf(a+b−x)dx
証明はみなさんにお任せします。左辺の積分にt:=a+b−xなる置換を施せば簡単に証明できます。この定理を用いて、次のような不定積分を求めるのが難しい定積分の求値をやってみましょう:
問題
以下の定積分の値を求めよ:2塾の授業で扱った問題は塾の教材なので、数値を変えた類題に差し替えています。
∫03πlog(1+3tanx)dx
この不定積分はまともな初等関数で表すことはできないのですが、先ほどの“King Property”を用いることで定積分値ならかなり簡単に求めることができます:3この頁の log は自然対数です。解答の2行目から3行目では、正接の加法定理から得られる tan(3π−x)=1+3tanx3−tanx を使います。
【解答】
I:=∫03πlog(1+3tanx)dx=∫03πlog(1+3tan(3π−x))dx=∫03πlog(1+1+3tanx3(3−tanx))dx=∫03πlog(1+3tanx4)dx=∫03πlog4dx−∫03πlog(1+3tanx)dx=3πlog4−I
となる。つまり、
I=3πlog4−I⇔2I=32πlog2⇔I=3πlog2⋯(答)
定積分でどうしても行き詰まったら“King Property”が行けないか試してみるのも一つの方法として押さえておくと良いかもしれません。
1 f(−x)=f(x) がつねに成り立つ関数が偶関数、g(−x)=−g(x) がつねに成り立つ関数が奇関数です。偶関数のグラフは y 軸について対称で、奇関数のグラフは原点について対称です。
2 塾の授業で扱った問題は塾の教材なので、数値を変えた類題に差し替えています。
3 この頁の log は自然対数です。解答の2行目から3行目では、正接の加法定理から得られる tan(3π−x)=1+3tanx3−tanx を使います。
塾の授業で配った補足資料をもとに、問題を類題に差し替えて書き直しました。
← 塾講師木下の記事一覧へ