Analyzing the Setup
Imagine you are standing on a vast, flat plain. You are looking at a function g(x) that behaves like a traveler on a journey. This function is a story told in three distinct acts.
In the first act, for x<a, our traveler is resting on the x-axis. The function is defined as g(x)=0. It is a perfectly flat, horizontal line with no movement and no slope.
The Climb
At the boundary x=a, the traveler begins to climb. For the interval a≤x≤b, the function is defined as:
This is the heart of the problem, representing the accumulation of area under the curve f(t). Because we are given that f(t)≥1, this is a steady, upward climb.
The slope of this path is determined by the Fundamental Theorem of Calculus:
Since f(t)≥1, our traveler is moving upward with a slope of at least 1.
The Plateau
Finally, we reach x=b. The climbing stops, and the function becomes:
This is a constant value—a plateau. The traveler stops climbing and walks along a flat, horizontal line once more, where the slope is 0.
Continuity and Differentiability
Now, we must ask the critical questions: Is this journey smooth?
Continuity is straightforward to verify. At x=a, the left-hand limit is 0, and the right-hand limit is ∫aaf(t)dt=0. They match.
At x=b, the left-hand limit is ∫abf(t)dt, and the right-hand limit is the constant ∫abf(t)dt. These also match, confirming the function is continuous everywhere.
However, differentiability reveals where the sharp corners hide. At x=a, the slope from the left is 0, while the slope from the right is f(a). Since f(a)≥1, the slopes are not equal, creating a sharp corner.
At x=b, the slope from the left is f(b), and the slope from the right is 0. Again, because f(b)≥1, the slopes are not equal, resulting in another sharp corner.
We have discovered that while our function is continuous, it is not differentiable at the boundaries. It is a beautiful example of how a function can be perfectly connected but fundamentally "broken" in its smoothness.