Lesson 2.3 · Differentiation: Definition and Basic Rules
Differentiability
The derivative is a limit, and limits don't always exist. So some functions have points where there is no derivative: no well-defined slope, no tangent line you can write down. This lesson shows what those points look like, how differentiability relates to continuity, and how to test a piecewise function, which is a classic AP question.
What differentiable means
A function is differentiable at if exists as a finite number. A two-sided limit exists only when both one-sided limits exist and agree, so you can split the question in two:
- the left-hand derivative uses (secant lines from points to the left of ),
- the right-hand derivative uses (secant lines from points to the right).
The function is differentiable at exactly when both of these exist, are finite, and are equal. Visually, if you zoom in far enough on the graph near , it looks like a straight, non-vertical line.
Three ways to fail
Corners
To the left of , the graph of is the line with slope . To the right, it is with slope . The left-hand derivative is and the right-hand derivative is . They disagree, so does not exist. No matter how far you zoom in, the corner stays a corner.
Cusps and vertical tangents
Both of these graphs are continuous at , but the secant slopes blow up there. For , the slopes approach from both sides: the tangent line is vertical, and a vertical line has no slope. For , the slopes approach from the left and from the right, making a sharp point called a cusp. In both cases does not exist.
Discontinuities
If has a hole, jump or vertical asymptote at , it is not differentiable at . This follows from an important theorem.
Differentiability implies continuity
If is differentiable at , then is continuous at .
The converse is false: a function can be continuous at a point without being differentiable there. at is the standard example.
Here's why the theorem is true. For ,
As , the fraction approaches and approaches , so . That means , which is the definition of continuity.
The contrapositive is often more useful: if is not continuous at , it is not differentiable at . Always check continuity first.
Testing a piecewise function
For a piecewise function built from polynomials (or other smooth pieces), the only suspicious point is where the rule changes. At that point:
- Check continuity. The two pieces must meet: the left and right limits must both equal . If they don't, stop: is not differentiable.
- Check that the slopes match. Differentiate each piece and evaluate both derivatives at . If they agree, is differentiable at .
Worked example: A smooth join
Is differentiable at ?
Continuity: the left piece gives and the right piece approaches . Both equal , so is continuous at 1.
Slopes: the slope of at is (from , found with the definition last lesson). The line has slope . They match.
So is differentiable at , and . In fact is the tangent line to at , so the pieces blend seamlessly.
Worked example: Finding constants that make it work
Find and so that is differentiable everywhere.
Each piece is differentiable on its own, so only matters. You need two conditions, and you have two unknowns.
Slopes match: the derivative of is , which is at . The line has slope . So and .
Continuity: , so . With , .
Check: for and for . Both give at , and both have slope there.
Common mistake
Matching derivatives is not enough on its own. If for and for , the slopes both equal 2 at , but the pieces don't meet (). The function has a jump, so it is not differentiable at 1. Check continuity first.
Tip
Graphing-calculator displays can hide non-differentiable points. A corner on looks sharp, but a vertical tangent can look like an ordinary steep curve. When you have a formula, test the point algebraically.
Practice
Which statement is always true?
At which value of is not differentiable?
Let . Which statement is true about at ?
Let . Find the value of that makes continuous at . (With that , is differentiable at 2?)
Enter a number. Fractions like 3/4 and sqrt(2) are OK.
Find the constants and that make differentiable at . Enter your answer as .
Enter a point like (2, -3)
The graph of passes through the origin. Which best describes at ?
Find all values of where is not differentiable.
Separate answers with commas, e.g. 2, -5
Let . Which statement is true?