2.2.10Functions

Even and odd functions — graphical and algebraic tests

2,731 words12 min readdifficulty · medium6 backlinks

Core Concept

Functions can exhibit symmetry that makes them easier to analyze, integrate, and understand. Two fundamental symmetries are even and odd functions, named for their behavior with polynomial powers.


Algebraic Definitions

Why these names? Look at polynomials:

  • x2,x4,x6x^2, x^4, x^6 are even functions (even powers)
  • x1,x3,x5x^1, x^3, x^5 are odd functions (odd powers)

This naming extends to all functions with these symmetries.


Graphical Tests

WHY does algebraic = graphical?

For even: f(x)=f(x)f(-x) = f(x) means the height at x=ax = -a equals the height at x=ax = a. That's y-axis reflection.

For odd: f(x)=f(x)f(-x) = -f(x) means the height at x=ax = -a is the negative of the height at x=ax = a. Point (a,b)(a, b) maps to (a,b)(-a, -b), which is exactly a 180° rotation about the origin.

Figure — Even and odd functions — graphical and algebraic tests

Algebraic Testing Procedure

To determine if f(x)f(x) is even, odd, or neither:

  1. Find the domain — even/odd requires symmetry about origin, so domain must include x-x whenever it includes xx
  2. Compute f(x)f(-x) — substitute x-x for every xx and simplify completely
  3. Compare:
    • If f(x)=f(x)f(-x) = f(x)even
    • If f(x)=f(x)f(-x) = -f(x)odd
    • Otherwise → neither

Common Mistakes & Misconceptions


Properties & Combinations

Key insight: Even × odd = odd (like "positive × negative = negative" for symmetry).


Decomposition Theorem

Derivation from scratch:

We want to split f(x)f(x) into two parts. Let's guess: f(x)=E(x)+O(x)f(x) = E(x) + O(x)

For this to work with even and odd parts:

  • E(x)E(x) must satisfy E(x)=E(x)E(-x) = E(x)
  • O(x)O(x) must satisfy O(x)=O(x)O(-x) = -O(x)

Write the equation at x-x: f(x)=E(x)+O(x)=E(x)O(x)f(-x) = E(-x) + O(-x) = E(x) - O(x)

Now we have two equations: f(x)=E(x)+O(x)f(x) = E(x) + O(x) f(x)=E(x)O(x)f(-x) = E(x) - O(x)

Add them: f(x)+f(x)=2E(x)    E(x)=f(x)+f(x)2f(x) + f(-x) = 2E(x) \implies E(x) = \frac{f(x) + f(-x)}{2}

Subtract them: f(x)f(x)=2O(x)    O(x)=f(x)f(x)2f(x) - f(-x) = 2O(x) \implies O(x) = \frac{f(x) - f(-x)}{2}

Why these formulas? The average f(x)+f(x)2\frac{f(x) + f(-x)}{2} cancels out any odd behavior (since odd parts cancel when added). The half-difference f(x)f(x)2\frac{f(x) - f(-x)}{2} cancels even behavior (since even parts cancel when subtracted).


Applications


Recall Feynman Explain-to-a-12-Year-Old

Imagine you have a machine that takes numbers and spits out answers. An even function is like a machine that doesn't care if you put in a positive or negative number — it gives the same answer either way. Like squaring: (3)2=9(-3)^2 = 9 and 32=93^2 = 9. The machine says "I only care about how big the number is, not its sign."

An odd function is like a machine that flips the answer when you flip the sign of the input. Like multiplying by 5: put in 3-3, get 15-15; put in 33, get 1515. The sign of the input controls the sign of the output. On a graph, even functions look like butterfly wings — the same on both sides of the y-axis. Odd functions look like they're doing a cartwheel through the origin — spin them halfway around and they look the same.

Most functions are neither — they're just asymetric, like your face (close to symmetric, but not perfect). But when a function IS symmetric, it makes math way easier because you only have to work with half of it.



Connections

  • Function transformations — reflection about y-axis relates to even functions
  • Symmetry in calculus — integration shortcuts using even/odd
  • Fourier series — even functions → cosine series, odd functions → sine series
  • Polynomial functions — even/odd powers give the terminology
  • Trigonometric functionscos\cos is even, sin\sin is odd (fundamental identities)
  • Hyperbolic functionscosh\cosh is even, sinh\sinh is odd (from exponential decomposition)
  • Domain and range — domain symmetry is prerequisite for even/odd classification

#flashcards/maths

What is the algebraic test for an even function? :: A function f(x)f(x) is even if f(x)=f(x)f(-x) = f(x) for all xx in its domain.

What is the algebraic test for an odd function?
A function f(x)f(x) is odd if f(x)=f(x)f(-x) = -f(x) for all xx in its domain.
What graphical symmetry does an even function have?
Symmetric about the y-axis (mirror reflection).
What graphical symmetry does an odd function have?
180° rotational symmetry about the origin (point reflection).

