Evolutes

In differential calculus, the evolute of a curve is the locus of the centers of curvature of the curve. Essentially, it's the path traced by the center of a circle as it rolls along the curve, where the circle is always tangent to the curve and has the same curvature at the point of tangency. The center of curvature is the center of the osculating circle, which is the circle that best approximates the curve at a given point.

Understanding Curvature and Center of Curvature

Before diving into evolutes, it's crucial to grasp the concepts of curvature and the center of curvature.

Curvature (κ)

Curvature measures how sharply a curve bends at a given point. A straight line has zero curvature, while a circle of radius 'r' has a constant curvature of 1/r. For a curve defined by y = f(x), the curvature is given by the formula:

κ = |y''| / (1 + (y')²)^3/2

Where y' and y'' are the first and second derivatives of y with respect to x, respectively.

Radius of Curvature (ρ)

The radius of curvature is the reciprocal of the curvature:

ρ = 1 / κ = (1 + (y')²)^3/2 / |y''|

Center of Curvature (h, k)

The center of curvature is the point towards which the curve is bending. It lies on the normal to the curve at the given point, at a distance equal to the radius of curvature. For a curve y = f(x), the coordinates of the center of curvature (h, k) are given by:

h = x - y' * (1 + (y')²) / y''

k = y + (1 + (y')²) / y''

Finding the Evolute

The evolute of a curve is the locus of its centers of curvature. To find the equation of the evolute, we follow these steps:

1. Find the expressions for the coordinates of the center of curvature (h, k) in terms of the parameter of the original curve (e.g., x or t).
2. Eliminate the parameter from the equations for h and k to obtain a relationship between h and k.
3. Replace h with x and k with y in the resulting equation. This new equation represents the evolute.

Example: Evolute of a Parabola

Let's find the evolute of the parabola y = x².

First, find the derivatives:

y' = 2x

y'' = 2

Now, calculate the coordinates of the center of curvature (h, k):

h = x - (2x) * (1 + (2x)²) / 2 = x - x(1 + 4x²) = x - x - 4x³ = -4x³

k = x² + (1 + (2x)²) / 2 = x² + (1 + 4x²) / 2 = (2x² + 1 + 4x²) / 2 = (6x² + 1) / 2

We have h = -4x³ and k = (6x² + 1) / 2. We need to eliminate x.

From h = -4x³, we get x³ = -h/4, so x = (-h/4)^1/3.

From k = (6x² + 1) / 2, we get 2k = 6x² + 1, so 6x² = 2k - 1, and x² = (2k - 1) / 6.

Now, relate x³ and x²:

x² = (x³)^2/3

(2k - 1) / 6 = (-h/4)^2/3

(2k - 1) / 6 = (h² / 16)^1/3

Cube both sides:

((2k - 1) / 6)³ = h² / 16

16 * (2k - 1)³ / 216 = h²

2 * (2k - 1)³ / 27 = h²

Replace h with x and k with y:

2 * (2y - 1)³ / 27 = x²

This is the equation of the evolute of the parabola y = x².

Properties of Evolutes

The evolute of a curve has several interesting properties:

• The tangent to the evolute at any point is normal to the original curve at the corresponding point.
• The length of the arc of the evolute is equal to the change in the radius of curvature of the original curve.
• The original curve is called the involute of its evolute.

Envelopes

An envelope of a family of curves is a curve that is tangent to each member of the family. Imagine a collection of lines; the envelope would be a curve that touches every single one of those lines at exactly one point. This concept is particularly useful when dealing with families of curves that depend on one or more parameters.

Definition and Intuition

Consider a one-parameter family of curves, represented by an equation F(x, y, α) = 0, where α is the parameter. The envelope is a curve that touches every curve in this family. At the point of tangency between the envelope and a member of the family, the curve and the envelope share the same tangent line.

Finding the Envelope

To find the equation of the envelope of a one-parameter family of curves F(x, y, α) = 0, we use the following method:

1. Differentiate the equation F(x, y, α) = 0 partially with respect to the parameter α, treating x and y as functions of α: ∂F/∂α = 0.
2. From the two equations:

   F(x, y, α) = 0

   ∂F/∂α = 0

   eliminate the parameter α. The resulting equation in x and y is the equation of the envelope.

If the family of curves depends on two parameters, say α and β, subject to a constraint relation between them, we can often reduce it to a one-parameter family by using the constraint.

Example: Envelope of a Family of Straight Lines

Let's find the envelope of the family of lines given by the equation:

x cos α + y sin α = p

Here, α is the parameter, and p is a constant.

The equation is F(x, y, α) = x cos α + y sin α - p = 0.

Differentiate with respect to α:

∂F/∂α = -x sin α + y cos α = 0

From ∂F/∂α = 0, we get y cos α = x sin α.

This implies y/x = sin α / cos α = tan α.

We can construct a right-angled triangle where the opposite side is y, the adjacent side is x, and the hypotenuse is sqrt(x² + y²).

From this, we have:

sin α = y / sqrt(x² + y²)

cos α = x / sqrt(x² + y²)

Substitute these back into the original equation F(x, y, α) = 0:

x * (x / sqrt(x² + y²)) + y * (y / sqrt(x² + y²)) = p

(x² + y²) / sqrt(x² + y²) = p

sqrt(x² + y²) = p

Squaring both sides gives:

x² + y² = p²

This is the equation of a circle centered at the origin with radius p. This circle is the envelope of the given family of lines. Each line in the family is tangent to this circle.

Example: Envelope of a Parabola's Tangents

Let's find the envelope of the tangents to the parabola y² = 4ax.

The equation of a tangent to y² = 4ax in the form y = mx + a/m.

Rearranging this, we get: my - m²x - a = 0.

This is a family of lines where the parameter is m. Let F(x, y, m) = my - m²x - a = 0.

Differentiate with respect to m:

∂F/∂m = y - 2mx = 0

From ∂F/∂m = 0, we get y = 2mx.

Substitute this expression for y into the original equation F(x, y, m) = 0:

m(2mx) - m²x - a = 0

2m²x - m²x - a = 0

m²x - a = 0

m² = a/x

Now, we need to eliminate m. From y = 2mx, we have m = y / (2x).

Substitute this into m² = a/x:

(y / (2x))² = a/x

y² / (4x²) = a/x

y² = (a/x) * 4x²

y² = 4ax

The envelope of the tangents to the parabola y² = 4ax is the parabola itself. This makes sense, as the parabola is defined by its tangents.

Asymptotes

An asymptote is a line that a curve approaches arbitrarily closely as it tends towards infinity. In simpler terms, it's a line that the curve gets closer and closer to, but never actually touches (or it might touch at infinity). Asymptotes help us understand the behavior of a function for large values of x or y.

Types of Asymptotes

There are three main types of asymptotes:

• Horizontal Asymptotes
• Vertical Asymptotes
• Oblique (or Slant) Asymptotes

1. Horizontal Asymptotes

A horizontal asymptote is a horizontal line y = c that the graph of a function f(x) approaches as x approaches positive or negative infinity.

To find horizontal asymptotes, we evaluate the limits:

lim_x→∞ f(x) = c

lim_x→-∞ f(x) = c

If either of these limits exists and is a finite number 'c', then y = c is a horizontal asymptote.

Example: Horizontal Asymptote of f(x) = (3x + 1) / (x - 2)

lim_x→∞ (3x + 1) / (x - 2)

Divide numerator and denominator by the highest power of x (which is x):

lim_x→∞ (3 + 1/x) / (1 - 2/x)

As x → ∞, 1/x → 0 and 2/x → 0.

So, the limit is (3 + 0) / (1 - 0) = 3.

Therefore, y = 3 is a horizontal asymptote. We can check the limit as x → -∞ as well, which will also be 3.

2. Vertical Asymptotes

A vertical asymptote is a vertical line x = a that the graph of a function f(x) approaches as x approaches 'a' from either the left or the right. This typically occurs where the function is undefined, often at the zeros of the denominator of a rational function.

To find vertical asymptotes, we look for values of x (say x = a) where the denominator of a rational function is zero, but the numerator is non-zero. We then check the limits:

lim_x→a⁺ f(x) = ±∞

lim_x→a^- f(x) = ±∞

If either of these limits is infinite, then x = a is a vertical asymptote.

Example: Vertical Asymptote of f(x) = (3x + 1) / (x - 2)

The denominator is x - 2. Setting it to zero gives x = 2.

Let's check the limits as x approaches 2:

lim_x→2⁺ (3x + 1) / (x - 2)

As x approaches 2 from the right (e.g., 2.1, 2.01), the numerator (3x + 1) approaches 3(2) + 1 = 7. The denominator (x - 2) approaches 0 from the positive side (0.1, 0.01). So, the limit is 7 / 0⁺ = +∞.

lim_x→2^- (3x + 1) / (x - 2)

As x approaches 2 from the left (e.g., 1.9, 1.99), the numerator is still close to 7. The denominator (x - 2) approaches 0 from the negative side (-0.1, -0.01). So, the limit is 7 / 0^- = -∞.

Since the limits are infinite, x = 2 is a vertical asymptote.

3. Oblique (Slant) Asymptotes

An oblique asymptote is a line y = mx + c (where m ≠ 0) that the graph of a function f(x) approaches as x approaches positive or negative infinity. Oblique asymptotes occur when the degree of the numerator is exactly one greater than the degree of the denominator in a rational function.

To find the oblique asymptote y = mx + c:

1. Calculate m:

m = lim_x→±∞ f(x) / x

2. Calculate c:

c = lim_x→±∞ (f(x) - mx)

If both m (non-zero) and c are finite, then y = mx + c is the oblique asymptote.

Example: Oblique Asymptote of f(x) = (x² + 1) / (x - 1)

Here, the degree of the numerator (2) is one greater than the degree of the denominator (1).

Calculate m:

m = lim_x→±∞ [(x² + 1) / (x - 1)] / x

m = lim_x→±∞ (x² + 1) / (x² - x)

Divide by x²:

m = lim_x→±∞ (1 + 1/x²) / (1 - 1/x) = (1 + 0) / (1 - 0) = 1

So, m = 1.

Calculate c:

c = lim_x→±∞ [f(x) - mx]

c = lim_x→±∞ [(x² + 1) / (x - 1) - 1*x]

c = lim_x→±∞ [(x² + 1) - x(x - 1)] / (x - 1)

c = lim_x→±∞ [x² + 1 - x² + x] / (x - 1)

c = lim_x→±∞ (x + 1) / (x - 1)

Divide by x:

c = lim_x→±∞ (1 + 1/x) / (1 - 1/x) = (1 + 0) / (1 - 0) = 1

So, c = 1.

The oblique asymptote is y = mx + c, which is y = 1x + 1, or y = x + 1.

Asymptotes for Implicit and Parametric Curves

Finding asymptotes for implicit or parametric curves can be more complex.

For implicit curves F(x, y) = 0:

• Vertical asymptotes often occur where F(x, y) = 0 and the tangent becomes vertical.
• Horizontal asymptotes occur where F(x, y) = 0 and the tangent becomes horizontal.
• Oblique asymptotes can be found by considering the behavior as x or y approaches infinity, possibly by substituting y = vx and solving for v.

For parametric curves x = x(t), y = y(t):

• As t approaches a value where x(t) → ±∞ while y(t) remains finite, we look for horizontal asymptotes.
• As t approaches a value where y(t) → ±∞ while x(t) remains finite, we look for vertical asymptotes.
• As t → ±∞, we examine the limits of x(t) and y(t). If x(t) → ±∞ and y(t)/x(t) → m (finite, non-zero) and y(t) - mx(t) → c (finite), then y = mx + c is an oblique asymptote.

Summary of Asymptote Identification

To systematically find asymptotes for a function f(x):

1. Vertical Asymptotes: Find values 'a' where the denominator is zero and the numerator is non-zero. Check limits as x approaches 'a'.
2. Horizontal Asymptotes: Evaluate lim_x→∞ f(x) and lim_x→-∞ f(x).
3. Oblique Asymptotes: If deg(numerator) = deg(denominator) + 1, calculate m and c using the limit formulas.

Remember that a function can have at most two horizontal or oblique asymptotes (one for x→∞ and one for x→-∞), but it can have infinitely many vertical asymptotes.