Cycloid

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.

Contents

• History
• Equations
• Involute
• Demonstration
• Area
• Arc length
• Cycloidal pendulum
• Related curves
• Other uses
• See also
• References
• Further reading
• External links

The cycloid, with the cusps pointing upward, is the curve of fastest descent under uniform gravity (the brachistochrone curve). It is also the form of a curve for which the period of an object in simple harmonic motion (rolling up and down repetitively) along the curve does not depend on the object's starting position (the tautochrone curve). In physics, when a charged particle at rest is put under a uniform electric and magnetic field perpendicular to one another, the particle’s trajectory draws out a cycloid.

History

The cycloid has been called "The Helen of Geometers" as, like Helen of Troy, it caused frequent quarrels among 17th-century mathematicians, while Sarah Hart sees it named as such "because the properties of this curve are so beautiful". ^{[1] [2]}

Historians of mathematics have proposed several candidates for the discoverer of the cycloid. Mathematical historian Paul Tannery speculated that such a simple curve must have been known to the ancients, citing similar work by Carpus of Antioch described by Iamblichus. ^[3] English mathematician John Wallis writing in 1679 attributed the discovery to Nicholas of Cusa, ^[4] but subsequent scholarship indicates that either Wallis was mistaken or the evidence he used is now lost. ^[5] Galileo Galilei's name was put forward at the end of the 19th century ^[6] and at least one author reports credit being given to Marin Mersenne. ^[7] Beginning with the work of Moritz Cantor ^[8] and Siegmund Günther, ^[9] scholars now assign priority to French mathematician Charles de Bovelles ^{[10] [11] [12]} based on his description of the cycloid in his Introductio in geometriam, published in 1503. ^[13] In this work, Bovelles mistakes the arch traced by a rolling wheel as part of a larger circle with a radius 120% larger than the smaller wheel. ^[5]

Galileo originated the term cycloid and was the first to make a serious study of the curve. ^[5] According to his student Evangelista Torricelli, ^[14] in 1599 Galileo attempted the quadrature of the cycloid (determining the area under the cycloid) with an unusually empirical approach that involved tracing both the generating circle and the resulting cycloid on sheet metal, cutting them out and weighing them. He discovered the ratio was roughly 3:1, which is the true value, but he incorrectly concluded the ratio was an irrational fraction, which would have made quadrature impossible. ^[7] Around 1628, Gilles Persone de Roberval likely learned of the quadrature problem from Père Marin Mersenne and effected the quadrature in 1634 by using Cavalieri's Theorem. ^[5] However, this work was not published until 1693 (in his Traité des Indivisibles). ^[15]

Constructing the tangent of the cycloid dates to August 1638 when Mersenne received unique methods from Roberval, Pierre de Fermat and René Descartes. Mersenne passed these results along to Galileo, who gave them to his students Torricelli and Viviani, who were able to produce a quadrature. This result and others were published by Torricelli in 1644, ^[14] which is also the first printed work on the cycloid. This led to Roberval charging Torricelli with plagiarism, with the controversy cut short by Torricelli's early death in 1647. ^[15]

In 1658, Blaise Pascal had given up mathematics for theology but, while suffering from a toothache, began considering several problems concerning the cycloid. His toothache disappeared, and he took this as a heavenly sign to proceed with his research. Eight days later he had completed his essay and, to publicize the results, proposed a contest. Pascal proposed three questions relating to the center of gravity, area and volume of the cycloid, with the winner or winners to receive prizes of 20 and 40 Spanish doubloons. Pascal, Roberval and Senator Carcavy were the judges, and neither of the two submissions (by John Wallis and Antoine de Lalouvère) was judged to be adequate. ^{[16] : 198} While the contest was ongoing, Christopher Wren sent Pascal a proposal for a proof of the rectification of the cycloid; Roberval claimed promptly that he had known of the proof for years. Wallis published Wren's proof (crediting Wren) in Wallis's Tractatus Duo, giving Wren priority for the first published proof. ^[15]

