Unit 1Existence of Zeros/Roots
Concept 4.95Built for May 2027 AP Exam

Existence of Zeros/Roots

Reviewed by ACEpath AP Math Editorial Team

Last Updated: September 2026

30-second summary

An equation becomes an existence question as soon as it is written with zero on one side. "Solve f(x)=kf(x) = k" is the same demand as "find a zero of g(x)=f(x)−kg(x) = f(x) - k", and the second form is the one the intermediate value theorem can address. The engine is a sign change: if gg is continuous on [a,b][a, b] and g(a)g(a) and g(b)g(b) have opposite signs, then g(a)<0<g(b)g(a) < 0 < g(b) or the reverse, so 00 lies between the endpoint values and some cc in (a,b)(a, b) has g(c)=0g(c) = 0. That argument proves a root exists. It never locates the root, it never counts the roots, and it never rules one out: matching signs at the two ends say nothing at all, because a continuous curve may dip across the axis and come back.

On the AP Exam

Root-existence items are justification items in disguise, and the exam scores them line by line. The typical free-response part defines a continuous function, asks you to show that an equation has a solution, and expects the interval, the two signed values, the inequality that brackets zero, and the theorem named. A second part usually asks whether the root is unique, which the theorem cannot answer, so the response must either supply an extra monotonicity argument or say plainly that uniqueness is not established. Multiple choice compresses the same reasoning into one step and offers the classic distractors: an interval whose endpoint values share a sign, an interval where the function is not continuous, and a claim that the root is the midpoint of the bracket.

What you’ll see
Cubic and trigonometric equations, constants moved to one side, intervals chosen so that the signs disagree, and follow-up parts asking about uniqueness or about a second root.
What you’ll do
Move everything to one side, name the new function, verify continuity on the closed interval, compute the two endpoint values, show the sign change, then invoke the theorem and stop.
Memory hook
One side, one zero, one sign change. Move the constant, name the function, show the flip.
Use it on the exam
For MCQs: Compute the two endpoint values of the interval given in each option. An interval whose values share a sign cannot be certified by the theorem, however plausible the graph looks. For FRQs: Define the auxiliary function explicitly. "Let g(x)=cos⁡x−x−0.5g(x) = \cos x - x - 0.5. Then gg is continuous on [0,1][0, 1], g(0)=0.5>0g(0) = 0.5 > 0, and g(1)≈−0.96<0g(1) \approx -0.96 < 0, so by the intermediate value theorem g(c)=0g(c) = 0 for some cc in (0,1)(0, 1)" is a complete answer, and it is only complete because gg was named.

Concept Review

From Equation to Zero

Every existence question can be rewritten so that the unknown sits inside a single function compared with zero. The rewriting is not cosmetic: it produces the function whose signs are about to be checked.

Original questionAuxiliary functionWhat a zero of it means
f(x)=kf(x) = kg(x)=f(x)−kg(x) = f(x) - kThe equation has a solution
f(x)=g(x)f(x) = g(x)h(x)=f(x)−g(x)h(x) = f(x) - g(x)The two curves meet
x3+x=1x^{3} + x = 1g(x)=x3+x−1g(x) = x^{3} + x - 1A root of the original equation
cos⁡x=x\cos x = xg(x)=cos⁡x−xg(x) = \cos x - xA fixed point of the cosine

The auxiliary function inherits continuity from its pieces, so a sum or difference of continuous functions needs no separate argument. That inheritance is worth one sentence in a written response, and it is often the sentence that carries the first point.

The Sign Change Is the Engine

Once the auxiliary function exists, the theorem does the rest, provided the two endpoint values disagree in sign.

  1. Continuity on the closed interval. Any break inside the interval voids the argument, so the interval must avoid points where the function jumps.
  2. Two endpoint values with opposite signs. This is exactly the condition "00 lies between g(a)g(a) and g(b)g(b)" written in the form that is easiest to check.
  3. The conclusion. There is at least one cc in (a,b)(a, b) with g(c)=0g(c) = 0, which is the solution of the original equation.

Figure 1 — Sign change versus matching signs.