What must be true about the domain for a function to be even or odd? :: The domain must be symmetric about the origin (if xx is in the domain, so is x-x).

Is f(x)=x42x2f(x) = x^4 - 2x^2 even, odd, or neither?
Even. f(x)=(x)42(x)2=x42x2=f(x)f(-x) = (-x)^4 - 2(-x)^2 = x^4 - 2x^2 = f(x).
Is g(x)=x5x3g(x) = x^5 - x^3 even, odd, or neither?
Odd. g(x)=(x)5(x)3=x5+x3=(x5x3)=g(x)g(-x) = (-x)^5 - (-x)^3 = -x^5 + x^3 = -(x^5 - x^3) = -g(x).
What is the product of two even functions?
Even. (e1e2)(x)=e1(x)e2(x)=e1(x)e2(x)(e_1 \cdot e_2)(-x) = e_1(-x) \cdot e_2(-x) = e_1(x) \cdot e_2(x).
What is the product of two odd functions?
Even. (o1o2)(x)=(o1(x))(o2(x))=o1(x)o2(x)(o_1 \cdot o_2)(-x) = (-o_1(x))(-o_2(x)) = o_1(x) \cdot o_2(x).
What is the product of an even and an odd function?
Odd. (eo)(x)=e(x)(o(x))=(eo)(x)(e \cdot o)(-x) = e(x) \cdot (-o(x)) = -(e \cdot o)(x).
What is the formula for the even part of a function f(x)f(x)?
feven(x)=f(x)+f(x)2f_{\text{even}}(x) = \frac{f(x) + f(-x)}{2}
What is the formula for the odd part of a function f(x)f(x)?
fodd(x)=f(x)f(x)2f_{\text{odd}}(x) = \frac{f(x) - f(-x)}{2}
Is cos(x)\cos(x) even or odd?
Even. cos(x)=cos(x)\cos(-x) = \cos(x).
Is sin(x)\sin(x) even or odd?
Odd. sin(x)=sin(x)\sin(-x) = -\sin(x).
What is aaf(x)dx\int_{-a}^{a} f(x) \, dx if ff is odd?
Zero. The areas cancel due to symmetry.
Can f(x)=xf(x) = \sqrt{x} be even or odd?
No. Domain [0,)[0, \infty) is not symmetric about the origin.

Concept Map

type

type

defined by

defined by

implies

implies

named after

named after

compute f of -x then compare

compare

else

Symmetry of functions

Even function

Odd function

f of -x = f of x

f of -x = -f of x

Symmetric about y-axis

Rotational symmetry 180 deg about origin

Even powers x^2 x^4

Odd powers x^1 x^3

Testing procedure

Neither

Hinglish (regional understanding)

Intuition Hinglish mein samjho

Hinglish (regional understanding)

Intuition Hinglish mein samjho

Dekho, even aur odd functions ka core idea sirf symmetry ke baare mein hai. Even function woh hota hai jaha aap x ki jagah -x daalo toh output same rehta hai, yaani f(-x) = f(x) — jaise x² mein negative daalne se bhi wahi answer aata hai. Iska matlab graph y-axis ke around mirror jaisa symmetric hota hai, jaise aap graph ko fold karo toh dono halves perfectly match ho jaate hain. Odd function mein x ki jagah -x daalne se output ka sign flip ho jaata hai, f(-x) = -f(x), aur graph origin ke around 180° rotate karne pe same dikhta hai. Naam "even" aur "odd" isliye pade kyunki even powers (x², x⁴) even functions hain aur odd powers (x³, x⁵) odd functions.

Ab testing bahut simple hai — bas f(-x) nikaalo, simplify karo, aur compare karo original f(x) se. Agar same aaya toh even, agar exact negative aaya toh odd, aur agar dono mein se kuch nahi toh "neither". Jaise x² + x mein x² even banana chahta hai par x odd, dono aapas mein fight karte hain, isliye koi overall symmetry nahi banti — matlab neither. Yeh mixing yaad rakhna important hai kyunki students yahi galti karte hain.

Yeh concept isliye matter karta hai kyunki symmetry ek natural shortcut hai — agar aapko function ka aadha pata hai toh poora pata chal jaata hai. Integration mein, especially definite integrals mein jo symmetric limits ke around hote hain, even/odd property se calculation aadha ho jaata hai (odd function ka symmetric integral toh directly zero ban jaata hai!). Isliye exams mein aur higher maths jaise Fourier analysis mein yeh cheez bar-bar kaam aayegi, toh iski intuition abhi se solid kar lo.

Go deeper — visual, from zero

Test yourself — Functions

Connections