Connecting Differentiability and Continuity: Determining When Derivatives Do and Do Not Exist - AP Calculus BC

SECTION 1

Historical Context & Motivation

The relationship between differentiability and continuity was one of the most debated topics in the development of modern analysis. For much of the eighteenth century, mathematicians such as Euler and Lagrange implicitly assumed that any "reasonable" function could be differentiated, because the functions they encountered—polynomials, trigonometric expressions, exponentials—were all smooth. This comfortable assumption persisted until the nineteenth century, when a series of surprising counterexamples forced the mathematical community to rigorously define what it means for a function to be continuous and, separately, differentiable.

1817 • Bolzano's Rigorous Continuity

Bernard Bolzano provided one of the first rigorous definitions of continuity, distinguishing it from the intuitive notion of an "unbroken" graph and laying the groundwork for epsilon-delta formalism.

1861 • Weierstrass's Limit Formalization

Karl Weierstrass formalized the ε–δ definition of limits and continuity, making it possible to state precisely when a derivative limit exists or fails to exist at a point.

1872 • Weierstrass's Everywhere-Continuous, Nowhere-Differentiable Function

Weierstrass stunned the mathematical world by constructing a function that is continuous at every point yet differentiable at no point, demolishing the assumption that continuity guarantees differentiability.

1900s • Modern Analysis Consensus

The distinction was codified: differentiability implies continuity, but continuity does not imply differentiability. This one-way implication became a cornerstone of real analysis and calculus pedagogy.

The central question this lesson addresses is deceptively simple: If a function is continuous at a point, can we always compute its derivative there? The answer is a definitive no, and understanding exactly when and why derivatives fail to exist is essential for success on the AP Calculus BC exam. Mastering this topic requires you to internalize both the logical relationship between continuity and differentiability and the geometric features of graphs where the derivative does not exist.

SECTION 2

Core Principles & Definitions

Before exploring the interplay between differentiability and continuity, we must establish precise definitions. A function f is continuous at x = a if three conditions hold: f(a) is defined, lim(x→a) f(x) exists, and lim(x→a) f(x) = f(a). A function is differentiable at x = a if the limit of the difference quotient, lim(h→0) [f(a + h) − f(a)] / h, exists as a finite number. Differentiability at a point is a strictly stronger condition than continuity, meaning that every differentiable function is continuous, but many continuous functions are not differentiable at certain points.

Differentiability ⟹ Continuity

If f is differentiable at x = a, then f is necessarily continuous at x = a. This is a theorem, not an axiom, and its proof follows directly from the limit definition of the derivative.

Continuity ⟹̸ Differentiability

Continuity at a point does not guarantee differentiability. Functions with corners, cusps, or vertical tangent lines are continuous yet fail to have a derivative at those points.

Discontinuity ⟹ Non-Differentiability

The contrapositive of the first principle: if f is not continuous at x = a, then f is not differentiable at x = a. A discontinuity always destroys differentiability.

Left and Right Derivatives Must Agree

For f′(a) to exist, the left-hand derivative lim(h→0⁻) [f(a+h)−f(a)]/h and the right-hand derivative lim(h→0⁺) [f(a+h)−f(a)]/h must both exist and be equal.

✦

KEY TAKEAWAY

Think of differentiability and continuity as levels of "smoothness." Continuity is like a road with no gaps—you can drive along it without your car leaving the pavement. Differentiability is a smoother road with no sharp turns—not only can you stay on it, but your steering wheel changes angle gradually. A sharp corner in the road (a cusp or corner in the graph) lets you stay on the road (continuous) but forces an abrupt steering change that doesn't correspond to a single well-defined direction (not differentiable).

SECTION 3

Visual Explanation: Where Derivatives Fail

The diagram below illustrates four classic scenarios where a function is continuous at a point but fails to be differentiable. Each panel shows a different geometric pathology: a corner (where left and right derivatives exist but differ), a cusp (where one or both one-sided derivatives tend to ±∞), a vertical tangent (where the tangent line is vertical, giving an infinite slope), and a jump discontinuity (where continuity itself fails, automatically precluding differentiability).

