Continuous but not differentiable: corners, cusps and vertical tangents
Differentiable implies continuous, but continuous does not imply differentiable. A graph can be unbroken at a point and still have no single slope there, and in a first calculus course that usually happens in one of three standard shapes: a corner, a cusp and a vertical tangent. Here is how one limit tells them apart, why the implication only runs one way, and a self-check with answers.
What each word asks for
Both words describe what happens as approaches a point , but they ask for different things.
- Continuous at : the values of settle on the height of the point itself.
- Differentiable at : the slopes of the secant lines through settle on one finite number. That limit exists only when the two one-sided limits, and , are both finite and equal.
So an unbroken graph can still fail the second test, most often in one of two ways: the one-sided slopes are finite but different, or they grow without bound. The three graphs below are the standard cases.
A corner: the two slopes disagree
For , the difference quotient at is
which equals for every and for every . The right-hand limit is , the left-hand limit is , and does not exist. The slope jumps from to at the origin, and no single number can stand for both.
A cusp: the slopes run to opposite infinities
For ,
A cube root keeps the sign of , so the quotient tends to as and to as . Both halves of the graph turn vertical at the origin, but they arrive from opposite directions, and the curve comes to a point.
A vertical tangent: the slopes run to the same infinity
For ,
and is positive on both sides of , so the quotient tends to from the left and from the right. The curve passes smoothly through the origin, and its tangent line there is the vertical line . A vertical line has no slope, so still does not exist.
One limit decides all three
For a function that is continuous at , compute the two one-sided limits of , then read the result:
- the same finite number on both sides: is differentiable at ;
- two different finite numbers: a corner;
- on one side and on the other: a cusp;
- the same infinity on both sides: a vertical tangent.
Check continuity first. At a jump, or at a single point lifted off an otherwise unbroken curve, a one-sided quotient also runs off to infinity, and neither graph has a cusp or a vertical tangent.
These are the common shapes, not the only ones. Take with . It is continuous at , yet its difference quotient there is , which keeps swinging between and and has no limit of any kind. The test does not change: unless both one-sided limits are the same finite number, there is no derivative.
Why a differentiable function is always continuous
The theorem: if is differentiable at , then is continuous at . The proof takes three lines. For , write
As , the fraction tends to , which is a finite number, and tends to . So
and that says exactly .
Run the argument backwards and it breaks. Knowing that tends to says nothing about the fraction, which can approach two different numbers (a corner) or grow without bound (a cusp or a vertical tangent). That is why the implication only goes one way.
The direction it does go is worth using: if is not continuous at , then does not exist. A jump, a hole or a vertical asymptote rules out a derivative before you compute anything.
The common mistake is running the arrow backwards. The correct statement is that differentiable at implies continuous at . The trap is reading it the other way, and concluding that a function has a derivative because its graph is unbroken, for instance because the pieces of a piecewise function meet. Continuity is necessary for a derivative, never sufficient: after checking it, you still have to compute the two one-sided limits of the difference quotient.
Worked example: one function, two kinds of failure
Find every point where is continuous but not differentiable, and name each one.
- Continuity. is a polynomial and the cube root is continuous everywhere, so is continuous at every real number.
- Candidates. Factor the inside: . The cube root has a derivative at every number except , so the only places that can go wrong are where the inside is : and .
- At . and , so The numerator tends to , a negative number, while the denominator tends to with the sign of . The quotient tends to as and to as : opposite infinities, so a cusp.
- At . and , so The numerator tends to , a positive number, and the denominator is positive on both sides, so the quotient tends to from both sides: a vertical tangent.
- Answer. is continuous everywhere, has a cusp at and a vertical tangent at , and is differentiable at every other number.
Both points come from the same factorization. The squared factor behaves like and makes the cusp; the single factor behaves like and makes the vertical tangent.
Check your understanding
No calculator needed.
- True or false: if is continuous at , then is differentiable at .
- True or false: if is not continuous at , then does not exist.
- Is differentiable at ? If not, which of the three shapes does its graph have there?
- At , does have a corner, a cusp or a vertical tangent?
- Does have a derivative at ? If it does, find .
- Find the error: “The graph of has the tangent line at the origin, so and is differentiable at .”
- Find every at which is not differentiable, and name the shape of the graph at each one.
Show the answers
- False. is continuous at and has a corner there. Continuity is necessary for a derivative, not sufficient.
- True. It is the contrapositive of “differentiable implies continuous”: if existed, would have to be continuous at .
- No: a corner. For the quotient is ; for it is . The one-sided slopes are and , finite and different.
- A cusp. The quotient is , which equals for and for . The absolute value suggests a corner, but the limits run to opposite infinities.
- Yes, . The quotient is , which tends to from both sides. A power greater than flattens the graph at the origin instead of sharpening it.
- A derivative has to be a real number. The quotient grows without bound, so the limit does not exist and is not differentiable at . The tangent line exists, but it is vertical, and a vertical line has no slope.
- A corner at and a vertical tangent at . At the cube-root term has the finite slope , while adds from the left and from the right, so the one-sided slopes are finite and differ by . At , has slope , but the cube-root term contributes on both sides, so the whole quotient does too. Everywhere else both terms are differentiable.
To practise the definition itself (one-sided difference quotients at a corner, a vertical tangent at the end of a domain, and why the domain of can be smaller than the domain of ), work through the free CEGEP Calculus I worksheet on the derivative.
Want one-on-one help with this? I offer CEGEP Science calculus and linear algebra tutoring in Montreal, in person or online. Sessions start with a short written diagnostic, and a written recap goes to whoever books after every session.