6.2 Function Families, Key Graphical Behaviors & Even/Odd Symmetry

6.2 Function Families, Key Graphical Behaviors & Even/Odd Symmetry

1. The Parent Function Library

In secondary mathematics, algebraic analysis relies on a foundational repertoire of parent functions: the simplest algebraic forms within each function family. All more complex functions are generated by applying transformations or algebraic operations to these parent prototypes.

Secondary teachers must ensure candidates grasp structural nuances across these families. For example, while both the quadratic function $f(x) = x^2$ and the absolute value function $f(x) = |x|$ share the identical domain $(-\infty, \infty)$, range $[0, \infty)$, and global minimum at $(0,0)$, their local geometries differ fundamentally. The quadratic function is smooth and differentiable everywhere with a horizontal tangent at the vertex ($f'(0) = 0$), whereas the absolute value function possesses a sharp corner at the origin with unequal left-hand and right-hand limits of the difference quotient ($\lim_{h \to 0^-} \frac{|0+h| - 0}{h} = -1 \neq \lim_{h \to 0^+} \frac{|0+h| - 0}{h} = +1$), rendering it non-differentiable at $x = 0$.

---

2. Global and Local Graphical Behaviors

Analyzing function graphs requires rigorous qualitative characterization of critical features:

Intervals of Increase, Decrease, and Constancy

Let $f$ be a function defined on an interval $I \subseteq \operatorname{dom}(f)$.

• $f$ is strictly increasing on $I$ if for all $x_1, x_2 \in I$, $x_1 < x_2 \implies f(x_1) < f(x_2)$.
• $f$ is strictly decreasing on $I$ if for all $x_1, x_2 \in I$, $x_1 < x_2 \implies f(x_1) > f(x_2)$.
• $f$ is constant on $I$ if for all $x_1, x_2 \in I$, $f(x_1) = f(x_2)$.

Extrema: Local vs. Global

• A local (relative) maximum occurs at $x = c$ if there exists an open interval $(c - \delta, c + \delta)$ such that $f(c) \ge f(x)$ for all $x$ in the interval. The local maximum value is $f(c)$.
• A global (absolute) maximum occurs at $x = c$ if $f(c) \ge f(x)$ for all $x \in \operatorname{dom}(f)$.
• Local and global minima are defined analogously by reversing the inequalities.

By the Extreme Value Theorem (EVT), if a function $f$ is continuous on a closed and bounded interval $[a, b]$, then $f$ is guaranteed to attain both an absolute maximum and an absolute minimum on $[a, b]$, occurring either at critical points where $f'(x) = 0$ or does not exist, or at the domain endpoints $x = a$ or $x = b$.

End Behavior & Asymptotic Limits

End behavior describes the limiting behavior of $f(x)$ as the independent variable approaches positive infinity ($x \to \infty$) or negative infinity ($x \to -\infty$):

$$\lim_{x \to \infty} f(x) \quad \text{and} \quad \lim_{x \to -\infty} f(x)$$

For polynomials, end behavior is governed entirely by the Leading Term Test: for $P(x) = a_n x^n + \dots + a_0$ with $a_n \neq 0$:

• If $n$ is even and $a_n > 0$, both ends rise: $\lim_{x \to \pm\infty} P(x) = \infty$.
• If $n$ is even and $a_n < 0$, both ends fall: $\lim_{x \to \pm\infty} P(x) = -\infty$.
• If $n$ is odd and $a_n > 0$, the graph falls to the left and rises to the right: $\lim_{x \to -\infty} P(x) = -\infty$ and $\lim_{x \to \infty} P(x) = \infty$.
• If $n$ is odd and $a_n < 0$, the graph rises to the left and falls to the right: $\lim_{x \to -\infty} P(x) = \infty$ and $\lim_{x \to \infty} P(x) = -\infty$.

---

3. Algebraic and Geometric Symmetry: Even vs. Odd Functions

Symmetry provides powerful computational shortcuts in calculus (e.g., integrating symmetric functions over $[-a, a]$) and physics.

Even Functions (Reflectional Symmetry across the $y$-Axis)

A function $f$ is even if its domain is symmetric about the origin ($x \in \operatorname{dom}(f) \iff -x \in \operatorname{dom}(f)$) and:

$$f(-x) = f(x) \quad \text{for all } x \in \operatorname{dom}(f)$$

Geometrically, the graph of an even function possesses reflectional line symmetry across the $y$-axis (the vertical line $x = 0$). If the coordinate point $(x, y)$ lies on the graph, then $(-x, y)$ also lies on the graph. Folding the Cartesian plane along the $y$-axis maps the right half of the graph perfectly onto the left half.

Odd Functions (Rotational Symmetry about the Origin)

A function $f$ is odd if its domain is symmetric about the origin and:

$$f(-x) = -f(x) \quad \text{for all } x \in \operatorname{dom}(f)$$

Geometrically, the graph of an odd function possesses $180^\circ$ (two-fold) rotational point symmetry about the origin $(0,0)$. If the coordinate point $(x, y)$ lies on the graph, then the negated point $(-x, -y)$ also lies on the graph. Rotating the graph by $180^\circ$ around $(0,0)$ leaves the curve invariant.

Systematic Algebraic Testing Protocol

To classify any algebraic expression $f(x)$ as even, odd, or neither:

1. Verify that the natural domain is symmetric with respect to $x = 0$. If $x = 4$ is in the domain but $x = -4$ is excluded, the function is automatically neither.
2. Substitute $-x$ into every variable instance to construct $f(-x)$.
3. Simplify $f(-x)$ using exponent and absolute value rules: $(-x)^{2k} = x^{2k}$, $(-x)^{2k+1} = -x^{2k+1}$, and $|-x| = |x|$.
4. Compare $f(-x)$ against $f(x)$ and $-f(x)$:
   • If $f(-x) = f(x)$, $f$ is even.
   • If $f(-x) = -f(x)$, $f$ is odd.
   • If $f(-x) \neq f(x)$ and $f(-x) \neq -f(x)$, $f$ is neither.

Worked Symmetry Test 1: Rational Form

Classify $g(x) = \frac{x^5 - 4x}{x^2 + 6}$.

• Domain: $x^2 + 6 \ge 6 > 0$ for all $x \in \mathbb{R}$, so $\operatorname{dom}(g) = (-\infty, \infty)$ (symmetric).
• Substitute $-x$: $$g(-x) = \frac{(-x)^5 - 4(-x)}{(-x)^2 + 6} = \frac{-x^5 + 4x}{x^2 + 6}$$
• Factor out $-1$ from the numerator: $$g(-x) = \frac{-(x^5 - 4x)}{x^2 + 6} = -\left(\frac{x^5 - 4x}{x^2 + 6}\right) = -g(x)$$
• Conclusion: $g(x)$ satisfies $g(-x) = -g(x)$, confirming it is an odd function with $180^\circ$ rotational symmetry about $(0,0)$.

Worked Symmetry Test 2: Composite Radical-Absolute Value Form

Classify $h(x) = \frac{|x| \sqrt{x^4 + 1}}{x^3 - x}$.

• Domain: Denominator $x^3 - x = x(x - 1)(x + 1) \neq 0 \implies x \neq 0, \pm 1$. The domain is symmetric about $0$.
• Substitute $-x$: $$h(-x) = \frac{|-x| \sqrt{(-x)^4 + 1}}{(-x)^3 - (-x)} = \frac{|x| \sqrt{x^4 + 1}}{-x^3 + x} = \frac{|x| \sqrt{x^4 + 1}}{-(x^3 - x)} = -h(x)$$
• Conclusion: $h(x)$ is odd.

---

4. The Even-Odd Decomposition Theorem

A fundamental theorem in algebra states that any function $f$ defined on a symmetric domain can be uniquely decomposed into the sum of an even function $f_e(x)$ and an odd function $f_o(x)$:

$$f(x) = f_e(x) + f_o(x)$$

where:

$$f_e(x) = \frac{f(x) + f(-x)}{2} \quad \text{and} \quad f_o(x) = \frac{f(x) - f(-x)}{2}$$

Verifying this algebraically:

• $f_e(-x) = \frac{f(-x) + f(-(-x))}{2} = \frac{f(-x) + f(x)}{2} = f_e(x)$ (even).
• $f_o(-x) = \frac{f(-x) - f(-(-x))}{2} = \frac{f(-x) - f(x)}{2} = -\frac{f(x) - f(-x)}{2} = -f_o(x)$ (odd).
• Sum: $f_e(x) + f_o(x) = \frac{f(x) + f(-x) + f(x) - f(-x)}{2} = \frac{2f(x)}{2} = f(x)$.

This decomposition explains why general functions containing a mixture of even and odd terms (such as $f(x) = x^2 + 3x$) are neither even nor odd in isolation: they represent non-trivial linear combinations of distinct parity components.