Power Functions

12 min read

Textbook Reference

Both sources are free and openly licensed.

Try This First

Below are four graphs. Before reading the key concepts, match each graph description to a function from this list: $y = x^2$, $y = x^3$, $y = x^{1/2}$, $y = x^{1/3}$.

1. Graph A: passes through the origin, defined only for $x \geq 0$, always increasing, concave down.
2. Graph B: passes through the origin, defined for all real $x$, odd symmetry (rotational symmetry about the origin), inflection point at the origin.
3. Graph C: passes through the origin, defined for all real $x$, even symmetry (mirror symmetry across the $y$-axis), both ends go up.
4. Graph D: passes through the origin, defined for all real $x$, odd symmetry, steeper than Graph B for $|x| > 1$, flatter near the origin.

Which function goes with which graph? What specific feature of each function explains the matching?

Keep your answers. They will be useful when you reach the key concept on odd and even power functions.

Key idea

All power functions have the form $f(x) = x^p$ for some real exponent $p$. Yet the graphs of $x^2$, $x^3$, $x^{1/2}$, $x^{1/3}$, and $x^{-1}$ look quite different from one another. The exponent $p$ controls the domain, the symmetry, the behavior near zero, and the behavior for large inputs. Reading a power function means reading its exponent and drawing correct conclusions about all four of these properties.

Prerequisite Check

Before this lesson, make sure you can do all of the following:

• Compute $(-2)^3$, $(-2)^4$, $(-2)^{1/3}$, and $(-4)^{1/2}$ (or explain why the last one is not real)
• State the difference between even and odd functions (symmetry definitions)
• Simplify $x^{2/3}$ as both $(x^2)^{1/3}$ and $(x^{1/3})^2$
• Describe what $\sqrt[3]{x}$ means for negative $x$
• Evaluate $8^{2/3}$ and $27^{2/3}$

If any of these is uncertain, review exponent rules and the definition of even and odd functions before continuing.

Quick Reference

Definition. A power function is a function of the form $$ f(x) = x^p $$ where $p$ is a real number.

Three families:

Symmetry rules:

• $f(x) = x^p$ is even (symmetric across the $y$-axis) when $(-x)^p = x^p$, i.e., when $p$ is an even integer.
• $f(x) = x^p$ is odd (symmetric about the origin, $f(-x) = -f(x)$) when $(-x)^p = -x^p$, i.e., when $p$ is an odd integer or a ratio $p/q$ with both $p$ and $q$ odd.

Key Concepts

1. Integer Power Functions: $y = x^n$

When $n$ is a positive integer, $f(x) = x^n$ is defined for all real numbers.

Even powers ($n = 2, 4, 6, \ldots$). The output is always non-negative. The graph is symmetric across the $y$-axis (even function). Both ends go up. The graph is U-shaped with bottom at the origin.

Odd powers ($n = 1, 3, 5, \ldots$). The graph has rotational symmetry about the origin (odd function). One end goes up, the other goes down. The graph passes through the origin and may flatten there for higher odd powers.

Two representations, one idea.

Algebraic: $(-x)^{2k} = x^{2k}$ for any integer $k$ (even power gives same output for $x$ and $-x$). $(-x)^{2k+1} = -x^{2k+1}$ (odd power flips sign).

Graphical: Fold the graph of $x^{2k}$ along the $y$-axis and the two halves coincide. Rotate the graph of $x^{2k+1}$ by $180^\circ$ around the origin and it maps to itself.

Translation prompt: Write one sentence connecting the algebraic identity $(-x)^n = x^n$ (for even $n$) to the visual mirror symmetry of the graph. Then write the reverse: given a graph that is mirror symmetric across the $y$-axis, state what you can conclude about the formula.

Predict-then-check. Predict: does $f(x) = x^4$ grow faster or slower than $g(x) = x^2$ for $|x| > 1$?

Prediction: For $x > 1$, $x^4 = (x^2)^2 > x^2$ since $x^2 > 1$. So $x^4$ grows faster.

