MATH 140 Calculus 1 • McGill University, Montreal

Revision sheet: Rolle's theorem and the Mean Value Theorem (MATH 140)

This sheet is not a summary of section 4.2 of Stewart: you already have the course notes. It answers one question only, what makes students lose marks on Rolle's theorem and the Mean Value Theorem in MATH 140 at McGill University, and which precise gesture avoids each loss.

The chapter is short and its statements fit in two lines, which is exactly why it is marked severely: the examiner is not testing whether you can solve f′(c)=mf'(c) = m, but whether you check the hypotheses, keep the right cc, and use an existence theorem as an existence theorem. Every value below is exact and done by hand, as on the exam.

Mark this sheet as read or add it to your favourites: a free account, no password, keeps your read sheets and favourites from one visit to the next and tells you which chapter to tackle next. Create your space, an email is enough.

The thread of the chapter

The Mean Value Theorem is an existence statement bought with hypotheses: continuity on the CLOSED [a,b][a, b] and differentiability on the OPEN (a,b)(a, b), each checked with a reason. It then promises a cc it never locates, and it is used for what it FORBIDS: a second root, a slope never reached, a non-constant function with zero derivative, a change larger than the bound on f′f'.

This chapter is part of MATH 140, Calculus 1 (McGill)

The essentials

Two theorems, the same hypotheses, the same kind of conclusion

  • • Hypothesis (1): ff continuous on the CLOSED interval [a,b][a, b], endpoints included. Hypothesis (2): ff differentiable on the OPEN interval (a,b)(a, b); the endpoints are not required.
  • • Rolle adds hypothesis (3), f(a)=f(b)f(a) = f(b), and concludes: f′(c)=0f'(c) = 0 for at least one cc in (a,b)(a, b).
  • • Mean Value Theorem, with (1) and (2) only: f(b)−f(a)=f′(c)(b−a)f(b) - f(a) = f'(c)(b - a) for at least one cc in (a,b)(a, b). The tangent at cc is parallel to the chord.
  • • Both are EXISTENCE statements: at least one cc, strictly inside, never located. There may be several, and cc is the midpoint only for a quadratic.
  • • Hypotheses are sufficient, not necessary: if one fails the theorem guarantees nothing, and the conclusion may hold or fail.
-2.5-2-1.5-1-0.50.511.522.5-10-8-6-4-2246810chord slope 4two tangents of slope 4y = x³x
On [−2,2][-2, 2] the chord of y=x3y = x^3 has slope 44, and the curve has TWO tangents of slope 44, at ±233\pm\frac{2\sqrt 3}{3}: the theorem promises at least one, never exactly one.

A marker gives the method mark for each hypothesis stated WITH its reason: polynomial, hence continuous and differentiable on R\mathbb{R}. A bare list of the hypotheses earns less; skipping them earns nothing, even with the right cc.

The four uses: what the theorem forbids

  • • Zero derivative: f′=0f' = 0 on an INTERVAL gives ff constant there; f′=g′f' = g' on an interval gives f=g+Cf = g + C. On two pieces, one constant per piece.
  • • Bounds: m≤f′(x)≤Mm \le f'(x) \le M on (a,b)(a, b) gives m(b−a)≤f(b)−f(a)≤M(b−a)m(b - a) \le f(b) - f(a) \le M(b - a). Bound f′f' on the whole interval, never compute cc.
  • • At most one root: if f(r1)=f(r2)=0f(r_1) = f(r_2) = 0, Rolle gives a zero of f′f' between them. If f′f' never vanishes, two roots are impossible.
  • • Counting: if f′f' has nn distinct zeros, ff has at most n+1n + 1 distinct roots. The converse direction is false.
  • • Exactly one root: existence by the Intermediate Value Theorem, then at most one by Rolle. Two theorems, two paragraphs.

The mistakes that cost marks

These are the errors I correct most often in session. Each one costs marks on a paper, even when the reasoning behind it is right.

