查看“︁高中数学/函数与三角/函数的奇偶性”︁的源代码

== 阅读指南 ==
[[File:Crystal Clear app gnome.png | Crystal Clear app gnome | 50px]]

希望快速了解或快速回顾高中数学的读者可以只看基础知识部分。其余部分是为需要参加学科考试或需要一定知识提升的读者准备的。

函数的奇偶性是高中考试的基础考点。这是无论翘了多少节课，在考试前都应该知道的东西。不过，不是所有的普通高中通用教材都会明确给出函数奇偶性的概念。例如在2003年中国大陆[[w:人民教育出版社|人民教育出版社]]出版的《全日制普通高级中学教科书(必修) 数学》第1册（上）<ref>{{cite book |title=数学 |author=人民教育出版社中学数学室 |series=全日制普通高级中学教科书 (必修) |volume=第1册 (上) |publisher=[[w:人民教育出版社|人民教育出版社]] |location=中国北京沙滩后街55号 |edition=1 |isbn=7-107-16755-3 |section= |pages= |language=zh-cn |year=2003}}</ref>的函数章节中就没有明确提及奇偶性的概念。

=== 预备知识 ===
阅读本节内容，读者应该了解[[高中数学/函数与三角/函数的概念|函数]]和[[高中数学/函数与三角/分段函数、复合函数与反函数的概念|复合函数]]的概念。

=== 考试要求 ===
应付中学考试，应该主要掌握利用定义证明函数的奇偶性、利用图象特点判断奇偶性。在此基础上，还应该掌握含参数的函数的奇偶性讨论、涉及广义奇偶性的对称问题。

=== 后续课程联系 ===
实际上在高中所学的函数知识中看不出它的实际用途。学习函数的奇偶性主要是为本科阶段的课程作准备。有关奇偶性（或广义奇偶性）的讨论价值会充分体现在对奇偶函数[[高中数学/高等数学初步/定积分|积分]]时的结果差异、[[w:三角级数|三角级数]]的正交性、[[w:多重线性代数|多重线性代数理论]]、量子力学中处理[[w:全同粒子|全同粒子]]/量子[[w:纠缠态|纠缠态]]/空间“[[w:宇称|宇称]]/极性”（parity，其实就是全局的对称性）等课题中。

== 基础知识 ==
=== 奇偶性的定义 ===
<blockquote style="padding: 1em; border: 2px dotted;">
<font color="#008000">'''奇函数'''（'''odd function'''）是指同时满足以下2个特性的一元函数<math>f(x)</math><ref name="龙门专题_2008_函数的奇偶性">{{cite book |title=龙门专题：新课标 高中数学 函数 |author=傅荣强 (主编) |editor1=田旭 |editor2=马建丽 |editor3=许冲冲 |publisher=龙门书局 |location=中国北京市东黄城根北街16号 |edition=1 |isbn=978-7-5088-1594-7 |section=第2讲“函数的性质”第2.2小节“函数的奇偶性” |pages=73-84 |language=zh-cn |year=2008}}</ref>：
* 其定义域dom是关于原点对称的区间。
* <math>\forall x \in dom, f(-x) = - f(x)</math>
</font>
</blockquote>

