The Mean Value Theorem: A Smooth Path's Hidden Secret

Before we state any theorem, the learner commits to a guess: on a road trip from point A to point B, must your speedometer reading ever exactly match your overall average speed?

• Decide intuitively before any formal statement
• Choose yes/no and locate a likely instant if 'yes'
• Lock in the initial intuition to revisit later

State the formal question in geometric language: on the graph of a function between two points (a, f(a)) and (b, f(b)), must some tangent line be parallel to the secant line?

• Restate the question with secant and tangent language
• Identify what 'smooth' means graphically: no corners or jumps
• Connect the geometric view to the driving question

An interactive graph lets the learner drag control points to shape a smooth curve between fixed endpoints; a slider searches for and highlights the tangent line whose slope equals the secant slope.

• Manipulate the curve's shape freely
• Observe the tangent slope tracking the secant slope
• See at least one guaranteed 'parallel' point on every smooth curve

Counterexamples: show a curve with a sharp corner where the secant slope cannot be matched, and a discontinuous jump where the theorem fails.

• Sharp corner breaks differentiability → theorem fails
• Discontinuity breaks the guarantee
• Both conditions of MVT are necessary

Write the theorem precisely: if f is continuous on [a, b] and differentiable on (a, b), then there exists c in (a, b) with f'(c) = (f(b) − f(a))/(b − a).

• Continuity on the closed interval is required
• Differentiability on the open interval is required
• Existence of c is the conclusion — no formula for c

A slider-based demonstration of the proof idea: define g(x) = f(x) − L(x), where L is the secant line. Show that g(a) = g(b) = 0, and by a Rolle-type argument, g has a horizontal tangent somewhere — that point is c.

• Subtract the secant line to flatten the average change
• g(a) = g(b) reveals equal endpoint values
• Somewhere between, g' must vanish — that is the MVT point

A single transfer question: given a function that travels distance 100 meters in 10 seconds, what must be true about its velocity function over that interval?

• Translate MVT into a velocity–position statement
• Recognize the consequence rather than compute a number
• Connect the abstract theorem back to the opening road-trip intuition

Boundaries: MVT fails if either hypothesis drops. Show the corner case, the jump case, and a function differentiable only almost everywhere.

• Both hypotheses are essential, not one or the other
• MVT gives existence, not location
• MVT is a guarantee, not a construction

Resolve the opening question: yes, every smooth curve has at least one point where the tangent is parallel to the secant. Reflect on why this single fact underpins so much of calculus.

• Directly answer the driving question
• Connect back to the speedometer-vs-average intuition
• Preview: MVT is the engine behind many later results