1 基本定义
偶函数是指在其定义域内满足对称条件的一类函数。它的核心特征是：当自变量取相反数时，函数值保持不变。由于这一性质，偶函数常被视为具有轴对称结构的基本函数类型之一。
1.1 偶函数的形式化定义
设函数 \(f(x)\) 的定义域为 \(D\)。如果对任意 \(x \in D\)，都有 \(-x \in D\)，并且满足 \[ f(-x)=f(x), \] 则称 \(f(x)\) 为偶函数。
这一条件既要求函数值具有对称性，也要求定义域本身能够容纳这种对称关系。若只满足等式而定义域不对称，则通常不能严格称为偶函数。
1.2 定义域的对称性要求
偶函数的定义域必须关于原点对称，即若 \(x\) 属于定义域，那么 \(-x\) 也应属于定义域。这一点是判定偶函数的重要前提。
例如，定义在区间 \([-a,a]\) 上的函数更容易构成偶函数；而定义域若仅为 \([0,a]\) 或 \((0,+\infty)\)，则一般不具备偶函数所需的完整对称结构。
1.3 图像特征与几何解释
偶函数的图像具有明显的几何对称性。其左半部分与右半部分互为镜像，这种结构使其在坐标系中易于识别，也便于进行分析和计算。
1.3.1 关于 y 轴对称
若函数图像关于 \(y\) 轴对称，则意味着点 \((x,f(x))\) 与点 \((-x,f(x))\) 成对出现。也就是说，函数在正负相反的横坐标处对应相同的纵坐标。
这种对称性是偶函数最直观的图形特征，也是其名称的来源之一。
1.3.2 典型图像示例
常见的偶函数图像包括抛物线的一部分、余弦曲线以及绝对值函数图像等。它们通常在 \(y\) 轴两侧保持一致的轮廓，表现出中心轴为纵轴的镜像效果。
2 判定方法
判断一个函数是否为偶函数，通常可从定义、图像和解析式结构三个层面入手。不同方法适用于不同类型的函数。
2.1 代入检验法
最直接的方法是将 \(x\) 替换为 \(-x\)，再比较所得结果是否与原函数相同。
若 \[ f(-x)=f(x), \] 则函数为偶函数；若 \(f(-x)=-f(x)\)，则为奇函数；若两者都不成立，则通常既非偶也非奇。
2.2 利用图像判断
观察图像是否关于 \(y\) 轴对称，是一种直观而有效的判断方式。若图像左、右两侧完全重合，则可判断该函数具有偶性。
这种方法适合于已知函数图像或可通过作图近似观察的情形，但在严格证明时仍需回到解析式或定义进行验证。
2.3 利用解析式结构判断
函数表达式中某些结构往往天然具有偶性，可据此快速判断。例如只含偶次幂、绝对值、平方根等与 \(x\) 的正负无关的形式时，函数往往是偶函数。
2.3.1 含偶次幂项的函数
若函数仅由 \(x^2\)、\(x^4\)、\(x^6\) 等偶次幂构成，或由这些项的加减组合构成，则通常满足偶函数条件。
例如多项式 \[ f(x)=3x^4-2x^2+1 \] 就是偶函数，因为将 \(x\) 替换为 \(-x\) 后表达式保持不变。
2.3.2 绝对值与平方根表达式
| 绝对值函数具有消除符号差异的特征，因此很多含 \( | x | \) 的函数是偶函数。平方根表达式中若自变量只以平方形式出现，也常表现出偶性。 |
|---|
例如 \[ f(x)=\sqrt{x^2+1} \] 满足 \(f(-x)=f(x)\)，因此是偶函数。
2.3.3 分段函数的对称性检验
分段函数是否为偶函数，需检查各段定义是否在正负区间上相互对应。若正半轴与负半轴上的表达式互为镜像，且拼接点处理一致，则可能构成偶函数。
对于这类函数，不能仅看单一分段，还要同时核对定义域对称性和分段规则的一致性。
3 性质与运算
偶函数在代数运算中具有较稳定的封闭性，这使其在构造新函数和化简表达式时非常有用。
3.1 代数性质
偶函数在加法、减法和数乘等运算下常保持偶性，因而便于组合与推广。
3.1.1 偶函数的和与差
若 \(f(x)\) 与 \(g(x)\) 都是偶函数，则 \(f(x)+g(x)\) 和 \(f(x)-g(x)\) 仍是偶函数。
这是因为： \[ (f\pm g)(-x)=f(-x)\pm g(-x)=f(x)\pm g(x). \]
3.1.2 偶函数的常数倍
若 \(f(x)\) 是偶函数，\(c\) 为常数，则 \(cf(x)\) 仍为偶函数。常数倍不会改变函数对称性，只会改变图像的纵向尺度。
3.1.3 偶函数的复合
复合函数是否保持偶性，要视内外函数的形式而定。若外层函数是偶函数，而内层函数对 \(x\) 与 \(-x\) 产生相同结果，则复合后也可能是偶函数。
例如，若 \(g(x)\) 本身为偶函数，则 \(f(g(x))\) 在外层 \(f\) 适当时可保持偶性。
3.2 与奇函数的关系
偶函数与奇函数是函数对称性的两种基本类型，二者在结构上形成互补关系。
3.2.1 偶奇分解
在适当条件下，任意函数都可以分解为偶函数部分和奇函数部分之和： \[ f(x)=\frac{f(x)+f(-x)}{2}+\frac{f(x)-f(-x)}{2}. \] 其中前一项是偶函数，后一项是奇函数。
3.2.2 偶函数与奇函数的积
偶函数与奇函数相乘后，通常得到奇函数。原因是偶函数不改变符号，而奇函数在 \(x\) 与 \(-x\) 下会变号，因此两者相乘后整体符号会改变。
即若 \(f\) 为偶，\(g\) 为奇，则 \(f(x)g(x)\) 一般是奇函数。
3.3 导数与积分中的性质
偶函数不仅在函数本身层面具有对称结构，在微积分运算中也表现出一定规律。
3.3.1 偶函数的导函数与对称性
如果偶函数在某点可导，那么其导函数通常表现为奇函数特征。直观上，偶函数图像在 \(y\) 轴两侧斜率方向相反，因此导数往往具有反对称性。
这一性质在求导后分析函数变化趋势时很有帮助。
3.3.2 对称区间上的积分性质
若 \(f(x)\) 是偶函数，则在对称区间 \([-a,a]\) 上有 \[ \int_{-a}^{a} f(x)\,dx=2\int_0^a f(x)\,dx. \] 这表示对称区间上的面积可通过半区间积分加倍得到，从而显著简化计算。
4 常见例子
偶函数在初等数学和高等数学中都十分常见，其中不少经典函数都属于这一类。
4.1 多项式偶函数
只含偶次幂与常数项的多项式通常是偶函数，例如 \[ f(x)=x^4-6x^2+5. \] 这类函数在代入 \(-x\) 后不会改变值，因此对称性明显。
4.2 三角函数中的偶函数
三角函数中有若干标准偶函数，它们在周期性分析和波形研究中经常出现。
4.2.1 余弦函数
余弦函数满足 \[ \cos(-x)=\cos(x), \] 因此是典型偶函数。它的图像关于 \(y\) 轴对称，是最常见的偶函数实例之一。
4.2.2 正割函数
正割函数定义为余弦函数的倒数： \[ \sec x=\frac{1}{\cos x}. \] 由于余弦是偶函数，正割函数在其定义域内也具有偶性。
4.3 指数与双曲函数相关例子
某些由指数函数组合而成的表达式也具有偶性。例如 \[ f(x)=e^x+e^{-x} \] 就是偶函数，因为交换 \(x\) 与 \(-x\) 后表达式不变。
双曲余弦函数 \(\cosh x\) 也满足偶函数条件，常见于微分方程和物理模型中。
4.4 绝对值函数与其变形
绝对值函数 \[
| f(x)= | x |
|---|
\] 是最简单的偶函数之一。它的图像呈“V”字形，左右两侧完全对称。
| 类似地，\( | x | ^p\)（其中 \(p>0\)）以及含 \( | x-a | + | x+a | \) 等对称结构的函数，也常表现出偶性或近似偶性。 |
|---|
5 应用
偶函数在理论分析与实际建模中都有广泛用途，尤其适合处理存在中心对称或左右平衡特征的问题。
5.1 数学分析中的对称化处理
在函数分析中，常利用偶函数将复杂表达式拆分为对称部分，从而简化积分、级数和边值问题的处理。对称化思路也常用于构造更易研究的函数形式。
5.2 物理模型中的中心对称现象
许多物理量随位置变化时具有左右对称结构，例如某些势能分布、弹性振动模型或均匀中心场附近的近似表达。此类模型中的函数往往可以用偶函数描述，以体现空间上的平衡性。
5.3 傅里叶分析中的偶函数展开
在傅里叶分析中，偶函数的展开通常只含余弦项，这使计算和表达更简洁。由于余弦本身是偶函数，所以当原函数具有偶性时，其频谱表示也会体现相应的对称规律。
5.4 信号处理中的偶对称分量
在信号处理中，信号常被分解为偶对称分量与奇对称分量。偶对称分量有助于描述信号的平均结构和对称轮廓，在滤波、编码和频域分析中都具有实用价值。
6 相关概念
偶函数并非孤立概念，它与函数对称性、奇偶分解及周期性等主题密切相关。
6.1 奇函数
奇函数满足 \[ f(-x)=-f(x), \] 其图像关于原点对称。它与偶函数共同构成最基本的对称函数类型，二者在结构和应用上形成对照。
6.2 对称函数
对称函数通常泛指在某种变换下保持不变的函数。偶函数是其中最典型的一类，特征是对 \(x\) 与 \(-x\) 的交换保持函数值不变。
6.3 周期函数
周期函数满足 \(f(x+T)=f(x)\) 的重复规律。虽然周期性与偶性是不同概念，但某些函数可以同时具备这两种性质，例如余弦函数。
6.4 偶函数与奇函数的分解表示
任何满足适当条件的函数都可写成偶部分与奇部分之和，这种表示法有助于研究函数的结构、对称性以及在积分和级数中的表现。