Algebraic Functions
Textbook Reference
| Primary source | OpenStax Calculus Volume 1, Section 1.2: “Basic Classes of Functions” |
| Direct link | https://openstax.org/books/calculus-volume-1/pages/1-2-basic-classes-of-functions |
| Supplementary | OpenStax Precalculus 2e, Section 3.7: “Inverses and Radical Functions” |
| Supplementary link | https://openstax.org/books/precalculus-2e/pages/3-7-inverses-and-radical-functions |
Both sources are free and openly licensed.
Try This First
Consider the following three functions:
$$f(x) = \sqrt{x - 3}, \qquad g(x) = \frac{x+1}{\sqrt{x+2}}, \qquad h(x) = \sqrt[3]{x^2 - 4x + 4}.$$
Before reading anything below, attempt to answer:
- For each function, which inputs are allowed? Which are excluded?
- For each function, compute (or explain why you cannot) the output at $x = 3$, $x = 0$, $x = -2$.
- What operation, if removed from each formula, would make the domain all real numbers?
Write down your reasoning. This exercise will orient the key concept on domain restrictions from roots.
Key idea
Algebraic functions are built from polynomials using the four arithmetic operations (addition, subtraction, multiplication, division) and the operation of taking roots. Each of these operations is familiar. Two facts make these functions harder than polynomials: taking an even root of a negative number is not defined in the real numbers, and dividing by zero is not allowed. These two facts impose restrictions on the domain that must be identified before the function can be used.
The key skill is not just finding the domain -- it is understanding why the domain has those restrictions, so that similar functions encountered later can be analyzed the same way.
Prerequisite Check
Before this lesson, make sure you can do all of the following:
If any of these is uncertain, review Rational Functions and Power Functions first.
Quick Reference
Definition. An algebraic function is a function that can be built from polynomials using the operations of addition, subtraction, multiplication, division, and taking $n$th roots (for positive integer $n$).
Domain restrictions come from two sources:
| Source | Restriction |
|---|---|
| Even root $\sqrt[2k]{\cdot}$ | The expression inside the root must be $\geq 0$ |
| Division | The denominator must be $\neq 0$ |
Identifying the domain: two-step process.
- Find all expressions under even roots. Set each one $\geq 0$ and solve. These give lower bounds on the domain.
- Find all denominators. Set each one $\neq 0$ and solve. These give excluded points.
- The domain is the set of all real numbers satisfying all inequalities from step 1 and all exclusions from step 2.
Key Concepts
1. What Makes a Function Algebraic?
A function is algebraic if it can be obtained from polynomials by a finite number of the four arithmetic operations and the extraction of roots.
Algebraic or not?
| Function | Algebraic? | Reason |
|---|---|---|
| $\sqrt{x^2 + 1}$ | Yes | Square root of a polynomial |
| $\dfrac{x^3 - 1}{\sqrt{x+2}}$ | Yes | Quotient of polynomial and root of polynomial |
| $\sqrt[5]{x^3 - x}$ | Yes | Fifth root of a polynomial (odd root) |
| $2^x$ | No | Variable in the exponent; not a root or polynomial operation |
| $\log(x)$ | No | Logarithm; not built from polynomial operations |
| $\sin(x)$ | No | Trigonometric function; not algebraic |
Polynomials and rational functions are both special cases of algebraic functions. All polynomials are algebraic (they require no roots and no division by a variable). All rational functions are algebraic (division is allowed). Algebraic functions are the broader class that includes all of these, plus functions involving roots.
The functions that are not algebraic -- exponentials, logarithms, trigonometric functions -- are called transcendental functions. They require operations genuinely beyond arithmetic and roots.
2. Domain Restrictions from Even Roots
The even root $\sqrt[2k]{A}$ (square root, fourth root, sixth root, ...) is defined as a real number only when $A \geq 0$.
Why: A real number squared is always non-negative. So $\sqrt{A}$ asks for a real number $r$ with $r^{2k} = A$; this requires $A \geq 0$.
Odd roots have no restriction. The odd root $\sqrt[2k+1]{A}$ is defined for all real $A$, including $A < 0$, because odd powers of negative numbers are negative.
Predict-then-check. For $f(x) = \sqrt{2x - 8}$, predict the domain before solving.
Prediction: The expression inside the square root is $2x - 8$. For this to be non-negative, $2x - 8 \geq 0$, which means $x \geq 4$. Predict: domain is $[4, \infty)$.
Check: $f(4) = \sqrt{0} = 0$. Defined. $f(3) = \sqrt{-2}$. Not real. $f(10) = \sqrt{12} = 2\sqrt{3}$. Defined. Prediction correct.
3. Finding the Domain: Step-by-Step Examples
Example 1. Find the domain of $f(x) = \sqrt{x^2 - 5x + 6}$.
Step 1: Set the radicand $\geq 0$: $x^2 - 5x + 6 \geq 0$.
Step 2: Factor: $(x-2)(x-3) \geq 0$.
Step 3: The product of two factors is non-negative when both are non-negative or both are non-positive.
Both $\geq 0$: $x \geq 3$. Both $\leq 0$: $x \leq 2$.
Domain: $(-\infty, 2] \cup [3, +\infty)$.
Example 2. Find the domain of $g(x) = \dfrac{\sqrt{x+1}}{x - 4}$.
Step 1: Root restriction. Inside the root: $x + 1 \geq 0 \implies x \geq -1$.
Step 2: Denominator restriction. $x - 4 \neq 0 \implies x \neq 4$.
Combine: $x \geq -1$ and $x \neq 4$.
Domain: $[-1, 4) \cup (4, +\infty)$.
Example 3. Find the domain of $h(x) = \sqrt[3]{x^2 - 4}$.
Odd root -- no restriction on the radicand. The cube root of any real number is real.
Domain: all real numbers $(-\infty, +\infty)$.
Two representations, one idea.
Algebraic: Solve $x + 1 \geq 0$ to get $x \geq -1$.
Graphical: The graph of $g(x) = \dfrac{\sqrt{x+1}}{x-4}$ starts at $x = -1$ (left endpoint of the domain) and has a gap (vertical asymptote) at $x = 4$.
Translation prompt: Draw a number line and mark the domain of $g$ from Example 2. Then, looking only at the number line, write down the two algebraic conditions (root restriction and denominator restriction) that produced it.
4. Simplifying Square Root Expressions
Two operations that look similar but are not always equal:
$$\sqrt{x^2} \quad \text{and} \quad (\sqrt{x})^2$$
$\sqrt{x^2} = |x|$ for all real $x$. The square root always gives a non-negative output, so it equals $|x|$, not $x$.
$(\sqrt{x})^2 = x$ only for $x \geq 0$. If $x < 0$, $\sqrt{x}$ is not defined, so the expression $(\sqrt{x})^2$ is not defined either.
Example. Simplify $\sqrt{(x-3)^2}$.
Answer: $\sqrt{(x-3)^2} = |x - 3|$.
For $x \geq 3$: $|x-3| = x-3$. For $x < 3$: $|x-3| = 3-x$.
Ask why: A common error is to write $\sqrt{(x-3)^2} = x-3$ without the absolute value. Test at $x = 1$: $\sqrt{(1-3)^2} = \sqrt{4} = 2$, but $x - 3 = 1 - 3 = -2$. These are not equal. The absolute value is required because the square root output is always non-negative.
5. Algebraic Functions and the Covariation Perspective
Understanding an algebraic function means understanding how the output changes as the input changes, especially near the boundary of the domain.
Example. Let $f(x) = \sqrt{x - 4}$.
- At $x = 4$: $f(4) = 0$. The function starts here.
- As $x$ increases from 4, the output increases (but slowly at first: $\sqrt{x-4}$ grows like a root function, slower than linear).
- As $x$ approaches 4 from above ($x \to 4^+$): $f(x) \to 0$. The output approaches 0 smoothly.
Numerical table:
| $x$ | $4$ | $4.01$ | $4.1$ | $5$ | $8$ | $13$ |
|---|---|---|---|---|---|---|
| $f(x)$ | $0$ | $0.1$ | $0.316$ | $1$ | $2$ | $3$ |
Translation prompt: From the table, estimate how much $f(x)$ changes when $x$ increases from 4 to 5, versus when $x$ increases from 8 to 13. The same increase of 5 in $x$ produces different changes in $f(x)$: this tells you the function is not linear. Describe the pattern: is $f$ growing faster near the left end of its domain or far from it?
Named Misconception
Misconception ID: input-output-confusion
Some students forget that the restriction on even roots applies to the expression inside the root (the input to the root operation), not to the output. A student with this confusion might write “the domain of $f(x) = \sqrt{x-3}$ excludes $x$ where $f(x) < 0$”, reasoning that “square roots cannot be negative”. This reasoning is backwards.
Square roots are never negative (by definition: $\sqrt{a} \geq 0$ for $a \geq 0$). The restriction is on the input to the square root: we need $x - 3 \geq 0$ because we need the radicand to be non-negative, not because we are worried about the output being negative.
Why this matters in practice: A student with this confusion might try to solve $\sqrt{x - 3} \geq 0$ (always true for any $x$ in the domain) instead of $x - 3 \geq 0$ (the correct domain condition). The mistake leads to believing there is no restriction, missing the domain constraint entirely.
Correct reasoning: The expression inside an even root must be non-negative. This is a restriction on the input $x$, which becomes a restriction on the domain.
Small test: What is the domain of $f(x) = \sqrt{4 - x^2}$? The radicand $4 - x^2$ must be $\geq 0$: $x^2 \leq 4$, so $-2 \leq x \leq 2$. The domain is $[-2, 2]$. Notice that $f(0) = 2$ (positive output) and $f(1) = \sqrt{3}$ (positive output). The issue is not the sign of the output; it is the sign of the expression inside the root.
Worked Example
Problem. Find the domain of $F(x) = \dfrac{\sqrt{3 - x}}{x^2 - x - 2}$ and describe the graph near each boundary of the domain.
Step 1: Identify restrictions.
Root: Expression inside root: $3 - x \geq 0 \implies x \leq 3$.
Denominator: $x^2 - x - 2 = (x-2)(x+1) \neq 0 \implies x \neq 2$ and $x \neq -1$.
Step 2: Combine. $x \leq 3$ and $x \neq 2$ and $x \neq -1$.
Step 3: Write in interval notation.
$(-\infty, -1) \cup (-1, 2) \cup (2, 3]$.
Step 4: Describe behavior near each boundary.
At $x = 3$ (right endpoint of domain): $\sqrt{3 - x} \to 0$ and denominator $\to (3-2)(3+1) = 4 \neq 0$, so $F(3) = 0/4 = 0$. The graph reaches the point $(3, 0)$.
At $x = 2$ (denominator zero): $\sqrt{3-2} = 1$ and denominator $\to 0$. The numerator stays near 1 while the denominator shrinks to 0. $F(x) \to \pm \infty$. Vertical asymptote at $x = 2$.
At $x = -1$ (denominator zero): $\sqrt{3-(-1)} = 2$ and denominator $\to 0$. Again a vertical asymptote at $x = -1$.
As $x \to -\infty$: $\sqrt{3-x} \to +\infty$ and denominator $\to +\infty$ (like $x^2$). The ratio $\sqrt{3-x}/x^2 \approx \sqrt{-x}/x^2 = |x|^{1/2}/x^2 = 1/|x|^{3/2} \to 0$. The function approaches 0 as $x \to -\infty$.
Step 5: Check prediction by computing $F(-3)$. $$ F(-3) = \frac{\sqrt{3-(-3)}}{(-3)^2 - (-3) - 2} = \frac{\sqrt{6}}{9 + 3 - 2} = \frac{\sqrt{6}}{10} \approx 0.245. $$ Near zero, consistent with long-run behavior approaching 0.
Common Errors
| Error | Example | Correction |
|---|---|---|
| Applying domain restriction to odd roots | “Domain of $\sqrt[3]{x-4}$ is $x \geq 4$” | Odd roots are defined for all real inputs; domain is all real numbers |
| Missing denominator zeros when root is present | Domain of $\frac{\sqrt{x+1}}{x-4}$: “just $x \geq -1$” | Must also exclude $x = 4$ where denominator is zero |
| Writing $\sqrt{x^2} = x$ without absolute value | “$\sqrt{(-3)^2} = -3$” | $\sqrt{(-3)^2} = \sqrt{9} = 3 = |-3|$; use $\sqrt{x^2} = |x|$ |
| Confusing the restriction on the radicand with the sign of the output | “Domain excludes where $f(x) < 0$, but square roots are never negative, so no restriction” | The restriction is on the input to the root, not the output |
| Forgetting that equality is allowed in the domain | “Domain of $\sqrt{x-4}$ is $x > 4$” | $x = 4$ gives $\sqrt{0} = 0$, which is defined; domain is $x \geq 4$, i.e., $[4, \infty)$ |
Common Misconceptions
the domain restriction for a square root comes from where the output is negative.
This is the input-output-confusion error. The restriction $x - 4 \geq 0$ comes from the INPUT to the radical -- the expression inside must be nonnegative. The output of a square root is always nonnegative (or zero) by definition. Students who try to restrict domain by asking “where is $f(x) < 0$?” are testing the output, not the input, and will exclude valid points while missing the actual constraint.
Leveled Practice
Level 1 -- Direct Application
Problem 1. Find the domain of each function.
(a) $f(x) = \sqrt{5 - 2x}$ (b) $g(x) = \sqrt[4]{x + 7}$ (c) $h(x) = \sqrt[3]{x^2 - 9}$
Show answer
(a) $5 - 2x \geq 0 \implies x \leq 5/2$. Domain: $(-\infty, 5/2]$.
(b) Fourth root is an even root; $x + 7 \geq 0 \implies x \geq -7$. Domain: $[-7, +\infty)$.
(c) Cube root is an odd root; no restriction on radicand. Domain: all real numbers $(-\infty, +\infty)$.
Problem 2. Simplify each expression, being careful about absolute values.
(a) $\sqrt{(x+5)^2}$ (b) $(\sqrt{2x-1})^2$
Show answer
(a) $\sqrt{(x+5)^2} = |x+5|$. For $x \geq -5$: equals $x+5$. For $x < -5$: equals $-(x+5) = -x-5$.
(b) $(\sqrt{2x-1})^2 = 2x-1$, valid only for $x \geq 1/2$ (domain of $\sqrt{2x-1}$).
Problem 3. Find the domain of $k(x) = \dfrac{x}{\sqrt{x^2 - 9}}$.
Show answer
Root restriction: $x^2 - 9 > 0$ (strictly greater, because it is also in the denominator and cannot be zero).
$x^2 > 9 \implies |x| > 3 \implies x < -3$ or $x > 3$.
Domain: $(-\infty, -3) \cup (3, +\infty)$.
Note: $x = \pm 3$ is excluded both because the radicand equals zero there (square root equals zero) and because it makes the denominator zero.
Level 2 -- Multiple Representations
Problem 4. For $f(x) = \sqrt{x^2 - 4x - 5}$:
(a) Find the domain algebraically. (b) Verify by checking values at $x = -2$, $x = 0$, $x = 6$. (c) Describe the behavior of $f(x)$ as $x \to 5^+$ (approaches 5 from the right).
Show answer
(a) $x^2 - 4x - 5 \geq 0$. Factor: $(x-5)(x+1) \geq 0$.
Both factors non-negative: $x \geq 5$. Both non-positive: $x \leq -1$.
Domain: $(-\infty, -1] \cup [5, +\infty)$.
(b) $x = -2$: radicand $= 4 + 8 - 5 = 7 > 0$. Defined: $f(-2) = \sqrt{7}$. ($-2 \leq -1$: in domain. Consistent.)
$x = 0$: radicand $= 0 - 0 - 5 = -5 < 0$. Not defined. ($0$ is between $-1$ and $5$: outside domain. Consistent.)
$x = 6$: radicand $= 36 - 24 - 5 = 7 > 0$. Defined: $f(6) = \sqrt{7}$. (In domain.)
(c) As $x \to 5^+$: radicand $= (x-5)(x+1) \to (0^+)(6) = 0^+$. So $f(x) \to \sqrt{0^+} = 0$. The function approaches 0 from above as $x$ approaches 5 from the right.
Problem 5. Explain why $f(x) = \sqrt{x^2 + 1}$ has domain equal to all real numbers, even though the square root is present.
Show answer
The expression inside the square root is $x^2 + 1$. Since $x^2 \geq 0$ for all real $x$, we have $x^2 + 1 \geq 1 > 0$ for all real $x$.
The radicand is always positive, so the square root is always defined. There is no value of $x$ that makes the expression inside the root negative.
Domain: all real numbers.
This is an important example: not every function involving a square root has a restricted domain. The domain restriction arises only when the radicand can be negative for some inputs.
Level 3 -- Extension
Problem 6 (Low Floor, High Ceiling). Classify each of the following functions as algebraic or transcendental. For each algebraic function, find the domain. For each transcendental function, explain why it cannot be built from polynomials using arithmetic and roots alone.
(a) $f(x) = x^{2/3} - \sqrt{x+4}$ (b) $g(x) = \dfrac{x^4 - 1}{(x^2 + 1)^{3/2}}$ (c) $h(x) = e^x - x^2$ (d) $k(x) = \sin(x) \cdot x^3$
Show answer
(a) $f(x) = x^{2/3} - \sqrt{x+4}$: Algebraic. $x^{2/3}$ is a root of a polynomial; $\sqrt{x+4}$ is a square root of a polynomial.
Domain: $x^{2/3}$ has denominator 3 (odd), so all real $x$ allowed. $\sqrt{x+4}$ requires $x + 4 \geq 0$, so $x \geq -4$.
Combined domain: $[-4, +\infty)$.
(b) $g(x) = \dfrac{x^4-1}{(x^2+1)^{3/2}}$: Algebraic. Polynomial divided by a power of a polynomial.
Domain: denominator $(x^2+1)^{3/2}$. Since $x^2 + 1 \geq 1 > 0$ for all real $x$, the denominator is never zero. No root restriction since we are taking the $3/2$ power of a positive expression. Domain: all real numbers.
(c) $h(x) = e^x - x^2$: Transcendental. The term $e^x$ is an exponential function. It cannot be expressed as a root of any polynomial because exponential functions grow faster than any polynomial (and no finite combination of polynomial operations can produce that growth rate).
(d) $k(x) = \sin(x) \cdot x^3$: Transcendental. The term $\sin(x)$ is a trigonometric function. It cannot be expressed using only polynomial operations and roots (though it can be approximated by polynomials using Taylor series, it is not exactly equal to any algebraic function).
Mastery Checklist
You have mastered this skill when you can do all of the following without referring to notes:
Mental Model
Think of an algebraic function as a machine built from a finite set of allowed operations: add, subtract, multiply, divide, and extract roots. At each step, the machine processes the input and produces an intermediate result. The domain is the set of inputs for which every step in the machine succeeds -- no even root of a negative number, no division by zero.
The restrictions are local: they depend on what specific value of $x$ is fed in. For some inputs, the machine runs without error; for others, it gets stuck at a step where an even root would require a negative input or a division would require dividing by zero.
The complement of the domain -- the inputs where the machine fails -- is determined by solving the inequality “radicand $\geq 0$” for each even root and the equation “denominator $= 0$” for each fraction.
Connections
Within Chapter 1
- Polynomial and rational functions: All polynomials and rational functions are algebraic. This lesson extends the domain-analysis skills learned for rational functions to include root restrictions.
- Power functions: Power functions $x^{p/q}$ with even denominators $q$ impose the same root restrictions as even root functions. The analysis is the same.
Toward Later Calculus
- Chain rule (Chapter 3): Differentiating algebraic functions like $f(x) = \sqrt{x^2 + 1}$ requires the chain rule: the derivative of the outer function (the square root) composed with the inner function ($x^2 + 1$). Recognizing the nested structure of algebraic functions is a prerequisite for applying the chain rule correctly.
- Continuity (Chapter 2): An algebraic function is continuous on its domain. Near the boundary of the domain (for example, as $x \to a^+$ where $a$ is the left endpoint of the domain), the function may approach a boundary value continuously. Analyzing this behavior is a preview of limit computation.
- Integration (Chapter 5): Algebraic functions are frequently integrated by substitution or trigonometric substitution. Recognizing a function as $\sqrt{a^2 - x^2}$ (a semicircle) and connecting it to the geometric area formula is an important integration technique.
Audience Notes
For students who find domain restrictions confusing: Build the habit of always asking two questions: (1) Are there any even roots? (2) Are there any denominators? If the answer to both is no, the domain is all real numbers. If the answer to either is yes, set up and solve the relevant inequalities or equations.
For students who want to go further: The boundary between algebraic and transcendental functions is not always obvious. A famous result (Hermite 1873, Lindemann 1882) shows that $e$ and $\pi$ are transcendental numbers (not roots of any polynomial with rational coefficients). This implies that $e^x$ and $\sin(x)$ cannot be algebraic functions. The proof uses deep results from number theory.
Back to Chapter 1 Skills | Previous: Linear Models | Next: Exponential Functions