What happens if we integrate, then differentiate?
Question
For a positive number , let
Then when equals
- ,
- ,
- ,
- .
Suggestion
We are looking for the stationary point of . What does this mean geometrically?
As increases, for which points does increase and for which points does it decrease? What does this tell us about where the stationary points have to lie?
Solution
For a positive number , let
Then when equals
- ,
- ,
- ,
- .
Approach 1
We want to find a stationary point of , though it may not be clear exactly how to differentiate an expression in this form. As is the (signed) area of the curve above the -axis between and , we want to find a point in which the area is neither increasing nor decreasing.
Let , so that . Then if , the area must increase if increases by a small amount. Similarly if , the area must decrease. This is by considering that the new areas added will be entirely above and entirely below the -axis in each case respectively. This picture also tells us that the rate at which the area changes is smallest when is smallest. Therefore, the stationary points must occur when .
So when . Hence , which gives that (as is positive).
Therefore the answer is (b).
Approach 2
We may recall that, in many ways, integration can be seen as the opposite of differentiation. Therefore we may initially guess that . To show that this is true, suppose that integrates to the function . That is, is the function satisfying . Then we have that
and so
as is a constant. Hence the derivative is when , similarly to above.
As before, the answer is (b).
In the two arguments above, you may not be completely convinced by some of the assertions that have been made. For example, in the first approach, we asserted that if , then the area must increase if increases by a small amount. What if decreases very quickly? Would there always be some amount by which we can increase so that the area still increases? In the second approach, if we cannot write down an expression for the integral explicitly, must it always exist? This result is known as the fundamental theorem of calculus and is explored when studying mathematics at university.