Skip to content
Mathematics13 min

Rolle's and Lagrange's Theorems Explained Simply: Hypotheses, Intuition and Worked Examples

by Andrea

In sintesi

Lagrange's Theorem says that, if ff is continuous on [a,b][a,b] and differentiable on (a,b)(a,b), there is at least one interior point cc where the tangent is parallel to the chord joining the endpoints: f(c)=f(b)f(a)baf'(c) = \frac{f(b)-f(a)}{b-a}. Rolle's Theorem is the special case where f(a)=f(b)f(a) = f(b), in which that tangent is horizontal.

With Rolle and Lagrange, students almost never get the statement wrong: they know it by heart. They get the exercise built on top of it wrong. In the fifth-year tests we mark, the typical question is "check whether ff satisfies the hypotheses of Lagrange's theorem on [a,b][a,b] and, if so, find the points cc". Three students out of four launch straight into calculating cc, skipping the check on the hypotheses — which is exactly the part the teacher wanted to see. Here you'll find both theorems with the geometric idea behind them, the proof stripped to its essentials, worked examples with numbers, and the list of mistakes that cost marks.

What does Rolle's Theorem say?

Let ff be a function that is continuous on the closed interval [a,b][a,b] and differentiable on the open interval (a,b)(a,b), with f(a)=f(b)f(a) = f(b). Then there is at least one point c(a,b)c \in (a,b) such that

f(c)=0f'(c) = 0

The idea is almost physical. If you start at a certain height and, after a stretch, find yourself back at the same height, with no jumps and no sharp corners, then somewhere along the way you must have stopped climbing and started descending (or the other way round). At that point the tangent is horizontal: the derivative is zero.

The proof is shorter than the textbook makes it look. By Weierstrass's theorem, ff continuous on a closed interval has a maximum MM and a minimum mm. If M=mM = m the function is constant and ff' is zero everywhere: any cc will do. Otherwise, at least one of the two extreme values is attained at an interior point (if both were attained only at the endpoints, where ff takes the same value, we would have M=mM = m). At an interior maximum or minimum point where ff is differentiable, Fermat's theorem says that f(c)=0f'(c) = 0. Done.

Worked example. f(x)=x24x+3f(x) = x^2 - 4x + 3 on [1,3][1,3]. It's a polynomial: continuous and differentiable everywhere, hypotheses satisfied. f(1)=14+3=0f(1) = 1 - 4 + 3 = 0 and f(3)=912+3=0f(3) = 9 - 12 + 3 = 0, so f(1)=f(3)f(1) = f(3). Let's find cc:

f(x)=2x4=0c=2f'(x) = 2x - 4 = 0 \quad \Longrightarrow \quad c = 2

and 2(1,3)2 \in (1,3). It's the vertex of the parabola, as you'd expect.

When it doesn't work. f(x)=xf(x) = |x| on [1,1][-1,1]: continuous, f(1)=f(1)=1f(-1) = f(1) = 1, but not differentiable at x=0x = 0, which lies inside the interval. Indeed f(x)f'(x) is 1-1 to the left and +1+1 to the right, and never vanishes. One sharp corner is enough to break the theorem — and the conclusion along with it.

What does Lagrange's Theorem (or the Mean Value Theorem) say?

Let ff be continuous on [a,b][a,b] and differentiable on (a,b)(a,b). Then there is at least one c(a,b)c \in (a,b) such that

f(c)=f(b)f(a)baf'(c) = \frac{f(b) - f(a)}{b - a}

On the right is the difference quotient: the slope of the chord joining the points (a,f(a))(a, f(a)) and (b,f(b))(b, f(b)). On the left, the slope of the tangent at cc. The theorem guarantees that somewhere between aa and bb, the tangent is parallel to the chord. Compared with Rolle, the hypothesis f(a)=f(b)f(a) = f(b) has been dropped: the chord is no longer horizontal, but tilted.

The name "mean value" comes from the kinematic reading: if f(t)f(t) is the distance travelled at time tt, the difference quotient is the average speed between aa and bb, and f(c)f'(c) is the instantaneous speed. The theorem says that at some instant you travelled at exactly your average speed. It's the principle the highway Speed Tutor relies on, and if you're curious about the application, we cover it in our article on Lagrange's Theorem and speed checks.

How we get students to draw this in lesson