1. Reading f(a) = f(b) and skipping the other two hypotheses

the whole question

What not to write

“tan⁡0=tan⁡π=0\tan 0 = \tan \pi = 0, so by Rolle there is cc in (0,π)(0, \pi) with sec⁡2c=0\sec^2 c = 0.”

What to write

“tan⁡x\tan x is not defined at π2∈[0,π]\frac{\pi}{2} \in [0, \pi], so it is not continuous on [0,π][0, \pi]: Rolle's theorem does not apply, and indeed sec⁡2x≥1\sec^2 x \ge 1.”

0.511.522.533.5-4-3-2-11234tan 0 = 0tan π = 0x = π/2x
tan⁡0=tan⁡π=0\tan 0 = \tan \pi = 0, but the graph breaks at x=π2x = \frac{\pi}{2} into two rising branches: no horizontal tangent anywhere, because continuity on [0,π][0, \pi] fails.

Why: Equal values at the ends are the least demanding of the three hypotheses. A function that is undefined or jumps somewhere in [a,b][a, b] owes you nothing.

2. Applying Rolle to a function with a cusp

2 to 3 marks

What not to write

“f(x)=1−x2/3f(x) = 1 - x^{2/3} has f(−1)=f(1)=0f(-1) = f(1) = 0 and is continuous, so f′(c)=0f'(c) = 0 for some cc in (−1,1)(-1, 1).”

What to write

“f′(x)=−23x1/3f'(x) = -\frac{2}{3x^{1/3}} for x≠0x \ne 0 and f′(0)f'(0) does not exist, so hypothesis (2) fails at 00: Rolle does not apply, and f′f' is never 00.”

-1.5-1-0.50.511.5-0.50.511.5cusp at 0: no f'(0)f(-1) = 0f(1) = 0x
f(−1)=f(1)=0f(-1) = f(1) = 0 and the top is at x=0x = 0, but it is a cusp, not a horizontal tangent: one missing derivative and Rolle's conclusion is gone.

Why: Differentiability must hold at EVERY point of (a,b)(a, b); one corner or cusp is enough to lose the conclusion. Check the points where the formula for f′f' divides by zero.

3. Keeping a value of c that is not strictly inside

1 mark

What not to write

“f(x)=x3+xf(x) = x^3 + x on [−1,2][-1, 2]: slope 10−(−2)3=4\frac{10 - (-2)}{3} = 4, 3c2+1=43c^2 + 1 = 4, so c=−1c = -1 or c=1c = 1.”

What to write

“c2=1c^2 = 1 gives c=±1c = \pm 1; c=−1c = -1 is the endpoint aa, not in (−1,2)(-1, 2), so it is rejected, and c=1c = 1.”

Why: The theorem speaks about cc in the OPEN interval. Solving f′(c)=mf'(c) = m is algebra; selecting the solutions in (a,b)(a, b) is the theorem, and an endpoint is never an answer.

4. Refusing the theorem because f' does not exist at an endpoint

the whole question

What not to write

“f(x)=xf(x) = \sqrt x is not differentiable at 00, so the Mean Value Theorem does not apply on [0,4][0, 4].”

What to write

“x\sqrt x is continuous on [0,4][0, 4] and differentiable on (0,4)(0, 4), which is all the theorem asks. Slope 2−04=12\frac{2 - 0}{4} = \frac{1}{2}, and 12c=12\frac{1}{2\sqrt c} = \frac{1}{2} gives c=1c = 1.”

Why: Differentiability is required on the OPEN interval only. A vertical tangent at an endpoint is allowed; continuity at that endpoint is what is needed.

5. Declaring constant a function whose domain is not an interval

2 marks

What not to write

“f(x)=x∣x∣f(x) = \frac{x}{|x|} has f′(x)=0f'(x) = 0 for every x≠0x \ne 0, so ff is constant.”

What to write