Fifteen years later, Christiaan Huygens had deployed the cycloidal pendulum to improve chronometers and had discovered that a particle would traverse a segment of an inverted cycloidal arch in the same amount of time, regardless of its starting point. In 1686, Gottfried Wilhelm Leibniz used analytic geometry to describe the curve with a single equation. In 1696, Johann Bernoulli posed the brachistochrone problem, the solution of which is a cycloid. ^[15]

Equations

The cycloid through the origin, generated by a circle of radius r rolling over the x-axis on the positive side (y ≥ 0), consists of the points (x, y), with $${\displaystyle {\begin{aligned}x&=r(t-\sin t)\\y&=r(1-\cos t),\end{aligned}}}$$ where t is a real parameter corresponding to the angle through which the rolling circle has rotated. For given t, the circle's centre lies at (x, y) = (rt, r).

The Cartesian equation is obtained by solving the y-equation for t and substituting into the x-equation:$${\displaystyle x=r\cos ^{-1}\left(1-{\frac {y}{r}}\right)-{\sqrt {y(2r-y)}},}$$or, eliminating the multiple-valued inverse cosine:

${\displaystyle r\cos \!\left({\frac {x+{\sqrt {y(2r-y)}}}{r}}\right)+y=r.}$

When y is viewed as a function of x, the cycloid is differentiable everywhere except at the cusps on the x-axis, with the derivative tending toward ${\displaystyle \infty }$ or ${\displaystyle -\infty }$ near a cusp (where y=0). The map from t to (x, y) is differentiable, in fact of class C^∞, with derivative 0 at the cusps.

The slope of the tangent to the cycloid at the point ${\displaystyle (x,y)}$ is given by ${\textstyle {\frac {dy}{dx}}=\cot({\frac {t}{2}})}$.

A cycloid segment from one cusp to the next is called an arch of the cycloid, for example the points with ${\displaystyle 0\leq t\leq 2\pi }$ and ${\displaystyle 0\leq x\leq 2\pi }$.

Considering the cycloid as the graph of a function ${\displaystyle y=f(x)}$, it satisfies the differential equation: ^[17]

${\displaystyle \left({\frac {dy}{dx}}\right)^{2}={\frac {2r}{y}}-1.}$

If we define ${\displaystyle h=2r-y=r(1+\cos t)}$ as the height difference from the cycloid's vertex (the point with a horizontal tangent and ${\displaystyle \cos t=-1}$), then we have:

${\displaystyle \left({\frac {dx}{dh}}\right)^{2}={\frac {2r}{h}}-1.}$

Involute

The involute of the cycloid has exactly the same shape as the cycloid it originates from. This can be visualized as the path traced by the tip of a wire initially lying on a half arch of the cycloid: as it unrolls while remaining tangent to the original cycloid, it describes a new cycloid (see also cycloidal pendulum and arc length).

Demonstration

This demonstration uses the rolling-wheel definition of cycloid, as well as the instantaneous velocity vector of a moving point, tangent to its trajectory. In the adjacent picture, ${\displaystyle P_{1}}$ and ${\displaystyle P_{2}}$ are two points belonging to two rolling circles, with the base of the first just above the top of the second. Initially, ${\displaystyle P_{1}}$ and ${\displaystyle P_{2}}$ coincide at the intersection point of the two circles. When the circles roll horizontally with the same speed, ${\displaystyle P_{1}}$ and ${\displaystyle P_{2}}$ traverse two cycloid curves. Considering the red line connecting ${\displaystyle P_{1}}$ and ${\displaystyle P_{2}}$ at a given time, one proves the line is alwaystangent to the lower arc at ${\displaystyle P_{2}}$ and orthogonal to the upper arc at ${\displaystyle P_{1}}$. Let ${\displaystyle Q}$ be the point in common between the upper and lower circles at the given time. Then:

• ${\displaystyle P_{1},Q,P_{2}}$ are colinear: indeed the equal rolling speed gives equal angles ${\displaystyle {\widehat {P_{1}O_{1}Q}}={\widehat {P_{2}O_{2}Q}}}$, and thus ${\displaystyle {\widehat {O_{1}QP_{1}}}={\widehat {O_{2}QP_{2}}}}$ . The point ${\displaystyle Q}$ lies on the line ${\displaystyle O_{1}O_{2}}$ therefore ${\displaystyle {\widehat {P_{1}QO_{1}}}+{\widehat {P_{1}QO_{2}}}=\pi }$ and analogously ${\displaystyle {\widehat {P_{2}QO_{2}}}+{\widehat {P_{2}QO_{1}}}=\pi }$. From the equality of ${\displaystyle {\widehat {O_{1}QP_{1}}}}$ and ${\displaystyle {\widehat {O_{2}QP_{2}}}}$ one has that also ${\displaystyle {\widehat {P_{1}QO_{2}}}={\widehat {P_{2}QO_{1}}}}$. It follows ${\displaystyle {\widehat {P_{1}QO_{1}}}+{\widehat {P_{2}QO_{1}}}=\pi }$ .
• If ${\displaystyle A}$ is the meeting point between the perpendicular from ${\displaystyle P_{1}}$ to the line segment ${\displaystyle O_{1}O_{2}}$ and the tangent to the circle at ${\displaystyle P_{2}}$ , then the triangle ${\displaystyle P_{1}AP_{2}}$ is isosceles, as is easily seen from the construction: ${\displaystyle {\widehat {QP_{2}A}}={\tfrac {1}{2}}{\widehat {P_{2}O_{2}Q}}}$ and ${\displaystyle {\widehat {QP_{1}A}}={\tfrac {1}{2}}{\widehat {QO_{1}R}}=}$${\displaystyle {\tfrac {1}{2}}{\widehat {QO_{1}P_{1}}}}$ . For the previous noted equality between ${\displaystyle {\widehat {P_{1}O_{1}Q}}}$ and ${\displaystyle {\widehat {QO_{2}P_{2}}}}$ then ${\displaystyle {\widehat {QP_{1}A}}={\widehat {QP_{2}A}}}$ and ${\displaystyle P_{1}AP_{2}}$ is isosceles.
• Drawing from ${\displaystyle P_{2}}$ the orthogonal segment to ${\displaystyle O_{1}O_{2}}$, from ${\displaystyle P_{1}}$ the straight line tangent to the upper circle, and calling ${\displaystyle B}$ the meeting point, one sees that ${\displaystyle P_{1}AP_{2}B}$ is a rhombus using the theorems on angles between parallel lines
• Now consider the velocity ${\displaystyle V_{2}}$ of ${\displaystyle P_{2}}$ . It can be seen as the sum of two components, the rolling velocity ${\displaystyle V_{a}}$ and the drifting velocity ${\displaystyle V_{d}}$, which are equal in modulus because the circles roll without skidding. ${\displaystyle V_{d}}$ is parallel to ${\displaystyle P_{1}A}$, while ${\displaystyle V_{a}}$ is tangent to the lower circle at ${\displaystyle P_{2}}$ and therefore is parallel to ${\displaystyle P_{2}A}$. The rhombus constituted from the components ${\displaystyle V_{d}}$ and ${\displaystyle V_{a}}$ is therefore similar (same angles) to the rhombus ${\displaystyle BP_{1}AP_{2}}$ because they have parallel sides. Then ${\displaystyle V_{2}}$, the total velocity of ${\displaystyle P_{2}}$, is parallel to ${\displaystyle P_{2}P_{1}}$ because both are diagonals of two rhombuses with parallel sides and has in common with ${\displaystyle P_{1}P_{2}}$ the contact point ${\displaystyle P_{2}}$. Thus the velocity vector ${\displaystyle V_{2}}$ lies on the prolongation of ${\displaystyle P_{1}P_{2}}$ . Because ${\displaystyle V_{2}}$ is tangent to the cycloid at ${\displaystyle P_{2}}$, it follows that also ${\displaystyle P_{1}P_{2}}$ coincides with the tangent to the lower cycloid at ${\displaystyle P_{2}}$.
• Analogously, it can be easily demonstrated that ${\displaystyle P_{1}P_{2}}$ is orthogonal to ${\displaystyle V_{1}}$ (the other diagonal of the rhombus).
• This proves that the tip of a wire initially stretched on a half arch of the lower cycloid and fixed to the upper circle at ${\displaystyle P_{1}}$ will follow the point along its path without changing its length because the speed of the tip is at each moment orthogonal to the wire (no stretching or compression). The wire will be at the same time tangent at ${\displaystyle P_{2}}$ to the lower arc because of the tension and the facts demonstrated above. (If it were not tangent there would be a discontinuity at ${\displaystyle P_{2}}$ and consequently unbalanced tension forces.)