Check: At $x = 2$: $f(2) = 16$, $g(2) = 4$. At $x = 3$: $f(3) = 81$, $g(3) = 9$. Confirmed: $x^4$ grows much faster.

Near the origin: For $0 < x < 1$, $x^4 < x^2$ since squaring a number less than 1 makes it smaller. So $x^2$ is larger near zero, but $x^4$ overtakes it for $|x| > 1$.

2. Root Functions: $y = x^{1/n}$

The function $f(x) = x^{1/n} = \sqrt[n]{x}$ is the $n$th root function.

Even roots ($n = 2, 4, 6, \ldots$). Only defined for $x \geq 0$ (since no real even root of a negative number exists). The graph lives in the first quadrant, passing through $(0,0)$ and $(1,1)$. It is concave down and increasing.

Odd roots ($n = 3, 5, 7, \ldots$). Defined for all real $x$ (the cube root of a negative number is negative). The graph passes through the origin and has odd symmetry. It is concave up for $x < 0$, concave down for $x > 0$.

Why does $x^{1/2}$ require $x \geq 0$ but $x^{1/3}$ does not?

$\sqrt{x}$ asks for a real number $r$ such that $r^2 = x$. Since $r^2 \geq 0$ for all real $r$, this has no solution when $x < 0$.

$\sqrt[3]{x}$ asks for a real number $r$ such that $r^3 = x$. Since $r^3$ can be negative (when $r < 0$), this is solvable for any real $x$.

Ask why: Is $(-8)^{2/3}$ defined as a real number? Two interpretations:

• $(-8)^{2/3} = ((-8)^{1/3})^2 = (-2)^2 = 4$. Defined.
• $(-8)^{2/3} = ((-8)^2)^{1/3} = 64^{1/3} = 4$. Same answer.

Both approaches give 4. But $(-4)^{1/2} = \sqrt{-4}$ is not a real number: no real number squares to $-4$.

3. Rational Power Functions: $y = x^{p/q}$

Write the exponent in lowest terms as $p/q$ with $q > 0$.

• If $q$ is even: $x^{p/q}$ requires $x \geq 0$ (domain is $[0, \infty)$).
• If $q$ is odd: $x^{p/q}$ is defined for all real $x$.

The graph shape depends on whether the overall exponent $p/q$ is greater than 1, equal to 1, between 0 and 1, or negative.

Comparison of shapes through a table:

All of these pass through $(0,0)$ and $(1,1)$. The differences emerge for $x > 1$: higher exponents grow faster; exponents less than 1 grow slower than linear; exponents greater than 1 grow faster than linear.

Translation prompt: From the table, sketch rough graphs of all four functions on the interval $[0, 9]$ using the same axes. Then identify which function has the steepest slope at $x = 1$ (before any calculus: estimate from the table values near $x = 1$).

4. Behavior Near Zero and for Large Inputs

Power functions with $p > 0$ all pass through the origin and grow for large $x$. The differences in shape are determined by $p$:

• $p > 1$: graph is concave up for $x > 0$ (grows faster than linear, steepens as $x$ grows).
• $p = 1$: graph is a straight line through the origin.
• $0 < p < 1$: graph is concave down for $x > 0$ (grows slower than linear, flattens as $x$ grows).

Predict-then-check. Will $x^{3/4}$ grow faster or slower than $x^{5/6}$ for large $x > 1$?

Prediction: $3/4 = 0.75$ and $5/6 \approx 0.833$. Since $5/6 > 3/4$, $x^{5/6}$ has the higher exponent and grows faster for $x > 1$.

Check: At $x = 64$: $64^{3/4} = (64^{1/4})^3 = (2\sqrt{2})^3 \approx 22.6$ and $64^{5/6} = (64^{1/6})^5 = 2^5 = 32$. Indeed $32 > 22.6$.

Named Misconception

Misconception ID: iconic-graph

A student with an iconic-graph misconception treats the graph of $y = x^2$ as the prototype for all power functions: U-shaped, symmetric, both ends up. When asked to sketch $y = x^3$ or $y = x^{1/2}$, they may draw a U-shape with both ends pointing up, treating the parabola image as a generic “power function graph”.