“f′=0f' = 0 on (−∞,0)(-\infty, 0) and on (0,∞)(0, \infty), two intervals, so ff is constant on EACH: f=−1f = -1 on the left, f=1f = 1 on the right.”

Why: The proof applies the Mean Value Theorem between two points, which needs the whole segment between them in the domain. Across a gap there is one constant per piece.

6. Computing c in a proof of an inequality

the method mark, and usually a false line

What not to write

“sin⁡b−sin⁡a=cos⁡c (b−a)\sin b - \sin a = \cos c\,(b - a) with c=a+b2c = \frac{a + b}{2}, so ...”

What to write

“sin⁡b−sin⁡a=cos⁡c (b−a)\sin b - \sin a = \cos c\,(b - a) for some cc between aa and bb; whatever cc is, ∣cos⁡c∣≤1|\cos c| \le 1, so ∣sin⁡b−sin⁡a∣≤∣b−a∣|\sin b - \sin a| \le |b - a|.”

Why: cc is unknown and depends on aa and bb. The proof bounds f′f' on the whole interval; it never needs, and cannot have, the value of cc.

7. Claiming exactly one root from the Intermediate Value Theorem alone

the whole question

What not to write

“f(x)=x3−xf(x) = x^3 - x: f(−2)=−6<0<6=f(2)f(-2) = -6 < 0 < 6 = f(2), so ff has exactly one root in (−2,2)(-2, 2).”

What to write

“By the IVT, ff has AT LEAST one root in (−2,2)(-2, 2).” In fact x3−xx^3 - x has three, −1-1, 00 and 11.

Why: The IVT gives existence only. Uniqueness needs a second argument, Rolle by contradiction, which requires f′≠0f' \ne 0; here f′(x)=3x2−1f'(x) = 3x^2 - 1 vanishes twice.

8. Reading Rolle backwards

the whole question

What not to write

“f′(x)=2xf'(x) = 2x vanishes at 00, so by Rolle f(x)=x2+1f(x) = x^2 + 1 has two roots around 00.”

What to write

“Rolle goes from two roots of ff to one root of f′f', not back. x2+1≥1x^2 + 1 \ge 1 has no real root at all.”

Why: A zero of f′f' says nothing about the roots of ff. The correct direction bounds the count: nn zeros of f′f' allow at most n+1n + 1 roots of ff.

Which method to choose

Which theorem, by the WORDS of the question

Read the verb and the conclusion asked for: they pick the theorem

  • If show there is cc with f′(c)=0f'(c) = 0, and f(a)=f(b)f(a) = f(b) is given or computable → Rolle, three hypotheses checked

    Example: sin⁡x+cos⁡x\sin x + \cos x on [0,π2]\left[0, \frac{\pi}{2}\right]: c=π4c = \frac{\pi}{4}

  • If find cc with f′(c)f'(c) equal to a slope, or f(b)−f(a)=f′(c)(b−a)f(b) - f(a) = f'(c)(b - a) → Mean Value Theorem, then keep only the c in (a, b)

    Example: x3+xx^3 + x on [−1,2][-1, 2]: c=1c = 1, and c=−1c = -1 rejected

  • If f(0)≠f(5)f(0) \ne f(5) but a horizontal tangent is asked → Intermediate Value Theorem to create two equal values, then Rolle

    Example: f(0)=1f(0) = 1, f(2)=7f(2) = 7, f(5)=4f(5) = 4: f(d)=4f(d) = 4 for some dd in (0,2)(0, 2), Rolle on [d,5][d, 5]

  • If prove an inequality between f(b)−f(a)f(b) - f(a) and b−ab - a → Mean Value Theorem, then bound f' on the whole interval

    Example: x1+x2<arctan⁡x<x\frac{x}{1 + x^2} < \arctan x < x for x>0x > 0

  • If at least one root → Intermediate Value Theorem, with two values of opposite signs

    Example: x5+3x+1x^5 + 3x + 1: f(−1)=−3f(-1) = -3, f(0)=1f(0) = 1

  • If at most one root, or at most nn roots → Rolle by contradiction, from the zeros of f'

    Example: x4+4x+kx^4 + 4x + k: f′f' has one zero, so at most two roots

  • If ff is constant, or f=g+Cf = g + C, or an identity to prove → derivative zero on an interval, constant read at one point

    Example: arcsin⁡x+arccos⁡x=π2\arcsin x + \arccos x = \frac{\pi}{2}

