Skip to content

Unit 2: Differentiation: Definition and Fundamental Properties

Connecting Differentiability and Continuity

Explain why a differentiable function must be continuous, find the corners, cusps and vertical tangents where a continuous function has no derivative, and justify it.

Topic 2.4 · 9 min read

A derivative is the limit of f(x)−f(a)x−a\frac{f(x) - f(a)}{x - a} as x→ax \to a. The denominator goes to 00, so for the quotient to settle on a finite number, the numerator f(x)−f(a)f(x) - f(a) has to go to 00 as well. That forces f(x)→f(a)f(x) \to f(a), which is continuity. Differentiability is the stronger condition: it demands continuity and more.

Differentiable implies continuous

Here is the proof. For x≠ax \neq a, multiply and divide by x−ax - a:

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

As x→ax \to a, the first factor approaches f′(a)f'(a), a finite number because ff is differentiable at aa, and the second factor approaches 00. The limit of a product is the product of the limits, so

lim⁡x→a(f(x)−f(a))=f′(a)⋅0=0,that is,lim⁡x→af(x)=f(a).\lim_{x \to a}\big(f(x) - f(a)\big) = f'(a)\cdot 0 = 0, \quad\text{that is,}\quad \lim_{x \to a} f(x) = f(a).

That is the definition of continuity at aa (topic 1.11).

Two consequences follow:

  • No function value, no derivative. If aa is not in the domain of ff, it is not in the domain of f′f'. The difference quotient needs the value f(a)f(a), so no derivative can exist where ff is undefined. For f(x)=1xf(x) = \frac{1}{x}, both ff and f′f' are undefined at 00.
  • Every discontinuity is a point of non-differentiability. At a jump, a hole, or a vertical asymptote, the derivative does not exist, and nothing more needs checking. At a removable discontinuity this is true even though the graph looks smooth on both sides of the hole: the quotient's numerator f(x)−f(a)f(x) - f(a) approaches a nonzero number while the denominator goes to 00.

Continuous does not imply differentiable

The converse is false. A function can be continuous at aa and still have no derivative there, because the difference quotient can fail to have a finite limit even when f(x)−f(a)→0f(x) - f(a) \to 0. Usually it fails in one of two ways: its one-sided limits disagree, or it grows without bound. (A third way exists: the quotient can oscillate forever. For f(x)=xsin⁡1xf(x) = x\sin\frac{1}{x} with f(0)=0f(0) = 0, ff is continuous at 00, but the quotient hsin⁡(1/h)h=sin⁡1h\frac{h\sin(1/h)}{h} = \sin\frac{1}{h} swings between −1-1 and 11 infinitely often as h→0h \to 0 and approaches nothing.)

Corners: one-sided slopes disagree

For f(x)=∣x∣f(x) = |x| at x=0x = 0, the difference quotient is ∣h∣h\frac{|h|}{h}. For h>0h > 0 it equals 11, and for h<0h < 0 it equals −1-1. The one-sided limits are 11 and −1-1, so the two-sided limit does not exist. The graph is continuous at 00 but has a corner: there is no single line that matches its direction from both sides.

Any graph made of two smooth pieces that meet at an angle has the same problem. If the slope from the left approaches one value and the slope from the right approaches another, there is no derivative at the meeting point.

Vertical tangents and cusps: slopes grow without bound

For f(x)=x3f(x) = \sqrt[3]{x} at x=0x = 0, the difference quotient is

h3−0h=1h2/3,\frac{\sqrt[3]{h} - 0}{h} = \frac{1}{h^{2/3}},

which is positive for every h≠0h \neq 0 and grows without bound as h→0h \to 0. The secant lines through the origin get steeper and steeper from both sides and approach the vertical line x=0x = 0. That vertical line is the tangent line, but a vertical line has no slope, so f′(0)f'(0) does not exist. The function is continuous at 00, and its graph is perfectly smooth there; it just stands straight up.