Why this breaks: The graph of $y = x^3$ is an S-shape that passes through the origin with rotational symmetry, not mirror symmetry. One end goes up, the other goes down. The graph of $y = x^{1/2}$ exists only for $x \geq 0$ and is concave down, not a U-shape.

Small test: Sketch $y = x^5$ and $y = x^4$ on the same axes. They are both zero at the origin and both equal 1 at $x = 1$. For $0 < x < 1$: $x^5 < x^4$ (higher power of a number less than 1 is smaller). For $x > 1$: $x^5 > x^4$. For $x < 0$: $x^4 > 0$ (even power) while $x^5 < 0$ (odd power). These are not the same graph, and they are not the same shape as $y = x^2$.

Correct approach: For each power function, ask two questions before drawing: (1) Is the exponent an even integer, odd integer, or fractional? (2) Is the domain all reals or only non-negative reals? These two questions determine the symmetry and the domain of the graph.

Worked Example

Problem. For each function, state the domain, whether it is even or odd (or neither), and describe the shape of the graph for $x \geq 0$.

(a) $f(x) = x^6$ (b) $g(x) = x^{1/3}$ (c) $h(x) = x^{4/3}$ (d) $k(x) = x^{3/4}$

Step 1: Predict for each. Before computing:

• (a): Even positive integer exponent. Predict: even function, both ends up, domain all reals.
• (b): Odd integer denominator with numerator 1. Predict: odd function, domain all reals.
• (c): Exponent $4/3$; denominator is 3 (odd). Predict: domain all reals; exponent $> 1$, grows faster than linear for $x > 0$.
• (d): Exponent $3/4$; denominator is 4 (even). Predict: domain $[0, \infty)$; exponent $< 1$, grows slower than linear.

Step 2: Verify.

(a) $f(x) = x^6$: $f(-x) = (-x)^6 = x^6 = f(x)$. Even function. Domain: all reals. Both ends: $x^6 \to +\infty$. Shape for $x \geq 0$: starts at 0, concave up, steeper than $x^2$ for $x > 1$.

(b) $g(x) = x^{1/3}$: $g(-x) = (-x)^{1/3} = -x^{1/3} = -g(x)$. Odd function. Domain: all reals (cube root of any real number is real). Shape for $x \geq 0$: starts at 0, concave down, grows slower than linear.

(c) $h(x) = x^{4/3}$: $h(-x) = (-x)^{4/3} = ((-x)^{1/3})^4 = (-x^{1/3})^4 = x^{4/3} = h(x)$. Even function. Domain: all reals. Shape for $x \geq 0$: starts at 0, concave up (exponent $> 1$).

(d) $k(x) = x^{3/4}$: denominator 4 is even, so $(-x)^{3/4}$ is not real for $x > 0$. Domain: $[0, \infty)$ only. Not defined for $x < 0$, so even/odd does not apply. Shape: starts at 0, concave down (exponent $< 1$).

Step 3: Compare predictions to results. All predictions matched.

Common Errors

Common Misconceptions

Leveled Practice

Level 1 -- Direct Application

Problem 1. State the domain of each function and whether it is even, odd, or neither.

(a) $f(x) = x^7$ (b) $g(x) = x^{1/4}$ (c) $h(x) = x^{5/3}$

Problem 2. Evaluate each, or explain why it is not a real number.

(a) $(-8)^{1/3}$ (b) $(-9)^{1/2}$ (c) $(-32)^{3/5}$ (d) $16^{3/4}$

Problem 3. For $x > 1$, rank from slowest to fastest growth: $x^{1/3}$, $x^{1/2}$, $x^2$, $x^3$.

Level 2 -- Multiple Representations

Problem 4. Sketch rough graphs of $y = x^2$, $y = x^3$, $y = x^{1/2}$, and $y = x^{1/3}$ on the same axes for $x \in [-2, 4]$. Label each graph. Identify which quadrants each function occupies.

Problem 5. For $0 < x < 1$, is $x^2$ greater or less than $x^3$? Is $x^{1/2}$ greater or less than $x^{1/3}$? Explain without computing specific values.

