数学III / 積分法の計算
1/(1+e^x) の対称性で折りたたむ定積分
問題
(1) すべての実数 に対して
が成り立つことを示せ。
(2) を偶関数、 を正の定数とするとき
が成り立つことを示せ。
(3) を求めよ。
ヒントを見る
原始関数は書けない。区間が原点対称であることが唯一の手がかりだ。
の「相棒」は何か。それと足すとどうなるか。
解答・解説
方針
の原始関数は初等関数では書けない。使えるのは「区間が原点対称」という事実だけである。 の置換で得た式ともとの式を足すと、(1)により厄介な分母がそっくり消える。
解答
⓪ 発想 — どう考え始めるか。 の原始関数は、初等関数では書けない。 が分母にいるせいだ。
しかし積分区間が と原点対称である。ここに手がかりがある。
と折り返した積分を、もとの積分に足してみる。 と の和が になるなら、厄介な分母がそっくり消えてしまう。
実際そうなる。 は点 に関して対称なのだ。対称な2点の高さを足すとつねに — この一点が問題の心臓部である。
① (1) 通分する。 分母・分子に を掛けると
よって
② (2) 折り返して足す。 とおく。 とおくと で、 は 。向きが入れ替わって負号が吸収され
最後の等号で が偶関数であること()を使った。もとの式とこの式を足すと、(1)より
最後は「偶関数の原点対称区間の積分は、半分の2倍」を使った。よって 。
③ (3) 当てはめる。 は偶関数だから、(2)がそのまま使える。
まとめ: 原始関数が求まらなくても、対称性が分母を消してくれる。「 を見たら、 を足す」は難関大の頻出パターンである。分母がまるごと消えるという、劇的な単純化が起こる。
発展 — 一歩先へ。 (2)は「重み を掛けて原点対称区間で積分すると、右半分だけを重み で積分したのと同じ」と読める。重みが左右で と に分かれ、合わせてちょうど 個ぶんになるからだ。
この関数は物理でフェルミ分布と呼ばれ、 の形で「電子がエネルギー の状態を占める確率」を表す。点 に関する対称性は「境界のエネルギーではちょうど半々」という物理的な意味を持つ。数学の対称性が、そのまま自然界の対称性になっている例である。
(1) 通分すればよい (2) の置換で得た式ともとの式を足す (3)
別解
被積分関数を「偶関数 奇関数」に切り分ける(構造から見る)。 (1)の等式は、 から を引いたものが奇関数であることを言っている。実際
で、 を に変えて分母・分子に を掛ければ
となり、確かに符号が反転する。したがって被積分関数は
と分解できる。第2項は(偶関数)(奇関数)(奇関数)だから、原点対称な区間での積分は になる。残るのは第1項だけで
本解が「2本の式を足して消す」道なら、こちらは「最初から消える部分を切り離す」道である。使っている事実は「奇関数の原点対称区間の積分は 」という、いちばん基本的なものだけだ。同じ対称性を、分解の言葉で述べ直したのである。
ポイント
- と の和は 。
- 原点対称な区間では の置換式を足す。
- 分母が消え、 だけが残る。
よくある間違い
- 原始関数を求めようとする。 の原始関数は初等関数では書けない。「区間が原点対称」という条件こそが、与えられた唯一の道具である。
- (2)の置換で (偶関数)を使い忘れる。 が奇関数だと、同じ計算をしても恒等式が出るだけで値は決まらない。偶関数であることが本質的に効いている。
- 自体が偶関数だと勘違いする。偶なのではなく、 を引いたものが奇関数、という構造である。グラフは点 に関する点対称であって、 軸対称ではない。