📚 Even and Odd Functions: Definition and Determination | 函数的奇偶性与判断方法
Parity is one of the most elegant structural properties of a function. It reveals hidden symmetry, simplifies integration, and often turns a difficult problem into a routine one. In this revision article, we explore the formal definitions of even and odd functions, their geometric meanings, and a complete set of methods for determining parity under algebraic, graphical, and operational perspectives.
奇偶性是函数最优雅的结构性质之一。它揭示了隐藏的对称性，简化了积分运算，并往往能将一个难题转化为常规问题。在本复习文章中，我们深入研究偶函数与奇函数的正式定义、几何意义，以及从代数、图像和运算视角判断奇偶性的完整方法体系。
1. Formal Definition of Even Functions | 偶函数的正式定义
A function f(x) is called even if, for every x in its domain, the equation f(−x) = f(x) holds. This means that replacing x by its negative leaves the output unchanged. The most familiar examples are f(x) = x², f(x) = x⁴, f(x) = |x|, and f(x) = cos(x). In each case, substituting −x produces the identical value to substituting x.
若对于定义域中的每一个 x，等式 f(−x) = f(x) 均成立，则称函数 f(x) 为偶函数。这意味着将 x 替换为其相反数后，输出保持不变。最常见的例子包括 f(x) = x²、f(x) = x⁴、f(x) = |x| 和 f(x) = cos(x)。在每种情形中，代入 −x 所产生的值与代入 x 完全相同。
f(−x) = f(x) for all x ∈ Domain
对定义域内所有 x，有 f(−x) = f(x)
2. Formal Definition of Odd Functions | 奇函数的正式定义
A function f(x) is called odd if, for every x in its domain, the equation f(−x) = −f(x) holds. In other words, negating the input negates the output. Standard examples include f(x) = x, f(x) = x³, f(x) = 1/x (for x ≠ 0), f(x) = sin(x), and f(x) = tan(x). A quick check: for f(x) = x³, substituting −x gives (−x)³ = −x³ = −f(x).
若对于定义域中的每一个 x，等式 f(−x) = −f(x) 均成立，则称函数 f(x) 为奇函数。换言之，将输入取负会使输出取负。标准例子包括 f(x) = x、f(x) = x³、f(x) = 1/x（x ≠ 0）、f(x) = sin(x) 和 f(x) = tan(x)。快速验证：对于 f(x) = x³，代入 −x 得到 (−x)³ = −x³ = −f(x)。
f(−x) = −f(x) for all x ∈ Domain
对定义域内所有 x，有 f(−x) = −f(x)
3. Geometric Meaning: Symmetry of Graphs | 几何意义：图像的对称性
Every even function has a graph that is symmetric with respect to the y-axis. If the point (a, b) lies on the curve, then the point (−a, b) must also lie on the curve. This mirror symmetry is immediately visible for parabolas and the cosine curve. Every odd function, by contrast, has a graph that is symmetric with respect to the origin: if (a, b) is on the curve, then (−a, −b) is also on the curve. A 180° rotation about the origin leaves the graph unchanged.
每个偶函数的图像都关于 y 轴对称。若点 (a, b) 在曲线上，则点 (−a, b) 也必在曲线上。这种镜像对称性在抛物线和余弦曲线中一目了然。相比之下，每个奇函数的图像都关于 原点对称：若 (a, b) 在曲线上，则 (−a, −b) 也在曲线上。将图像绕原点旋转 180° 后与原图完全重合。
This geometric interpretation is particularly powerful when you are given a graph and asked whether the function is even, odd, or neither. Fold the paper along the y-axis: if the two halves coincide, the function is even. Rotate the paper by 180° about the origin: if the graph matches itself, the function is odd.
当题目给出图像并要求判断奇偶性时，这种几何解释尤为有力。沿 y 轴折叠纸张：若两半完全重合，则函数为偶函数。绕原点将纸张旋转 180°：若图像与自身重合，则函数为奇函数。
4. Determination Method 1: Algebraic Substitution | 判定方法一：代数代入法
This is the most reliable and universally applicable method. Follow these steps in order.
这是最可靠且普遍适用的方法。请按以下步骤依次进行。
- Step 1: State the domain of f(x). If the domain is not symmetric about 0 — that is, if there exists an x in the domain whose counterpart −x is not in the domain — then f(x) is neither even nor odd, and no further testing is needed.
- Step 2: Replace every occurrence of x with −x and simplify the expression f(−x) as completely as possible.
- Step 3: Compare f(−x) with f(x). If f(−x) = f(x) for all x, the function is even. If f(−x) = −f(x) for all x, the function is odd. If neither identity holds, the function has no parity.
- 步骤一：写出 f(x) 的定义域。若定义域不关于 0 对称——即存在某个 x 属于定义域，而对应的 −x 不属于定义域——则 f(x) 既非奇也非偶，无需进一步检验。
- 步骤二：将表达式中的每一个 x 替换为 −x，并尽可能完整地化简 f(−x)。
- 步骤三：比较 f(−x) 与 f(x)。若对所有 x 都有 f(−x) = f(x)，则函数为偶函数；若对所有 x 都有 f(−x) = −f(x)，则函数为奇函数；若两个恒等式均不成立，则函数无奇偶性。
Worked example: Let f(x) = (x² + 1)/(x³ − x). Then f(−x) = ((−x)² + 1)/((−x)³ − (−x)) = (x² + 1)/(−x³ + x) = −(x² + 1)/(x³ − x) = −f(x). Hence f is odd on its domain, which excludes x = 0, x = 1, and x = −1. The domain is symmetric about 0, so the parity conclusion is valid.
示范例题：设 f(x) = (x² + 1)/(x³ − x)。则 f(−x) = ((−x)² + 1)/((−x)³ − (−x)) = (x² + 1)/(−x³ + x) = −(x² + 1)/(x³ − x) = −f(x)。因此 f 在其定义域上为奇函数，该定义域排除了 x = 0、x = 1 和 x = −1。定义域关于 0 对称，因此奇偶性结论有效。
5. Determination Method 2: Graphical Inspection | 判定方法二：图像观察法
When a graph is provided or can be sketched quickly, visual symmetry is the fastest route. Check the two symmetries described in Section 3. However, be cautious: a graph drawn by hand may hide small asymmetries, so graphical inspection is best used for rapid elimination, not as a final proof in a written examination.
当题目给出图像或可以快速画出草图时，视觉对称性是最快捷的途径。检查第 3 节所述的两种对称性即可。但需谨慎：手绘图像可能隐藏细微的不对称，因此图像观察法最适合用于快速排除，而不宜作为书面考试中的最终证明。
For example, the graph of y = x² − 2x + 1 is a parabola whose axis of symmetry is x = 1, not x = 0. Although it is a symmetric curve, its symmetry axis is not the y-axis, so the function is neither even nor odd. This is a classic trap in multiple-choice questions.
例如，y = x² − 2x + 1 的图像是一条对称轴为 x = 1 的抛物线，而非 x = 0。尽管它是对称曲线，但其对称轴不是 y 轴，因此该函数既非偶函数也非奇函数。这是选择题中的经典陷阱。
6. The Domain Check: A Prerequisite | 定义域检验：必要前提
Many students forget that parity is defined only when the domain is symmetric about the origin. Consider f(x) = x² on the interval [1, 3]. The formula looks even, but because x = 1 belongs to the domain while x = −1 does not, the definition f(−x) = f(x) cannot possibly hold for all x in the domain. Therefore this restricted function has no parity.
许多学生忘记：仅当定义域关于原点对称时，奇偶性才有意义。考虑区间 [1, 3] 上的 f(x) = x²。表达式看起来是偶函数，但因为 x = 1 属于定义域而 x = −1 不属于，所以 f(−x) = f(x) 不可能对定义域内所有 x 成立。因此这个限制函数没有奇偶性。
Common restricted domains to watch for: f(x) = √x, whose domain is x ≥ 0, is neither even nor odd regardless of the formula. f(x) = 1/x has domain x ≠ 0, which is symmetric, so it can be classified (it is odd). Always test the domain before performing substitution.
需要注意的常见受限定义域：f(x) = √x 的定义域为 x ≥ 0，无论表达式如何，它既非偶函数也非奇函数。f(x) = 1/x 的定义域为 x ≠ 0，关于原点对称，因此可以分类（它是奇函数）。始终先检验定义域，再进行代入。
7. Properties of Parity under Algebraic Operations | 代数运算下的奇偶性性质
When two functions of known parity are combined, the result often follows simple rules. Suppose both f and g are defined on the same symmetric domain. Then the following table summarises the behaviour of sums, differences, and products.
当两个已知奇偶性的函数进行组合时，结果往往遵循简单规则。假设 f 与 g 定义在同一个对称定义域上，下表总结了和、差与积的行为。
| Operation | 运算 | f even, g even | f 偶，g 偶 | f odd, g odd | f 奇，g 奇 | f even, g odd | f 偶，g 奇 |
| Sum f + g | 和 | Even | 偶 | Odd | 奇 | Neither in general | 一般无奇偶性 |
| Difference f − g | 差 | Even | 偶 | Odd | 奇 | Neither in general | 一般无奇偶性 |
| Product f × g | 积 | Even | 偶 | Even | 偶 | Odd | 奇 |
| Quotient f / g (g ≠ 0) | 商 | Even | 偶 | Even | 偶 | Odd | 奇 |
These rules can be memorised by analogy with multiplication of signs: odd behaves like −1, even behaves like +1. The product of two 'odd' signs is even, exactly as (−1) × (−1) = +1. Note that sums of an even and an odd function are generally neither, unless one of them is identically zero.
这些规则可以类比符号乘法来记忆：奇函数类似于 −1，偶函数类似于 +1。两个'奇'符号相乘为偶，正如 (−1) × (−1) = +1。注意：偶函数与奇函数之和一般无奇偶性，除非其中一个恒为零。
8. Composition of Functions and Parity | 复合函数与奇偶性
For composite functions, the rules differ from those for sums and products. Let h(x) = f(g(x)). Then the parity of h depends on which layer is even or odd, as summarised below.
对于复合函数，规则与和、积不同。设 h(x) = f(g(x))。则 h 的奇偶性取决于哪一层是偶或奇，总结如下。
- If the inner function g is even, then h = f∘g is even, regardless of the parity of f. This is because g(−x) = g(x), hence h(−x) = f(g(−x)) = f(g(x)) = h(x).
- If the inner function g is odd and the outer function f is odd, then h is odd.
- If the inner function g is odd and the outer function f is even, then h is even.
- 若内层函数 g 为偶函数，则无论 f 的奇偶性如何，复合函数 h = f∘g 都是偶函数。这是因为 g(−x) = g(x)，从而 h(−x) = f(g(−x)) = f(g(x)) = h(x)。
- 若内层函数 g 为奇函数且外层函数 f 为奇函数，则 h 为奇函数。
- 若内层函数 g 为奇函数且外层函数 f 为偶函数，则 h 为偶函数。
A compact summary: the composition is odd only when both f and g are odd; in every other case, the composition is even. For example, h(x) = sin(x²) is even because the inner function x² is even, while h(x) = sin(x³) is odd because both layers are odd.
简洁总结：仅当 f 与 g 均为奇函数时，复合函数才为奇函数；在其他所有情况下，复合函数均为偶函数。例如，h(x) = sin(x²) 是偶函数，因为内层函数 x² 为偶函数；而 h(x) = sin(x³) 是奇函数，因为两层均为奇函数。
9. Special Cases: The Zero Function and Decomposition | 特殊情况：零函数与分解
The zero function f(x) = 0 on a symmetric domain is the unique function that is simultaneously even and odd, because 0 = 0 and 0 = −0. It is the only function with this double property. Some textbooks state this as a theorem: if a function is both even and odd, then f(x) = 0 for every x in its domain.
在对称定义域上的零函数 f(x) = 0 是唯一同时为偶函数和奇函数的函数，因为 0 = 0 且 0 = −0。它是唯一具有双重性质的函数。一些教科书将其表述为定理：若一个函数既是偶函数又是奇函数，则在其定义域内每一点都有 f(x) = 0。
Another valuable result is the even-odd decomposition. Any function f defined on a symmetric domain can be uniquely written as the sum of an even function and an odd function:
另一个有价值的结论是偶奇分解。任何定义在对称定义域上的函数 f 都可以唯一地写成一个偶函数与一个奇函数之和：
f(x) = [f(x) + f(−x)]/2 + [f(x) − f(−x)]/2
f(x) = [f(x) + f(−x)]/2 + [f(x) − f(−x)]/2
The first term E(x) = [f(x) + f(−x)]/2 is even, and the second term O(x) = [f(x) − f(−x)]/2 is odd. This decomposition is used in Fourier analysis and in certain integration techniques. For instance, integrating an odd function over a symmetric interval [−a, a] gives 0, and integrating an even function over [−a, a] gives twice the integral over [0, a].
第一项 E(x) = [f(x) + f(−x)]/2 为偶函数，第二项 O(x) = [f(x) − f(−x)]/2 为奇函数。这种分解在傅里叶分析和某些积分技巧中有所应用。例如，奇函数在对称区间 [−a, a] 上的积分为 0，而偶函数在 [−a, a] 上的积分等于在 [0, a] 上积分的两倍。
10. Common Mistakes and Examination Strategies | 常见错误与应试策略
Students frequently lose marks on parity questions for avoidable reasons. The most common errors are listed below, together with corrective advice.
学生在奇偶性题目中常因可避免的原因失分。以下列出最常见的错误及纠正建议。
- Mistake 1: Testing f(−x) without checking whether −x belongs to the domain. Always write down the domain first and verify symmetry about 0.
- Mistake 2: Concluding 'odd' from a single numerical example. Parity is a universal statement — one example cannot prove it, but one counterexample disproves it. Algebraically justify the identity for a general x.
- Mistake 3: Confusing the symmetry axis. A curve that is symmetric about x = 2 is not an even function; only symmetry about the y-axis counts.
- Mistake 4: Forgetting that f(x) = 0 is both even and odd, and that constant functions such as f(x) = 3 are even (but not odd).
- 错误一：在检验 f(−x) 之前未确认 −x 是否属于定义域。务必先写出定义域并验证其关于 0 对称。
- 错误二：仅凭一个数值例子就判定为奇函数。奇偶性是全称命题——一个例子不能证明，但一个反例足以推翻。必须对一般性的 x 进行代数验证。
- 错误三：混淆对称轴。关于 x = 2 对称的曲线不是偶函数；只有关于 y 轴对称才算。
- 错误四：忘记 f(x) = 0 既是偶函数又是奇函数，且常函数如 f(x) = 3 是偶函数（但不是奇函数）。
Examination strategy: when asked to 'determine whether f is even, odd, or neither', structure your answer in three lines — (i) domain check, (ii) computation of f(−x), (iii) comparison and conclusion. This structure earns full method marks even if a small algebraic slip occurs. For multiple-choice questions, quick graphical elimination using symmetry is often faster than full substitution.
应试策略：当题目要求'判断 f 是偶函数、奇函数还是二者皆非'时，请按三行结构作答——（i）定义域检验，（ii）计算 f(−x)，（iii）比较并给出结论。即使出现小的代数失误，这种结构也能获得完整的方法分。对于选择题，利用对称性进行快速图像排除通常比完整代入更快。
Published by TutorHao | Mathematics Revision Series | aleveler.com
更多咨询请联系16621398022（同微信）
或截图后用「扫一扫 → 相册」选择本图