From Endpoint Change to a Tangent
The Mean Value Theorem connects two ways of measuring change on a graph. A secant line records the function’s average change between two endpoints. A tangent line records its instantaneous change at one point. The theorem says that, under its hypotheses, these slopes agree somewhere between the endpoints.
This statement has a direct geometric interpretation: somewhere inside the interval, the graph has a tangent line parallel to the secant line through the graph’s endpoint values. “Parallel” describes the lines’ direction, which is determined by their slopes. The tangent and secant need not be different lines; for a linear function, they can coincide.
The theorem guarantees existence, not uniqueness: there may be one such point or several. It also concerns an interior point. The tangent supplied by the theorem is not required to occur at either endpoint.
Why Equal Slopes Mean Parallel Lines
The secant line through the two endpoint points has slope \(\frac{f(b)-f(a)}{b-a}\). Since \(a<b\), its denominator is nonzero. At an interior point \(c\) where \(f\) is differentiable, the tangent line has slope \(f'(c)\). If these two numbers are equal, the lines have the same direction, so they are parallel or coincide.
This can also be seen from the tangent-line equation. At \((c,f(c))\), the tangent line is
The coefficient of \(x-c\) is its slope. Thus, when the Mean Value Theorem gives \(f'(c)=\frac{f(b)-f(a)}{b-a}\), the tangent and secant have equal slopes. Their points of contact may differ, but their direction is the same.
The geometric picture is not that the tangent must pass through the endpoints. The secant does pass through both endpoint points; the tangent touches the graph at the interior point. The theorem compares their slopes, not their locations.
Worked Example: A Parabola and Its Endpoint Secant
Worked Example: A Parabola and Its Endpoint Secant
Let \(f(x)=x^2\) on \([0,2]\). Find the secant line through the endpoint values and a tangent line parallel to it.
First, evaluate the function at the endpoints:
The endpoint points are \((0,0)\) and \((2,4)\). The secant slope is
The line through \((0,0)\) with slope \(2\) is \(y=2x\). To locate tangent points with this slope, differentiate and set the derivative equal to the secant slope:
The point on the graph is \((1,f(1))=(1,1)\). Its tangent line is
The secant \(y=2x\) and tangent \(y=2x-1\) both have slope \(2\), so they are parallel. Also, \(1\in(0,2)\), as required for an interior point. The function is continuous on \([0,2]\) and differentiable on \((0,2)\), so the theorem applies. Checking the tangent’s slope directly, differentiating \(x^2\) at \(x=1\) gives \(2(1)=2\), matching the secant slope.
On a sketch, the secant joins the two endpoint points of the parabola. The tangent at \((1,1)\) has the same upward direction, although it is shifted below the secant.
Worked Example: A Trigonometric Graph
Worked Example: A Trigonometric Graph
Consider \(f(x)=\sin x\) on \([0,\frac{\pi}{2}]\). Find a point where the tangent is parallel to the endpoint secant, and write both lines’ slopes.
The endpoint values are
Therefore the secant slope is
The derivative is \(f'(x)=\cos x\). A tangent parallel to the secant must have slope \(\frac{2}{\pi}\), so solve
Because \(0<\frac{2}{\pi}<1\), the solution \(c=\arccos(\frac{2}{\pi})\) lies strictly between \(0\) and \(\frac{\pi}{2}\). Its graph point has coordinates
The positive square root is used because \(c\) is in the first quadrant. The tangent line at this point is
Its slope is \(\frac{2}{\pi}\), exactly the secant slope, so the two lines are parallel. The verification is direct: \(f'(c)=\cos(\arccos(\frac{2}{\pi}))=\frac{2}{\pi}\). The sine graph is continuous on the closed interval and differentiable in its interior, so the theorem’s hypotheses hold.
Worked Example: More Than One Parallel Tangent
Worked Example: More Than One Parallel Tangent
Let \(f(x)=x^3-3x\) on \([-2,2]\). Use the graph’s endpoint secant to find all interior tangent points with the same slope.
Evaluate the endpoint values:
The endpoint points are \((-2,-2)\) and \((2,2)\), so their secant slope is
Differentiate and equate the derivative to \(1\):
Thus \(c=\frac{2}{\sqrt{3}}\) or \(c=-\frac{2}{\sqrt{3}}\). Both lie in \((-2,2)\), since \(\frac{2}{\sqrt{3}}<2\). To check the tangent lines, use \(f(c)=c^3-3c\). From \(c^2=\frac{4}{3}\), it follows that
Since \(f'(c)=1\), the tangent equation at either point is
For \(c=\frac{2}{\sqrt{3}}\), this is \(y=x-\frac{16}{3\sqrt{3}}\); for \(c=-\frac{2}{\sqrt{3}}\), it is \(y=x+\frac{16}{3\sqrt{3}}\). The endpoint secant is \(y=x\), so both tangents are parallel to it. Substituting either \(c\) into \(f'(c)=3c^2-3\) gives \(3(\frac{4}{3})-3=1\), confirming both slopes.
This example illustrates an important feature of the geometric interpretation: a graph can have several tangents parallel to the same endpoint secant. The theorem guarantees at least one such point under its hypotheses, but it does not assert that there is only one.
What the Picture Does—and Does Not—Show
A graph can make the theorem intuitive, but a sketch alone cannot establish that its hypotheses hold. The theorem requires continuity on the entire closed interval and differentiability at every point in the open interval. If a graph has a break or a sharp corner within the interval, the guarantee may not apply.
For instance, consider \(f(x)=|x|\) on \([-1,1]\). Its endpoint values are both \(1\), so the secant is horizontal with slope \(0\). Away from \(0\), the derivative is \(-1\) for \(x<0\) and \(1\) for \(x>0\). At \(0\), the derivative does not exist. There is no interior point with a horizontal tangent, and differentiability on the whole open interval fails.
A Common Geometric Mistake
A tempting but incorrect argument is: “The endpoint secant is horizontal, so the graph must have a horizontal tangent somewhere between its endpoints.” The absolute-value example shows the problem. On \([-1,1]\), the secant is indeed horizontal, but the graph has no horizontal tangent in the interior: its slopes on either side of the corner are \(-1\) and \(1\), and it has no derivative at the corner.
The correction is to check the conditions before using the geometric conclusion. For \(f(x)=|x|\), continuity holds on \([-1,1]\), but differentiability fails at \(0\). The theorem therefore makes no guarantee on this interval. A graph-based interpretation must preserve the theorem’s assumptions rather than infer its conclusion from the secant alone.
Why This Interpretation Matters
The geometric viewpoint helps translate a statement about derivatives into a claim about the shape of a graph. Instead of treating the average rate of change and instantaneous rate of change as unrelated calculations, it identifies a point where the graph’s local direction matches its overall direction across the interval.
When using a graph or sketch, keep the roles of the lines distinct:
- The secant joins the two endpoint points and measures average change across the interval.
- The tangent touches the graph at an interior point and has slope given by the derivative there.
- The Mean Value Theorem guarantees at least one interior tangent whose slope equals the secant’s slope, provided its hypotheses hold.
These observations are useful when interpreting derivative information and checking whether a proposed geometric conclusion is plausible. They do not replace the conditions of the theorem or the calculation needed to verify a particular point.
Check Your Understanding
Use the geometric interpretation to answer these questions.
- What two points determine the endpoint secant in the Mean Value Theorem?
- What equality of slopes expresses that an interior tangent is parallel to the secant?
- Does the theorem guarantee exactly one parallel tangent, or at least one?
- For \(f(x)=x^2\) on \([0,2]\), what is the endpoint secant’s slope, and at what interior point does the tangent have that slope?
- Why does the Mean Value Theorem not guarantee a horizontal tangent for \(f(x)=|x|\) on \([-1,1]\)?