从几何上看，奇函数的图象是中心对称图形，且对称中心位于坐标系的原点<ref name="龙门专题_2008_函数的奇偶性" /><ref name="人教网_2011_竞赛讲义_函数">{{cite web |url= https://old.pep.com.cn/gzsx/xszx_1/sxjs/gzsxjsjz/201108/t20110809_1062445.htm |title=高中数学竞赛讲义（三）──函数 |author= |editor= |publisher=人教网 |language=zh-cn |date=2011-08-09}}</ref>。换句话说，奇函数的图象在绕原点做180度旋转后不会改变。这种关于原点的中心对称是特殊的旋转对称。

<blockquote style="padding: 1em; border: 2px dotted;">
<font color="#008000">'''偶函数'''（'''even function'''）是指同时满足以下2个特性的一元函数<math>f(x)</math><ref name="龙门专题_2008_函数的奇偶性" />：
* 其定义域dom是关于原点对称的区间。
* <math>\forall x \in dom, f(-x) = f(x)</math>
</font>
</blockquote>

从几何上看，偶函数的图象是轴对称图形，且对称轴刚好是坐标系的y轴<ref name="龙门专题_2008_函数的奇偶性" /><ref name="人教网_2011_竞赛讲义_函数" />。换句话说，偶函数的图象在对y轴作镜像反射后不会改变。这种关于坐标轴的两侧对称是特殊的轴对称。

[[File:Crystal Clear action info.png | Crystal Clear action info | 50px]]
注意：奇函数与偶函数从定义上看只差一个字和一个正负号，但是其图象的特点差异其实非常大。

既不是奇函数，也不是偶函数的函数叫做'''非奇非偶函数'''。例如<math>y = x + 1</math>就是一个非奇也非偶的函数，虽然它的定义域是关于原点对称的，但是它的图象既不关于原点呈中心对称，也不关于y轴呈两侧对称。又例如<math>y = x \quad (x \le 10)</math>也是一个非奇也非偶的函数，因为它的定义域不是关于原点对称的。又例如<math>y = 0 \quad (x \in 
\mathbb{R})</math>是一个奇函数也是一个偶函数，因为它的定义域不是关于原点对称的。

要判断一个函数是奇函数、偶函数还是其它函数应该按照如下的步骤：
# 验证函数的定义域关于原点是对称的。一般以文字简要说明即可。
# 在定义域内任取一点<math>x_0</math>，计算<math>f(-x_0)</math>的值。如果发现计算结果等于<math>f(x_0)</math>，那么可以判断是奇函数；如果等于<math>- f(x_0)</math>；如果肯定不等于这二者，则为非奇数非偶函数。

反过来，如果已知一个函数的奇偶性，就等价于知道了以下条件：
* 函数的定义域关于原点是对称的。
* 在定义域内任取一点<math>x_0</math>，对于奇函数肯定有关系<math>f(- x_0) = - f(x_0)</math>成立，对于偶函数肯定有关系<math>f(- x_0) = f(x_0)</math>成立。

[[File:Crystal Clear app error.png | Crystal Clear app error | 50px]]
注意：遇到判断函数奇偶性的问题，先要判断定义域的对称性。如果检查完定义域满足对称性的要求，才可以考虑带入表达式进行计算化简。解题时，验证函数定义域的对称性是用简短的一句话就可以解决的事情，但是特别容易被一些初学者遗漏，从而导致逻辑流程不完整而考试扣分。

<!-- 本小节例题1 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题1：
若<math>f(x)</math>为<math>\mathbb{R}</math>上的奇函数，则下列说法正确的有(&nbsp;&nbsp;&nbsp;&nbsp;)。
:A.<math>f(x) + f(-x) = 0</math>；B.<math>f(x) - f(-x) = 2 f(x)</math>
:C.<math>f(x) f(-x) < 0</math>；D.<math>\frac{f(x)}{f(-x)} = -1</math>

<!-- 本小节例题2 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题2：
分别判断下列各个函数在其默认定义域上的奇偶性，并对奇函数或偶函数按照定义给与证明：
:(1) <math>f(x) = \frac 1 x</math>；
:(2) <math>f(x) = \frac{1}{x^2}</math>；
:(3) <math>f(x) = |x|</math>；
:(4) <math>f(x) = 2x + 3</math>；
:(5) <math>f(x) = (x - 1)(x + 1)</math>；
:(6) <math>f(x) = \frac{x^2 + 2x + 1}{x + 1} - 1</math>；
:(7) <math>f(x) = \frac{1 + 2^x}{1 - 2^x} \quad (x \in \mathbb{Z})</math>；
:(8) <math>f(x) = \frac{2^x - 1}{2^x + 1} \quad (x \in \mathbb{Z})</math>；
:(9) <math>f(x) = \frac{x^2 - 1}{x^2 + 1}</math>；
:(10) <math>f(x) = \frac{x}{|x|}</math>；
:(11) <math>f(x) = \frac{1 + |x|}{1 - |x|}</math>；
:(12) <math>f(x) = \frac{x^2 + |x| + 1}{x^2 - |x| + 1}</math>；

<!-- 本小节例题3 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题3：
已知函数<math>f(x) = mx^2 + nx + 2m + n</math>是偶函数，其定义域为[m+1, -2n+2]，求m和n的值。

<!-- 本小节例题4 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题4：
已知函数<math>f(x) = \frac{ax + b}{1 + x^2}</math>是定义在(-1, 1)上的奇函数，且<math>f(\frac 1 2) = \frac 2 5</math>。
:(1) 求<math>f(x)</math>的表达式。
:(2) 用定义证明<math>f(x)</math>在(-1, 1)上是递增函数。
:(3) 解关于实数t的不等式<math>f(t - 1) + f(t) < 0</math>。

=== 结合奇偶性与单调性判断图象特征或解不等式 ===
<!-- 本小节例题1 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题1：若<math>f(x) \quad (x \in \mathbb{R})</math>是奇函数，则下列坐标表示的点一定在<math>f(x)</math>图象上的是(&nbsp;&nbsp;&nbsp;&nbsp;)。
:A.(a, -f(a))；B.(-a, -f(a))；C.(-a, -f(-a))；D.(a, f(-a))

<!-- 本小节例题2 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题2：
若偶函数<math>f(x)</math>在<math>(- \infty, -1]</math>上单调递减，判断<math>f(- \frac 3 2)</math>、<math>f(-1)</math>和<math>f(2)</math>的大小顺序。

<!-- 本小节例题3 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题3：
已知奇函数<math>f(x)</math>在<math>\mathbb{R}</math>上单调递减。若<math>f(1) = -1</math>，求满足<math>-1 \le f(x - 1) \le 1</math>的x的取值范围。

<!-- 本小节例题4 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题4：
若<math>f(x)</math>是定义在<math>\mathbb{R}</math>上的偶函数，且在区间<math>[0, + \infty)</math>上是增函数，求不等式<math>f(2x - 1) - f(-3) < 0</math>的解集。

<!-- 本小节例题5 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题5：
若奇函数<math>f(x)</math>是定义在<math>\mathbb{R}</math>上的增函数，求不等式<math>f(2x - 1) + f(3) < 0</math>的解集。

=== 复合函数的奇偶性 ===
可以从奇/偶函数之间的四则运算和复合这2个角度来分析所得结果的奇偶性。

<!-- 本小节例题1 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题1：
分别判断以下说法的正确性：<br />
:(1) 常函数都是偶函数。
:(2) 奇函数的平方一定也是奇函数。
:(3) 一个奇函数与另一个奇函数的乘积可能仍然是奇函数。

<!-- 本小节例题2 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题2：
设函数<math>f(x)</math>和<math>g(x)</math>的定义域都为<math>\mathbb{R}</math>，且<math>f(x)</math>是奇函数，<math>g(x)</math>是偶函数，则下列说法中正确的有(&nbsp;&nbsp;&nbsp;&nbsp;)。
:A.<math>|f(x)|g(x)</math>是奇函数；B.<math>f(x)|g(x)|</math>是奇函数
:C.<math>f(x) + |g(x)|</math>是偶函数；D.<math>|f(x)| + g(x)</math>是偶函数

<!-- 本小节例题3 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题3：
已知<math>f(x)</math>、<math>g(x)</math>分别是定义在<math>\mathbb{R}</math>上的偶函数和奇函数，且<math>f(x) - g(x) = x^3 + x^2 + 1</math>，求<math>f(1) + g(1)</math>的值。

<!-- 本小节例题4 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题4：
已知函数<math>f(x)</math>与<math>g(x)</math>分别是定义域上的奇函数与偶函数，且<math>f(x) + g(x) = x^2 - \frac{1}{x+1} - 2</math>，求<math>f(2)</math>的值。

== 常用结论与常见模型 ==
=== 函数的奇偶分解 ===
奇偶性的一大用途就是我们可以将任何定义域关于原点对称的函数分解为一个奇函数与一个偶函数的和。有的高中教辅书上会将其作为习题列出，但作为一个重要且并不复杂的技巧，我们在这里将其做法作为结论直接给出。

<blockquote style="padding: 1em; border: 2px dotted;">
[[File:Crystal Project Warehause.png |Crystal Project Warehause | 50px]]
任何定义域关于原点对称的函数<math>f(x)</math>都可以被分解为一个奇函数<math>g(x)</math>与一个偶函数<math>h(x)</math>的和<ref name="龙门专题_2008_函数的奇偶性" />：<br />
<math>f(x) = g(x) + h(x)</math><br />
其中，<math>g(x) = \frac{f(x) - f(-x)}{2}</math>，其中，<math>g(x) = \frac{f(x) + f(-x)}{2}</math>。
</blockquote>

这是一个在高中课程学习中很少被提及，但是在后续课程中很有用的基本技巧。它将一个比较一般的函数分解为对称性处理起来较为简单的2个部分。在后续的多重线性代数和量子力学的课程中，这个分解技巧也叫做函数的'''对称化'''（'''symmetrize'''）和'''反对称化'''（'''antisymmetrize'''），分解出来的奇函数部分叫做原函数的'''反对称部分'''，偶函数部分叫做原函数的'''对称部分'''。

=== 根据奇偶性延拓函数 ===
在保持某些性质必须依旧成立的前提下，扩大函数定义域范围的过程叫做函数的'''延拓'''（'''continuation'''或'''extension'''）。高中数学中常见的延拓形式有奇偶延拓和周期延拓。

<!-- 本小节例题1 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题1：
已知函数<math>f(x)</math>是定义在<math>\mathbb{R}</math>上的奇函数，且当<math>x \in (- \infty, 0)</math>时，<math>f(x) = 2x^3 + x^2</math>，求<math>f(2)</math>的值。

<!-- 本小节例题2 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题2：
已知<math>f(x)</math>是奇函数，当<math>x < 0</math>时，<math>f(x) = x^2 + ax</math>，且<math>f(3) = 6</math>，求a的值。

<!-- 本小节例题3 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题3：
已知<math>f(x)</math>是定义在<math>\mathbb{R}</math>上的偶函数，当<math>x \ge 0</math>时，<math>f(x) = x^2 - 2x</math>。
:(1) 求函数<math>f(x)</math>的解析式，并画出其图象。<br />
:(2) 根据图象写出<math>f(x)</math>的单调区间和值域。

=== 广义奇偶性 ===
广义奇偶性就是关于特定纵轴或特定点的对称函数。广义奇偶性是对局限于原点和y轴的普通奇偶性的延伸。

<blockquote style="padding: 1em; border: 2px dotted;">
[[File:Crystal Project Warehause.png |Crystal Project Warehause | 50px]]
假定函数<math>f(x)</math>的定义域dom关于<math>x = a</math>对称，关于函数的中心对称性，以下说法等价：
* <math>f(x)</math>的图象关于点<math>(a, b)</math>中心对称
* <math>\forall x \in dom, f(a - x) + f(a + x) = 2b</math>
* <math>\forall x \in dom, f(x) + f(2a - x) = 2b</math>
满足以上条件的函数也叫做关于指定点对称的'''广义奇函数'''。
</blockquote>
普通奇函数也满足以上情形，是<math>a = 0</math>时的特例。

<blockquote style="padding: 1em; border: 2px dotted;">
[[File:Crystal Project Warehause.png |Crystal Project Warehause | 50px]]
假定函数<math>f(x)</math>的定义域dom关于<math>x = a</math>对称，关于函数的轴对称性，以下说法等价<ref name="龙门专题_2008_函数的奇偶性" />：
* <math>f(x)</math>的图象关于直线<math>x = a</math>对称。
* <math>\forall x \in dom, f(a - x) = f(a + x)</math>。
* <math>\forall x \in dom, f(x) = f(2a - x)</math>。
满足以上条件的函数也叫做关于指定竖直线对称的'''广义偶函数'''。
</blockquote>
普通偶函数也满足以上情形，是<math>a = 0</math>时的特例。

<!-- 本小节例题1 -->
[[File:Crystal Clear action edit.png |Crystal Clear action edit | 50px]]
相关例题1：
如果函数<math>f(x)</math>满足<math>f(a - x) + f(b + x) = c</math>，则它的图象一定关于哪个点呈中心对称？

<!-- 本小节例题2 -->
[[File:Crystal Clear action edit.png |Crystal Clear action edit | 50px]]
相关例题2：
如果函数<math>f(x)</math>满足<math>f(a - x) = f(b + x)</math>，则它的图象一定关于哪条直线对称？

<!-- 本小节例题3 -->
[[File:Crystal Clear action edit.png |Crystal Clear action edit | 50px]]
相关例题3：
<math>f(x)</math>与<math>f(2a - x)</math>的图像什么时候是关于某个点对称的？什么时候是关于某条纵轴对称的？

== 补充习题 ==
[[File:Crystal Clear app ksirtet.png | Crystal Clear app ksirtet | 50px]]
[[File:Crystal Clear app laptop battery.png | Crystal Clear app laptop battery | 50px]]

== 参考资料 ==
{{Reflist}}

== 外部链接 ==
{{Wikipedia|奇函数与偶函数}}

{{DEFAULTSORT: even functions and odd functions}}
[[Category:函数]]
[[Category:对称性]]
[[Category:高中数学]]