Four common situations where f′(a) does not exist. The top-left panel shows a corner (f(x) = |x| at x = 0) with distinct left and right slopes. The top-right panel shows a cusp (f(x) = x²ᐟ³) where slopes tend to ±∞. The bottom-left panel shows a vertical tangent (f(x) = x¹ᐟ³). The bottom-right panel shows a jump discontinuity where continuity fails entirely.

In each of the first three panels, the function is continuous at the marked point—there is no break in the graph—yet the derivative fails to exist because the difference quotient does not converge to a single finite limit. Geometrically, the derivative at a point gives the slope of the unique tangent line. When the graph has a sharp corner, two competing tangent directions exist; when a cusp or vertical tangent appears, the slope tends to infinity. These distinctions are tested frequently on the AP exam, often in conjunction with piecewise-defined functions.

SECTION 4

Mathematical Framework

The Derivative as a Limit

DEFINITION OF THE DERIVATIVE

f′(a) = lim(h→0) [f(a + h) − f(a)] / h

Here f′(a) denotes the derivative of f at x = a. The limit must exist and be finite for f to be differentiable at a. If the limit equals +∞ or −∞, the derivative does not exist (even though a vertical tangent may be present).

Proof: Differentiability Implies Continuity

This is one of the most elegant short proofs in introductory analysis and appears regularly on the AP exam as a conceptual question. Suppose f is differentiable at x = a, so f′(a) exists. We wish to show that lim(x→a) f(x) = f(a), which is the definition of continuity at a.

REWRITE THE FUNCTION VALUE

f(x) − f(a) = [(f(x) − f(a)) / (x − a)] × (x − a)

This identity holds for all x ≠ a. Taking the limit as x → a, the first factor approaches f′(a) (which exists by hypothesis) and the second factor approaches 0.

COMPLETING THE PROOF

lim(x→a) [f(x) − f(a)] = f′(a) × 0 = 0 ⟹ lim(x→a) f(x) = f(a)

Since the limit of f(x) − f(a) is 0, we conclude lim(x→a) f(x) = f(a). Therefore f is continuous at x = a. ∎

One-Sided Derivatives

LEFT-HAND AND RIGHT-HAND DERIVATIVES

f′₋(a) = lim(h→0⁻) [f(a+h) − f(a)] / h f′₊(a) = lim(h→0⁺) [f(a+h) − f(a)] / h

The derivative f′(a) exists if and only if both one-sided limits exist, are finite, and are equal: f′₋(a) = f′₊(a). This criterion is the primary tool for checking differentiability at boundaries of piecewise functions.

💡

AP EXAM TIP

When analyzing a piecewise function for differentiability at the boundary point x = a, first verify continuity (left-hand limit = right-hand limit = f(a)). If continuity fails, you are done—the derivative does not exist. If continuity holds, compute the derivative of each piece and check whether the left and right derivatives agree at x = a.

SECTION 5

Classifying Points of Non-Differentiability

Points where f′(a) fails to exist can be systematically classified based on the behavior of the difference quotient. This classification helps you quickly identify the type of failure on an exam, whether you are reading a graph, analyzing a formula, or inspecting tabular data. The SVG below organizes these types into a decision flowchart, and the table that follows provides a compact reference.

Follow this decision flowchart from top to bottom. Start by checking continuity; if it fails, stop immediately. If the function is continuous, check whether each one-sided derivative is finite. If both are finite, check whether they are equal. Only when all three tests pass does f′(a) exist.

Type	Continuity?	Left Derivative	Right Derivative	Example
Corner	Yes	Finite (e.g., −1)	Finite but different (e.g., +1)	f(x) = \|x\| at x = 0
Cusp	Yes	→ +∞ (or −∞)	→ −∞ (or +∞)	f(x) = x²ᐟ³ at x = 0
Vertical Tangent	Yes	→ +∞	→ +∞	f(x) = x¹ᐟ³ at x = 0
Discontinuity	No	N/A	N/A	Piecewise with a jump

Summary of the four main types of non-differentiability

SECTION 6

Worked Example: Piecewise Differentiability

Consider the piecewise function f(x) = { x² + 1, for x ≤ 2 ; 4x − 3, for x > 2 }. Determine whether f is differentiable at x = 2.

Checking Differentiability of a Piecewise Function at x = 2

1
Step 1 — Check Continuity (Left-Hand Limit)

