数学III / 積分法の計算

1/(1+e^x) の対称性で折りたたむ定積分

最難関編対称性置換積分偶関数・奇関数

問題

(1) すべての実数 に対して

が成り立つことを示せ。

(2) を偶関数、 を正の定数とするとき

が成り立つことを示せ。

(3) を求めよ。

ヒントを見る

原始関数は書けない。区間が原点対称であることが唯一の手がかりだ。

の「相棒」は何か。それと足すとどうなるか。

解答・解説

方針

の原始関数は初等関数では書けない。使えるのは「区間が原点対称」という事実だけである。 の置換で得た式ともとの式を足すと、(1)により厄介な分母がそっくり消える。

解答

⓪ 発想 — どう考え始めるか。 の原始関数は、初等関数では書けない。 が分母にいるせいだ。

しかし積分区間が と原点対称である。ここに手がかりがある。

と折り返した積分を、もとの積分に足してみる。 の和が になるなら、厄介な分母がそっくり消えてしまう。

実際そうなる。 は点 に関して対称なのだ。対称な2点の高さを足すとつねに — この一点が問題の心臓部である。

重要区間が原点対称なら、 の置換で得た式ともとの式を足す。 の相棒は で、和は になる

① (1) 通分する。 分母・分子に を掛けると

よって

② (2) 折り返して足す。 とおく。 とおくと で、。向きが入れ替わって負号が吸収され

最後の等号で が偶関数であること()を使った。もとの式とこの式を足すと、(1)より

最後は「偶関数の原点対称区間の積分は、半分の2倍」を使った。よって

③ (3) 当てはめる。 は偶関数だから、(2)がそのまま使える。

xyO(0, 1/2)
y=1/(1+e^x) は点 (0, 1/2) に関して対称。x と -x での高さを足すとつねに 1(破線)になる。この『2つ足すと1』が、原点対称な区間の積分を半分に折りたたむ

まとめ: 原始関数が求まらなくても、対称性が分母を消してくれる。「 を見たら、 を足す」は難関大の頻出パターンである。分母がまるごと消えるという、劇的な単純化が起こる。

発展 — 一歩先へ。 (2)は「重み を掛けて原点対称区間で積分すると、右半分だけを重み で積分したのと同じ」と読める。重みが左右で に分かれ、合わせてちょうど 個ぶんになるからだ。

この関数は物理でフェルミ分布と呼ばれ、 の形で「電子がエネルギー の状態を占める確率」を表す。点 に関する対称性は「境界のエネルギーではちょうど半々」という物理的な意味を持つ。数学の対称性が、そのまま自然界の対称性になっている例である。

(1) 通分すればよい (2) の置換で得た式ともとの式を足す (3)

別解

被積分関数を「偶関数 奇関数」に切り分ける(構造から見る)。 (1)の等式は、 から を引いたものが奇関数であることを言っている。実際

で、 に変えて分母・分子に を掛ければ

となり、確かに符号が反転する。したがって被積分関数は

と分解できる。第2項は(偶関数)(奇関数)(奇関数)だから、原点対称な区間での積分は になる。残るのは第1項だけで

本解が「2本の式を足して消す」道なら、こちらは「最初から消える部分を切り離す」道である。使っている事実は「奇関数の原点対称区間の積分は 」という、いちばん基本的なものだけだ。同じ対称性を、分解の言葉で述べ直したのである。

ポイント

  • の和は
  • 原点対称な区間では の置換式を足す。
  • 分母が消え、 だけが残る。

よくある間違い

  • 原始関数を求めようとする。 の原始関数は初等関数では書けない。「区間が原点対称」という条件こそが、与えられた唯一の道具である。
  • (2)の置換で (偶関数)を使い忘れる。 が奇関数だと、同じ計算をしても恒等式が出るだけで値は決まらない。偶関数であることが本質的に効いている。
  • 自体が偶関数だと勘違いする。偶なのではなく、 を引いたものが奇関数、という構造である。グラフは点 に関する点対称であって、 軸対称ではない。