U2.4 Connecting Differentiability and Continuity
Learn why differentiability implies continuity, why the converse fails, and how to spot corners, cusps, and vertical tangents on the AP Calculus BC exam.
What you'll do in this lesson
A voice-first session with the Crimsora tutor on U2.4 Connecting Differentiability and Continuity, then targeted practice and FRQs — with the tutor adapting to where you get stuck.
What this lesson covers
You already know how to compute a derivative as a limit. Now comes one of the most tested logical relationships in all of calculus: if a function is differentiable at a point, it must be continuous there. This lesson proves that statement, then shows you the crucial subtlety — the reverse is not true. A function can be perfectly continuous yet fail to have a derivative at a point.
By the end you will be able to state and prove the theorem, use it to rule out differentiability, and instantly classify the three ways a continuous function goes non-differentiable: corners, cusps, and vertical tangents. The AP exam loves to test whether you understand the direction of this implication.
By the end you will be able to state and prove the theorem, use it to rule out differentiability, and instantly classify the three ways a continuous function goes non-differentiable: corners, cusps, and vertical tangents. The AP exam loves to test whether you understand the direction of this implication.
The Theorem and Its Proof
The central result is short: if is differentiable at , then is continuous at .
To prove continuity at we must show , which is equivalent to showing . Here is the trick: multiply and divide by .Because is differentiable at , the first factor has a finite limit equal to . The second factor, , approaches . Using the product rule for limits:Therefore , which is exactly the definition of continuity at .
The key step is that differentiability guarantees the difference quotient converges to a finite number. That finiteness is what forces the product to collapse to zero. If the difference quotient blew up to infinity, this argument would fail — which foreshadows the vertical tangent failure mode. On the exam, you may be asked to reproduce this proof or to justify a single step, so understand why the factor is inserted.
To prove continuity at we must show , which is equivalent to showing . Here is the trick: multiply and divide by .Because is differentiable at , the first factor has a finite limit equal to . The second factor, , approaches . Using the product rule for limits:Therefore , which is exactly the definition of continuity at .
The key step is that differentiability guarantees the difference quotient converges to a finite number. That finiteness is what forces the product to collapse to zero. If the difference quotient blew up to infinity, this argument would fail — which foreshadows the vertical tangent failure mode. On the exam, you may be asked to reproduce this proof or to justify a single step, so understand why the factor is inserted.
The Converse Fails: Continuity Does Not Imply Differentiability
The theorem is a one-way street. Continuity is a necessary condition for differentiability, but not a sufficient one. In logic terms, differentiable continuous, but continuous differentiable.
The contrapositive of the theorem is extremely useful: if is not continuous at , then is not differentiable at . So any jump, hole, or asymptote automatically kills differentiability. This gives you a fast elimination tool.
The famous counterexample to the converse is at . It is continuous everywhere, yet its derivative does not exist at because the left-hand slope is and the right-hand slope is . The limit of the difference quotient depends on direction, so no single value exists.
A common misconception is treating the two properties as equivalent. They are not. Differentiability is the stronger condition: every differentiable function is continuous, but the reverse can break down at isolated points.
The contrapositive of the theorem is extremely useful: if is not continuous at , then is not differentiable at . So any jump, hole, or asymptote automatically kills differentiability. This gives you a fast elimination tool.
The famous counterexample to the converse is at . It is continuous everywhere, yet its derivative does not exist at because the left-hand slope is and the right-hand slope is . The limit of the difference quotient depends on direction, so no single value exists.
| Statement | True? |
|---|---|
| Differentiable at continuous at | Yes |
| Continuous at differentiable at | No |
| Not continuous at not differentiable at | Yes |
| Not differentiable at not continuous at | No |
The Three Failure Modes
When a function is continuous but not differentiable at a point, it happens in one of three geometrically distinct ways. Knowing these lets you diagnose a graph instantly.
A corner occurs when the one-sided derivatives are both finite but unequal. The graph makes a sharp turn. Example: at , with left slope and right slope .
A cusp occurs when the one-sided slopes approach and (or vice versa), pinching to a sharp point. Example: at . Here , which tends to from the left and from the right.
A vertical tangent occurs when the slope approaches (or ) from both sides. The tangent line is vertical, so it has no finite slope. Example: at , where on both sides.
In all three cases the function is continuous — no break in the graph — but the derivative limit fails to be a single finite number.
A corner occurs when the one-sided derivatives are both finite but unequal. The graph makes a sharp turn. Example: at , with left slope and right slope .
A cusp occurs when the one-sided slopes approach and (or vice versa), pinching to a sharp point. Example: at . Here , which tends to from the left and from the right.
A vertical tangent occurs when the slope approaches (or ) from both sides. The tangent line is vertical, so it has no finite slope. Example: at , where on both sides.
| Failure mode | Left slope | Right slope | Example at |
|---|---|---|---|
| Corner | finite | finite, different | |
| Cusp | |||
| Vertical tangent | same |
How the Exam Tests This
AP questions on this topic take a few predictable forms. First, multiple-choice items may show a piecewise function or a graph and ask where the derivative fails to exist. Scan for discontinuities first (using the contrapositive), then look for corners, cusps, and vertical tangents.
Second, free-response and justification questions may require you to check differentiability of a piecewise function at a boundary. The standard method has two conditions that must both hold: the pieces must match in value (continuity), and the derivatives of the two pieces must match at the boundary (matching slopes). If a problem gives defined one way for and another for with unknown constants, you typically set up two equations.
Third, conceptual items test the logic directly: 'If is continuous at , must be differentiable at ?' The correct answer is no, and a full-credit justification names a counterexample or a failure mode.
A frequent trap: students conclude a function is differentiable just because it is continuous. Another trap is forgetting that matching values alone is not enough — you also need matching slopes. Always verify both conditions. When justifying, use precise language: state that the left- and right-hand derivatives exist and are equal to a finite common value, or explain exactly which condition fails.
Second, free-response and justification questions may require you to check differentiability of a piecewise function at a boundary. The standard method has two conditions that must both hold: the pieces must match in value (continuity), and the derivatives of the two pieces must match at the boundary (matching slopes). If a problem gives defined one way for and another for with unknown constants, you typically set up two equations.
Third, conceptual items test the logic directly: 'If is continuous at , must be differentiable at ?' The correct answer is no, and a full-credit justification names a counterexample or a failure mode.
A frequent trap: students conclude a function is differentiable just because it is continuous. Another trap is forgetting that matching values alone is not enough — you also need matching slopes. Always verify both conditions. When justifying, use precise language: state that the left- and right-hand derivatives exist and are equal to a finite common value, or explain exactly which condition fails.
Key terms
- Differentiable at .
- The limit exists as a finite number; equivalently, the one-sided difference quotients agree on a single finite value.
- Continuous at .
- ; the function has no jump, hole, or asymptote at .
- Converse.
- Reversing an implication. The converse of 'differentiable continuous' is 'continuous differentiable,' which is false.
- Contrapositive.
- Logically equivalent restatement: 'not continuous not differentiable.' A powerful elimination tool for spotting non-differentiable points.
- Corner.
- A point where both one-sided derivatives are finite but unequal, producing a sharp turn (e.g. at ).
- Cusp.
- A point where the one-sided slopes head to and (opposite infinities), pinching to a sharp point (e.g. at ).
- Vertical tangent.
- A point where the slope approaches the same infinite value from both sides, giving a vertical tangent line and no finite derivative (e.g. at ).
Worked example
Let . Find constants and so that is differentiable at .
Differentiability at requires two things: continuity at (values match) and matching derivatives at (slopes match). We use both conditions.
First, continuity. The left piece gives . The right piece approaches as . Setting them equal:Second, matching slopes. Differentiate each piece. For , , so the left derivative at is . For , . Setting the one-sided derivatives equal:Substitute into to get , so .
Therefore and . With these values the function is continuous (both pieces give at ) and has a common slope of from both sides, so it is differentiable at .
Note the logic: had we only required continuity, infinitely many pairs would work. The slope condition, guaranteed necessary by differentiability, pins down the unique answer.
First, continuity. The left piece gives . The right piece approaches as . Setting them equal:Second, matching slopes. Differentiate each piece. For , , so the left derivative at is . For , . Setting the one-sided derivatives equal:Substitute into to get , so .
Therefore and . With these values the function is continuous (both pieces give at ) and has a common slope of from both sides, so it is differentiable at .
Note the logic: had we only required continuity, infinitely many pairs would work. The slope condition, guaranteed necessary by differentiability, pins down the unique answer.
Practice questions
The function is continuous at . Which of the following must be true?
- is differentiable at
- exists and equals
- has a corner at
Answer:
Continuity at means exactly that , so that choice is the definition and must be true. Continuity does not guarantee differentiability, so the first and second choices are not required. A corner is only one possible behavior, not a necessity, so the last choice is false.
Consider . Determine whether is continuous at and whether it is differentiable there. Justify your answer and name the type of behavior at .
Answer: is continuous at but not differentiable there; the graph has a cusp.
Continuity: , so is continuous at . Differentiability: . As this tends to and as it tends to . The one-sided slopes head to opposite infinities, so the derivative does not exist. Opposite infinite slopes pinching to a point is the definition of a cusp. This illustrates that continuity does not imply differentiability.
A function has a jump discontinuity at . Is differentiable at ? Explain using a logical principle from this lesson.
Answer: No, is not differentiable at .
Use the contrapositive of the theorem 'differentiable continuous.' The contrapositive states 'not continuous not differentiable.' A jump discontinuity means is not continuous at , so cannot be differentiable there. Differentiability requires continuity as a necessary condition, and that condition fails.
FAQ
- Does differentiable always mean continuous?
- Yes. This is the main theorem of the lesson: if a function is differentiable at a point, it is automatically continuous there. The proof works by writing as the difference quotient times , whose limit is .
- Why doesn't continuity imply differentiability?
- Because a continuous graph can still have a sharp point or an infinite slope. The classic example is at : it is continuous but has different left and right slopes, so no single derivative value exists. Continuity only rules out breaks, not sharp turns.
- What are the three ways a continuous function can fail to be differentiable?
- A corner (finite but unequal one-sided slopes, like ), a cusp (opposite infinite slopes, like ), and a vertical tangent (same infinite slope from both sides, like ). In all three the function stays continuous.
- How do I check if a piecewise function is differentiable at the boundary?
- Check two conditions. First, the pieces must give the same value at the boundary (continuity). Second, the derivatives of the two pieces must be equal at the boundary (matching slopes). Both must hold; matching values alone is not enough.
Learn this with a teacher, not a page
The Crimsora tutor teaches U2.4 Connecting Differentiability and Continuity live — explaining on a whiteboard, asking you questions, and adapting to where you get stuck.