Area

Using the above parameterization ${\textstyle x=r(t-\sin t),\ y=r(1-\cos t)}$, the area under one arch, ${\displaystyle 0\leq t\leq 2\pi ,}$ is given by: $${\displaystyle A=\int _{x=0}^{2\pi r}y\,dx=\int _{t=0}^{2\pi }r^{2}(1-\cos t)^{2}dt=3\pi r^{2}.}$$

This is three times the area of the rolling circle.

Arc length

The arc length S of one arch is given by $${\displaystyle {\begin{aligned}S&=\int _{0}^{2\pi }{\sqrt {\left({\frac {dx}{dt}}\right)^{2}+\left({\frac {dy}{dt}}\right)^{2}}}dt\\&=\int _{0}^{2\pi }r{\sqrt {2-2\cos t}}\,dt\\&=2r\int _{0}^{2\pi }\sin {\frac {t}{2}}\,dt\\&=8r.\end{aligned}}}$$

Another geometric way to calculate the length of the cycloid is to notice that when a wire describing an involute has been completely unwrapped from half an arch, it extends itself along two diameters, a length of 4r. This is thus equal to half the length of arch, and that of a complete arch is 8r.

From the cycloid's vertex (the point with a horizontal tangent and ${\displaystyle \cos t=-1}$) to any point within the same arch, the arc length squared is ${\displaystyle 8r^{2}(1+\cos t)}$, which is proportional to the height difference ${\displaystyle r(1+\cos t)}$; this property is the basis for the cycloid's isochronism. In fact, the arc length squared is equal to the height difference multiplied by the full arch length 8r.

Cycloidal pendulum

If a simple pendulum is suspended from the cusp of an inverted cycloid, such that the string is constrained to be tangent to one of its arches, and the pendulum's length L is equal to that of half the arc length of the cycloid (i.e., twice the diameter of the generating circle, L = 4r), the bob of the pendulum also traces a cycloid path. Such a pendulum is isochronous, with equal-time swings regardless of amplitude. Introducing a coordinate system centred in the position of the cusp, the equation of motion is given by: $${\displaystyle {\begin{aligned}x&=r[2\theta (t)+\sin 2\theta (t)]\\y&=r[-3-\cos 2\theta (t)],\end{aligned}}}$$ where ${\displaystyle \theta }$ is the angle that the straight part of the string makes with the vertical axis, and is given by $${\displaystyle \sin \theta (t)=A\cos(\omega t),\qquad \omega ^{2}={\frac {g}{L}}={\frac {g}{4r}},}$$ where A < 1 is the "amplitude", ${\displaystyle \omega }$ is the radian frequency of the pendulum and g the gravitational acceleration.

The 17th-century Dutch mathematician Christiaan Huygens discovered and proved these properties of the cycloid while searching for more accurate pendulum clock designs to be used in navigation. ^[18]

Related curves

Several curves are related to the cycloid.

