PlanetMath (more info)
 Math for the people, by the people.
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Very high Entry average rating: No information on entry rating
[parent] evolute (Topic)

The locus of the center of curvature of a plane curve is called the evolute of this curve.

The coordinates of the center of curvature belonging to the point $ P = (x,\,y)$ of the curve $ \gamma$ are

$\displaystyle \xi = x-\varrho\,\sin\alpha,\quad \eta = y+\varrho\,\cos\alpha,$ (1)

where $ \varrho$ is the radius of curvature in $ P$ and $ \alpha$ is the slope angle of the tangent line of the curve in $ P$. So (1) may be regarded as the equations of the evolute of $ \gamma$.

If the plane curve is given in the parametric form $ x = x(t),\;\, y = y(t)$, the corresponding parametric equations of the evolute are

$\displaystyle \xi = x-\frac{(x'^2+y'^2)y'}{x'y''-x''y'},\quad \eta = y+\frac{(x'^2+y'^2)x'}{x'y''-x''y'}.$
In the spexial case that the curve is given in the form $ y = y(x)$ these equations can be written
$\displaystyle \xi = x-\frac{(1+y'^2)y'}{y''},\quad \eta = y+\frac{1+y'^2}{y''}.$

For examining the properties of the evolute we choose for parameter the arc length $ s$, measured from a certain point of the curve; then in (1) the quantities $ x,\,y,\,\varrho,\,\alpha$ and thus $ \xi$ and $ \eta$ are functions of $ s$. We assume that all needed derivatives exist and are continuous.

Differentiating (1) with respect to $ s$, we obtain

$\displaystyle \frac{d\xi}{ds} = \frac{dx}{ds}-\varrho\frac{d\alpha}{ds}\cos\alp... ...frac{dy}{ds}-\varrho\frac{d\alpha}{ds}\sin\alpha+\frac{d\varrho}{ds}\cos\alpha,$
and recalling that $ \frac{dx}{ds} = \cos\alpha$, $ \frac{dy}{ds} = \sin\alpha$ and $ \varrho\frac{d\alpha}{ds} = 1$ it yields
$\displaystyle \frac{d\xi}{ds} = -\frac{d\varrho}{ds}\sin\alpha,\quad \frac{d\eta}{ds} = \frac{d\varrho}{ds}\cos\alpha.$ (2)

If $ \frac{d\varrho}{ds} \neq 0$ in the point $ (x,\,y)$ of $ \gamma$, the derivatives $ \frac{d\xi}{ds}$ and $ \frac{d\eta}{ds}$ do not vanish simultaneously, and so the evolute has in the corresponding point $ (\xi,\,\eta)$ a tangent line with the slope
$\displaystyle \frac{d\eta}{ds}:\frac{d\xi}{ds} = -\frac{1}{\tan\alpha}.$
Since the right side of this is the slope of the normal line of the given curve $ \gamma$, we have the

Theorem 1. The normal line of the curve in a point $ (x,\,y)$, where $ \displaystyle\frac{d\varrho}{ds} \neq 0$, is the tangent line of the evolute, having as tangency point the corresponding center of curvature $ (\xi,\,\eta)$. Thus the evolute is the envelope of the normal lines of the curve.

We shall calculate the arc length $ \sigma$ of the evolute corresponding the arc of the curve $ \gamma$ which is passed through when the parameter $ s$ grows from $ s_1$ to $ s_2$; we assume that $ \varrho$ and $ \frac{d\varrho}{ds}$ are then continuous and distinct from zero. According the arc length formula,

$\displaystyle \sigma = \int_{s_1}^{s_2}\sqrt{\left(\frac{d\xi}{ds}\right)^2+\left(\frac{d\eta}{ds}\right)^2}\,ds.$
Using the equations (2) and the fact that the sign of $ \frac{d\varrho}{ds}$ does not change, we can write
$\displaystyle \sigma = \int_{s_1}^{s_2}\sqrt{\left(\frac{d\varrho}{ds}\right)^2... .../}_{\!\!\!s_1}^{\,\quad s_2}\varrho\right\vert = \vert\varrho_2-\varrho_1\vert,$
where $ \varrho_1$ and $ \varrho_2$ are the corresponding radii of curvature of $ \gamma$. We have proved the

Theorem 2. The length of an arc of the evolute is equal to the difference of the radii of curvature of the given curve touching the arc of the evolute in its end points, provided that $ \varrho$ and $ \frac{d\varrho}{ds}$ are continuous and do not change their sign on the arc of the curve.

Bibliography

1
ERNST LINDELÖF: Differentiali- ja integralilasku ja sen sovellutukset I. Toinen painos. WSOY, Helsinki (1950).



"evolute" is owned by pahio.
(view preamble | get metadata)

View style:

See Also: condition of orthogonality, arc length, Bolzano's theorem, substitution notation

Also defines:  evolute

This object's parent.

Attachments:
evolute of cycloid (Example) by pahio
Log in to rate this entry.
(view current ratings)

Cross-references: end points, difference, arc, calculate, envelope, tangency point, normal line, slope, vanish, continuous, derivatives, functions, arc length, parameter, properties, parametric form, equations, tangent line, slope angle, radius of curvature, point, coordinates, curve, plane curve, center of curvature, locus
There are 7 references to this entry.

This is version 4 of evolute, born on 2007-10-14, modified 2007-10-16.
Object id is 9997, canonical name is Evolute2.
Accessed 1031 times total.

Classification:
AMS MSC53A04 (Differential geometry :: Classical differential geometry :: Curves in Euclidean space)

Pending Errata and Addenda
None.
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add example | add (any)