The Geometry of the Curve
Imagine you are standing on a path that is constantly rising, but as you walk forward, the path begins to level off. You are climbing, but the climb is getting easier. This is the physical reality of the function f(x) described in our problem.
We are given that f′(x)>0, which tells us the function is strictly increasing—you are always gaining altitude. But then we have the condition f′′(x)<0. This is the signature of a concave down function, an upside-down bowl, meaning the rate at which you are climbing is slowing down.
The Bridge of the Mean Value Theorem
To turn this intuition into a rigorous proof, we need a bridge. We have an interval [a,b] and a point c in between, creating two sub-intervals: [a,c] and [c,b].
Let's consider the chords connecting points A(a,f(a)), C(c,f(c)), and B(b,f(b)). The slopes of these chords are given by:
Now, we invoke the Lagrange Mean Value Theorem (LMVT). It tells us that for the interval [a,c], there exists a point p∈(a,c) such that f′(p)=m1. Similarly, for the interval [c,b], there exists a point q∈(c,b) such that f′(q)=m2.
The Inequality Dance
Here is where the logic tightens. Since p∈(a,c) and q∈(c,b), it is undeniable that p<c<q, which implies p<q.
Recall our condition f′′(x)<0. This implies that the first derivative f′(x) is a strictly decreasing function. Therefore, if p<q, then the slope at p must be greater than the slope at q:
The Final Reveal
We substitute our LMVT expressions back into the inequality:
c−af(c)−f(a)>b−cf(b)−f(c)
Because f(x) is strictly increasing, f(b)−f(c)>0, and because c>a, c−a>0. We can safely cross-multiply these positive terms without flipping the inequality sign.
Rearranging the terms, we arrive at the final conclusion:
f(b)−f(c)f(c)−f(a)>b−cc−a
This is the mathematical proof that for a concave down function, the slopes of consecutive chords must decrease as you move from left to right. You have successfully mastered the interplay between geometry and calculus!