Caption. In the left panel the endpoint values share a sign and the curve never meets the axis, so nothing is promised. In the right panel the values have opposite signs and the curve must cross, because a continuous path from a positive height to a negative one has no route around zero. One panel is silence, the other is a proof.

Two panels side by side: on the left a continuous curve stays above the axis with positive values at both ends, on the right a continuous curve starts above the axis and ends below it, crossing once

What the Sign Change Does Not Buy

No location. The theorem certifies a root inside the interval and says nothing about where. Halving the interval repeatedly narrows the bracket, but each halving is a new application with new endpoint values, not a consequence of the first one.

No count. A continuous function may cross the axis once or many times inside the same bracket. Both satisfy the hypothesis.

No exclusion. Matching signs at the two ends do not imply the absence of a root. The curve may cross the axis twice and return to the same side, and the theorem is silent about that possibility. This asymmetry is the most common logical error on the topic: a sign change is sufficient for existence, while the absence of a sign change is not sufficient for non-existence.

No uniqueness without extra work. If a response needs to claim exactly one root, it must add an argument that the function cannot turn around, such as both terms increasing on the interval. The theorem by itself never supplies that.

Topic-Specific Study Method

The Auxiliary-Function Routine

Borrowed idea: A zero of a function is a solution of an equation, and that single translation is what makes the theorem usable. Every equation can be pushed into the form something equals zero. What is left is an existence question about a continuous function. The sign at each end is the only evidence the theorem needs, because a continuous curve cannot travel from a negative height to a positive height without passing through zero somewhere in between. Stop. That is the entire argument, and it is short. What it does not deliver is just as important: no location, no count, and no exclusion, since a function with matching signs at both ends may still cross the axis twice before returning to the height it started from.

  1. Move everything to one side and give the result a name. The name is used in every following sentence, and on free response the definition is a scored line.
  2. State continuity on the closed interval. For polynomials this is one clause; for quotients, exclude the values where the denominator vanishes.
  3. Evaluate both endpoints, with the arithmetic visible. A reader should be able to check the signs without recomputing anything.
  4. Write the inequality that brackets zero. "g(1)=−2<0<g(2)=7g(1) = -2 < 0 < g(2) = 7" is the compressed form, and it carries the whole argument.
  5. Invoke the theorem and translate back. The zero of gg is the solution of the original equation, and saying so closes the loop.
  6. Stop before uniqueness. If the item asks for it, add a separate monotonicity sentence rather than attaching the word "unique" to the theorem.
EquationAuxiliary functionIntervalEndpoint signsVerdict
x3+x=1x^{3} + x = 1g(x)=x3+x−1g(x) = x^{3}+x-1[0,1][0, 1]−1-1 and 11Root exists, and it is unique since both terms increase
cos⁡x=x\cos x = xg(x)=cos⁡x−xg(x) = \cos x - x[0,1][0, 1]11 and −0.46-0.46Root exists
cos⁡x=x\cos x = xg(x)=cos⁡x−xg(x) = \cos x - x[2,3][2, 3]Both negativeNo conclusion
f(x)=kf(x) = k with f(1)=3f(1) = 3, f(5)=9f(5) = 9g(x)=f(x)−6g(x) = f(x) - 6[1,5][1, 5]−3-3 and 33Root exists
f(x)=kf(x) = k with f(1)=3f(1) = 3, f(5)=9f(5) = 9g(x)=f(x)−12g(x) = f(x) - 12[1,5][1, 5]Both negativeNo conclusion

Training & Error Diagnosis

Core Archetype (Simplest Form): Show that x3+x−1=0x^{3} + x - 1 = 0 has a solution in (0,1)(0, 1).

Standard Execution:

  1. Name the function. Let g(x)=x3+x−1g(x) = x^{3} + x - 1, which is a polynomial and therefore continuous on [0,1][0, 1].
  2. Endpoint values. g(0)=−1g(0) = -1 and g(1)=1g(1) = 1.
  3. Sign change. Since g(0)<0<g(1)g(0) < 0 < g(1), zero lies between the endpoint values.
  4. Conclude. By the intermediate value theorem there is a cc in (0,1)(0, 1) with g(c)=0g(c) = 0, so the equation has a solution there.

Exam Variation (Context / Parameter Shift): Show that cos⁡x=x+0.5\cos x = x + 0.5 has a solution in (0,1)(0, 1).