Exactly one root takes two branches, existence then uniqueness, and the write-up has two paragraphs. The increasing and decreasing test belongs to the next chapter: in this one, uniqueness is proved by Rolle.

How the answer is expected to be written

A marker ticks steps. Here they are in order, with the concluding sentence expected word for word.

Proving that an equation has exactly one real root

When to use it: Any question with the words exactly one, a unique solution, or one and only one

  1. 1 Write the equation as f(x)=0f(x) = 0 and state that ff is continuous and differentiable on R\mathbb{R}, with the reason (polynomial, sum of differentiable functions).
  2. 2 Existence: compute two values of opposite signs and name the Intermediate Value Theorem on that closed interval.
  3. 3 Uniqueness: suppose two roots r1<r2r_1 < r_2; name Rolle's theorem with its three hypotheses on [r1,r2][r_1, r_2] to get f′(c)=0f'(c) = 0.
  4. 4 Show that f′f' never vanishes, by bounding it: 5x4+3≥35x^4 + 3 \ge 3, 3−sin⁡x≥23 - \sin x \ge 2.
  5. 5 Write the contradiction and the conclusion, with the location of the root.

Concluding sentence

“By the Intermediate Value Theorem, ff has at least one root in (−1,0)(-1, 0). If it had two, r1<r2r_1 < r_2, then ff would be continuous on [r1,r2][r_1, r_2], differentiable on (r1,r2)(r_1, r_2) with f(r1)=f(r2)f(r_1) = f(r_2), and Rolle's theorem would give f′(c)=0f'(c) = 0; but f′(x)≥3>0f'(x) \ge 3 > 0. So ff has exactly one real root, in (−1,0)(-1, 0).”

The trap: Stopping after the IVT, or proving uniqueness first and forgetting that a function with f′>0f' > 0 may still have no root at all.

Marking: Typically 3 marks for existence, 4 for the Rolle argument with its hypotheses, 2 for the bound on f', 1 for the conclusion.

Proving an inequality with the Mean Value Theorem

When to use it: Prove that f(x)<g(x)f(x) < g(x) for x>0x > 0, or bound ∣f(a)−f(b)∣|f(a) - f(b)|, where the difference is a change in one function

  1. 1 Choose the function and the interval: for 1+x<1+x2\sqrt{1 + x} < 1 + \frac{x}{2}, take f(t)=1+tf(t) = \sqrt{1 + t} on [0,x][0, x].
  2. 2 Check continuity on [0,x][0, x] and differentiability on (0,x)(0, x), with the reason.
  3. 3 Write the conclusion with the unknown cc and its interval: 1+x−1=x21+c\sqrt{1 + x} - 1 = \frac{x}{2\sqrt{1 + c}}, 0<c<x0 < c < x.
  4. 4 Bound f′(c)f'(c) using ONLY 0<c<x0 < c < x: 1+c>1\sqrt{1 + c} > 1, so 121+c<12\frac{1}{2\sqrt{1 + c}} < \frac{1}{2}.
  5. 5 Multiply by the positive length and conclude, keeping the strictness that comes from cc being strictly inside.

Concluding sentence

“By the Mean Value Theorem there is cc in (0,x)(0, x) with 1+x−1=x21+c\sqrt{1 + x} - 1 = \frac{x}{2\sqrt{1 + c}}. Since c>0c > 0, 1+c>1\sqrt{1 + c} > 1, so 1+x−1<x2\sqrt{1 + x} - 1 < \frac{x}{2}.”