For the left piece, f(x) = x² + 1. Compute lim(x→2⁻) f(x) = (2)² + 1 = 5.

Left-hand limit = 5
2
Step 2 — Check Continuity (Right-Hand Limit)

For the right piece, f(x) = 4x − 3. Compute lim(x→2⁺) f(x) = 4(2) − 3 = 5.

Right-hand limit = 5
3
Step 3 — Verify Function Value and Conclude Continuity

Since x = 2 falls in the domain x ≤ 2, use the left piece: f(2) = (2)² + 1 = 5. Both one-sided limits equal f(2) = 5, so f is continuous at x = 2.

f is continuous at x = 2 ✓
4
Step 4 — Compute Left-Hand Derivative

Differentiate the left piece: d/dx (x² + 1) = 2x. Evaluate at x = 2: f′₋(2) = 2(2) = 4.

Left-hand derivative = 4
5
Step 5 — Compute Right-Hand Derivative

Differentiate the right piece: d/dx (4x − 3) = 4. This is constant, so f′₊(2) = 4.

Right-hand derivative = 4
6
Step 6 — Conclusion

Since f is continuous at x = 2, f′₋(2) = 4, and f′₊(2) = 4, the left and right derivatives are equal. Therefore f is differentiable at x = 2, and f′(2) = 4.

f′(2) = 4 — differentiable ✓

⚠

COMMON MISTAKE

Students sometimes skip the continuity check and jump straight to comparing derivatives. If the function is discontinuous at the boundary, the derivative automatically does not exist, regardless of what the derivative formulas yield. Always verify continuity first.

SECTION 7

Strengths & Limitations of the Differentiability–Continuity Link

Aspect	Strengths	Limitations / Pitfalls
Logical implication	Differentiability ⟹ Continuity provides a fast discontinuity check: if f is not continuous, f is not differentiable.	The converse is false. Students often assume continuity guarantees differentiability, leading to errors on piecewise and absolute-value questions.
Graphical analysis	Corners, cusps, and vertical tangents are visually recognizable, making graph-based differentiability questions approachable.	Subtle cusps or near-corners can be hard to identify on low-resolution graph displays or in calculator-drawn plots.
One-sided derivatives	Comparing left and right derivatives gives a clean, mechanical procedure for piecewise functions—highly reliable.	This technique requires that you first establish continuity; skipping that step can produce misleading results when the pieces don't connect.
Algebraic verification	The difference-quotient definition provides a rigorous criterion that works even when graphing is impractical.	Computing the limit from the definition can be algebraically tedious; shortcuts (derivative rules) are faster once differentiability is established.

Strengths and limitations of using the differentiability–continuity relationship

✦

KEY TAKEAWAY

In engineering design, a smooth cam profile (differentiable everywhere) ensures that a follower moves without sudden jerks, while a cam with a corner produces an instantaneous acceleration spike that can damage machinery. Similarly, in signal processing, a continuous but non-differentiable signal contains high-frequency components that require special filtering. The distinction between continuity and differentiability is not merely theoretical—it directly governs whether physical systems behave smoothly or experience abrupt transitions.

SECTION 8

Connection to Higher-Order Differentiability and Smoothness

The differentiability–continuity relationship is the first rung on a ladder of smoothness conditions that becomes increasingly important in BC topics such as Taylor and Maclaurin series, parametric and polar differentiation, and solving differential equations. A function that is differentiable once may still have a derivative that itself is discontinuous or non-differentiable. The class of functions whose first n derivatives all exist and are continuous is denoted Cⁿ, and functions that are infinitely differentiable are labeled C∞. Taylor series require C∞ behavior in a neighborhood of the expansion point, and the radius of convergence reflects how far that smoothness extends.

Smoothness Class	Requirement	AP Calculus BC Relevance
C⁰ (continuous)	f is continuous on its domain	Intermediate Value Theorem, Extreme Value Theorem
C¹ (differentiable, cont. derivative)	f′ exists and is continuous	Mean Value Theorem, curve sketching, optimization
C² (twice differentiable)	f″ exists and is continuous	Concavity analysis, second derivative test, Euler's method
C∞ (smooth)	All derivatives exist and are continuous	Taylor/Maclaurin series, Lagrange error bound

Hierarchy of smoothness classes and their AP Calculus BC applications

