One of my hobbies here is running, and I recently ran 3km on the track, which led me to the following thought:

*Was there a mile (~1600m) which I ran at least as fast as my average pace?*

This can be thought of as a generalization of the mean value theorem, which says that a differentiable curve has at least one point where the derivative is equal to the “average” slope. However, this asks whether there exist some (connected) interval where the derivative is less than the average slope.

This statement can be seen to be false, and we might as well use the running example. Suppose the 3km was run at an average pace of 5:00min/mile, and in the race, for (counter-)example, I rode a bike to the 1,599m mark (which is still considered cheating so far as the IAAF is concerned), and got there after 1:00. I stay there for 5:01, then ride my bike to the finishline (taking another minute). I’ve just completed a 7:01 3k (WR, by the way) but there was never a 5minute period where I covered a mile. With faster and faster bikes (or cars!) my “moving” time could be reduced until it takes me 5:00+ to run the 3km. Of course, this is the best I can do without covering a mile in under 5minutes, since as soon as cover 3km in under 5 minutes, I must have (by continuity) covered a mile in under 5 minutes.

Now, since I hate to be a downer, there’s a positive result to share, which can be thought of as a generalization of the above discussion, but does not require any differentiability, or even continuity (unless there are philosophical objections to the discontinuous crossing of a mile). I’ll state the theorem for the unit interval, then translate that to the running example:

*Suppose has average speed (i.e., ) and is fixed. Then for any with , there is an interval with length where the average speed is at least .*

To see why this is true, just split up the interval into equal subintervals, and observe that the “average speed” on at least one of them must be at least , or else the total change would not be great enough.

Hence, in the running example, if I ran a 9:00 3k, then I must have covered at least one of the kilometers in 3minutes or less, even if I didn’t cover any mile in under 5minutes!