Draw the graph, mark the chord between the two endpoints, then lay a ruler on the chord and slide it upward (or downward) while keeping it parallel. The last point where the ruler still touches the curve before it lifts off is a Lagrange point cc. Anyone who does this once with a pencil never confuses the chord with the tangent again, and also sees why there can be more than one point cc.

Worked example. f(x)=x3f(x) = x^3 on [0,2][0,2]. Polynomial: hypotheses satisfied. The difference quotient is

f(2)f(0)20=802=4\frac{f(2) - f(0)}{2 - 0} = \frac{8 - 0}{2} = 4

Set f(x)=3x2=4f'(x) = 3x^2 = 4, so x2=43x^2 = \frac{4}{3} and x=±23=±233±1.155x = \pm\frac{2}{\sqrt{3}} = \pm\frac{2\sqrt{3}}{3} \approx \pm 1.155. The negative solution is not in (0,2)(0,2) and must be discarded: the only Lagrange point is c=233c = \frac{2\sqrt{3}}{3}. Writing both roots as the answer is a mistake we see in one test out of three on this type of exercise.

An example that tests the hypotheses. f(x)=xf(x) = \sqrt{x} on [0,4][0,4]. The function is continuous on [0,4][0,4], but at x=0x = 0 it is not differentiable (the tangent is vertical). Does the theorem still apply? Yes: differentiability is only required on the open interval (0,4)(0,4), and 00 is not in it. The difference quotient is 204=12\frac{2 - 0}{4} = \frac{1}{2}, and

f(x)=12x=12x=1c=1f'(x) = \frac{1}{2\sqrt{x}} = \frac{1}{2} \quad \Longrightarrow \quad \sqrt{x} = 1 \quad \Longrightarrow \quad c = 1

Want to improve your performance?

Contact us for your first lesson and find out how we can help you with a personalized learning path.

Book now

They are the same theorem seen from two angles. Rolle is Lagrange in the case f(a)=f(b)f(a) = f(b): the difference quotient becomes 0ba=0\frac{0}{b-a} = 0 and the conclusion reduces to f(c)=0f'(c) = 0. But the textbook proves Lagrange using Rolle, and this is where students get lost, because an "auxiliary function" appears out of nowhere with no one explaining where it comes from.

Here is where it comes from: take ff and subtract the chord from it. The chord is the line through (a,f(a))(a, f(a)) with slope f(b)f(a)ba\frac{f(b)-f(a)}{b-a}, so the auxiliary function is

g(x)=f(x)[f(a)+f(b)f(a)ba(xa)]g(x) = f(x) - \left[ f(a) + \frac{f(b) - f(a)}{b - a}\,(x - a) \right]

Now gg measures the vertical distance between the curve and the chord. At the endpoints, this distance is zero: g(a)=f(a)f(a)=0g(a) = f(a) - f(a) = 0 and g(b)=f(b)f(a)(f(b)f(a))=0g(b) = f(b) - f(a) - \big(f(b) - f(a)\big) = 0. Moreover, gg is continuous and differentiable exactly where ff is, because we have only subtracted a straight line. So gg satisfies the hypotheses of Rolle's Theorem: there is a cc with g(c)=0g'(c) = 0, that is

f(c)f(b)f(a)ba=0f'(c) - \frac{f(b) - f(a)}{b - a} = 0

which is exactly Lagrange's conclusion. Four lines. What you should take away is not the formula for gg but the idea: Lagrange is Rolle applied to "ff minus the chord". Anyone who remembers it this way can reconstruct the proof even in a surprise oral test. The same trick, with a slightly more elaborate auxiliary function, proves Cauchy's theorem, from which L'Hôpital's rule then follows.

How do you check whether the theorem applies?

This is the standard exercise, and the marks are almost always split between checking the hypotheses and calculating cc. The protocol we have our students follow has four steps, always in the same order:

  1. Domain. Is the whole interval [a,b][a,b] inside the domain of ff? If not, stop: the theorem does not apply.
  2. Continuity on [a,b][a,b], closed. For polynomials, exponentials, sine and cosine, it's enough to state it; for piecewise functions you have to check the join point using the left- and right-hand limits.
  3. Differentiability on (a,b)(a,b), open. Here too, in piecewise functions the critical point is the join: the derivatives of the two expressions must match there.
  4. For Rolle only: f(a)=f(b)f(a) = f(b). Then solve f(c)=0f'(c) = 0 or f(c)=f(b)f(a)baf'(c) = \frac{f(b)-f(a)}{b-a} and keep only the solutions that lie inside the interval.

