# Involute

Last updated

In mathematics, an involute (also known as an evolvent) is a particular type of curve that is dependent on another shape or curve. An involute of a curve is the locus of a point on a piece of taut string as the string is either unwrapped from or wrapped around the curve. [1]

## Contents

It is a class of curves coming under the roulette family of curves.

The evolute of an involute is the original curve.

The notions of the involute and evolute of a curve were introduced by Christiaan Huygens in his work titled Horologium oscillatorium sive de motu pendulorum ad horologia aptato demonstrationes geometricae (1673). [2]

## Involute of a parameterized curve

Let ${\displaystyle {\vec {c}}(t),\;t\in [t_{1},t_{2}]}$ be a regular curve in the plane with its curvature nowhere 0 and ${\displaystyle a\in (t_{1},t_{2})}$, then the curve with the parametric representation

${\displaystyle {\vec {C}}_{a}(t)={\vec {c}}(t)-{\frac {{\vec {c}}'(t)}{|{\vec {c}}'(t)|}}\;\int _{a}^{t}|{\vec {c}}'(w)|\;dw}$

is an involute of the given curve.

 ProofThe string acts as a tangent to the curve ${\displaystyle {\vec {c}}(t)}$. Its length is changed by an amount equal to the arc length traversed as it winds or unwinds. Arc length of the curve traversed in the interval ${\displaystyle [a,t]}$ is given by ${\displaystyle \int _{a}^{t}|{\vec {c}}'(w)|\;dw}$where ${\displaystyle a}$ is the starting point from where the arc length is measured. Since the tangent vector depicts the taut string here, we get the string vector as${\displaystyle {\frac {{\vec {c}}'(t)}{|{\vec {c}}'(t)|}}\;\int _{a}^{t}|{\vec {c}}'(w)|\;dw}$The vector corresponding to the end point of the string (${\displaystyle {\vec {C}}_{a}(t)}$) can be easily calculated using vector addition, and one gets${\displaystyle {\vec {C}}_{a}(t)={\vec {c}}(t)-{\frac {{\vec {c}}'(t)}{|{\vec {c}}'(t)|}}\;\int _{a}^{t}|{\vec {c}}'(w)|\;dw}$

Adding an arbitrary but fixed number ${\displaystyle l_{0}}$ to the integral ${\displaystyle {\Bigl (}\int _{a}^{t}|{\vec {c}}'(w)|\;dw{\Bigr )}}$ results in an involute corresponding to a string extended by ${\displaystyle l_{0}}$ (like a ball of wool yarn having some length of thread already hanging before it is unwound). Hence, the involute can be varied by constant ${\displaystyle a}$ and/or adding a number to the integral (see Involutes of a semicubic parabola).

If ${\displaystyle {\vec {c}}(t)=(x(t),y(t))^{T}}$ one gets

{\displaystyle {\begin{aligned}X(t)&=x(t)-{\frac {x'(t)}{\sqrt {x'(t)^{2}+y'(t)^{2}}}}\int _{a}^{t}{\sqrt {x'(w)^{2}+y'(w)^{2}}}\,dw\\Y(t)&=y(t)-{\frac {y'(t)}{\sqrt {x'(t)^{2}+y'(t)^{2}}}}\int _{a}^{t}{\sqrt {x'(w)^{2}+y'(w)^{2}}}\,dw\;.\end{aligned}}}

## Properties of involutes

In order to derive properties of a regular curve it is advantageous to suppose the arc length ${\displaystyle s}$ to be the parameter of the given curve, which lead to the following simplifications: ${\displaystyle \;|{\vec {c}}'(s)|=1\;}$ and ${\displaystyle \;{\vec {c}}''(s)=\kappa (s){\vec {n}}(s)\;}$, with ${\displaystyle \kappa }$ the curvature and ${\displaystyle {\vec {n}}}$ the unit normal. One gets for the involute:

${\displaystyle {\vec {C}}_{a}(s)={\vec {c}}(s)-{\vec {c}}'(s)(s-a)\ }$ and
${\displaystyle {\vec {C}}_{a}'(s)=-{\vec {c}}''(s)(s-a)=-\kappa (s){\vec {n}}(s)(s-a)\;}$

and the statement:

• At point ${\displaystyle {\vec {C}}_{a}(a)}$ the involute is not regular (because ${\displaystyle |{\vec {C}}_{a}'(a)|=0}$ ),

and from ${\displaystyle \;{\vec {C}}_{a}'(s)\cdot {\vec {c}}'(s)=0\;}$ follows:

• The normal of the involute at point ${\displaystyle {\vec {C}}_{a}(s)}$ is the tangent of the given curve at point ${\displaystyle {\vec {c}}(s)}$.
• The involutes are parallel curves, because of ${\displaystyle {\vec {C}}_{a}(s)={\vec {C}}_{0}(s)+a{\vec {c}}'(s)}$ and the fact, that ${\displaystyle {\vec {c}}'(s)}$ is the unit normal at ${\displaystyle {\vec {C}}_{0}(s)}$.

## Examples

### Involutes of a circle

For a circle with parametric representation ${\displaystyle (r\cos(t),r\sin(t))}$, one has ${\displaystyle {\vec {c}}'(t)=(-r\sin t,r\cos t)}$. Hence ${\displaystyle |{\vec {c}}'(t)|=r}$, and the path length is ${\displaystyle r(t-a)}$.

Evaluating the above given equation of the involute, one gets

{\displaystyle {\begin{aligned}X(t)&=r(\cos t+(t-a)\sin t)\\Y(t)&=r(\sin t-(t-a)\cos t)\end{aligned}}}

for the parametric equation of the involute of the circle.

The ${\displaystyle a}$ term is optional; it serves to set the start location of the curve on the circle. The figure shows involutes for ${\displaystyle a=-0.5}$ (green), ${\displaystyle a=0}$ (red), ${\displaystyle a=0.5}$ (purple) and ${\displaystyle a=1}$ (light blue). The involutes look like Archimedean spirals, but they are actually not.

The arc length for ${\displaystyle a=0}$ and ${\displaystyle 0\leq t\leq t_{2}}$ of the involute is

${\displaystyle L={\frac {r}{2}}t_{2}^{2}.}$

### Involutes of a semicubic parabola

The parametric equation ${\displaystyle {\vec {c}}(t)=({\tfrac {t^{3}}{3}},{\tfrac {t^{2}}{2}})}$ describes a semicubical parabola. From ${\displaystyle {\vec {c}}'(t)=(t^{2},t)}$ one gets ${\displaystyle |{\vec {c}}'(t)|=t{\sqrt {t^{2}+1}}}$ and ${\displaystyle \int _{0}^{t}w{\sqrt {w^{2}+1}}\,dw={\frac {1}{3}}{\sqrt {t^{2}+1}}^{3}-{\frac {1}{3}}}$. Extending the string by ${\displaystyle l_{0}={1 \over 3}}$ extensively simplifies further calculation, and one gets

{\displaystyle {\begin{aligned}X(t)&=-{\frac {t}{3}}\\Y(t)&={\frac {t^{2}}{6}}-{\frac {1}{3}}.\end{aligned}}}

Eliminating t yields ${\displaystyle Y={\frac {3}{2}}X^{2}-{\frac {1}{3}},}$ showing that this involute is a parabola.

The other involutes are thus parallel curves of a parabola, and are not parabolas, as they are curves of degree six (See Parallel curve § Further examples).

### Involutes of a catenary

For the catenary ${\displaystyle (t,\cosh t)}$, the tangent vector is ${\displaystyle {\vec {c}}'(t)=(1,\sinh t)}$, and, as ${\displaystyle 1+\sinh ^{2}t=\cosh ^{2}t,}$ its length is ${\displaystyle |{\vec {c}}'(t)|=\cosh t}$. Thus the arc length from the point (0, 1) is ${\displaystyle \textstyle \int _{0}^{t}\cosh w\,dw=\sinh t.}$

Hence the involute starting from (0, 1) is parametrized by

${\displaystyle (t-\tanh t,1/\cosh t),}$

and is thus a tractrix.

The other involutes are not tractrices, as they are parallel curves of a tractrix.

### Involutes of a cycloid

The parametric representation ${\displaystyle {\vec {c}}(t)=(t-\sin t,1-\cos t)}$ describes a cycloid. From ${\displaystyle {\vec {c}}'(t)=(1-\cos t,\sin t)}$, one gets (after having used some trigonometric formulas)

${\displaystyle |{\vec {c}}'(t)|=2\sin {\frac {t}{2}},}$

and

${\displaystyle \int _{\pi }^{t}2\sin {\frac {w}{2}}\,dw=-4\cos {\frac {t}{2}}.}$

Hence the equations of the corresponding involute are

${\displaystyle X(t)=t+\sin t,}$
${\displaystyle Y(t)=3+\cos t,}$

which describe the shifted red cycloid of the diagram. Hence

• The involutes of the cycloid ${\displaystyle (t-\sin t,1-\cos t)}$ are parallel curves of the cycloid
${\displaystyle (t+\sin t,3+\cos t).}$

(Parallel curves of a cycloid are not cycloids.)

## Involute and evolute

The evolute of a given curve ${\displaystyle c_{0}}$ consists of the curvature centers of ${\displaystyle c_{0}}$. Between involutes and evolutes the following statement holds: [3] [4]

A curve is the evolute of any of its involutes.

## Application

The involute has some properties that makes it extremely important to the gear industry: If two intermeshed gears have teeth with the profile-shape of involutes (rather than, for example, a traditional triangular shape), they form an involute gear system. Their relative rates of rotation are constant while the teeth are engaged. The gears also always make contact along a single steady line of force. With teeth of other shapes, the relative speeds and forces rise and fall as successive teeth engage, resulting in vibration, noise, and excessive wear. For this reason, nearly all modern gear teeth bear the involute shape. [5]

The involute of a circle is also an important shape in gas compressing, as a scroll compressor can be built based on this shape. Scroll compressors make less sound than conventional compressors and have proven to be quite efficient.

The High Flux Isotope Reactor uses involute-shaped fuel elements, since these allow a constant-width channel between them for coolant.

## Related Research Articles

In physics and geometry, a catenary is the curve that an idealized hanging chain or cable assumes under its own weight when supported only at its ends.

In mathematics, an ellipse is a plane curve surrounding two focal points, such that for all points on the curve, the sum of the two distances to the focal points is a constant. As such, it generalizes a circle, which is the special type of ellipse in which the two focal points are the same. The elongation of an ellipse is measured by its eccentricity e, a number ranging from e = 0 to e = 1.

In mathematics, a hyperbola is a type of smooth curve lying in a plane, defined by its geometric properties or by equations for which it is the solution set. A hyperbola has two pieces, called connected components or branches, that are mirror images of each other and resemble two infinite bows. The hyperbola is one of the three kinds of conic section, formed by the intersection of a plane and a double cone. If the plane intersects both halves of the double cone but does not pass through the apex of the cones, then the conic is a hyperbola.

In geometry, a cycloid is the curve traced by a point on a circle as it rolls along a straight line without slipping. A cycloid is a specific form of trochoid and is an example of a roulette, a curve generated by a curve rolling on another curve.

In mathematics, hyperbolic functions are analogues of the ordinary trigonometric functions defined for the hyperbola rather than on the circle: just as the points (cos t, sin t) form a circle with a unit radius, the points (cosh t, sinh t) form the right half of the equilateral hyperbola.

In mathematics, de Moivre's formula states that for any real number x and integer n it holds that

An ellipsoid is a surface that may be obtained from a sphere by deforming it by means of directional scalings, or more generally, of an affine transformation.

In geometry, a hyperboloid of revolution, sometimes called a circular hyperboloid, is the surface generated by rotating a hyperbola around one of its principal axes. A hyperboloid is the surface obtained from a hyperboloid of revolution by deforming it by means of directional scalings, or more generally, of an affine transformation.

A tautochrone or isochrone curve is the curve for which the time taken by an object sliding without friction in uniform gravity to its lowest point is independent of its starting point on the curve. The curve is a cycloid, and the time is equal to π times the square root of the radius over the acceleration of gravity. The tautochrone curve is related to the brachistochrone curve, which is also a cycloid.

A cardioid is a plane curve traced by a point on the perimeter of a circle that is rolling around a fixed circle of the same radius. It can also be defined as an epicycloid having a single cusp. It is also a type of sinusoidal spiral, and an inverse curve of the parabola with the focus as the center of inversion.

In the differential geometry of curves, the evolute of a curve is the locus of all its centers of curvature. That is to say that when the center of curvature of each point on a curve is drawn, the resultant shape will be the evolute of that curve. The evolute of a circle is therefore a single point at its center. Equivalently, an evolute is the envelope of the normals to a curve.

The pedal curve results from the orthogonal projection of a fixed point on the tangent lines of a given curve. More precisely, for a plane curve C and a given fixed pedal pointP, the pedal curve of C is the locus of points X so that the line PX is perpendicular to a tangent T to the curve passing through the point X. Conversely, at any point R on the curve C, let T be the tangent line at that point R; then there is a unique point X on the tangent T which forms with the pedal point P a line perpendicular to the tangent T – the pedal curve is the set of such points X, called the foot of the perpendicular to the tangent T from the fixed point P, as the variable point R ranges over the curve C.

Projectile motion is a form of motion experienced by an object or particle that is projected near the Earth's surface and moves along a curved path under the action of gravity only. This curved path was shown by Galileo to be a parabola, but may also be a line in the special case when it is thrown directly upwards. The study of such motions is called ballistics, and such a trajectory is a ballistic trajectory. The only force of significance that acts on the object is gravity, which acts downward, thus imparting to the object a downward acceleration. Because of the object's inertia, no external horizontal force is needed to maintain the horizontal velocity component of the object. Taking other forces into account, such as friction from aerodynamic drag or internal propulsion such as in a rocket, requires additional analysis. A ballistic missile is a missile only guided during the relatively brief initial powered phase of flight, and whose subsequent course is governed by the laws of classical mechanics.

The Gödel metric is an exact solution of the Einstein field equations in which the stress–energy tensor contains two terms, the first representing the matter density of a homogeneous distribution of swirling dust particles, and the second associated with a nonzero cosmological constant. It is also known as the Gödel solution or Gödel universe.

In geometry, the elliptic coordinate system is a two-dimensional orthogonal coordinate system in which the coordinate lines are confocal ellipses and hyperbolae. The two foci and are generally taken to be fixed at and , respectively, on the -axis of the Cartesian coordinate system.

Toroidal coordinates are a three-dimensional orthogonal coordinate system that results from rotating the two-dimensional bipolar coordinate system about the axis that separates its two foci. Thus, the two foci and in bipolar coordinates become a ring of radius in the plane of the toroidal coordinate system; the -axis is the axis of rotation. The focal ring is also known as the reference circle.

Elliptic cylindrical coordinates are a three-dimensional orthogonal coordinate system that results from projecting the two-dimensional elliptic coordinate system in the perpendicular -direction. Hence, the coordinate surfaces are prisms of confocal ellipses and hyperbolae. The two foci and are generally taken to be fixed at and , respectively, on the -axis of the Cartesian coordinate system.

Prolate spheroidal coordinates are a three-dimensional orthogonal coordinate system that results from rotating the two-dimensional elliptic coordinate system about the focal axis of the ellipse, i.e., the symmetry axis on which the foci are located. Rotation about the other axis produces oblate spheroidal coordinates. Prolate spheroidal coordinates can also be considered as a limiting case of ellipsoidal coordinates in which the two smallest principal axes are equal in length.

In hyperbolic geometry, the "law of cosines" is a pair of theorems relating the sides and angles of triangles on a hyperbolic plane, analogous to the planar law of cosines from plane trigonometry, or the spherical law of cosines in spherical trigonometry. It can also be related to the relativistic velocity addition formula.

In geometry, focal conics are a pair of curves consisting of either

## References

1. Rutter, J.W. (2000). Geometry of Curves. CRC Press. pp.  204. ISBN   9781584881667.
2. McCleary, John (2013). . Cambridge University Press. pp.  89. ISBN   9780521116077.
3. K. Burg, H. Haf, F. Wille, A. Meister: Vektoranalysis: Höhere Mathematik für Ingenieure, Naturwissenschaftler und ..., Springer-Verlag, 2012, ISBN   3834883468, S. 30.
4. R. Courant:Vorlesungen über Differential- und Integralrechnung, 1. Band, Springer-Verlag, 1955, S. 267.
5. V. G. A. Goss (2013) "Application of analytical geometry to the shape of gear teeth", Resonance 18(9): 817 to 31 Springerlink (subscription required).