Level 3 -- Extension

Problem 6 (Low Floor, High Ceiling). Compare the growth rates of $x^2$, $x^3$, and $e^x$ (the natural exponential, introduced in Section 1.2). Specifically, determine which of the following limits equals zero, and which equals infinity:

$$\lim_{x \to \infty} \frac{x^2}{e^x}, \qquad \lim_{x \to \infty} \frac{x^3}{e^x}, \qquad \lim_{x \to \infty} \frac{e^x}{x^{100}}.$$

Argue informally (you do not need L’Hopital’s rule yet) using a table of values.

Mastery Checklist

You have mastered this skill when you can do all of the following without referring to notes:

• State the domain of $x^{p/q}$ based on whether $q$ is even or odd
• Determine whether $x^p$ is even, odd, or neither and explain the symmetry
• Rank power functions by growth rate for $x > 1$ and for $0 < x < 1$
• Evaluate $x^{p/q}$ for simple values using roots and powers in either order
• Sketch rough graphs of $x^2$, $x^3$, $x^{1/2}$, $x^{1/3}$ and label their key features
• Explain why $(-a)^{1/2}$ is not real but $(-a)^{1/3}$ is, for $a > 0$
• Distinguish between the function $x^p$ (power function) and $p^x$ (exponential function)

Mental Model

Think of the exponent $p$ as a dial that controls the “aggressiveness” of growth. Turning $p$ up past 1 makes the function curve upward more steeply for large $x$ (concave up). Turning $p$ below 1 (toward 0) makes the function curve upward less steeply (concave down), flattening out as $x$ grows. At $p = 1$, the function is linear.

The sign of $p$ and its even/odd nature determine the symmetry. Even integer exponents fold the negative side onto the positive side (mirror symmetry). Odd integer exponents flip the negative side to negative outputs (rotational symmetry). Fractional exponents with an even denominator cut off the negative domain entirely.

The key question to ask of any power function is not “what does it look like?” but “what are its two properties: the exponent’s size relative to 1, and the exponent’s symmetry type?” Those two pieces of information determine the shape.

Connections

Within Chapter 1

• Polynomial functions: Polynomials are sums of power functions with non-negative integer exponents. The individual terms $a_k x^k$ are power functions; the polynomial is their sum.
• Algebraic functions: Square roots, cube roots, and combinations of root functions and polynomials are algebraic functions built from power functions with fractional exponents.
• Exponential functions: Power functions $x^p$ have a fixed exponent and a variable base. Exponential functions $b^x$ have a fixed base and a variable exponent. They are fundamentally different, and for large $x$, the exponential grows much faster.

Toward Later Calculus

• Power rule for derivatives (Chapter 3): The derivative of $x^p$ is $p x^{p-1}$. This rule works for all real $p$ (positive, negative, fractional), and it is the single most frequently used differentiation rule.
• Inverse functions (Chapter 1, later): The function $x^{1/n}$ is the inverse of $x^n$ (on the appropriate domain). The relationship between a function and its inverse will appear again when logarithms are introduced as inverses of exponentials.
• Improper integrals (Chapter 5, 6): Whether $\int_1^\infty x^p \, dx$ converges depends on $p$. For $p < -1$ it converges; for $p \geq -1$ it diverges. The behavior of power functions at infinity determines the outcome.

Audience Notes

For students who find the fractional exponent rules confusing: Focus on the denominator of the exponent. The denominator tells you which root you are taking. If the denominator is even, the root requires a non-negative input. If the denominator is odd, the root is defined for any real input. The numerator then tells you the power applied after taking the root.

For students who want to go further: The distinction between $x^p$ for rational $p$ and $x^p$ for irrational $p$ is not trivial. For irrational $p$ (such as $x^\pi$), the function is defined for $x > 0$ using the relation $x^p = e^{p \ln x}$. The analysis of such functions belongs to the chapter on exponential and logarithmic functions.

Back to Chapter 1 Skills | Previous: Rational Functions | Next: Linear Models