Vertical Tangents and Cusps

In the definition of the slope, vertical lines were excluded. It is customary not to assign a slope to these lines. This is true as long as we assume that a slope is a number. But from a purely geometric point of view, a curve may have a vertical tangent. Think of a circle (with two vertical tangent lines). We still have an equation, namely x=c, but it is not of the form y = ax+b. In fact, such tangent lines have an infinite slope. To be precise we will say:

The graph of a function f(x) has a vertical tangent at the point (x₀,f(x₀)) if and only if

$$f'(x) \rightarrow +\infty\;\;\mbox{or}\;\; f'(x) \rightarrow -\infty \;\;\mbox{as}\;\; x \rightarrow x_0\;.$$

Example. Consider the function

$$f(x) = \sqrt[5]{2-x}$$

We have

$$f'(x) = -\frac{1}{5} \frac{1}{(2-x)^{4/5}}\;\cdot$$

Clearly, f'(2) does not exist. In fact we have

$$\lim_{x \rightarrow 2} f'(x) = -\infty \cdot$$

So the graph of f(x) has a vertical tangent at (2,0). The equation of this line is x=2.

In this example, the limit of f'(x) when $x \rightarrow 2$ is the same whether we get closer to 2 from the left or from the right. In many examples, that is not the case.

Example. Consider the function

$$f(x) = x^{2/3}\;.$$

We have

$$f'(x) = \frac{2}{3} \frac{1}{x^{1/3}} \cdot$$

So we have

$$\lim_{x \rightarrow 0+} f'(x) = +\infty \;\;\mbox{and}\;\; \lim_{x \rightarrow 0-} f'(x) = -\infty \cdot$$

It is clear that the graph of this function becomes vertical and then virtually doubles back on itself. Such pattern signals the presence of what is known as a vertical cusp. In general we say that the graph of f(x) has a vertical cusp at x₀,f(x₀)) iff

$$f'(x) \rightarrow +\infty \;\;\mbox{as}\;\; x \rightarrow x_0... ... f'(x) \rightarrow -\infty \;\;\mbox{as}\;\; x \rightarrow x_0-$$

or

$$f'(x) \rightarrow -\infty \;\;\mbox{as}\;\; x \rightarrow x_0... ...(x) \rightarrow +\infty \;\;\mbox{as}\;\; x \rightarrow x_0-\;.$$

In both cases, f'(x₀) becomes infinite. A graph may also exhibit a behavior similar to a cusp without having infinite slopes:

Example. Consider the function

f(x) = |x³ - 2|.

Clearly we have

$$f(x) = \left\{\begin{array}{cll} -(x^3 - 2) & \mbox{if $x \leq 2$}\\ x^3 - 2 & \mbox{if $x \geq 2$}. \end{array}\right.$$

Hence

$$f'(x) = \left\{\begin{array}{rll} - 3x^2 & \mbox{if $x < 2$}\\ 3x^2 & \mbox{if $x > 2$}. \end{array}\right.$$

Direct calculations show that f'(2) does not exist. In fact, we have left and right derivatives with

$$f'_-(2) = -12 \;\;\mbox{and}\;\; f'_+(2) = 12\;.$$

So there is no vertical tangent and no vertical cusp at x=2. In fact, the phenomenon this function shows at x=2 is usually called a corner.

Exercise 1. Does the function

$$f(x) = \sqrt{9-x^2}$$

have a vertical tangent or a vertical cusp at x=3?

Answer.

Exercise 2. Does the function

$$f(x) = \left\{\begin{array}{rll} x^{1/3} + 3& \mbox{if $x \leq 0$}\\ 3-x^{1/5} & \mbox{if $x \geq 0$}. \end{array}\right.$$

have a vertical tangent or a vertical cusp at x=0?

Answer.

[Back] [Next] [Trigonometry] [Calculus] [Geometry] [Algebra] [Differential Equations] [Complex Variables] [Matrix Algebra]

S.O.S MATHematics home page

Copyright © 1999-2004 MathMedics, LLC. All rights reserved.
Math Medics, LLC. - P.O. Box 12395 - El Paso TX 79913 - USA