「奇関数と偶関数って何が違うの？」
「グラフの対称性って、どう関係してるの？」
「定積分で計算が楽になるって本当？」
高校数学で登場する奇関数（odd function）と偶関数（even function）。
一見地味な概念ですが、実は積分計算を劇的に簡単にしたり、フーリエ級数の理解に必須だったりと、数学の様々な場面で重要な役割を果たします。
今回は、奇関数と偶関数について、基礎から応用まで詳しく解説していきます。
奇関数・偶関数とは？
まずは、定義から理解しましょう。
偶関数（Even Function）の定義
関数 $f(x)$ が、定義域のすべての $x$ に対して
$$f(-x) = f(x)$$
を満たすとき、$f(x)$ を偶関数といいます。
わかりやすく言うと
「$x$ を $-x$ に置き換えても、関数の値が変わらない」ということです。
奇関数（Odd Function）の定義
関数 $g(x)$ が、定義域のすべての $x$ に対して
$$g(-x) = -g(x)$$
を満たすとき、$g(x)$ を奇関数といいます。
わかりやすく言うと
「$x$ を $-x$ に置き換えると、関数の値が符号だけ変わる（正負が逆になる）」ということです。
なぜ「偶」と「奇」？
名前の由来は、べき乗関数にあります。
偶関数の例
- $f(x) = x^2$ （2乗は偶数）
- $f(x) = x^4$ （4乗は偶数）
- $f(x) = x^6$ （6乗は偶数）
奇関数の例
- $g(x) = x$ （1乗は奇数）
- $g(x) = x^3$ （3乗は奇数）
- $g(x) = x^5$ （5乗は奇数）
$x$ の指数が偶数なら偶関数、指数が奇数なら奇関数になるため、この名前がつきました。
ただし、これはべき乗関数の場合であって、すべての関数に当てはまるわけではありません。
グラフの対称性
奇関数と偶関数は、グラフの形に特徴的な対称性があります。
偶関数のグラフ：y軸対称
偶関数のグラフは、y軸に関して対称（線対称）です。
例：$f(x) = x^2$
このグラフは、y軸を鏡として左右対称になっています。
任意の点 $(a, f(a))$ に対して、その対称点 $(-a, f(a))$ も必ずグラフ上にあります。
確認方法
点 $(2, 4)$ がグラフ上にあるなら、点 $(-2, 4)$ も必ずグラフ上にある、ということです。
奇関数のグラフ：原点対称
奇関数のグラフは、原点に関して対称（点対称）です。
例：$g(x) = x^3$
このグラフを原点を中心に180度回転させると、元のグラフと重なります。
任意の点 $(a, g(a))$ に対して、その対称点 $(-a, -g(a))$ も必ずグラフ上にあります。
確認方法
点 $(2, 8)$ がグラフ上にあるなら、点 $(-2, -8)$ も必ずグラフ上にある、ということです。
グラフから判断する方法
関数が奇関数か偶関数かを判断するには、グラフを見るのも有効です。
判断基準
- y軸で折り返しても同じグラフ → 偶関数
- 原点を中心に180度回転しても同じグラフ → 奇関数
- どちらでもない → どちらでもない関数
代表的な例
具体的な関数で確認してみましょう。
べき乗関数
偶関数
- $f(x) = x^2$：$f(-x) = (-x)^2 = x^2 = f(x)$ ✓
- $f(x) = x^4$：$f(-x) = (-x)^4 = x^4 = f(x)$ ✓
- $f(x) = x^6$：$f(-x) = (-x)^6 = x^6 = f(x)$ ✓
一般に、$f(x) = x^{2n}$（$n$ は整数）は偶関数です。
奇関数
- $g(x) = x$：$g(-x) = -x = -g(x)$ ✓
- $g(x) = x^3$：$g(-x) = (-x)^3 = -x^3 = -g(x)$ ✓
- $g(x) = x^5$：$g(-x) = (-x)^5 = -x^5 = -g(x)$ ✓
一般に、$g(x) = x^{2n+1}$（$n$ は整数）は奇関数です。
三角関数
偶関数
- $f(x) = \cos x$：$\cos(-x) = \cos x$ ✓
コサイン関数は偶関数です。
奇関数
- $g(x) = \sin x$：$\sin(-x) = -\sin x$ ✓
- $g(x) = \tan x$：$\tan(-x) = -\tan x$ ✓
サイン関数とタンジェント関数は奇関数です。
絶対値関数
$f(x) = |x|$ は偶関数です。
確認
$f(-x) = |-x| = |x| = f(x)$ ✓
負の数の絶対値は正になるので、$x$ と $-x$ の絶対値は同じです。
定数関数
$f(x) = c$（$c$ は定数）は偶関数です。
確認
$f(-x) = c = f(x)$ ✓
ただし、$f(x) = 0$ だけは例外で、偶関数かつ奇関数の両方です。
$f(x) = 0$ の特別な性質
- $f(-x) = 0 = f(x)$ → 偶関数の定義を満たす
- $f(-x) = 0 = -0 = -f(x)$ → 奇関数の定義も満たす
偶関数かつ奇関数となるのは、ゼロ関数だけです。
どちらでもない関数
すべての関数が奇関数または偶関数に分類されるわけではありません。
例
- $f(x) = x + 1$
- $f(x) = x^2 + x$
- $f(x) = e^x$
これらは、偶関数でも奇関数でもありません。
実は、ほとんどの関数は「どちらでもない」のです。
奇関数・偶関数の判定方法
関数が奇関数か偶関数かを判定するには、2つの方法があります。
方法1：定義式で確認（代数的方法）
$f(-x)$ を計算して、$f(x)$ と比較します。
手順
- 関数 $f(x)$ が与えられる
- $x$ を $-x$ に置き換えて $f(-x)$ を計算する
- $f(-x)$ と $f(x)$ を比較する
判定基準
- $f(-x) = f(x)$ なら → 偶関数
- $f(-x) = -f(x)$ なら → 奇関数
- どちらでもないなら → どちらでもない関数
例題1：$f(x) = 2x^2 + 1$ は偶関数か奇関数か？
解答
$$f(-x) = 2(-x)^2 + 1 = 2x^2 + 1 = f(x)$$
$f(-x) = f(x)$ なので、偶関数です。
例題2：$g(x) = x^3 + x$ は偶関数か奇関数か？
解答
$$g(-x) = (-x)^3 + (-x) = -x^3 – x = -(x^3 + x) = -g(x)$$
$g(-x) = -g(x)$ なので、奇関数です。
例題3：$h(x) = x^2 + x$ は偶関数か奇関数か？
解答
$$h(-x) = (-x)^2 + (-x) = x^2 – x$$
これは $h(x) = x^2 + x$ とも $-h(x) = -x^2 – x$ とも一致しません。
よって、どちらでもない関数です。
方法2：項ごとに判断（簡易的方法）
複雑な関数の場合、各項の奇偶性を個別に判断すると便利です。
基本ルール
- べき乗関数：指数が偶数 → 偶関数、指数が奇数 → 奇関数
- 三角関数：$\cos x$ → 偶関数、$\sin x, \tan x$ → 奇関数
- 定数：偶関数
例題：$f(x) = x^4 – 3x^2 + 5$ は偶関数か奇関数か？
解答
各項を見ると：
- $x^4$：指数4（偶数）→ 偶関数
- $-3x^2$：指数2（偶数）→ 偶関数
- $5$：定数 → 偶関数
すべての項が偶関数なので、$f(x)$ 全体も偶関数です。
奇関数・偶関数の演算規則
奇関数と偶関数を足したり掛けたりすると、どうなるでしょうか？
和と差
同じ種類同士
- 偶関数 ± 偶関数 = 偶関数
- 奇関数 ± 奇関数 = 奇関数
異なる種類
- 偶関数 ± 奇関数 = どちらでもない関数
例
- $x^2 + x^4 = $ 偶関数（偶 + 偶）
- $x + x^3 = $ 奇関数（奇 + 奇）
- $x^2 + x = $ どちらでもない（偶 + 奇）
積と商
積の規則
- 偶関数 × 偶関数 = 偶関数
- 奇関数 × 奇関数 = 偶関数
- 偶関数 × 奇関数 = 奇関数
商の規則
- 偶関数 ÷ 偶関数 = 偶関数
- 奇関数 ÷ 奇関数 = 偶関数
- 偶関数 ÷ 奇関数 = 奇関数
覚え方のコツ
整数の偶奇と似た性質です。
- 偶数 × 偶数 = 偶数
- 奇数 × 奇数 = 奇数
- 偶数 × 奇数 = 偶数
ただし、奇関数同士の積は偶関数になることに注意！
例
- $x^2 \cdot \cos x = $ 偶関数（偶 × 偶）
- $x \cdot x^3 = x^4 = $ 偶関数（奇 × 奇）
- $x^2 \cdot \sin x = $ 奇関数（偶 × 奇）
- $x \cos x = $ 奇関数（奇 × 偶）
合成関数
合成関数の規則
- 偶関数 ∘ 偶関数 = 偶関数
- 偶関数 ∘ 奇関数 = 偶関数
- 奇関数 ∘ 奇関数 = 奇関数
例
$f(x) = x^2$（偶関数）、$g(x) = x^3$（奇関数）とすると：
- $(f \circ g)(x) = f(g(x)) = (x^3)^2 = x^6$：偶関数（偶 ∘ 奇）
微分と積分の性質
奇関数・偶関数は、微分や積分と深い関係があります。
微分の性質
定理
- 偶関数の導関数は奇関数
- 奇関数の導関数は偶関数
例
偶関数 $f(x) = x^2$ の導関数
$$f'(x) = 2x$$
これは奇関数です。確認：$f'(-x) = 2(-x) = -2x = -f'(x)$ ✓
奇関数 $g(x) = x^3$ の導関数
$$g'(x) = 3x^2$$
これは偶関数です。確認：$g'(-x) = 3(-x)^2 = 3x^2 = g'(x)$ ✓
定積分の重要公式
これが最も実用的で重要な性質です！
偶関数の定積分
$f(x)$ が偶関数のとき、
$$\int_{-a}^{a} f(x) dx = 2 \int_{0}^{a} f(x) dx$$
つまり、半分の区間の積分の2倍になります。
奇関数の定積分
$g(x)$ が奇関数のとき、
$$\int_{-a}^{a} g(x) dx = 0$$
つまり、積分結果は必ず0になります！
なぜこうなるのか？証明
証明の概要
定積分を区間で分割します。
$$\int_{-a}^{a} f(x) dx = \int_{-a}^{0} f(x) dx + \int_{0}^{a} f(x) dx$$
第1項で $x = -t$ と置換すると：
$$\int_{-a}^{0} f(x) dx = \int_{a}^{0} f(-t) \cdot (-1) dt = \int_{0}^{a} f(-t) dt$$
ここで、
- $f(x)$ が偶関数なら：$f(-t) = f(t)$ なので
$$\int_{0}^{a} f(-t) dt = \int_{0}^{a} f(t) dt$$
よって、
$$\int_{-a}^{a} f(x) dx = \int_{0}^{a} f(x) dx + \int_{0}^{a} f(x) dx = 2\int_{0}^{a} f(x) dx$$
- $g(x)$ が奇関数なら：$g(-t) = -g(t)$ なので
$$\int_{0}^{a} g(-t) dt = -\int_{0}^{a} g(t) dt$$
よって、
$$\int_{-a}^{a} g(x) dx = -\int_{0}^{a} g(x) dx + \int_{0}^{a} g(x) dx = 0$$
グラフで理解する
偶関数の場合
y軸の右側（0から$a$）の面積と、左側（$-a$から0）の面積が符号も含めて同じです。
だから、右側の面積を2倍すれば全体の面積になります。
奇関数の場合
原点対称なので、y軸の右側と左側の面積は符号が逆です。
正の面積と負の面積が打ち消し合って、結果が0になります。
実践的な計算例
定積分の公式を使って、実際に計算してみましょう。
例題1：偶関数の定積分
$$\int_{-1}^{1} (x^2 + 1) dx$$
を計算せよ。
解答
$f(x) = x^2 + 1$ は偶関数です（$x^2$ と定数の和なので）。
よって、
$$\int_{-1}^{1} (x^2 + 1) dx = 2 \int_{0}^{1} (x^2 + 1) dx$$
$$= 2 \left[ \frac{x^3}{3} + x \right]_{0}^{1}$$
$$= 2 \left( \frac{1}{3} + 1 – 0 \right)$$
$$= 2 \cdot \frac{4}{3} = \frac{8}{3}$$
例題2：奇関数の定積分
$$\int_{-2}^{2} x^3 dx$$
を計算せよ。
解答
$g(x) = x^3$ は奇関数です。
よって、
$$\int_{-2}^{2} x^3 dx = 0$$
一瞬で答えが出ました！
例題3：混合した関数の定積分
$$\int_{-1}^{1} (x^3 + x^2 + x + 1) dx$$
を計算せよ。
解答
関数を偶関数部分と奇関数部分に分解します。
- $x^3 + x$：奇関数
- $x^2 + 1$：偶関数
よって、
$$\int_{-1}^{1} (x^3 + x^2 + x + 1) dx = \int_{-1}^{1} (x^3 + x) dx + \int_{-1}^{1} (x^2 + 1) dx$$
$$= 0 + 2\int_{0}^{1} (x^2 + 1) dx$$
$$= 2 \left[ \frac{x^3}{3} + x \right]_{0}^{1}$$
$$= 2 \cdot \frac{4}{3} = \frac{8}{3}$$
奇関数部分は消えるので、偶関数部分だけ計算すればOKです。
例題4：三角関数の定積分
$$\int_{-\pi}^{\pi} \sin x \cos x dx$$
を計算せよ。
解答
$\sin x \cos x$ は奇関数です。
（奇関数 × 偶関数 = 奇関数）
よって、
$$\int_{-\pi}^{\pi} \sin x \cos x dx = 0$$
任意の関数の分解
実は、どんな関数でも偶関数と奇関数の和に分解できます。
偶成分と奇成分
任意の関数 $f(x)$ は、以下のように分解できます。
$$f(x) = f_{\text{even}}(x) + f_{\text{odd}}(x)$$
ここで、
偶成分（Even Part）
$$f_{\text{even}}(x) = \frac{f(x) + f(-x)}{2}$$
奇成分（Odd Part）
$$f_{\text{odd}}(x) = \frac{f(x) – f(-x)}{2}$$
例：指数関数の分解
$f(x) = e^x$ は、偶関数でも奇関数でもありません。
これを分解すると：
偶成分
$$f_{\text{even}}(x) = \frac{e^x + e^{-x}}{2} = \cosh x$$
（双曲線コサイン）
奇成分
$$f_{\text{odd}}(x) = \frac{e^x – e^{-x}}{2} = \sinh x$$
（双曲線サイン）
つまり、
$$e^x = \cosh x + \sinh x$$
この分解の応用
この分解は、フーリエ級数やフーリエ変換で重要な役割を果たします。
- 偶成分はコサイン関数で表現される
- 奇成分はサイン関数で表現される
奇関数・偶関数の応用
奇関数・偶関数の概念は、様々な場面で活用されます。
フーリエ級数
周期関数のフーリエ級数展開では：
- 偶関数は、コサイン項だけで表現される
- 奇関数は、サイン項だけで表現される
この性質により、計算量が半分になります。
信号処理
信号処理では、奇対称性と偶対称性が重要です。
- 偶対称な信号：実数のフーリエ変換
- 奇対称な信号：虚数のフーリエ変換
高調波歪み
非線形システムに正弦波を入力すると：
- 偶関数の応答：偶数次高調波のみ発生
- 奇関数の応答：奇数次高調波のみ発生
全波整流器は偶関数の例です。
物理学での対称性
量子力学では、ポテンシャルの対称性が重要です。
- 偶ポテンシャル：波動関数は偶関数または奇関数になる
- パリティ（偶奇性）は保存量の1つ
まとめ：奇関数・偶関数を使いこなそう
奇関数と偶関数について、たくさんのことを学びました。
この記事の重要ポイント
定義
- 偶関数：$f(-x) = f(x)$（y軸対称）
- 奇関数：$g(-x) = -g(x)$（原点対称）
代表例
- 偶関数：$x^{2n}$、$\cos x$、$|x|$、定数
- 奇関数：$x^{2n+1}$、$\sin x$、$\tan x$
演算規則
- 偶 ± 偶 = 偶、奇 ± 奇 = 奇
- 偶 × 偶 = 偶、奇 × 奇 = 偶、偶 × 奇 = 奇
微分の性質
- 偶関数の導関数は奇関数
- 奇関数の導関数は偶関数
定積分の重要公式
- 偶関数：$\int_{-a}^{a} f(x) dx = 2\int_{0}^{a} f(x) dx$
- 奇関数：$\int_{-a}^{a} g(x) dx = 0$
関数の分解
- 任意の関数は偶成分と奇成分の和に分解できる
実用的なメリット
奇関数・偶関数を理解すると：
- 定積分の計算が劇的に速くなる
- 複雑な関数の性質が理解しやすくなる
- フーリエ解析の理解が深まる
- 物理学の対称性の議論に役立つ
使いこなすコツ
- まず関数の奇偶性を確認する習慣をつける
- 積分区間が $[-a, a]$ なら必ず奇偶性をチェック
- グラフの対称性から直感的に理解する
- 複雑な関数は項ごとに分解して考える
奇関数・偶関数は、一見地味ですが、数学の多くの分野で重要な役割を果たす基本概念です。
この記事で学んだ知識を活かして、計算問題を効率的に解いたり、より深い数学の理解につなげていってくださいね！
コメント