6.3 Limits, Continuity, Differentiability & Mean Value Theorems
Key Takeaways
A function is continuous at a point when the left-hand limit, right-hand limit and functional value are all equal and finite; differentiability additionally requires equal left- and right-hand derivatives.
Differentiability implies continuity, but continuity does not imply differentiability — the modulus function at x = 0 is the standard counter-example.
Rolle's theorem needs continuity on the closed interval, differentiability on the open interval, and equal end values, and then guarantees a point where the derivative vanishes.
Lagrange's mean value theorem drops the equal-end-value condition and guarantees a point where the derivative equals the average slope (f(b) - f(a))/(b - a).
Limits: The Working Definition
The CIL paper never asks for an epsilon-delta proof. What it asks is whether a limit exists and what its value is. The operational test is simple: the limit exists at when the left-hand and right-hand limits are finite and equal.
The standard limits that must be memorised:
| Limit | Value |
|---|---|
Note that only when is in radians. A question phrased in degrees is a deliberate trap; the answer becomes .
Continuity
A function is continuous at when three conditions hold simultaneously:
- is defined,
- exists,
- .
Discontinuities are classified as removable (the limit exists but disagrees with , so redefining one point repairs it), jump (left and right limits both exist but differ), and infinite (at least one one-sided limit is unbounded).
A practical example from mining instrumentation: a step change in a conveyor load cell signal is a jump discontinuity; a single corrupted sample in an otherwise smooth trace is removable.
Differentiability
The derivative at a point is the two-sided limit
and it exists only when the left-hand derivative equals the right-hand derivative. The critical implication chain, tested almost every year in PSU papers, runs one way only:
The canonical counter-example is at . It is continuous there, but the left-hand derivative is and the right-hand derivative is , so no derivative exists. Geometrically, any sharp corner or cusp destroys differentiability while leaving continuity intact.
Rolle's Theorem
If is (i) continuous on the closed interval , (ii) differentiable on the open interval , and (iii) satisfies , then there exists at least one with
Geometrically: a smooth curve that starts and ends at the same height must be horizontal somewhere in between. All three hypotheses are needed — dropping any one produces a valid counter-example, and CIL-style items often ask precisely which hypothesis fails.
Example. For on : and , the function is a polynomial so continuity and differentiability are automatic. Then gives , which indeed lies in .
Lagrange's Mean Value Theorem
Drop the condition and the conclusion generalises: there exists such that
The instantaneous rate of change somewhere in the interval equals the average rate of change across it. Rolle's theorem is simply the special case in which the right-hand side is zero.
A physical reading familiar from mine haulage: if a dumper covers 30 km in 30 minutes, its average speed is 60 km/h, and the mean value theorem guarantees that its speedometer read exactly 60 km/h at some instant.
Example. For on , the average slope is . Setting gives .
Cauchy's Mean Value Theorem
The generalisation to two functions states that if and satisfy the same hypotheses and on , then for some ,
Setting recovers Lagrange's form. Cauchy's theorem is the formal justification for L'Hopital's rule, which is treated in the next section under indeterminate forms.
Quick Reference: Which Theorem Applies
| Given | Use | Conclusion |
|---|---|---|
| Rolle | ||
| Lagrange | $f'(c) = $ average slope | |
| Ratio of two functions | Cauchy | Ratio of derivatives = ratio of increments |
The function f(x) = |x| at x = 0 is:
Continuous but not differentiable
Both continuous and differentiable
Neither continuous nor differentiable
Differentiable but not continuous
For f(x) = x^2 - 4x + 3 on the interval [1, 3], the value of c guaranteed by Rolle's theorem is:
1.5
2
2.5
3
Which condition is NOT required for Rolle's theorem to apply on [a, b]?
f is differentiable on the open interval (a, b)
f(a) = f(b)
f is monotonically increasing on [a, b]
f is continuous on the closed interval [a, b]
The limit of (sin x)/x as x approaches 0, with x measured in radians, equals:
Infinity
Pi divided by 180
Zero
One
Sections you finish are checked off in the contents.