A trochoid is the locus of a point located at a distance b from the center of a circle of radius a as the circle rolls without slipping along a straight line, forming a type of roulette curve that combines uniform translation with circular rotation.[1]The specific shape depends on the ratio of b to a: when b < a, it produces a curtate cycloid with a flattened, wavy profile; when b = a, it generates the classic cycloid, known for its cusps and arches; and when b > a, it yields a prolate cycloid featuring loops and self-intersections.[1] These curves are described parametrically by the equations
x = a\theta - b \sin \theta,
y = a - b \cos \theta,
where \theta is the parameter representing the rolling angle.[1]The study of trochoids traces back to the Renaissance, with early explorations in geometric constructions, and the cycloid variant was named and analyzed by Galileo Galilei around 1599 for its applications in pendulum motion.[2] In the 19th century, trochoids gained prominence in engineering for optimizing gear designs,[3] as their smooth profiles reduce friction and wear in tooth fillets generated by rack cutters.[4] Related generalizations of roulette curves occur when the rolling takes place around a fixed circle rather than a line: an epitrochoid results from external contact, producing star-like patterns such as cardioids or nephroids, while a hypotrochoid arises from internal contact, yielding roses or ellipses.[5][6]In practical applications, trochoids appear in mechanical systems like Gerotor pumps, where their profiles define rotor shapes for efficient fluid displacement, and in windshield wiper mechanisms to ensure uniform coverage.[7] They also inspire educational tools, such as the Spirograph toy invented in the 1960s, which uses geared disks to draw intricate trochoidal patterns, making abstract geometry accessible.[3] Key properties include variable speed along the curve—maximum |a + b| and minimum |a - b|—and arc lengths often involving elliptic integrals, underscoring their mathematical richness.[1]
Definition
General Concept
A trochoid is the locus of a point fixed at a distance b from the center of a circle of radius a that rolls without slipping along a fixed straight line.[1] This curve arises from the combined translational and rotational motion of the circle as it moves along the line, with the rotationangle \theta determining the position of the tracing point at each instant.[1]The key parameters governing the trochoid are the rolling circle's radius a, the radial distance b of the fixed point from the center, and the parameter \theta, which represents the angle through which the circle has rotated.[1] As the circle rolls, the center translates horizontally by a distance a\theta, while the point's position relative to the center varies with the rotation.[1]Depending on the ratio of b to a, the trochoid exhibits distinct visual forms, such as smooth arches when b < a or loops when b > a.[1] Trochoids form a specific case within the broader class of roulette curves, which are generated by a point attached to one curve rolling without slipping along another fixed curve.[8]
Relation to Roulettes
A roulette is defined as the curve traced by a fixed point attached to a moving curve as it rolls without slipping along a fixed curve.[8] This construction generalizes various plane curves generated through rolling motion, encompassing a broad class of loci in classical geometry.[8]The generation of a roulette relies on the prerequisite of no slipping during the rolling contact, which ensures that the motion decomposes into pure translation along the fixed curve and pure rotation of the moving curve about its instantaneous point of contact.[8] This condition maintains tangency and arc length preservation between the curves, fundamental to the geometric integrity of the resulting path.[8]Within this framework, a trochoid arises as a particular roulette where the moving curve is a circle and the fixed curve is a straight line, while epitrochoids and hypotrochoids emerge when the fixed curve is a circle.[1][5][6] The term "roulette" itself originates from the French word roulette, meaning "small wheel," introduced by Blaise Pascal in his 1658 treatise Histoire de la Roulette, which explored the cycloid as a roulette curve.[9]
Types
Cycloidal Trochoids
Cycloidal trochoids, also known as trochoids generated by a circle rolling along a straight line, are a class of roulette curves where the path of the tracing point depends on its radial distance from the center of the rolling circle relative to the circle's radius.[1] These curves arise in the context of a fixed straight line acting as the path, resulting in purely translational motion of the rolling circle's center without rotational variation around a curved fixed path.[10]The common trochoid, specifically the cycloid, occurs when the tracing point lies on the circumference of the rolling circle, producing a curve characterized by a series of cusps where the point touches the fixed line and smooth arches of equal height between them.[1] This configuration yields a periodic curve with the point momentarily stationary at each cusp, creating the distinctive pointed arches.[11]A curtate trochoid forms when the tracing point is located inside the rolling circle, resulting in a smoother, undulating curve without cusps, often described as a contracted or shortened version of the cycloid with reduced amplitude in its waves.[1] In contrast, a prolate trochoid arises when the point is outside the circle, leading to a more extended curve with transverse loops and self-intersections, where the path crosses itself to form double points.[10] These qualitative differences highlight how the position of the tracing point alters the curve's topology: the cycloid balances arches and cusps, the curtate variant appears wavy and contained, and the prolate includes looping extensions that increase in complexity with greater radial distance.[11]A special degenerate case occurs when the tracing point coincides with the center of the rolling circle, producing a straight line parallel to the fixed path, as the point simply translates without oscillation.[1]
Circular Trochoids
Circular trochoids are generated when a circle rolls around the exterior or interior of a fixed circle, with a point attached to the rolling circle tracing the path. This setup contrasts with the straight-line rolling case by introducing curvature to the fixed path, which typically results in closed curves or star-shaped patterns when the ratio of the fixed circle's radius R to the rolling circle's radius a is rational.[12][13]The key parameters are the radius R of the fixed circle, the radius a of the rolling circle, and the distance b from the center of the rolling circle to the tracing point. When b = a, the tracing point lies on the circumference of the rolling circle, reducing the curve to an epicycloid or hypocycloid. These generalize the straight-line trochoids, where the fixed path's infinite radius limit produces open, wavelike paths.[12]Epitrochoids arise when the rolling circle of radius a moves externally around the fixed circle of radius R. This configuration produces loops or petal-like extensions outward from the fixed circle, with the curve closing after a finite number of rotations if R/a is rational. For instance, when R = a and b = a, the epitrochoid forms a cardioid, a heart-shaped curve with a single cusp. Another notable case occurs when R = 2a and b = a, yielding a nephroid, a kidney-shaped curve featuring two cusps.[13]Hypotrochoids, in contrast, form when the rolling circle moves internally within the fixed circle. Here, the tracing point orbits inside the fixed circle, often creating star-shaped or rosette patterns with inward-pointing cusps for rational R/a. The hypocycloid subclass (b = a) includes the deltoid, obtained when R = 3a, which exhibits three cusps and resembles a three-pointed star. Similarly, the astroid emerges when R = 4a, producing a four-cusped, diamond-like shape known for its envelope properties in classical geometry.[12][13]
Parametric Equations
Rolling on a Straight Line
The parametric equations for a trochoid generated by a point at distance b from the center of a circle of radius a rolling without slipping along a straight line are derived in a Cartesian coordinate system where the fixed line coincides with the horizontal x-axis at y = 0, and the y-axis is vertical, with the circle typically positioned above the line for the standard orientation.[1]The position of the tracing point is the vector sum of the center's location and the point's position relative to the center. The center translates horizontally along the x-axis by arc length a\theta, maintaining a constant y-coordinate of a, so its position is (a\theta, a). The relative position, assuming the initial position of the tracing point is along the radius toward the contact point (vertical downward) and the circle rotates clockwise as it rolls to the right, is (-b \sin \theta, -b \cos \theta). Adding these yields the parametric equations:x(\theta) = a\theta - b \sin \theta,y(\theta) = a - b \cos \theta.[1][7]When b = a, these simplify to the equations of a standard cycloid:x(\theta) = a(\theta - \sin \theta), \quad y(\theta) = a(1 - \cos \theta).[1] For the general case, as \theta ranges from 0 to $2\pi, the curve completes one full arch, with the shape scaling based on the ratio b/a: the arch is contracted for b < a (curtate trochoid) and extended for b > a (prolate trochoid), while the cycloid case (b = a) produces the characteristic cusp-to-cusp form.[1]Eliminating the parameter \theta to obtain a Cartesian equation relating x and y directly leads to transcendental equations involving inverse trigonometric functions, resulting in no simple closed-form expression in terms of elementary functions.[1]
Rolling on a Fixed Circle
When a circle of radius a rolls around the outside of a fixed circle of radius R, the path traced by a point on the rolling circle at a distance b from its center is an epitrochoid.[14] The parametric equations for this curve are\begin{align*}
x(\theta) &= (R + a) \cos \theta - b \cos \left( \left( \frac{R}{a} + 1 \right) \theta \right), \\
y(\theta) &= (R + a) \sin \theta - b \sin \left( \left( \frac{R}{a} + 1 \right) \theta \right),
\end{align*}where \theta is the parameter representing the angle of rotation of the center of the rolling circle around the fixed circle.[15]If the rolling circle instead rolls around the inside of the fixed circle, the resulting path is a hypotrochoid, with parametric equations\begin{align*}
x(\theta) &= (R - a) \cos \theta + b \cos \left( \left( \frac{R}{a} - 1 \right) \theta \right), \\
y(\theta) &= (R - a) \sin \theta - b \sin \left( \left( \frac{R}{a} - 1 \right) \theta \right).
\end{align*}These equations assume a < R for the hypotrochoid to avoid intersection issues.[15]The derivation of these equations follows from the position of the tracing point as the sum of the position of the rolling circle's center and the position of the point relative to that center. For the epitrochoid, the center traces a circle of radius R + a with angular parameter \theta, so its position is ((R + a) \cos \theta, (R + a) \sin \theta). The rolling circle rotates by an additional angle \phi = -(R/a) \theta due to the gear ratio k = R/a, leading to the relative position of the point being -b (\cos( (k + 1) \theta ), \sin( (k + 1) \theta )) to account for the opposite rotation direction and initial phase; combining these yields the full parametric form.[14] A similar decomposition applies to the hypotrochoid, where the center traces a circle of radius R - a and the relative rotation is \phi = (R/a) \theta in the same direction, resulting in the adjusted angular multiple k - 1.[15]Special cases arise when b = a, the distance to the tracing point equals the rolling radius. For the epitrochoid, this produces an epicycloid, the path of a point on the circumference of the rolling circle.[14] Similarly, b = a in the hypotrochoid yields a hypocycloid.[15]The curves exhibit periodicity when the gear ratio k = R/a is rational, say k = p/q in lowest terms, closing after \theta advances by $2\pi q; otherwise, the path is dense on an annular region.[14]In the limit as R \to \infty, both epitrochoid and hypotrochoid equations reduce to the parametric form of a trochoid generated by rolling on a straight line, as the fixed circle approximates a line.[15]
Properties
Geometric Characteristics
Trochoids exhibit distinctive geometric features arising from the rolling motion of a circle, including cusps, arches, and patterns of symmetry. In the case of the common cycloid, a specific type of trochoid generated by a point on the circumference of the rolling circle, cusps occur at parameter values θ = 2πn (where n is an integer), corresponding to points where the curve intersects the rolling line at y = 0 and the tangent becomes vertical.[16] These cusps mark the instants when the tracing point contacts the base line, creating sharp points that define the curve's arch-like structure.[11]The arches of cycloids vary by type, reflecting the position of the tracing point relative to the rolling circle of radius a. For the common cycloid, each arch rises to a height of 2a, forming smooth, rounded vaults between cusps.[17] In curtate cycloids, where the tracing point lies inside the circle at a distance b < a from the center, the arches are reduced in height to 2b, resulting in a flatter, more elongated profile without cusps.[18] Prolate cycloids, with the point outside the circle at b > a, produce arches extended to height 2b, often featuring self-intersecting loops that add complexity to the curve's outline.[18]Straight-line trochoids, including cycloids, display translational symmetry and periodicity along the direction of rolling. These curves repeat every interval of 2πa in the x-coordinate, generating an infinite sequence of identical arches.[19] Circular trochoids, formed by a circle rolling around a fixed circle of radius R, exhibit rotational symmetry when the ratio R/a is an integer, resulting in star-like or rosette patterns with the corresponding number of-fold symmetry.[20] Closure in these curves occurs after a finite number of rotations when R/a is a rational number p/q in lowest terms, producing a bounded, non-repeating path that tiles the plane periodically; otherwise, the curve is dense and non-closing.[21]A notable envelope property distinguishes the cycloid among trochoids: its evolute, the locus of curvature centers, is another cycloid congruent to the original but translated, typically shifted vertically by -2a.[22][23] This self-similar evolute underscores the cycloid's unique geometric harmony in classical curve theory.[22]
Analytic Features
The analytic features of trochoids are derived from their parametric representations using techniques from calculus and differential geometry, yielding explicit expressions for quantities such as arc length, enclosed areas, and curvature. These properties highlight the trochoid's smooth variation except at singular points, with the cycloid serving as a canonical example where closed-form results are particularly accessible.For the cycloid, a special trochoid with generating point on the circumference (b = a), the arc length L of one complete arch (from \theta = 0 to \theta = 2\pi) is found via the parametric arc length integralL = \int_{0}^{2\pi} \sqrt{\left( \frac{dx}{d\theta} \right)^2 + \left( \frac{dy}{d\theta} \right)^2} \, d\theta.Substituting the derivatives \frac{dx}{d\theta} = a(1 - \cos \theta) and \frac{dy}{d\theta} = a \sin \theta simplifies the integrand to a \sqrt{2(1 - \cos \theta)} = 2a \left| \sin \frac{\theta}{2} \right|, yielding L = 8a.[24]The area A under one arch of the cycloid, relative to the directrix, is computed asA = \int_{0}^{2\pi a} y \, dx = \int_{0}^{2\pi} y(\theta) \frac{dx}{d\theta} \, d\theta = a^2 \int_{0}^{2\pi} (1 - \cos \theta)^2 \, d\theta = 3\pi a^2.This result, three times the area of the generating circle, underscores the cycloid's efficient spatial coverage.[24]The curvature \kappa(\theta) of the cycloid is given by\kappa(\theta) = \frac{\left| x' y'' - y' x'' \right|}{\left( (x')^2 + (y')^2 \right)^{3/2}} = \frac{1}{4a \sin(\theta/2)},for $0 < \theta < 2\pi, where the second derivatives are x'' = a \sin \theta and y'' = a \cos \theta. The radius of curvature is thus \rho(\theta) = 4a \sin(\theta/2), which approaches zero (infinite curvature) at the cusps (\theta = 0, 2\pi), reflecting the curve's sharp turns there; curvature analysis often begins at these cusps due to their geometric prominence.[2]The pedal curve of the cycloid, taken with respect to a cusp, is a straight line parallel to the directrix at a distance $2a$ from it.[2]In terms of asymptotic behavior, trochoids generated by rolling along a straight line, like the cycloid, are unbounded and extend infinitely in the direction of motion. In contrast, trochoids from rolling around a fixed circle (epitrochoids or hypotrochoids) are typically bounded within an annular region, becoming closed curves when the ratio of the fixed circle radius to the rolling circle radius (R/a) is rational.
Applications
In Mechanics
In mechanics, trochoids describe the trajectories of points attached to rolling objects, providing fundamental insights into motion under constraints like no-slip conditions. The path traced by a point on the rim of a wheel rolling without slipping along a straight line is a cycloid, a special case of the trochoid family, while points inside or outside the rim generate curtate or prolate trochoids, respectively. This geometric property explains the characteristic cusps and arches in wheel paths, where the instantaneous velocity at the contact point is zero during pure rolling. In vehicle dynamics, the trochoid trajectory illustrates ideal rolling motion; however, during turns, skidding occurs when lateral friction forces exceed available tire grip, causing the wheel to slip and deviate from the expected trochoidal path, leading to understeer or oversteer.[25]Trochoids also play a key role in kinematic analysis of mechanisms involving rolling contact. In bicycles during uniform forward motion, the path of a pedal relative to the ground forms a curtate cycloid, as the crank rotates around the moving bottom bracket, combining translational velocity of the frame with rotational motion of the crank.[26] In theoretical mechanics, the inverted cycloid solves the brachistochrone problem, identified by Johann Bernoulli in 1696 as the curve of fastest descent for a particle sliding under gravity from one point to another, outperforming straight lines or other paths due to its balance of potential energy loss and velocity gain. Bernoulli's solution, derived via the calculus of variations, demonstrates that the cycloid minimizes travel time by enabling higher speeds in steeper sections.[27]Practical applications in machinery leverage trochoidal profiles for efficient power transmission and reduced wear. Cycloidal gears employ trochoid-based tooth profiles, such as epicycloids and hypocycloids, to achieve conjugate action and smooth meshing, minimizing backlash and vibration compared to involutegears; this design is particularly valued in precision instruments like clocks, where uniform weardistribution extends longevity, and in pumps, where low-noise operation supports reliable fluid handling.[28][29] In rotary engines, such as the Wankel design, the rotorshape approximates a hypotrochoid envelope, enabling compact, high-speed operation with three combustion chambers formed by the rolling motion inside an epitrochoidal housing.[30]
In Design and Graphics
In computer graphics, trochoids are generated using parametric equations to create intricate patterns for animations and visualizations, with the Spirograph toy serving as a classic example that simulates hypotrochoids through geared rolling circles.[31] The parametric form allows for efficient plotting of these curves in software, enabling dynamic rendering of looping paths in educational simulations and artistic designs.[32] This approach has influenced digital recreations of Spirograph effects, where hypotrochoids emerge from fixed and rolling circle interactions, fostering interactive graphics in tools like MATLAB or Java-based environments.[33]The adoption of trochoidal curves extends to visual arts, where Spirograph-inspired hypotrochoids have shaped patterns in Pop Art, Op Art, and Psychedelic Art movements since the 1960s, emphasizing repetitive, hypnotic geometries.[34] In digital art, algorithms based on parametric trochoid generation produce scalable vector graphics (SVG) exports for patterns, as seen in ecological network visualizations that adapt hypotrochoid forms for abstract representations.[35]Architectural design incorporates cycloidal trochoids for aesthetic and functional curves, such as in pendulum clocks where the tautochrone property ensures isochronous motion; Christiaan Huygens implemented cycloidal cheeks in his 1673 clock design to constrain the pendulum bob to a cycloid path, enhancing timekeeping accuracy.[36] Cycloidal arches also appear in bridge structures for their efficient load distribution and elegant form.In computer-aided design (CAD) and manufacturing, epitrochoid paths guide CNC machining for precise cam profiles, enabling smooth, constant-velocity motion in mechanical components like gerotor pumps and drives.[37] These profiles are interpolated in real-time during milling, as detailed in algorithms for trochoidal pockets that integrate epitrochoid boundaries directly into CNC cycles for high-precision parts. Such applications leverage parametric definitions to minimize tool wear and achieve complex geometries unattainable with linear paths.Analytic arc lengths of trochoids aid in precise rendering for these design contexts, ensuring accurate scaling in both simulations and physical outputs.
History
Early Developments
The specific curve now recognized as the cycloid—a fundamental trochoid formed by a point on a circle rolling along a straight line—was first systematically noted by Galileo Galilei in 1599, who named it from the Greek kyklos (circle) and eidos (form).[38] Galileo studied the cycloid for over 40 years, attempting to determine its area by comparing weights of metal pieces cut to its shape against those of the generating circle, estimating the ratio as approximately 3:1 but unable to prove it irrational analytically; in a 1639 letter to Evangelista Torricelli, he described it as a path traced by a point on a wheel's rim.[38]In the 1620s and 1630s, Marin Mersenne provided the first detailed mathematical treatment of the cycloid, defining it precisely as the locus of a point on a rolling circle and noting that the length of each arch's base equals the circle's circumference (2πa, where a is the radius).[38]Mersenne posed the challenge of finding the cycloid's area to Gilles de Roberval in 1628, leading to Roberval's 1634 solution via Cavalieri's method, establishing the area of one arch as 3πa².[38]Christiaan Huygens advanced the study significantly in the 1670s, proving in his 1673 publication Horologium Oscillatorium sive de motu pendulorum that the cycloid is the tautochrone—the curve along which a body slides under gravity in equal times regardless of starting position—building on its evolute properties to design pendulum clocks with cycloidal cheeks for isochronous swings.[39] This work integrated the cycloid into practical mechanics, influencing horology.[38]In 1696, Johann Bernoulli posed the brachistochrone problem—finding the curve of fastest descent between two points under gravity—which was solved independently by Bernoulli, Gottfried Wilhelm Leibniz, Guillaume de l'Hôpital, and Isaac Newton, all identifying the cycloid as the solution. This demonstration elevated the cycloid's status in the emerging field of calculus of variations.[40] The 17th-century rise of analytic geometry, particularly René Descartes' coordinate methods in La Géométrie (1637), enabled parametric equations for such curves, shifting focus from geometric construction to algebraic description and facilitating trochoid analysis.[38]
Modern Contributions
In the 20th century, significant advancements in the mathematical representation of trochoids facilitated their integration into computational design and engineering. A key contribution was the development of rational Bézier curve representations for segments of epitrochoids and hypotrochoids, enabling precise modeling in computer-aided design (CAD) systems. This method, which combines circular arcs using Bernstein-like trigonometric basis functions, produces even-degree rational Bézier curves whose control points and weights are computed via discrete convolutions, addressing a prior gap in trochoid parameterization for graphical software.[41]Building on this, early 21st-century research explored alternative geometric formulations to simplify the study of trochoid properties. In 2002, Sibel Pasali introduced map equations for trochoids, representing them as mappings of the unit circle in the complex plane. This approach proved necessary and sufficient conditions for trochoids to form rosettes—curves passing through the origin with radial symmetry—and analyzed rosette petals, while linking cusp formation to generalized discriminants from broader curve theory.[42]More recent work has incorporated physical interpretations to derive novel parametric forms. In 2024, H. Arbab and A. Arbab proposed a physics-oriented perspective redefining centered trochoids as paths traced by points on a circle undergoing controlled combinations of rolling and sliding motions along a fixed circle. Using techniques like the Virtual Rotating Circles Technique and Virtual Sliding Simulator, they derived parametric equations that unify trochoids with co-centered ellipses, generated by co-polarized rotations at commensurable angular frequencies, offering new insights into their construction beyond pure rolling.[43]These contributions have extended trochoid applications in mechanics, such as modeling meshing in trochoidal gear profiles for pumps and reducers, where general mathematical frameworks account for clearances and contact dynamics. Overall, modern efforts emphasize computational efficiency, geometric generalizations, and interdisciplinary links, enhancing trochoids' utility in design, simulation, and education.