The trap: Multiplying an inequality by b−ab - a without saying it is positive, or bounding f′(c)f'(c) by a value at an endpoint that cc never reaches.

Marking: Typically 2 marks for the hypotheses, 3 for the conclusion with c, 3 for the bound on f'(c), 2 for the final inequality.

Check before you hand in

Five minutes of checking recover more marks than one more problem started in a hurry.

The typical problem, taken apart

Exactly one solution, then a guaranteed location

Prove that the equation ex=2−xe^x = 2 - x has exactly one real solution rr, that 0<r<120 < r < \frac{1}{2}, and then, with the Mean Value Theorem, that 11+e<r\frac{1}{1 + \sqrt e} < r.

No calculator. Every step must be justified as on a MATH 140 final.

-1-0.50.511.52-11234y = eˣy = 2 - xx
The rising curve y=exy = e^x and the falling line y=2−xy = 2 - x cross once, between 00 and 12\frac{1}{2}: the picture suggests it, the proof must show it.

Step 1

Let f(x)=ex+x−2f(x) = e^x + x - 2, so the equation is f(x)=0f(x) = 0. ff is a sum of differentiable functions, hence continuous and differentiable on R\mathbb{R}.

Why

Putting everything on one side turns an equation into the root of one function, the form the theorems speak about. The regularity sentence is the permit for the three theorems that follow.

Step 2

f(0)=1+0−2=−1<0f(0) = 1 + 0 - 2 = -1 < 0 and f(12)=e−32>0f\left(\frac{1}{2}\right) = \sqrt e - \frac{3}{2} > 0, because e>94e > \frac{9}{4} gives e>32\sqrt e > \frac{3}{2}. By the Intermediate Value Theorem, ff has a root rr in (0,12)\left(0, \frac{1}{2}\right).

Why

Existence and location together. The sign of f(12)f\left(\frac{1}{2}\right) comes from e>2.25e > 2.25, an inequality anyone can justify, not from a decimal value of e\sqrt e.

Step 3

Suppose ff had two roots r1<r2r_1 < r_2. ff is continuous on [r1,r2][r_1, r_2], differentiable on (r1,r2)(r_1, r_2), and f(r1)=f(r2)=0f(r_1) = f(r_2) = 0, so by Rolle's theorem f′(c)=0f'(c) = 0 for some cc. But f′(x)=ex+1>1f'(x) = e^x + 1 > 1. Contradiction: rr is the only root.

Why

The uniqueness paragraph is where the marks for the theorem are. Naming the three hypotheses of Rolle inside the contradiction is expected, even though they are obvious here.

Step 4

Mean Value Theorem on [0,r][0, r]: f(r)−f(0)=f′(c) rf(r) - f(0) = f'(c)\,r for some cc in (0,r)(0, r), that is 1=(ec+1) r1 = (e^c + 1)\,r, so r=1ec+1r = \frac{1}{e^c + 1}.

Why

The theorem converts the known change of ff, from −1-1 to 00, into an exact formula for rr with one unknown, cc, whose interval is known.

Step 5

From 0<c<r<120 < c < r < \frac{1}{2} and exe^x increasing: 1<ec<e1 < e^c < \sqrt e, so 2<ec+1<1+e2 < e^c + 1 < 1 + \sqrt e, and taking reciprocals: 11+e<r<12\frac{1}{1 + \sqrt e} < r < \frac{1}{2}.

Why

Only the interval of cc is used, never its value. Reversing the inequalities when taking reciprocals of positive numbers is the step to write explicitly.

Step 6

Check: 11+e<12\frac{1}{1 + \sqrt e} < \frac{1}{2} because e>1\sqrt e > 1, so the bracket is not empty; and with e<74\sqrt e < \frac{7}{4} (since e<4916e < \frac{49}{16}), 11+e>411\frac{1}{1 + \sqrt e} > \frac{4}{11}.

