Historical Context & Motivation
Calculus was born from a desire to understand motion and change. When Isaac Newton and Gottfried Wilhelm Leibniz independently developed the tools of calculus in the late 1600s, they assumed that the curves they studied were always "smooth" — meaning you could draw tangent lines at every point. For more than a century, mathematicians worked under this assumption without running into serious problems. However, as mathematical analysis became more rigorous in the 1800s, surprising discoveries revealed that continuity (having no breaks in a graph) and differentiability (having a well-defined tangent line) are not the same thing. Understanding exactly when and why a derivative fails to exist became a central question in calculus.
This historical journey raises the key question we will explore in this lesson: What is the precise relationship between continuity and differentiability, and how can you determine when a derivative does or does not exist? By the end, you will be able to identify sharp corners, cusps, vertical tangent lines, and discontinuities — all situations where the derivative fails to exist.
Core Principles & Definitions
Before we can connect differentiability and continuity, let's make sure we have clear definitions of both concepts. A function f(x) is continuous at a point x = a if the graph has no breaks, holes, or jumps there — formally, the limit of f(x) as x approaches a equals f(a). A function is differentiable at a point x = a if the derivative f′(a) exists, which means the limit of the difference quotient produces a single, finite number. In graphical terms, differentiability means you can draw exactly one tangent line at that point.
Differentiability Implies Continuity
Continuity Does NOT Imply Differentiability
The Difference Quotient Test
Four Failure Modes
Visual Explanation — Where Derivatives Fail
The best way to understand when derivatives do and do not exist is to look at graphs. The diagram below shows four classic situations where a function is defined at a point but the derivative does not exist there. In each case, the function either has a break, a sharp turn, a vertical tangent, or a point where the left-side and right-side slopes disagree. Study each panel carefully and notice how the tangent line behavior differs from a smooth curve.
Notice that in Panel B and Panel C, the function is actually continuous at the marked point — there is no break in the graph. Yet the derivative still does not exist. This is the critical distinction: continuity is necessary for differentiability, but it is not sufficient. A function must be smooth (no sharp turns, no infinite slopes, no wild wiggles) in addition to being continuous in order for the derivative to exist.
Mathematical Framework
The formal machinery behind differentiability rests on the limit definition of the derivative. If you can evaluate this limit and get a single, finite answer, the derivative exists. If the limit is undefined, infinite, or different from the left and right, the derivative does not exist.
Classifying Non-Differentiable Points
Now that we have the mathematical tests, let's organize the four types of non-differentiable points into a clear classification. The table below summarizes each type, gives a classic example function, and explains why the derivative fails. Recognizing these patterns quickly is one of the most practical skills in early calculus.
| Type | Example Function | Why f′(a) Fails to Exist | Continuous? |
|---|---|---|---|
| Discontinuity | Piecewise: f(x) = 1 for x < 0, f(x) = 2 for x ≥ 0 | The function has a jump at x = 0; the limit of f(x) as x → 0 does not exist, so the difference quotient limit cannot exist. | No |
| Sharp Corner / Cusp | f(x) = |x| at x = 0 | Left-hand derivative = −1, right-hand derivative = +1. Since they differ, f′(0) does not exist. | Yes |
| Vertical Tangent | f(x) = x^(1/3) at x = 0 | The difference quotient limit is ±∞. A derivative must be a finite number, so f′(0) does not exist. | Yes |
| Oscillation | f(x) = x × sin(1/x) at x = 0 (with f(0) = 0) | The difference quotient oscillates infinitely and never settles on a single value, so the limit does not exist. | Yes |
Worked Example
Let's work through a full example using the limit definition to determine whether a piecewise function is differentiable at a given point.
Continuity vs. Differentiability — Side by Side
Students often confuse the two concepts or think they are the same thing. The table below places continuity and differentiability side by side so you can see exactly how they differ in definition, graphical interpretation, and what they guarantee.
| Feature | Continuity at x = a | Differentiability at x = a |
|---|---|---|
| Formal Definition | lim(x→a) f(x) = f(a) | lim(h→0) [f(a+h) − f(a)] / h exists and is finite |
| Graphical Meaning | No breaks, holes, or jumps at the point | A single, non-vertical tangent line can be drawn at the point |
| Strictness | Less strict — easier to satisfy | More strict — harder to satisfy |
| Implication | Does NOT guarantee differentiability | DOES guarantee continuity |
| Example of "yes" but other is "no" | f(x) = |x| at x = 0 — continuous but not differentiable | Not possible — differentiability always includes continuity |
Connections to Advanced Topics
The relationship between differentiability and continuity is the foundation for many deeper theorems in calculus. Several of the most important results you will encounter later — the Mean Value Theorem, the Intermediate Value Theorem, and the Fundamental Theorem of Calculus — all require specific assumptions about continuity and/or differentiability. Understanding where these conditions break down will help you apply these theorems correctly.
| Theorem | Requires Continuity? | Requires Differentiability? | Why It Matters |
|---|---|---|---|
| Intermediate Value Theorem | Yes, on [a, b] | No | Guarantees a function hits every y-value between f(a) and f(b) |
| Mean Value Theorem | Yes, on [a, b] | Yes, on (a, b) | Guarantees a point where the instantaneous rate equals the average rate |
| Fundamental Theorem of Calculus | Yes, on [a, b] | Implied by the theorem's conclusion | Links integration and differentiation; the antiderivative is differentiable |
As you move further into calculus and into courses like Calculus 2 or real analysis, you will encounter even more nuanced questions. For instance, can a function be differentiable everywhere yet have a derivative that is itself discontinuous? (Yes, it can!) These advanced explorations all trace back to the core distinction you are learning right now: differentiability is a stronger condition than continuity, and checking whether it holds requires careful limit analysis.
Practice Problems
Lesson Summary
This lesson explored the fundamental relationship between continuity and differentiability. The central theorem states that differentiability implies continuity, but the converse is false — a function can be continuous without being differentiable. A derivative exists at a point only when the left-hand and right-hand limits of the difference quotient are equal and finite.
We identified four situations where derivatives fail to exist: discontinuities (jumps, holes, or asymptotes), sharp corners or cusps (where one-sided slopes disagree), vertical tangent lines (where the slope approaches infinity), and wild oscillations (where the slope never settles). To test differentiability at a point, always check continuity first — if the function is not continuous, you can immediately conclude the derivative does not exist. If it is continuous, compute the one-sided derivatives and see if they agree. These skills will be essential as you apply the Mean Value Theorem and other major results later in the course.