• Trochoid: generalization of a cycloid in which the point tracing the curve may be inside the rolling circle (curtate) or outside (prolate).
• Hypocycloid: variant of a cycloid in which a circle rolls on the inside of another circle instead of a line.
• Epicycloid: variant of a cycloid in which a circle rolls on the outside of another circle instead of a line.
• Hypotrochoid: generalization of a hypocycloid where the generating point may not be on the edge of the rolling circle.
• Epitrochoid: generalization of an epicycloid where the generating point may not be on the edge of the rolling circle.

All these curves are roulettes with a circle rolled along another curve of uniform curvature. The cycloid, epicycloids, and hypocycloids have the property that each is similar to its evolute. If q is the product of that curvature with the circle's radius, signed positive for epi- and negative for hypo-, then the similitude ratio of curve to evolute is 1 + 2q.

The classic Spirograph toy traces out hypotrochoid and epitrochoid curves.

Other uses

The cycloidal arch was used by architect Louis Kahn in his design for the Kimbell Art Museum in Fort Worth, Texas. It was also used by Wallace K. Harrison in the design of the Hopkins Center at Dartmouth College in Hanover, New Hampshire. ^[19]

Early research indicated that some transverse arching curves of the plates of golden age violins are closely modeled by curtate cycloid curves. ^[20] Later work indicates that curtate cycloids do not serve as general models for these curves, ^[21] which vary considerably.

See also

• Cyclogon
• Cycloid gear
• List of periodic functions
• Tautochrone curve

Related Research Articles

A circle is a shape consisting of all points in a plane that are at a given distance from a given point, the centre. The distance between any point of the circle and the centre is called the radius. The length of a line segment connecting two points on the circle and passing through the centre is called the diameter. A circle bounds a region of the plane called a disc.

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. 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 , a number ranging from to .

In mathematics, a parabola is a plane curve which is mirror-symmetrical and is approximately U-shaped. It fits several superficially different mathematical descriptions, which can all be proved to define exactly the same curves.

In mathematics, the trigonometric functions are real functions which relate an angle of a right-angled triangle to ratios of two side lengths. They are widely used in all sciences that are related to geometry, such as navigation, solid mechanics, celestial mechanics, geodesy, and many others. They are among the simplest periodic functions, and as such are also widely used for studying periodic phenomena through Fourier analysis.

In physics, engineering and mathematics, the Fourier transform (FT) is an integral transform that takes a function as input and outputs another function that describes the extent to which various frequencies are present in the original function. The output of the transform is a complex-valued function of frequency. The term Fourier transform refers to both this complex-valued function and the mathematical operation. When a distinction needs to be made, the output of the operation is sometimes called the frequency domain representation of the original function. The Fourier transform is analogous to decomposing the sound of a musical chord into the intensities of its constituent pitches.

In mathematics, curvature is any of several strongly related concepts in geometry that intuitively measure the amount by which a curve deviates from being a straight line or by which a surface deviates from being a plane. If a curve or surface is contained in a larger space, curvature can be defined extrinsically relative to the ambient space. Curvature of Riemannian manifolds of dimension at least two can be defined intrinsically without reference to a larger space.

A tautochrone curve 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.

In geometry, the lemniscate of Bernoulli is a plane curve defined from two given points F₁ and F₂, known as foci, at distance 2c from each other as the locus of points P so that PF₁·PF₂ = c². The curve has a shape similar to the numeral 8 and to the ∞ symbol. Its name is from lemniscatus, which is Latin for "decorated with hanging ribbons". It is a special case of the Cassini oval and is a rational algebraic curve of degree 4.

In geometry, 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. A cardioid can also be defined as the set of points of reflections of a fixed point on a circle through all tangents to the circle.

In geometry, an epicycloid is a plane curve produced by tracing the path of a chosen point on the circumference of a circle—called an epicycle—which rolls without slipping around a fixed circle. It is a particular kind of roulette.

In geometry, a deltoid curve, also known as a tricuspoid curve or Steiner curve, is a hypocycloid of three cusps. In other words, it is the roulette created by a point on the circumference of a circle as it rolls without slipping along the inside of a circle with three or one-and-a-half times its radius. It is named after the capital Greek letter delta (Δ) which it resembles.