As you progress through the BC curriculum, keep in mind that every theorem involving derivatives—the Mean Value Theorem, L'Hôpital's Rule, integration by parts—carries implicit differentiability hypotheses. Failing to verify these hypotheses before applying a theorem is one of the most common errors on the AP exam's free-response section. The habit of checking differentiability and continuity conditions before applying calculus tools will serve you well not only on the exam but in any future mathematics or engineering coursework.

SECTION 9

Practice Problems

Question 1: CONCEPTUAL

Which of the following statements is true about the relationship between differentiability and continuity?

A. If f is continuous at x = a, then f is differentiable at x = a.
B. If f is differentiable at x = a, then f is continuous at x = a.
C. Differentiability and continuity are logically equivalent conditions.
D. A function can be differentiable at x = a without being continuous at x = a.
E. Continuity at x = a implies that both one-sided derivatives exist at x = a.

Show answer (B)

The correct answer is (B). Differentiability at a point implies continuity at that point—this is a proven theorem. (A) is false because counterexamples like f(x) = |x| at x = 0 show continuity does not guarantee differentiability. (C) is false for the same reason: the implication goes only one way. (D) is the direct negation of the theorem: differentiability always requires continuity. (E) is false because a continuous function with a cusp (e.g., x²ᐟ³) may have one-sided derivatives that tend to infinity, meaning they do not exist as finite numbers.

Question 2: BASIC CALCULATION

Let g(x) = { 3x − 1, for x < 1 ; x² + 1, for x ≥ 1 }. Is g differentiable at x = 1?

A. No, because g is not continuous at x = 1.
B. No, because the left-hand derivative is 3 and the right-hand derivative is 2.
C. Yes, because g is continuous at x = 1 and both pieces are differentiable.
D. Yes, and g′(1) = 3.
E. Yes, and g′(1) = 2.

Show answer (B)

The correct answer is (B). First check continuity: lim(x→1⁻) (3x − 1) = 2 and lim(x→1⁺) (x² + 1) = 2, and g(1) = 1² + 1 = 2, so g is continuous at x = 1. Next, compute one-sided derivatives: the left-hand derivative is d/dx(3x − 1) = 3, and the right-hand derivative is d/dx(x² + 1)|_{x=1} = 2(1) = 2. Since 3 ≠ 2, the derivative does not exist. (A) is wrong because g is continuous. (C), (D), and (E) are wrong because continuity alone is insufficient for differentiability; the one-sided derivatives must also agree.

Question 3: INTERMEDIATE

Let f(x) = { ax² + b, for x ≤ 1 ; 2x + 3, for x > 1 }. Find the values of a and b so that f is differentiable at x = 1.

A. a = 1, b = 4
B. a = 2, b = 3
C. a = 5, b = 0
D. a = 2, b = 1
E. a = 1, b = 3

Show answer (A)

The correct answer is (A). Differentiability at x = 1 requires two conditions. Condition 1 (Continuity): a(1)² + b = 2(1) + 3, so a + b = 5. Condition 2 (Matching derivatives): d/dx(ax²) at x = 1 equals d/dx(2x + 3) at x = 1, giving 2a(1) = 2, so a = 1. Substituting back: 1 + b = 5, so b = 4. (B) gives left derivative 2(2) = 4 ≠ 2. (C) gives a + b = 5 but left derivative 2(5) = 10 ≠ 2. (D) gives a + b = 3 ≠ 5, failing continuity. (E) gives a + b = 4 ≠ 5, also failing continuity.

Question 4: APPLIED

5 pts

A particle moves along the x-axis with position given by ⎧ t³ − 6t², for 0 ≤ t ≤ 4 s(t) = ⎨ ⎩ k(t − 4)² + m(t − 4) − 32, for t > 4 where k and m are constants. (a) Find the value of m that ensures s is differentiable at t = 4. (b) With the value of m found in part (a), determine the velocity of the particle at t = 4. State whether the acceleration at t = 4 exists, and justify your answer. (c) Explain geometrically why differentiability of the position function is physically important in this context.

Show answer