Solution: Let g(x)=cos⁡x−x−0.5g(x) = \cos x - x - 0.5. The cosine and the polynomial are continuous, so gg is continuous on [0,1][0, 1]. Then g(0)=1−0−0.5=0.5>0g(0) = 1 - 0 - 0.5 = 0.5 > 0, and g(1)=cos⁡1−1−0.5≈0.540−1.5=−0.96<0g(1) = \cos 1 - 1 - 0.5 \approx 0.540 - 1.5 = -0.96 < 0. Since the endpoint values have opposite signs, the intermediate value theorem gives a cc in (0,1)(0, 1) with g(c)=0g(c) = 0, which means cos⁡c=c+0.5\cos c = c + 0.5. The bracket is now evidence for one solution and no evidence about how many others exist.

Common Traps & Failure Signals:

  1. The un-moved constant (Signal: f(x)f(x) substituted into the theorem while the target is kk): the auxiliary function is missing, so the sign check is being performed on the wrong values.
  2. The false exclusion (Signal: "the values have the same sign, so there is no root"): matching signs are silence, not a denial.
  3. The claimed midpoint (Signal: the answer equals a+b2\frac{a+b}{2}): the theorem supplies existence, and the midpoint is a guess dressed as a conclusion.

6D Cognitive Error Diagnosis (Where Your Thinking Broke):

  • No Auxiliary: You tested the wrong function's signs.
  • Sign Comfort: You treated "same sign at both ends" as evidence of absence, when the theorem only ever runs in one direction and the opposite direction requires a separate argument about the shape of the curve.
  • Uniqueness Smuggling: You added the word "unique" to a conclusion the theorem cannot support, usually because the sketch you drew by hand had a single crossing and the sketch, not the hypothesis, became the basis of the claim.

Past 10-Year AP Exam Appearance

Testing Frequency
Rare in FRQs
Paired with the theorem inside one item
10-Year Total Count
2 of 9 Exams · 2 FRQ Parts
Auxiliary function, sign change, then existence
FRQ Years Appeared
2022 (Q4b), 2026 (Q1d)

Practice Examples

MCQ 1

Locating a Bracket

Let f(x)=x3−2x−5f(x) = x^{3} - 2x - 5. Which interval must contain a zero of ff?

MCQ 2

Matching Signs

A function gg is continuous on [0,3][0, 3] with g(0)=2g(0) = 2 and g(3)=2g(3) = 2. Which conclusion follows?

MCQ 3

Existence and Uniqueness Together

Let g(x)=x3+x−1g(x) = x^{3} + x - 1. Which statement is best supported by the given information?

FRQ 4

A Root, a Silence, and a Second Equation

Let f(x)=cos⁡x−xf(x) = \cos x - x.

(a) Show that ff has a zero in the interval (0,1)(0, 1).

(b) Explain why the same reasoning does not establish a zero in (2,3)(2, 3), and state what can and cannot be concluded there.

(c) Show that the equation cos⁡x−x=0.5\cos x - x = 0.5 has a solution in (0,1)(0, 1).

(d) A student claims that ff has exactly one zero in (0,1)(0, 1) because the values at the endpoints have opposite signs. Explain what is missing from that reasoning.

Cheatsheet

Zeros and Roots

What to writeWhy
RewriteLet g(x)=f(x)−kg(x) = f(x) - kThe theorem needs a zero, not a target value
Continuity"gg is continuous on [a,b][a, b]"The hypothesis must be named
Valuesg(a)=…g(a) = \ldots, g(b)=…g(b) = \ldotsThe arithmetic must be visible
Sign change"g(a)<0<g(b)g(a) < 0 < g(b)"The compressed form of the bracket
Conclusion"By the intermediate value theorem, g(c)=0g(c) = 0 for some cc in (a,b)(a, b)"Existence, stated as existence
UniquenessA separate monotonicity sentenceThe theorem cannot supply it
Matching signs"The theorem does not apply"Silence is not denial
TOPIC REVIEW • NEXT STEP IN YOUR LEARNING LOOP

Ready to check your understanding?

Strengthen this topic with AP-style practice, or continue to next topic.