evolute

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

$\xi =x-\varrho \sin \alpha ,\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

$$\xi =x-\frac{(x^{\prime \mathrm{\hspace{0.17em}2}}+y^{\prime \mathrm{\hspace{0.17em}2}})y^{\prime }}{x^{\prime }{y}^{\prime \prime }-x^{\prime \prime }{y}^{\prime }},\eta =y+\frac{(x^{\prime \mathrm{\hspace{0.17em}2}}+y^{\prime \mathrm{\hspace{0.17em}2}})x^{\prime }}{x^{\prime }{y}^{\prime \prime }-x^{\prime \prime }{y}^{\prime }}.$$

In the spexial case that the curve is given in the form  $y=y(x)$  these equations can be written

$$\xi =x-\frac{(1+y^{\prime \mathrm{\hspace{0.17em}2}})y^{\prime }}{y^{\prime \prime }},\eta =y+\frac{1+y^{\prime \mathrm{\hspace{0.17em}2}}}{y^{\prime \prime }}.$$

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

$$\frac{d\xi }{ds}=\frac{dx}{ds}-\varrho \frac{d\alpha }{ds}\cos \alpha -\frac{d\varrho }{ds}\sin \alpha ,\frac{d\eta }{ds}=\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}}=-{\displaystyle \frac{d\varrho }{ds}}\sin \alpha ,{\displaystyle \frac{d\eta }{ds}}={\displaystyle \frac{d\varrho }{ds}}\cos \alpha .$ (2)

If  $\frac{d\varrho }{ds}\ne 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

$$\frac{d\eta }{ds}:\frac{d\xi }{ds}=-\frac{1}{\tan \alpha }.$$

Since the 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}}\ne 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,

$$\sigma ={\int }_{s_1}^{s_2}\sqrt{{\left(\frac{d\xi }{ds}\right)}^2+{\left(\frac{d\eta }{ds}\right)}^2}𝑑s.$$

Using the equations (2) and the fact that the sign of $\frac{d\varrho }{ds}$ does not change, we can write

$$\sigma ={\int }_{s_1}^{s_2}\sqrt{{\left(\frac{d\varrho }{ds}\right)}^2}𝑑s={\int }_{s_1}^{s_2}\left|\frac{d\varrho }{ds}\right|𝑑s=\left|{\int }_{s_1}^{s_2}\frac{d\varrho }{ds}𝑑s\right|=\left|\underset{s_1}{\overset{s_2}{/}}\varrho \right|=|{\varrho }_2-{\varrho }_1|,$$

where ${\varrho }_1$ and ${\varrho }_2$ are the corresponding of $\gamma$. We have proved the

Theorem 2.  The of an arc of the evolute is equal to the difference of the 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.

Title	evolute
Canonical name	Evolute
Date of creation	2013-03-22 17:35:06
Last modified on	2013-03-22 17:35:06
Owner	pahio (2872)
Last modified by	pahio (2872)
Numerical id	8
Author	pahio (2872)
Entry type	Topic
Classification	msc 53A04
Related topic	ConditionOfOrthogonality
Related topic	ArcLength
Related topic	BolzanosTheorem
Related topic	SubstitutionNotation
Defines	evolute