Point 1 — Continuity check (1 pt): s(4⁻) = 4³ − 6(4²) = 64 − 96 = −32. s(4⁺) = k(4 − 4)² + m(4 − 4) − 32 = −32. Since both sides equal −32, continuity holds for any values of k and m. Point 2 — Left-hand derivative (1 pt): s′(t) = 3t² − 12t for t < 4. s′(4⁻) = 3(16) − 12(4) = 48 − 48 = 0. Point 3 — Right-hand derivative and solving for m (1 pt): For t > 4, s′(t) = 2k(t − 4) + m. s′(4⁺) = 2k(0) + m = m. Setting s′(4⁻) = s′(4⁺): 0 = m, so m = 0. Point 4 — Velocity and acceleration at t = 4 (1 pt): With m = 0, the position for t > 4 is s(t) = k(t − 4)² − 32. Velocity: v(4) = s′(4) = 0. For acceleration: s″(t) = 6t − 12 for t < 4, so s″(4⁻) = 6(4) − 12 = 12. s″(t) = 2k for t > 4, so s″(4⁺) = 2k. Since differentiability of s only requires matching first derivatives, s″(4) may or may not exist depending on k. However, v(4) = 0 is well-defined. The acceleration from the left is 12 and from the right is 2k; these are equal only if k = 6, but the problem only requires first-derivative matching, so we simply note a(4) does not exist as a single value unless k = 6. Point 5 — Geometric/physical explanation (1 pt): Differentiability of the position function ensures that there is no corner or cusp in the trajectory at t = 4, meaning the velocity transitions without an instantaneous jump. A non-differentiable position function would imply a sudden, discontinuous change in velocity, which corresponds to infinite acceleration—something physically impossible for a real particle. Differentiability guarantees that the particle's velocity is well-defined at every moment, producing physically realistic motion.

Question 5: CRITICAL THINKING

4 pts

Let h(x) = x² · sin(1/x) for x ≠ 0, and h(0) = 0. (a) Prove that h is continuous at x = 0. (b) Using the limit definition of the derivative, prove that h is differentiable at x = 0 and find h′(0). (c) Determine whether h′ is continuous at x = 0. Justify your answer.

Show answer

Point 1 — Continuity at x = 0 (1 pt): We need lim(x→0) x² sin(1/x) = 0 = h(0). Since |sin(1/x)| ≤ 1, we have |x² sin(1/x)| ≤ x². Because lim(x→0) x² = 0, the Squeeze Theorem gives lim(x→0) x² sin(1/x) = 0 = h(0). Therefore h is continuous at x = 0. Point 2 — Differentiability via the limit definition (1 pt): h′(0) = lim(h→0) [h(0+h) − h(0)] / h = lim(h→0) [h² sin(1/h) − 0] / h = lim(h→0) h · sin(1/h). Since |h · sin(1/h)| ≤ |h| → 0, the Squeeze Theorem gives h′(0) = 0. Point 3 — Computing h′(x) for x ≠ 0 (1 pt): By product and chain rules, h′(x) = 2x sin(1/x) + x²(−1/x²) cos(1/x) = 2x sin(1/x) − cos(1/x) for x ≠ 0. Point 4 — Continuity of h′ at x = 0 (1 pt): As x → 0, 2x sin(1/x) → 0 by the Squeeze Theorem, but cos(1/x) oscillates between −1 and 1 without converging. Therefore lim(x→0) h′(x) does not exist, so h′ is NOT continuous at x = 0. This provides an important example: h is differentiable everywhere, but its derivative is not continuous at x = 0, showing that differentiable functions need not belong to C¹.

SUMMARY

Lesson Summary

Summary

This lesson established the fundamental one-way implication: differentiability implies continuity, but continuity does not imply differentiability. The proof relies on rewriting f(x) − f(a) as the product of the difference quotient and (x − a), then taking the limit. We identified four key failure modes for differentiability: corners (where left and right derivatives are finite but unequal), cusps (where one-sided derivatives tend to ±∞ in opposite directions), vertical tangents (where slopes tend to +∞ or −∞ from both sides), and discontinuities (where even continuity fails).

For piecewise functions, always follow a two-step protocol: first verify continuity at the boundary by checking that both one-sided limits equal the function value, then compute and compare the left-hand and right-hand derivatives. This framework extends naturally into higher-order smoothness classes (C¹, C², C∞) that underpin Taylor series, the Mean Value Theorem, and other advanced BC topics.