If calculating the derivative slows you down, our guide to differentiation rules with worked examples covers every case you need here.

Worked example with a piecewise function. Let's check Lagrange on [0,2][0,2] for

f(x)={x2if x12x1if x>1f(x) = \begin{cases} x^2 & \text{if } x \le 1 \\ 2x - 1 & \text{if } x > 1 \end{cases}

Continuity at x=1x = 1: from the left 12=11^2 = 1, from the right 211=12 \cdot 1 - 1 = 1, and f(1)=1f(1) = 1. Continuous. Differentiability at x=1x = 1: from the left f(x)=2x2f'(x) = 2x \to 2, from the right f(x)=2f'(x) = 2. They match, so ff is differentiable throughout (0,2)(0,2). Hypotheses satisfied. Difference quotient: f(2)=3f(2) = 3, f(0)=0f(0) = 0, so 32\frac{3}{2}. Let's look for cc piece by piece: on (0,1)(0,1) we solve 2x=322x = \frac{3}{2}, giving x=34x = \frac{3}{4}, which lies in the right interval; on (1,2)(1,2) we would need 2=322 = \frac{3}{2}, impossible. The only point is c=34c = \frac{3}{4}.

An example where it does not apply. f(x)=1xf(x) = \frac{1}{x} on [1,2][-1,2]. Zero lies inside the interval and ff isn't even defined there: continuity fails and the theorem does not apply. A student who skips the check calculates the difference quotient, 12(1)3=12\frac{\frac{1}{2} - (-1)}{3} = \frac{1}{2}, sets 1c2=12-\frac{1}{c^2} = \frac{1}{2}, finds no solutions and writes "no cc exists". The conclusion happens to be true, but the answer is wrong: the question was about the hypotheses, and the exercise is worth zero.

Want to improve your performance?

Contact us for your first lesson and find out how we can help you with a personalized learning path.

Book now

What are the most common mistakes with Rolle and Lagrange?

Marking tests and Maturità mock papers, the mistakes cluster around five points:

  1. Hypotheses stated, not checked. "ff is continuous and differentiable" written under a piecewise function without looking at the join. For a polynomial that sentence is enough; for a piecewise function, an absolute value or a root, it is not.
  2. Closed and open swapped. Continuity is needed on the closed interval [a,b][a,b], differentiability only on the open interval (a,b)(a,b). Anyone who says that x\sqrt{x} on [0,4][0,4] "doesn't satisfy the hypotheses because it isn't differentiable at 00" has mixed up the brackets: 00 is an endpoint, and differentiability is not required at the endpoints.
  3. Rolle applied without f(a)=f(b)f(a) = f(b), or Lagrange rejected because f(a)f(b)f(a) \ne f(b). These are two different theorems, with one extra hypothesis on one side: the check on the endpoint values must always be done, and written down.
  4. Out-of-interval solutions kept. In x3x^3 on [0,2][0,2], c=233c = -\frac{2\sqrt{3}}{3} must be discarded. The line "c(a,b)c \in (a,b)?" is the last step of the process and the one most often forgotten.
  5. "There is a point" read as "there is only one point". The theorem says at least one. f(x)=x33xf(x) = x^3 - 3x on [2,2][-2,2] has difference quotient 2(2)4=1\frac{2 - (-2)}{4} = 1, and 3x23=13x^2 - 3 = 1 gives x=±233±1.155x = \pm\frac{2\sqrt{3}}{3} \approx \pm 1.155: both interior, both must be reported.

The line worth half the marks

The theorem is a sufficient condition, not a necessary one. If the hypotheses fail, you cannot conclude anything: neither that cc exists, nor that it doesn't. The correct answer in a test is "the hypotheses are not satisfied on [a,b][a,b], so the theorem does not apply" — and you stop there. Going on to calculate cc after saying the theorem doesn't hold is a contradiction the teacher will mark in red.

What are these theorems actually good for?

They hold up half of the fifth-year syllabus. The criterion you use every day in curve sketching — "if f>0f' > 0 then ff is increasing" — is not self-evident, it's a consequence of Lagrange: take x1<x2x_1 < x_2, there is a cc between them with f(x2)f(x1)=f(c)(x2x1)f(x_2) - f(x_1) = f'(c)\,(x_2 - x_1), and if f(c)>0f'(c) > 0 the difference is positive. In the same way, "zero derivative on an interval implies a constant function" comes from here, and it is the foundation of integral calculus.

There's also a use as a hand calculator, which comes up in Maturità questions. With f(x)=xf(x) = \sqrt{x} on [25,26][25,26], Lagrange gives 265=12c\sqrt{26} - 5 = \frac{1}{2\sqrt{c}} for some cc between 2525 and 2626. Since c\sqrt{c} lies between 55 and 26\sqrt{26}, the fraction is between 12260.098\frac{1}{2\sqrt{26}} \approx 0.098 and 110=0.1\frac{1}{10} = 0.1, so

5.098<26<5.15.098 < \sqrt{26} < 5.1

The true value is 5.0995.099: an estimate accurate to two decimal places without a calculator, using one theorem and one line of arithmetic.

Rolle and Lagrange don't end with the school-leaving exam: the proof of Lagrange via Rolle is among those that come up most regularly in first-year Calculus 1 oral exams at university, and anyone who arrives there able to reconstruct it, not just recite it, has a real advantage. If you're already thinking about university admission, our preparation paths start precisely by consolidating these foundations.

If instead the problem lies further back — derivatives come out wrong, piecewise functions cause trouble, checking the hypotheses feels like a meaningless ritual — a dedicated tutor can put the pieces back in order within a few weeks. Tell us about your situation and book your first lesson: we'll start from an exercise like the ones above and see where it gets stuck.

Want to improve your performance?

Contact us for your first lesson and find out how we can help you with a personalized learning path.

Book now

FAQ

What is the difference between Rolle's Theorem and Lagrange's Theorem?

Rolle requires one extra hypothesis, f(a)=f(b)f(a) = f(b), and concludes that there is a cc with f(c)=0f'(c) = 0: a horizontal tangent. Lagrange drops that hypothesis and concludes that there is a cc with f(c)=f(b)f(a)baf'(c) = \frac{f(b)-f(a)}{b-a}: a tangent parallel to the chord. Rolle is the special case of Lagrange in which the chord is horizontal.

Why is Lagrange's Theorem also called the Mean Value Theorem?

Because f(b)f(a)ba\frac{f(b)-f(a)}{b-a} is the mean rate of change of ff over the interval, and f(c)f'(c) is the instantaneous rate at cc. If ff is the position of a moving object over time, the theorem says that at some instant the instantaneous speed matches the average speed — which is exactly what the name captures.

Does Lagrange's Theorem hold if the function isn't differentiable at an endpoint?

Yes. Differentiability is only required on the open interval (a,b)(a,b): the endpoints aa and bb are excluded. For example, f(x)=xf(x) = \sqrt{x} on [0,4][0,4] is not differentiable at 00, but the theorem still applies and gives c=1c = 1. Only continuity is needed at the endpoints.

Is the point c in Lagrange's Theorem unique?

No: the theorem guarantees at least one point, not exactly one. f(x)=x33xf(x) = x^3 - 3x on [2,2][-2,2] has two Lagrange points, c=±233c = \pm\frac{2\sqrt{3}}{3}. In an exercise, you must report every solution of f(c)=f(b)f(a)baf'(c) = \frac{f(b)-f(a)}{b-a} that lies inside (a,b)(a,b), and discard the ones outside.

What do you write if the theorem's hypotheses are not satisfied?

That the theorem does not apply on the given interval, stating which hypothesis fails and where (for example "ff is not continuous at x=0[1,2]x = 0 \in [-1,2]"). You do not calculate cc: the theorem is a sufficient condition, so when the hypotheses are missing it allows no conclusion, either that cc exists or that it doesn't.

How is Lagrange's Theorem proved?

With Rolle's Theorem applied to the auxiliary function g(x)=f(x)f(a)f(b)f(a)ba(xa)g(x) = f(x) - f(a) - \frac{f(b)-f(a)}{b-a}(x-a), that is "ff minus the chord". You have g(a)=g(b)=0g(a) = g(b) = 0 and gg is continuous and differentiable just like ff, so Rolle gives a cc with g(c)=0g'(c) = 0, which is equivalent to f(c)=f(b)f(a)baf'(c) = \frac{f(b)-f(a)}{b-a}.

AN

Andrea

Responsabile Didattica Italiana Test d'Ingresso

STEM center of excellence in Milan. Certified tutors, structured methodology, and proprietary technology to guide every student toward their goals.

Need help with your studies?

Contact us for a personalized learning path.

Or message us on WhatsApp →

Maths TutoringBook now