2.2 Monotonicity, Parity, and Periodicity of Functions
Key Takeaways
- Monotonicity is a local property defined on an interval $I$; strict monotonicity guarantees one-to-one mapping and invertibility on that interval.
- Function parity requires a domain symmetric about the origin ($x \in D \implies -x \in D$); even functions satisfy $f(-x)=f(x)$ (y-axis symmetry) and odd functions satisfy $f(-x)=-f(x)$ (origin symmetry, with $f(0)=0$ if $0 \in D$).
- Periodic functions satisfy $f(x+T)=f(x)$ for non-zero period $T$; standard functional equations such as $f(x+a)=-f(x)$ generate period $T=2a$, while $f(x+a)=\frac{1-f(x)}{1+f(x)}$ generates $T=4a$.
- Dual line symmetry about $x=a$ and $x=b$ implies periodicity with $T=2|b-a|$; combined line symmetry $x=a$ and point symmetry $(b,0)$ implies periodicity with $T=4|b-a|$.
- Gaokao abstract function questions frequently combine parity, monotonicity, and periodicity to convert complex variable comparisons or inequality solutions into simpler interval evaluations.
2.2 Monotonicity, Parity, and Periodicity of Functions
1. Function Monotonicity (函数的单调性)
Monotonicity describes how a function's output changes as its input increases across a specified interval $I \subseteq D_f$.
Formal Definition
Let $f(x)$ be defined on an interval $I \subseteq D_f$.
- Strictly Increasing (单调递增): For any $x_1, x_2 \in I$ with $x_1 < x_2$, we have $f(x_1) < f(x_2)$, or equivalently:
- Strictly Decreasing (单调递减): For any $x_1, x_2 \in I$ with $x_1 < x_2$, we have $f(x_1) > f(x_2)$, or equivalently:
Derivative Criteria for Monotonicity
For a differentiable function $f(x)$ on an open interval $(a, b)$:
- If $f'(x) \ge 0$ for all $x \in (a, b)$ and $f'(x)$ is not identically zero on any subinterval, then $f(x)$ is strictly increasing on $(a, b)$.
- If $f'(x) \le 0$ for all $x \in (a, b)$ and $f'(x)$ is not identically zero on any subinterval, then $f(x)$ is strictly decreasing on $(a, b)$.
Composite Function Monotonicity Rule ("同增异减")
For a composite function $y = f(g(x))$, where $u = g(x)$ and $y = f(u)$:
- If $f(u)$ and $g(x)$ have the same monotonicity (both increasing or both decreasing), then $f(g(x))$ is strictly increasing.
- If $f(u)$ and $g(x)$ have opposite monotonicity (one increasing, one decreasing), then $f(g(x))$ is strictly decreasing.
2. Function Parity (函数的奇偶性)
Parity characterizes the algebraic symmetry of a function with respect to the origin or the $y$-axis.
Prerequisites and Definitions
A necessary prerequisite for parity analysis is that the domain $D_f$ must be symmetric about the origin ($x \in D_f \iff -x \in D_f$).
- Even Function (偶函数): $f(-x) = f(x)$ for all $x \in D_f$. Graph is symmetric with respect to the $y$-axis.
- Odd Function (奇函数): $f(-x) = -f(x)$ for all $x \in D_f$. Graph is symmetric with respect to the origin $(0,0)$.
Crucial Theorem for Odd Functions: If $f(x)$ is an odd function and $0 \in D_f$, then $f(0) = 0$. This property provides a fast method to determine unknown coefficients in Gaokao problems.
Operations and Parity Rules
| Operation | Component Parities | Resulting Function Parity |
|---|---|---|
| Sum $f(x) + g(x)$ | Even + Even | Even |
| Sum $f(x) + g(x)$ | Odd + Odd | Odd |
| Product $f(x) \cdot g(x)$ | Even $\times$ Even | Even |
| Product $f(x) \cdot g(x)$ | Odd $\times$ Odd | Even |
| Product $f(x) \cdot g(x)$ | Even $\times$ Odd | Odd |
| Derivative $f'(x)$ | $f(x)$ is Even | $f'(x)$ is Odd |
| Derivative $f'(x)$ | $f(x)$ is Odd | $f'(x)$ is Even |
3. Function Periodicity and Structural Identities
A function $f(x)$ is periodic if there exists a non-zero constant $T$ such that $f(x + T) = f(x)$ for all $x \in D_f$. The smallest positive such $T$ is the fundamental period (最小正周期).
Essential Functional Equation Identities
In Gaokao problems, periodicity is frequently expressed through functional equations:
| Functional Equation | Deduced Period $T$ | Structural Derivation |
|---|---|---|
| $f(x + a) = -f(x)$ | $T = 2a$ | $f(x + 2a) = f((x+a)+a) = -f(x+a) = -(-f(x)) = f(x)$ |
| $f(x + a) = \frac{1}{f(x)}$ | $T = 2a$ | $f(x + 2a) = \frac{1}{f(x+a)} = \frac{1}{1/f(x)} = f(x)$ |
| $f(x + a) = \frac{1 - f(x)}{1 + f(x)}$ | $T = 4a$ | $f(x+2a) = -\frac{1}{f(x)} \implies f(x+4a) = f(x)$ |
Dual Symmetry and Periodicity Theorems
Geometric symmetry in $y=f(x)$ implies fundamental periodicity:
- Two Axes of Symmetry: If $y=f(x)$ is symmetric about $x=a$ and $x=b$ ($a \neq b$), then $f(x)$ is periodic with period $T = 2|b - a|$.
- Two Centers of Symmetry: If $y=f(x)$ is symmetric about points $(a, 0)$ and $(b, 0)$ ($a \neq b$), then $f(x)$ is periodic with period $T = 2|b - a|$.
- One Axis and One Center: If $y=f(x)$ is symmetric about axis $x=a$ and center $(b, 0)$ ($a \neq b$), then $f(x)$ is periodic with period $T = 4|b - a|$.
4. Worked Gaokao Exam Examples
Example 1: Solving Inequalities Using Parity and Monotonicity
Problem: Let $f(x)$ be an odd function defined on $\mathbb{R}$ that is strictly decreasing on $(0, +\infty)$. If $f(1) = 0$, solve the inequality $f(\ln x) > 0$.
Solution:
- Determine function properties:
- Since $f(x)$ is odd and $0 \in \mathbb{R}$, we have $f(0) = 0$.
- Since $f(x)$ is odd and strictly decreasing on $(0, +\infty)$, it must also be strictly decreasing on $(-\infty, 0)$ and overall strictly decreasing on $\mathbb{R}$.
- Determine zero values:
- Given $f(1) = 0$, by odd parity $f(-1) = -f(1) = 0$.
- Combining with $f(0) = 0$, the function zeros are at $x = -1, 0, 1$.
- Analyze inequality $f(t) > 0$ where $t = \ln x$:
- Since $f(x)$ is strictly decreasing on $\mathbb{R}$ and $f(0) = 0$, $f(t) > 0 = f(0) \iff t < 0$.
- Solve for $x$:
- $\ln x < 0 \implies 0 < x < 1$. Conclusion: The solution set of the inequality is $(0, 1)$.
Example 2: Determining Period and Value Evaluation
Problem: Let $f(x)$ be an even function on $\mathbb{R}$ satisfying $f(x+2) = -\frac{1}{f(x)}$ for all $x$. If $f(x) = 2x - 1$ for $x \in [0, 1]$, calculate $f(11.5)$.
Solution:
- Periodicity deduction:
- From $f(x+2) = -\frac{1}{f(x)}$, we find $f(x+4) = f((x+2)+2) = -\frac{1}{f(x+2)} = -\frac{1}{-1/f(x)} = f(x)$.
- Thus $f(x)$ is periodic with period $T = 4$.
- Reduce argument $11.5$ into standard base interval:
- $f(11.5) = f(11.5 - 3 \times 4) = f(11.5 - 12) = f(-0.5)$.
- Apply parity and domain definition:
- Since $f(x)$ is even, $f(-0.5) = f(0.5)$.
- Since $0.5 \in [0, 1]$, we use $f(x) = 2x - 1$ to calculate $f(0.5) = 2(0.5) - 1 = 0$. Conclusion: $f(11.5) = 0$.
Let $f(x)$ be an odd function defined on $\mathbb{R}$ with period $T = 4$. If $f(1) = 2$, what is the value of $f(7)$?
If the function $f(x) = \ln(\sqrt{x^2+1} + ax)$ is an odd function on $\mathbb{R}$, what is the value of the constant parameter $a$?
Let $f(x)$ be an even function on $\mathbb{R}$ with period $T = 4$. If $f(x)$ is strictly increasing on $[0, 2]$, which of the following ordering relationships is correct?