Why

A bracket whose lower end exceeds its upper end reveals a reversed inequality. The last line turns the exact bound into a fraction readable without a calculator.

The conclusion, written out

“The equation ex=2−xe^x = 2 - x has exactly one real solution rr, and 11+e<r<12\frac{1}{1 + \sqrt e} < r < \frac{1}{2}; in particular 411<r<12\frac{4}{11} < r < \frac{1}{2}.”

The classic mistake on this problem: Proving existence by the figure, or writing f′>0f' > 0 so there is one root, without the Intermediate Value Theorem: a function with positive derivative, such as exe^x, may have no root at all.

Learn by heart

  • • Rolle: continuous on [a,b][a, b], differentiable on (a,b)(a, b), f(a)=f(b)f(a) = f(b) ⇒\Rightarrow f′(c)=0f'(c) = 0, c∈(a,b)c \in (a, b).
  • • MVT: continuous on [a,b][a, b], differentiable on (a,b)(a, b) ⇒\Rightarrow f(b)−f(a)=f′(c)(b−a)f(b) - f(a) = f'(c)(b - a), c∈(a,b)c \in (a, b).
  • • At least one cc, strictly inside, never located. Hypotheses sufficient, not necessary.
  • • f′=0f' = 0 on an INTERVAL: constant. f′=g′f' = g' on an interval: f=g+Cf = g + C. One constant per piece.
  • • Inequality: bound f′f' on the whole interval; never compute cc.
  • • Roots: IVT for at least one, Rolle by contradiction for at most one; nn zeros of f′f' allow at most n+1n + 1 roots.

Frequently asked questions

What is the difference between Rolle's theorem and the Mean Value Theorem?

Rolle's theorem is the special case of the Mean Value Theorem where the function takes the same value at both ends of the interval. Both need continuity on the closed interval and differentiability on the open interval. Rolle then gives a point where the derivative is zero; the Mean Value Theorem gives a point where the derivative equals the slope of the chord joining the endpoints.

Do I have to check the hypotheses of the Mean Value Theorem on an exam?

Yes, every time, with a reason. Write that the function is continuous on the closed interval and differentiable on the open interval, and say why, for instance because it is a polynomial or because its only problem point lies outside the interval. Without that sentence the conclusion is not justified, and most of the method marks are lost even if the number c is right.

How do I prove an equation has exactly one real root?

Use two theorems. First the Intermediate Value Theorem, with two values of opposite signs, to show that at least one root exists. Then suppose there are two roots and apply Rolle's theorem between them: the derivative would vanish somewhere, so if you can show the derivative is never zero, you get a contradiction and at most one root. Together they give exactly one.

Why can't I find the value of c in the Mean Value Theorem proof of an inequality?

Because the theorem only says that such a c exists somewhere strictly between a and b; it gives no formula for it, and the point changes when a and b change. You do not need it: bound the derivative on the whole interval, for instance the cosine is between minus one and one, and that bound holds at c wherever it is.

Practise it

Corrected exercises: Rolle's theorem and the Mean Value Theorem, MATH 140 at McGill

A method is proved on a paper, not on a sheet. The set for the same chapter takes each of these traps into a problem, with the solution written out step by step.

  • 10 corrected exercises
  • 100 points
  • 150 minutes
Do the exercises
Previous sheet Maximum and minimum values Next sheet The shape of a graph

© Ahmed Squalli Houssaini. Revision sheet published at www.letuteurscientifique.ca/en/fiches/math140-mean-value-theorem. Free for personal and classroom use; republishing it elsewhere requires written permission (legal notice).

See also

Looking for a MATH 140 tutor in Montreal?

Get in touch for a first session. The Mean Value Theorem is where MATH 140 starts asking for proofs, and the method marks are learned by writing them, not by reading them.

Site by Studio Squalli