Unit 2 · Topic 2.4 Beta

Differentiability and Continuity

5 min read · freeNot practiced

A derivative is a limit, and limits can fail to exist. This page asks where f′(a)f'(a) exists, how that connects to continuity from Unit 1, and how to justify your answer the way the exam expects. The key fact runs in one direction only, and most lost points come from running it backward.

Differentiable at a point

A function ff is differentiable at x=ax = a when its derivative there exists:

f′(a)=limh→0f(a+h)−f(a)h is a finite number.f'(a) = \lim_{h \to 0} \frac{f(a + h) - f(a)}{h} \text{ is a finite number.}

It is differentiable on an interval when it is differentiable at every point of the interval. For the limit to exist, the difference quotients from the left (h<0h < 0) and from the right (h>0h > 0) must approach the same finite number. On the graph, that means one well-defined, non-vertical tangent line at the point.

Differentiable implies continuous

Suppose f′(a)f'(a) exists. For h≠0h \ne 0, multiply and divide by hh:

f(a+h)−f(a)=f(a+h)−f(a)h⋅h.f(a + h) - f(a) = \frac{f(a + h) - f(a)}{h} \cdot h.

As h→0h \to 0, the first factor goes to f′(a)f'(a), a finite number, and the second goes to 0. So f(a+h)−f(a)→f′(a)⋅0f(a + h) - f(a) \to f'(a) \cdot 0=0= 0, which says limx→af(x)\lim_{x \to a} f(x)=f(a)= f(a). That is continuity at aa.

If ff is differentiable at aa, then ff is continuous at aa. The exam uses this constantly. When a problem says "ff is differentiable" and you need continuity, for the Intermediate Value Theorem for example, write the reason in words: "ff is differentiable, so ff is continuous on [1,4][1, 4]." Asserting continuity with no reason does not earn the point.

Read the theorem the other way and you get its contrapositive, which is also true: if ff is not continuous at aa, then ff is not differentiable at aa. Jumps, holes and vertical asymptotes all rule out a derivative.

Continuous does not imply differentiable

The converse is false. A graph can be connected at a point and still have no single slope there. There are three ways it happens.

Four small graphs. A corner: y = |x| + 0.5, a V shape with slope minus 1 on the left of 0 and 1 on the right. A cusp: y = x to the two-thirds, a sharp point at the origin where the slopes become infinitely steep in opposite directions. A vertical tangent: y = cube root of (x minus 1), with a vertical tangent line x = 1 drawn dashed. A jump: a line ending with a closed dot at (1, 1.5) and restarting with an open dot at (1, 0). The first three are continuous but not differentiable at the marked point; the jump is not continuous, so not differentiable.
Figure 1. A corner, a cusp and a vertical tangent (continuous, not differentiable) and a jump (neither). LevlPrep original diagram.
  • Corner. The left and right slopes are two different finite numbers. For |x||x| at 0, the difference quotient is |h|h\frac{|h|}{h}, which is −1-1 for h<0h < 0 and 1 for h>0h > 0. No two-sided limit, no derivative.
  • Cusp. The slopes grow without bound, toward −∞-\infty on one side and +∞+\infty on the other. For x2/3x^{2/3} at 0, the quotient is h2/3h=1h3\frac{h^{2/3}}{h} = \frac{1}{\sqrt[3]{h}}.
  • Vertical tangent. The slopes grow without bound in the same direction and the tangent line is vertical. For x3\sqrt[3]{x} at 0, the quotient is 1h2/3→+∞\frac{1}{h^{2/3}} \to +\infty from both sides. A vertical line has no slope, so there is no derivative.
At x=ax = a the graph hasContinuous?Differentiable?Example at 0
a smooth, non-vertical tangent lineyesyesx2x^2
a corneryesno|x||x|
a cuspyesnox2/3x^{2/3}
a vertical tangentyesnox3\sqrt[3]{x}
a jump, hole or asymptotenono|x|x\frac{|x|}{x}, 1x\frac{1}{x}

The last row is the only one where continuity fails. The first column is the one to look at on a graph.

Piecewise functions at the break

At the input where a piecewise function changes formula, check two things in order.

  1. Continuity. Do both pieces approach the value of the function there? If not, stop: not differentiable.
  2. Matching slopes. Find the slope of each piece at the break. If they are equal, the function is differentiable there and f′(a)f'(a) is that common slope. If not, there is a corner.

Worked example 1. Is p(x)p(x)={x2x≤12x−1x>1= \begin{cases} x^2 & x \le 1 \\ 2x - 1 & x > 1 \end{cases} differentiable at x=1x = 1?

Continuity: limx→1−x2=1\lim_{x \to 1^-} x^2 = 1, limx→1+(2x−1)\lim_{x \to 1^+} (2x - 1)=1= 1, and p(1)=1p(1) = 1. Continuous.

Slopes: on the left, x2x^2 has derivative 2x2x, which is 2 at x=1x = 1. On the right, the line 2x−12x - 1 has slope 2. They match.

Conclusion: pp is differentiable at x=1x = 1 and p′(1)=2p'(1) = 2. The line continues the parabola smoothly; it is the parabola's own tangent line at (1,1)(1, 1).

Worked example 2. Find mm and bb so that f(x)f(x)={x2x≤2mx+bx>2= \begin{cases} x^2 & x \le 2 \\ mx + b & x > 2 \end{cases} is differentiable at x=2x = 2.

Slopes must match: the slope of x2x^2 at 2 is 2(2)=42(2) = 4, so m=4m = 4.

The pieces must meet: m(2)+b=22m(2) + b = 2^2, so 8+b=48 + b = 4 and b=−4b = -4.

Check: the line y=4x−4y = 4x - 4 passes through (2,4)(2, 4) with slope 4. Both conditions are needed. Matching slopes without meeting gives a jump; meeting without matching slopes gives a corner.

Writing it up

  • To use continuity from differentiability: "Because ff is differentiable at x=ax = a, ff is continuous at x=ax = a."
  • To show a function is not differentiable at a continuous point, name the feature and give the evidence: "The one-sided limits of the difference quotient at x=0x = 0 are −1-1 and 1, so g′(0)g'(0) does not exist."
  • Never argue from "not differentiable" to "not continuous". That reverses the theorem.

From the next topic on, you will find derivatives with rules instead of limits. Every rule assumes the functions involved are differentiable where you use them.

Spot a mistake on this page?