Historical Context & Motivation
For most of the seventeenth and eighteenth centuries, mathematicians such as Newton and Leibniz operated under the informal assumption that every "reasonable" curve could be assigned a tangent line at every point. The notion of a derivative was synonymous with geometric smoothness, and no one questioned whether a continuous curve might fail to possess a tangent. It was not until the nineteenth century that rigorous definitions of continuity and differentiability exposed a surprising gap: a function can be perfectly continuous yet hopelessly non-differentiable. This realization reshaped analysis and eventually became one of the central distinctions tested on the AP Calculus AB exam.
The fundamental question this lesson addresses is: Under what conditions does a function possess a derivative, and what geometric or algebraic features cause the derivative to fail to exist? Mastering this distinction is critical not only for the AP exam but also for understanding the theoretical foundations upon which all of differential calculus rests.
Core Principles & Definitions
Before exploring when derivatives do and do not exist, we must ground ourselves in precise definitions. Continuity at a point x = a requires three conditions: f(a) is defined, the limit of f(x) as x approaches a exists, and that limit equals f(a). Differentiability at x = a demands something stronger: the limit of the difference quotient [f(a + h) − f(a)] / h as h → 0 must exist as a single, finite real number. This limit, when it exists, defines f′(a).
Differentiability Implies Continuity
Continuity Does NOT Imply Differentiability
Left and Right Derivatives Must Agree
Four Classic Failure Modes
Visual Explanation: Where Derivatives Fail
The diagram below presents four scenarios where a function is continuous at a point but the derivative fails to exist. Each panel shows the graph of a function near a critical point, with the behavior of the tangent line (or lack thereof) illustrated. Study how the secant lines from the left and right approach different slopes in each case.
Pay special attention to the difference between the cusp and the vertical tangent. At a cusp, the one-sided derivatives diverge to opposite infinities (one to +∞ and the other to −∞), whereas at a vertical tangent both one-sided derivatives diverge to the same infinity (+∞ or −∞). In both cases the limit of the difference quotient is not a finite number, so f′(a) does not exist—but the geometric pictures are quite different, and AP Calculus AB questions may ask you to distinguish them.
Mathematical Framework
The mathematical relationship between differentiability and continuity is anchored in the limit definition of the derivative. Every result in this section flows from that single definition, so we begin there and derive the fundamental theorem that differentiability implies continuity.
Detailed Classification of Non-Differentiable Points
The AP Calculus AB exam expects you to identify and describe points of non-differentiability by type. The following table and diagram provide a systematic classification. For each type, consider the behavior of the difference quotient from the left and from the right to understand exactly why the derivative fails to exist.
| Type | Continuous? | Left Derivative | Right Derivative | Example |
|---|---|---|---|---|
| Corner | Yes | Finite value L₁ | Finite value L₂ ≠ L₁ | f(x) = |x| at x = 0 |
| Cusp | Yes | +∞ (or −∞) | −∞ (or +∞) | f(x) = x²ᐟ³ at x = 0 |
| Vertical Tangent | Yes | +∞ (or −∞) | +∞ (or −∞) same sign | f(x) = x¹ᐟ³ at x = 0 |
| Jump Discontinuity | No | May exist finitely | May exist finitely | Piecewise step function |
| Removable Discontinuity | No | DNE (limit issue) | DNE (limit issue) | f(x) = (x²−1)/(x−1), x≠1 |
When approaching any AP question about differentiability, use this flowchart as a mental checklist. The first gate—continuity—is often the fastest to check and immediately eliminates a large class of problems. If the function passes the continuity test, compute the left-hand and right-hand derivatives separately using the limit definition. Only when both are finite and equal can you conclude that f′(a) exists.
Worked Example
Let us work through a complete example that tests both continuity and differentiability for a piecewise function—a type frequently encountered on the AP Calculus AB exam.
Common Pitfalls & Comparisons
Students frequently confuse related but distinct concepts when determining differentiability. The table below contrasts common misconceptions with the correct reasoning, and highlights the most frequent errors that appear on the AP exam.
| Common Misconception | Correct Understanding |
|---|---|
| "If f is continuous at a, then f is differentiable at a." | Continuity is necessary but not sufficient. f(x) = |x| is continuous everywhere but not differentiable at x = 0. |
| "Piecewise functions are never differentiable at breakpoints." | If both pieces give the same function value and the same derivative at the breakpoint, the function is differentiable there. Example: f(x) = {x² for x ≤ 1, 2x − 1 for x > 1} is differentiable at x = 1. |
| "A vertical tangent means the function is discontinuous." | A vertical tangent (like at x = 0 for f(x) = x¹ᐟ³) is a feature of a continuous function. The derivative fails to exist because the slope is infinite, not because of a discontinuity. |
| "If f′(a) doesn't exist, there's no tangent line at a." | At a vertical tangent there is a tangent line—it is simply vertical (undefined slope). At corners, there are two distinct tangent directions, not zero. |
| "Differentiability only matters at integer or "nice" values." | Differentiability can fail at any x-value. Always examine points where the function formula changes or where algebraic expressions involve absolute values, fractional exponents, or radicals. |
Connections to Advanced Theory
The differentiability–continuity relationship you have studied in this lesson extends into more sophisticated mathematical territory that you will encounter in AP Calculus BC and beyond. Understanding these connections now will deepen your intuition and prepare you for future coursework.
| AP Calculus AB Concept | Advanced Extension | Key Idea |
|---|---|---|
| Differentiability implies continuity | Continuously differentiable functions (C¹) | In analysis, we classify functions by how many times they are continuously differentiable. C¹ means f′ exists and is itself continuous. |
| Corners and cusps (non-differentiable points) | Lipschitz continuity and weak derivatives | |x| has a weak derivative in the sense of distributions, even though the classical derivative fails at 0. This idea powers PDEs and real analysis. |
| Weierstrass continuous-but-nowhere-differentiable function | Fractal geometry and Brownian motion | Many natural phenomena (stock prices, coastlines) follow paths that are continuous but nowhere differentiable—an idea central to fractal mathematics. |
| One-sided derivatives | Directional derivatives in multivariable calculus | The left/right derivative generalizes to directional derivatives in ℝⁿ, where differentiability requires the existence of a linear approximation in all directions simultaneously. |
For the AP Calculus AB exam, you do not need to master these advanced topics, but being aware of them reinforces a crucial lesson: the seemingly simple theorem that differentiability implies continuity is the first rung on a very tall ladder. Each successive course in analysis adds conditions—continuous first derivative, continuous second derivative, and so on—that control the smoothness of functions with increasing precision. The one-sentence version of the AB-level takeaway remains: differentiability is a stronger condition than continuity, and you must verify it by checking one-sided limits of the difference quotient.
Practice Problems
Lesson Summary
This lesson established the foundational relationship between differentiability and continuity: if a function is differentiable at a point, it must be continuous there, but the converse is false. We proved this theorem using the limit definition of the derivative and its powerful contrapositive: if a function is not continuous, it cannot be differentiable.
We classified four types of non-differentiable points: corners (finite but unequal one-sided derivatives), cusps (one-sided derivatives diverge to opposite infinities), vertical tangent lines (one-sided derivatives diverge to the same infinity), and discontinuities (continuity fails, so differentiability is precluded). For the AP exam, always follow the decision flowchart: check continuity first, then compute and compare the left-hand and right-hand derivatives.