Analyzing the Setup
Imagine you are standing at the edge of a vast, uncharted mathematical landscape. You have two paths, represented by the functions f(x) and g(x), both defined on the interval [0,1].
You know exactly where they start and where they end:
f(0)=2, f(1)=6, g(0)=0, and g(1)=2.
The question before us is profound: is there a hidden connection between the rates at which these two paths change at some intermediate point c? This is the essence of Rolle's Theorem.
The Art of the Auxiliary Function
We cannot simply compare f′(x) and g′(x) directly because they are independent entities. We need a bridge.
That bridge is an auxiliary function,
h(x). We define:
h(x)=f(x)−λg(x)
where
λ is a constant we have yet to discover.
Why this specific form? Because we want to invoke Rolle's Theorem, which requires h(0)=h(1). This condition is the key that unlocks the entire problem, as it forces the two functions to synchronize their behavior at the boundaries.
Solving for the Magic Constant
Let us calculate the values at the boundaries. At
x=0, we have:
h(0)=f(0)−λg(0)=2−λ(0)=2
At
x=1, we have:
h(1)=f(1)−λg(1)=6−λ(2)=6−2λ
To satisfy
Rolle's Theorem, we set
h(0)=h(1), which gives us the equation:
2=6−2λ
Solving this simple linear equation, we find 2λ=4, which means λ=2. This is not just a number; it is the scaling factor that aligns the behavior of f(x) and g(x) perfectly.
The Moment of Truth
With λ=2, our auxiliary function becomes h(x)=f(x)−2g(x). Because f and g are differentiable, h is also differentiable.
Since h(0)=h(1)=2, Rolle's Theorem guarantees that there exists at least one point c∈(0,1) such that h′(c)=0.
Now, we differentiate
h(x) with respect to
x:
h′(x)=f′(x)−2g′(x)
Substituting our special point
c into this derivative, we get:
h′(c)=f′(c)−2g′(c)=0
Rearranging this, we arrive at the elegant conclusion:
f′(c)=2g′(c)
We have successfully navigated the terrain, using the boundary conditions to reveal a fundamental relationship between the derivatives of these two functions. This is the power of calculus—taking seemingly disconnected information and finding the hidden harmony beneath.