奇関数の定積分

方針

解答

⓪ 発想 — どう考え始めるか。 計算する前に、答えが分かる。

$$f(x)=x^3$$

これは奇関数である。

$$f(-x)=(-x{)}^3=-x^3=-f(x)$$

奇関数を、原点対称な区間 $[-a,a]$ で積分すると、必ず $0$ になる。

$$\boxed{{\int }_{-a}^a(\text{奇関数})dx=0}$$

$${\int }_{-2}^2{x}^{3}dx=0$$

理由は「打ち消し合い」だ。 $x^3$ のグラフは原点対称なので、

• 右半分($0\leqq x\leqq 2$)は $x$ 軸の上 → 正の面積
• 左半分($-2\leqq x\leqq 0$)は $x$ 軸の下 → 負の面積(同じ大きさ)

足すと、ちょうど $0$。

もちろん、まともに計算しても $0$ になる。

$${\left[\frac{x^4}{4}\right]}_{-2}^2=\frac{16}{4}-\frac{16}{4}=0✓$$

しかし、対称性に気づけば、計算せずに済む。

① 奇関数だと見抜く。 $f(x)=x^3$ は $f(-x)=-x^3=-f(x)$ なので奇関数。グラフは原点対称。

② 対称区間なので $0$。 $[-2,2]$ で正の部分と負の部分がちょうど打ち消す。

$${\int }_{-2}^2{x}^{3}dx=0$$

(計算で確かめると $[\frac{x^4}{4}{]}_{-2}^2=\frac{16}{4}-\frac{16}{4}=0$。)

まとめ:奇関数 × 対称区間 は即 $0$。$x^{\text{奇数乗}}$ を見たら、まず対称性を疑うと計算が一瞬で終わる。

発展 — 一歩先へ。 「対称性を使って計算を省く」— これは数学だけでなく、物理学の根本原理である。

物理では、対称性が"保存則"を生む。

ネーターの定理($1918$ 年、エミー・ネーター)

$$\boxed{\text{ある対称性があれば、対応する保存量が存在する}}$$

「物理法則が、いつでも・どこでも・どの向きでも同じ」という当たり前の事実から、エネルギー・運動量・角運動量の保存則が導かれる。

これは $20$ 世紀物理学で最も美しい定理と言われる。

そして、その証明の中で、まさに「対称な積分」が使われる。

素粒子物理でも、対称性が中心的な役割を果たす。

• 粒子と反粒子の対称性(C対称性)
• 鏡映対称性(P対称性)
• 時間反転対称性(T対称性)

そして、これらの対称性が"わずかに破れている"ことが、宇宙に物質が存在する理由だと考えられている(CP対称性の破れ、小林・益川理論でノーベル賞)。

完全に対称なら、物質と反物質は同量作られ、すべて対消滅して、宇宙には何も残らなかったはずだ。

わずかな非対称のおかげで、私たちが存在している。

「対称なら $0$ になる」という、この積分の事実。 それは「対称なら何も起こらない」という、宇宙の深い原理の反映でもある。

${\int }_{-2}^2{x}^{3}dx=0$ という $1$ 行に、そんな含意が隠れている。

別解

「なぜ $0$ になるのか」を、面積の絵で完全に理解しよう。 そして、この技がどれほど計算を省くかを見る。

左右を、別々に計算する。

右半分($0$ から $2$)。

$${\int }_0^2{x}^{3}dx={\left[\frac{x^4}{4}\right]}_0^2=\frac{16}{4}-0=4$$

正の値。 $x$ 軸の上にある面積だ。

左半分($-2$ から $0$)。

$${\int }_{-2}^0{x}^{3}dx={\left[\frac{x^4}{4}\right]}_{-2}^0=0-\frac{16}{4}=-4$$

負の値! $x$ 軸の下にあるからだ。

足す。

$$4+(-4)=0✓$$

「正の面積 $4$」と「負の面積 $-4$」が、ぴったり打ち消し合った。

これが $0$ の正体である。

大事な注意: 「面積が $0$」ではない。

もし「$y=x^3$ と $x$ 軸で囲まれた"面積"は?」と聞かれたら、答えは $0$ ではない。

$$(\text{面積})=|-4|+4=8$$

符号を無視して、絶対値で足す。

$$\boxed{\text{定積分の値}=0\ne \text{面積}=8}$$

「定積分」と「面積」は別物 — この区別を、絶対に忘れないこと。

さて、この対称性の技が、どれほど有効かを見よう。

問題: ${\int }_{-3}^3(x^5-4x^3+2x)dx$ を求めよ。

まともに計算すると、$6$ 次式の原始関数を求めて、$\pm 3$ を代入して引く — かなりの手間だ。

しかし、被積分関数を見てほしい。

$$x^5(\text{奇}),-4x^3(\text{奇}),2x(\text{奇})$$

すべて奇関数! 奇関数の和は、また奇関数である。

$${\int }_{-3}^3(\text{奇関数})dx=0$$

計算せずに、答えは $0$。

$1$ 秒で終わった。

この技が使える条件を、確認しておこう。

• 被積分関数が奇関数($x$ の奇数乗だけからなる)
• 積分区間が原点対称($[-a,a]$ の形)

$2$ つとも揃って、はじめて $0$ になる。

区間が $[0,3]$ や $[-1,3]$ なら、対称でないので $0$ にならない。

「積分の前に、対称性を確認する」 — この習慣が、計算量を劇的に減らす。

数IIIの積分では、この技が生死を分ける。 ${\int }_{-\pi }^{\pi }x\sin xdx$ のような問題で、$x\sin x$ は偶関数だから $2{\int }_0^{\pi }$ でよい — そう見抜けるかどうかで、時間が半分になる。

対称性は、最強の計算省略術である。