At a cusp the one-sided derivatives become infinite, with opposite signs: the graph has two vertical half-tangents that “point” in opposite directions.

Definition — Cusp

x0x_0 is a cusp of ff if both one-sided derivatives tend to ±\pm\infty with opposite signs: typically f(x0)=f'_-(x_0) = -\infty and f+(x0)=+f'_+(x_0) = +\infty (cusp pointing “downwards”) or vice versa.

Example — f(x)=xf(x) = \sqrt{|x|} at x0=0x_0 = 0

For x>0x > 0: f(x)=xf(x) = \sqrt{x}, f(x)=12x+f'(x) = \frac{1}{2\sqrt{x}}\to +\infty as x0+x\to 0^+. For x<0x < 0: f(x)=xf(x) = \sqrt{-x}, f(x)=12xf'(x) = -\frac{1}{2\sqrt{-x}}\to -\infty as x0x\to 0^-. The one-sided derivatives are infinite and of opposite sign: a cusp pointing downwards at (0,0)(0,0).

At x0=0x_0=0 the two half-tangents are vertical and point in opposite directions: the cusp of x\sqrt{|x|}.

Topics: Derivatives
Concepts: Cusp · One-sided derivative · Non-differentiable point
Methods: Non-differentiable point cusp
Skills: Calculating limits