For g(x)=x2/3g(x) = x^{2/3} at x=0x = 0, the quotient is h2/3h=1h1/3\frac{h^{2/3}}{h} = \frac{1}{h^{1/3}}, which goes to +∞+\infty from the right and to −∞-\infty from the left. The graph comes down steeply into the origin and goes back up steeply, forming a sharp point called a cusp. Again, no derivative exists.

Piecewise functions: continuity first, then slopes

A function defined in pieces, such as

f(x)={x2+1,x≤13x−1,x>1,f(x) = \begin{cases} x^2 + 1, & x \leq 1 \\ 3x - 1, & x > 1, \end{cases}

is differentiable away from the break point wherever its pieces are. At the break point x=1x = 1, check in this order.

First, continuity. f(1)=2f(1) = 2, and lim⁡x→1+(3x−1)=2\lim\limits_{x \to 1^+}(3x - 1) = 2, so ff is continuous at 11. If this had failed, you would be done: no continuity, no derivative.

Then, the one-sided limits of the difference quotient. From the left, with f(1)=2f(1) = 2:

lim⁡x→1−(x2+1)−2x−1=lim⁡x→1−(x−1)(x+1)x−1=2.\lim_{x \to 1^-}\frac{(x^2 + 1) - 2}{x - 1} = \lim_{x \to 1^-}\frac{(x - 1)(x + 1)}{x - 1} = 2.

From the right:

lim⁡x→1+(3x−1)−2x−1=lim⁡x→1+3(x−1)x−1=3.\lim_{x \to 1^+}\frac{(3x - 1) - 2}{x - 1} = \lim_{x \to 1^+}\frac{3(x - 1)}{x - 1} = 3.

The left-hand slope is 22 and the right-hand slope is 33, so ff is continuous but not differentiable at x=1x = 1: the graph has a corner there.

Once continuity is established, the one-sided limits of the difference quotient equal the slopes of the two pieces at the break point, so with pieces whose derivatives you know, comparing those slopes is a valid shortcut. Without continuity, it is not, as the first trap below shows.

Worked examples

Worked exampleExample 1: a corner from an absolute value

Show that g(x)=∣x2−4∣g(x) = |x^2 - 4| is continuous but not differentiable at x=2x = 2.

Show solution

Continuity. gg is the absolute value of a polynomial, a composition of continuous functions, so gg is continuous everywhere, and in particular lim⁡x→2g(x)=g(2)=0\lim\limits_{x \to 2} g(x) = g(2) = 0.

Differentiability. Near x=2x = 2, the sign of x2−4x^2 - 4 decides the formula. For xx slightly greater than 2, x2−4>0x^2 - 4 > 0, so g(x)=x2−4g(x) = x^2 - 4. For xx slightly less than 2 (between 00 and 22), x2−4<0x^2 - 4 < 0, so g(x)=4−x2g(x) = 4 - x^2. With g(2)=0g(2) = 0:

lim⁡x→2+(x2−4)−0x−2=lim⁡x→2+(x+2)=4,\lim_{x \to 2^+}\frac{(x^2 - 4) - 0}{x - 2} = \lim_{x \to 2^+}(x + 2) = 4,
lim⁡x→2−(4−x2)−0x−2=lim⁡x→2−(−(x+2))=−4.\lim_{x \to 2^-}\frac{(4 - x^2) - 0}{x - 2} = \lim_{x \to 2^-}\big(-(x + 2)\big) = -4.

The one-sided limits of the difference quotient are 44 and −4-4. They are not equal, so g′(2)g'(2) does not exist. The absolute value reflects the part of the parabola below the xx-axis upward, which folds the graph into a corner where it touches the axis.

Worked exampleExample 2: reading a graph

The graph of ff on −4≤x≤5-4 \leq x \leq 5 is shown below.

The graph of f. On negative 4 to negative 2, a line segment rises from (negative 4, 1) to a filled dot at (negative 2, 2). At x = negative 2 the graph jumps: an open circle at (negative 2, 4) starts a segment that falls to (0, 2). From (0, 2) the graph rises along a smooth curve that becomes vertical as it passes through (2, 3), then continues rising and flattening to (5, about 4.14). At x = 4 the curve has an open circle at (4, 4), and a separate filled dot is at (4, 1).

(a) At which values of xx in −4<x<5-4 < x < 5 is ff not continuous?

(b) At which values of xx in −4<x<5-4 < x < 5 is ff not differentiable? Give a reason for each.

Show solution

(a) ff is not continuous at x=−2x = -2, where the graph jumps (the left-hand limit is 2, the right-hand limit is 4), and at x=4x = 4, where lim⁡x→4f(x)=4\lim\limits_{x \to 4} f(x) = 4 but f(4)=1f(4) = 1.

(b) ff is not differentiable at four values:

  • x=−2x = -2 and x=4x = 4: ff is not continuous there, and a function is differentiable only where it is continuous.
  • x=0x = 0: ff is continuous, but the graph has a corner. The slope from the left is −1-1 (the segment from (−2,4)(-2, 4) to (0,2)(0, 2)), and the slope from the right is a small positive number, so the one-sided limits of the difference quotient are not equal.
  • x=2x = 2: ff is continuous, but the tangent line there is vertical, so the difference quotient grows without bound and f′(2)f'(2) does not exist.

Everywhere else in the interval, the graph is a smooth unbroken curve or segment with a non-vertical tangent, so ff is differentiable there.

Worked exampleExample 3: choosing constants (exam level, no calculator)

Let ff be defined by

f(x)={kx2+1,x≤2mx−3,x>2,f(x) = \begin{cases} kx^2 + 1, & x \leq 2 \\ mx - 3, & x > 2, \end{cases}

where kk and mm are constants. Find the values of kk and mm for which ff is differentiable at x=2x = 2. Justify your answer.

Show solution

For ff to be differentiable at x=2x = 2, it must be continuous there, and the one-sided limits of its difference quotient must be equal.

Continuity. f(2)=4k+1f(2) = 4k + 1 and lim⁡x→2+(mx−3)=2m−3\lim\limits_{x \to 2^+}(mx - 3) = 2m - 3, so continuity requires

4k+1=2m−3.4k + 1 = 2m - 3.

Equal one-sided slopes. From the left, using f(2)=4k+1f(2) = 4k + 1:

lim⁡x→2−(kx2+1)−(4k+1)x−2=lim⁡x→2−k(x−2)(x+2)x−2=4k.\lim_{x \to 2^-}\frac{(kx^2 + 1) - (4k + 1)}{x - 2} = \lim_{x \to 2^-}\frac{k(x - 2)(x + 2)}{x - 2} = 4k.

From the right, use continuity to replace f(2)f(2) by 2m−32m - 3:

lim⁡x→2+(mx−3)−(2m−3)x−2=lim⁡x→2+m(x−2)x−2=m.\lim_{x \to 2^+}\frac{(mx - 3) - (2m - 3)}{x - 2} = \lim_{x \to 2^+}\frac{m(x - 2)}{x - 2} = m.

Differentiability requires m=4km = 4k.

Solve. Substituting m=4km = 4k into the continuity equation gives 4k+1=8k−34k + 1 = 8k - 3, so k=1k = 1 and m=4m = 4.

Check. With these values, f(x)=x2+1f(x) = x^2 + 1 for x≤2x \leq 2 and f(x)=4x−3f(x) = 4x - 3 for x>2x > 2. Both pieces equal 55 at x=2x = 2, and both have slope 44 there, so ff is continuous at x=2x = 2 and f′(2)=4f'(2) = 4.

Both conditions are needed. Using only the slope condition m=4km = 4k leaves infinitely many pairs, most of which make ff jump at x=2x = 2; using only continuity leaves infinitely many pairs, most of which make a corner.

Where students lose points

On the exam

Questions on this topic ask you to decide whether a function is differentiable at a point and justify it. For a piecewise function, the justification states continuity with limits and then compares the one-sided slopes. Multiple-choice questions may show a graph and ask at how many points the function is not differentiable, or give a piecewise function with unknown constants. The fact "differentiable implies continuous" also appears as a step inside other justifications: when a question says ff is differentiable, you may cite it to conclude ff is continuous wherever it is differentiable. Check what that gives you against each theorem's hypotheses. The Intermediate Value Theorem needs ff continuous on the closed interval [a,b][a, b], and the Mean Value Theorem needs ff continuous on [a,b][a, b] and differentiable on (a,b)(a, b). If ff is differentiable at every point of [a,b][a, b] (for example, differentiable for all real xx), continuity on [a,b][a, b] follows. If you are told only that ff is differentiable on the open interval (a,b)(a, b), that gives continuity inside the interval but not at x=ax = a or x=bx = b, so continuity at the endpoints must be given or checked separately.

Check yourself

  1. Question 1

    The function ff is differentiable at x=3x = 3, and f(3)=5f(3) = 5. Which of the following must be true?

    1. A

      lim⁡x→3f(x)=5\lim\limits_{x \to 3} f(x) = 5

    2. B

      f′(3)=5f'(3) = 5

    3. C

      f′(3)=0f'(3) = 0

    4. D

      f(x)=5f(x) = 5 for all xx near 33

    Show answer

    A

    Differentiability at 3 implies continuity at 3, and continuity means the limit equals the function value, 5. Nothing given determines the value of f′(3)f'(3), so B and C need not hold, and D would make ff constant near 3.

  2. Question 2

    Which of the following functions is continuous at x=0x = 0 but not differentiable at x=0x = 0?

    1. A

      x∣x∣x|x|

    2. B

      x+∣x∣x + |x|

    3. C

      x3−xx^3 - x

    4. D

      ∣x∣x\dfrac{|x|}{x}

    Show answer

    B

    x+∣x∣x + |x| is 00 for x≤0x \leq 0 and 2x2x for x>0x > 0: continuous, with slopes 00 and 22 on the two sides, a corner. For A, the difference quotient is h∣h∣h=∣h∣→0\frac{h|h|}{h} = |h| \to 0, so x∣x∣x|x| is differentiable at 0 with derivative 0. D is undefined at 0, so it is not continuous there.

  3. Question 3

    Let f(x)=∣x∣f(x) = \sqrt{|x|}. Find the one-sided limits of the difference quotient f(0+h)−f(0)h\frac{f(0 + h) - f(0)}{h} as h→0+h \to 0^+ and h→0−h \to 0^-, and say whether the graph has a corner, a cusp, or a vertical tangent at x=0x = 0.

    Show answer

    As h→0+h \to 0^+ the quotient goes to +∞+\infty; as h→0−h \to 0^- it goes to −∞-\infty. The graph has a cusp at x=0x = 0, so f′(0)f'(0) does not exist.

    ff is continuous at 0 with f(0)=0f(0) = 0. For h>0h > 0 the quotient is hh=1h→+∞\frac{\sqrt{h}}{h} = \frac{1}{\sqrt{h}} \to +\infty; for h<0h < 0 it is −hh=−1−h→−∞\frac{\sqrt{-h}}{h} = -\frac{1}{\sqrt{-h}} \to -\infty. Infinite limits of opposite sign make a cusp; a vertical tangent would need both to be +∞+\infty (or both −∞-\infty), and a corner needs two different finite limits.

  4. Question 4

    A function ff is not continuous at x=4x = 4. Can f′(4)f'(4) exist? Explain.

    Show answer

    No. If f′(4)f'(4) existed, ff would be continuous at x=4x = 4.

    Differentiability at a point implies continuity there. Since ff is not continuous at 4, it cannot be differentiable at 4, whatever its graph looks like on either side.

Go deeper