In mathematics, an involute 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.

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.

In mathematics, a pedal curve of a given curve results from the orthogonal projection of a fixed point on the tangent lines of this 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.

In geometry, a strophoid is a curve generated from a given curve C and points A and O as follows: Let L be a variable line passing through O and intersecting C at K. Now let P₁ and P₂ be the two points on L whose distance from K is the same as the distance from A to K. The locus of such points P₁ and P₂ is then the strophoid of C with respect to the pole O and fixed point A. Note that AP₁ and AP₂ are at right angles in this construction.

In mathematics, sine and cosine are trigonometric functions of an angle. The sine and cosine of an acute angle are defined in the context of a right triangle: for the specified angle, its sine is the ratio of the length of the side that is opposite that angle to the length of the longest side of the triangle, and the cosine is the ratio of the length of the adjacent leg to that of the hypotenuse. For an angle , the sine and cosine functions are denoted as and .

A pendulum is a body suspended from a fixed support such that it freely swings back and forth under the influence of gravity. When a pendulum is displaced sideways from its resting, equilibrium position, it is subject to a restoring force due to gravity that will accelerate it back towards the equilibrium position. When released, the restoring force acting on the pendulum's mass causes it to oscillate about the equilibrium position, swinging it back and forth. The mathematics of pendulums are in general quite complicated. Simplifying assumptions can be made, which in the case of a simple pendulum allow the equations of motion to be solved analytically for small-angle oscillations.

There are several equivalent ways for defining trigonometric functions, and the proofs of the trigonometric identities between them depend on the chosen definition. The oldest and most elementary definitions are based on the geometry of right triangles and the ratio between their sides. The proofs given in this article use these definitions, and thus apply to non-negative angles not greater than a right angle. For greater and negative angles, see Trigonometric functions.

The goat grazing problem is either of two related problems in recreational mathematics involving a tethered goat grazing a circular area: the interior grazing problem and the exterior grazing problem. The former involves grazing the interior of a circular area, and the latter, grazing an exterior of a circular area. For the exterior problem, the constraint that the rope can not enter the circular area dictates that the grazing area forms an involute. If the goat were instead tethered to a post on the edge of a circular path of pavement that did not obstruct the goat, the interior and exterior problem would be complements of a simple circular area.

In geometry, a limaçon trisectrix is the name for the quartic plane curve that is a trisectrix that is specified as a limaçon. The shape of the limaçon trisectrix can be specified by other curves particularly as a rose, conchoid or epitrochoid. The curve is one among a number of plane curve trisectrixes that includes the Conchoid of Nicomedes, the Cycloid of Ceva, Quadratrix of Hippias, Trisectrix of Maclaurin, and Tschirnhausen cubic. The limaçon trisectrix a special case of a sectrix of Maclaurin.

References

Further reading

• An application from physics: Ghatak, A. & Mahadevan, L. Crack street: the cycloidal wake of a cylinder tearing through a sheet. Physical Review Letters, 91, (2003). link.aps.org
• Edward Kasner & James Newman (1940) Mathematics and the Imagination, pp 196–200, Simon & Schuster.
• Wells D (1991). The Penguin Dictionary of Curious and Interesting Geometry . New York: Penguin Books. pp. 445–47. ISBN   0-14-011813-6.

External links

• O'Connor, John J.; Robertson, Edmund F., "Cycloid", MacTutor History of Mathematics Archive , University of St Andrews
• Weisstein, Eric W. "Cycloid". MathWorld . Retrieved April 27, 2007.
• Cycloids at cut-the-knot
• A Treatise on The Cycloid and all forms of Cycloidal Curves, monograph by Richard A. Proctor, B.A. posted by Cornell University Library.
• Cycloid Curves by Sean Madsen with contributions by David von Seggern, Wolfram Demonstrations Project.
• Cycloid on PlanetPTC (Mathcad)
• A VISUAL Approach to CALCULUS problems by Tom Apostol