Fact-checked by Grok 2 weeks ago

Limaçon

A limaçon is a plane curve in the plane of two dimensions, defined in polar coordinates by the equation r = b + a \cos \theta (with a > 0 and b > 0), which generates shapes resembling a snail shell and serves as a classic example of a roulette curve formed by a point on a circle rolling around the circumference of a fixed circle of equal radius.^[1]^[2] First investigated by Albrecht Dürer in his 1525 treatise Underweysung der Messung, who provided a method for constructing it using intersecting circles, the curve was later rediscovered and studied by Étienne Pascal around 1630, with the name "limaçon" (French for "snail") coined by Gilles Personne de Roberval in 1650 to describe its characteristic looped or dimpled form.^[1]^[2] The shape of the limaçon varies significantly with the ratio a/b: it is convex (nearly circular) when b \geq 2a, dimpled when a < b < 2a, a cardioid (heart-shaped) when b = a, and features an inner loop when b < a, with the special case b = a/2 yielding a trisectrix curve useful for angle trisection.^[1]^[2] Algebraically, it can be expressed in Cartesian coordinates as (x^2 + y^2 - a x)^2 = b^2 (x^2 + y^2), classifying it as a rational bicircular quartic curve that is also an epitrochoid and the pedal curve of a circle with respect to a point on its circumference.^[1]^[2] Notable properties include its role as the catacaustic of a circle under reflection from a point source, with applications in optics and geometry, such as in the design of drawbridges by Bernard Forest de Bélidor in the 18th century and in certain clock mechanisms for uniform 24-hour time display.^[1]^[2] In the history of calculus, Roberval employed the limaçon to develop methods for finding tangents, prefiguring concepts of differentiation.^[1]

Overview

Definition

A limaçon is a roulette curve traced by a point attached to a circle of radius b that rolls without slipping around the exterior of a fixed circle of radius a, where the tracing point is located at a distance c from the center of the rolling circle. This construction positions the limaçon as a specific case of an epitrochoid, particularly when the fixed and rolling circles have equal radii (a = b), with the standard limaçon arising when c = b.^[3]^[4] Algebraically, the limaçon is classified as a bicircular rational plane curve of degree four, meaning its implicit equation is a quartic polynomial that passes through the circular points at infinity in the complex projective plane, exhibiting singularities there.^[5]^[6] This degree-four nature distinguishes it among plane algebraic curves, allowing for a variety of geometric configurations while maintaining rationality for parametric representations.^[6]

Geometric Construction

The limaçon can be mechanically generated as a roulette, specifically through the process of one circle rolling externally around another fixed circle of equal radius, with a designated tracing point attached to the rolling circle at a distance c from its center. To construct it step by step, begin with a fixed circle of radius R centered at the origin. Introduce a second circle of the same radius R, initially positioned such that it is tangent externally to the fixed circle at a contact point. As the rolling circle moves around the fixed circle without slipping, its center traces a path at a distance $2R from the origin, completing one full rotation around the fixed circle while simultaneously rotating once on its own axis. The tracing point follows a continuous path that delineates the limaçon curve, with different values of c producing varied shapes: for example, c = R yields a cardioid, while c < R or c > R produces dimpled or looped forms.^[7] This construction positions the limaçon as a special case of an epitrochoid, which is the roulette generated by a point on a circle rolling externally around a fixed circle; the limaçon arises precisely when the radii of the rolling and fixed circles are equal.^[7] In broader terms, epitrochoids belong to the family of trochoids, which encompass roulettes formed by a rolling circle, though trochoids more generally include cases where the fixed path is a straight line (as in cycloids) rather than a circle.^[8] Unlike hypotrochoids, which result from a circle rolling internally inside a fixed circle, the epitrochoid construction for the limaçon involves external contact and rolling, leading to a distinct generative mechanism.^[8]

Historical Background

Early Discoveries

The earliest known investigations into the limaçon curve date back to the early 16th century, when German artist and mathematician Albrecht Dürer included geometric constructions for approximating its shape in his treatise Underweysung der Messung mit dem Zirckel und Richtscheyt (Instruction in Measurement with Compass and Straightedge), published in 1525. Dürer described methods using compass and straightedge to draw variants of the curve, focusing on practical applications for artisans such as painters and goldsmiths, without formal analysis of its properties or a specific name.^[9]^[1] In the early 17th century, French mathematician Étienne Pascal advanced the study of the limaçon in the 1630s, particularly through his correspondence with scholars like Marin Mersenne and Pierre de Fermat. Pascal explored the curve as a conchoid of a circle, applying it to geometric problems such as angle trisection, and connected it to broader investigations of roulettes—curves generated by a point attached to a rolling circle—and cycloids, which share similar generative principles as epitrochoids. His work, documented in letters from 1636–1637, emphasized the limaçon's construction and utility in solving classical problems, predating its formal recognition.^[10]^[11] During the mid-17th century, specifically from the 1630s to 1650s, French mathematician Gilles Personne de Roberval conducted studies on the properties of the limaçon as a type of roulette curve, building on his earlier work with cycloids and other plane curves. Roberval examined its tangential behavior and geometric characteristics through methods of integration, contributing insights into arc lengths and areas without yet assigning the name "limaçon." His analyses, part of a larger effort to develop techniques for curve quadrature, highlighted the limaçon's role in advancing early differential geometry.^[12]^[1]

Naming and Development

The term "limaçon" originates from the French word for "snail," derived from the Latin limax, reflecting the curve's resemblance to a snail shell.^[9] This nomenclature was coined in 1650 by the French mathematician Gilles-Personne de Roberval, who used the limaçon as an example in his methods for constructing tangents to curves.^[1] The limaçon is closely associated with the Pascal family through Étienne Pascal, father of Blaise Pascal, who discovered the curve while investigating roulette curves—a class of paths traced by a point on a curve rolling around another fixed curve.^[11] Étienne's work on roulettes, including correspondence with Marin Mersenne that connected him to leading geometers like Roberval and Fermat, positioned the limaçon within early modern studies of such generating mechanisms.^[1] In the 18th century, the limaçon gained further recognition through its inclusion in analytical geometry texts, notably discussed by Colin Maclaurin in his Geometria Organica (1720), where it appeared alongside related curves like the cardioid in explorations of organic descriptions of higher plane curves.^[13] By the 19th century, analysts continued to reference it in treatments of algebraic curves, solidifying its place in mathematical literature.^[1] In some contexts, particularly emphasizing Étienne's discovery, the limaçon is known as "Pascal's snail."^[4]

Mathematical Formulation

Equations

The limaçon is defined in polar coordinates by the equation

r = b + a \cos \theta,

where a > 0 and b > 0 are parameters controlling the scale and the ratio a/b influencing the overall form. A version rotated by $90^\circ replaces \cos \theta with \sin \theta.^[9]/08%3A_Further_Applications_of_Trigonometry/8.04%3A_Polar_Coordinates_-_Graphs) The parametric equations are obtained by converting from polar form using x = r \cos \theta and y = r \sin \theta:

x(\theta) = (b + a \cos \theta) \cos \theta, \quad y(\theta) = (b + a \cos \theta) \sin \theta,

with $\theta \in [0, 2\pi)$. These equations facilitate plotting and analysis in the Cartesian plane.^[9] The limaçon arises as a roulette curve from the path traced by a point fixed at distance c from the center of a circle of radius b rolling externally around a fixed circle of radius a. The parametric equations for this epitrochoid are

x(\theta) = (a + b) \cos \theta - c \cos\left(\left(\frac{a}{b} + 1\right) \theta\right),

y(\theta) = (a + b) \sin \theta - c \sin\left(\left(\frac{a}{b} + 1\right) \theta\right).

For the limaçon, set a = b, yielding

x(\theta) = 2b \cos \theta - c \cos (2 \theta), \quad y(\theta) = 2b \sin \theta - c \sin (2 \theta),

where varying c (typically $0 < c \leq 2b) generates the family; this form is equivalent to the polar equation upon suitable scaling of parameters.^[14] The Cartesian equation, a bicircular quartic, is derived from the polar form r = b + a \cos \theta by substituting \cos \theta = x/r to obtain r - a x / r = b, multiplying through by r to get r^2 - a x = b r, and rearranging to x^2 + y^2 - a x = b \sqrt{x^2 + y^2}. Squaring both sides eliminates the radical:

(x^2 + y^2 - a x)^2 = b^2 (x^2 + y^2).

For the parameter choice a = 2b (corresponding to polar r = b + 2b \cos \theta), this becomes

(x^2 + y^2 - 2 b x)^2 = b^2 (x^2 + y^2).

Expanding the general form yields the explicit quartic (x^2 + y^2)^2 - 2 a x (x^2 + y^2) + a^2 x^2 - b^2 (x^2 + y^2) = 0, confirming its bicircular nature as a curve algebraic of degree four.^[1]

Special Cases

The special cases of the limaçon arise from specific ratios of the parameters a and b in its polar equation, leading to distinct geometric features. When a = b, the curve becomes a cardioid, given by the equation r = 2a (1 + \cos \theta), which exhibits a smooth heart-shaped profile with a sharp cusp at the origin where \theta = \pi.^[15] This cusp occurs because the radius vanishes at that point, marking the transition from the looped family to non-looped forms.^[16] For a = 2b, the limaçon is known as the limaçon trisectrix, a looped variant with the equation r = b + 2b \cos \theta = b(1 + 2 \cos \theta), featuring an inner loop that enables geometric constructions for trisecting arbitrary angles.^[17] The inner loop's properties allow angle trisection by drawing lines from the origin through points on the curve, where the angles formed satisfy a triple relation due to the parametric ratio.^[17] A numerical example is r = 1 + 2 \cos \theta, which produces a prominent inner loop enclosing the origin.^[15] The looped limaçon occurs when a/b > 1, where the curve develops a self-intersecting inner loop around the origin because the minimum radius b - a < 0, causing the plot to retrace in polar coordinates.^[15] This family includes the trisectrix and more extreme ratios, with the loop size increasing as a/b grows beyond 1.^[16] In contrast, the dimpled limaçon forms when $1/2 < a/b < 1, producing an indentation or dimple on the inner side without forming a full loop, as the minimum radius remains positive but the curvature introduces a concave region.^[15] The dimple appears because the radial derivative vanishes at a point where the curve bends inward, transitioning smoothly from the cardioid.^[16] Finally, the convex limaçon arises when a/b \leq 1/2, resulting in an oval-shaped curve without any dimple or loop, maintaining positive radius and outward curvature throughout.^[15] This case resembles a distorted circle, with no singularities or indentations.^[16]

Geometric Properties

Forms and Shapes

The limaçon exhibits a variety of geometric forms depending on the ratio of parameters a and b in its polar equation, typically expressed as r = b + a \cos \theta with a > 0 and b > 0. These forms range from smooth, convex shapes to more complex looped structures, reflecting the curve's sensitivity to the relative magnitudes of a and b.^[9] When the ratio a/b \leq 1/2, the limaçon is convex, presenting a rounded, egg-like appearance without any indentations or loops, closely resembling a distorted circle. As the ratio increases to $1/2 < a/b < 1, the curve becomes dimpled, developing a subtle inward depression on the side opposite the origin while remaining a single, closed loop. At exactly a/b = 1, the limaçon degenerates into a cusped form known as the cardioid, characterized by a sharp, heart-shaped cusp at the pole where the curve touches itself tangentially. For a/b > 1, the looped limaçon emerges, featuring a self-intersecting inner loop that passes through the origin twice, creating a figure-eight-like structure within the outer boundary.^[9] All forms of the limaçon demonstrate bilateral symmetry about the x-axis (the polar axis) due to the cosine term in the equation, ensuring that the curve is mirror-symmetric across this line. This symmetry persists across the progression of shapes, from the symmetric convex variant to the more asymmetric-looking looped form, though the latter's self-intersection maintains the reflective property. Visual representations, such as diagrams plotting the curve for incremental values of a/b (e.g., 0.3 for convex, 0.7 for dimpled, 1 for cardioid, and 1.5 for looped), effectively illustrate the continuous deformation from a nearly circular outline to a self-crossing profile, emphasizing the limaçon's versatility as a roulette-derived curve.^[9]

Measurements

The area enclosed by a limaçon given by the polar equation r = b + a \cos \theta is computed using the standard polar area formula A = \frac{1}{2} \int_0^{2\pi} r^2 \, d\theta. Substituting the equation for r and integrating term by term yields the general result A = \pi \left( b^2 + \frac{1}{2} a^2 \right) for cases without an inner loop (when a \leq b). This formula arises from expanding r^2 = b^2 + 2ab \cos \theta + a^2 \cos^2 \theta, where the integrals of the trigonometric terms over [0, 2\pi] vanish or average to constants, leaving the stated expression. For limaçons with an inner loop (when a > b), the full integral over [0, 2\pi] computes the sum of the inner and outer loop areas, but separate integrals are required for each. The area of the inner loop is found by integrating over the angular interval where the curve traces the loop (from \theta = \pi - \arccos(b/a) to \theta = \pi + \arccos(b/a)), resulting in A_{\text{inner}} = \left( \frac{1}{2} a^2 + b^2 \right) \arccos\left( \frac{b}{a} \right) - \frac{3}{2} b \sqrt{a^2 - b^2}. The area of the outer loop is then A_{\text{outer}} = \pi \left( \frac{1}{2} a^2 + b^2 \right) + \frac{3}{2} b \sqrt{a^2 - b^2} - \left( \frac{1}{2} a^2 + b^2 \right) \arccos\left( \frac{b}{a} \right). For example, in the cardioid special case where a = b, the total area simplifies to \frac{3}{2} \pi a^2.^[9] The arc length (perimeter) of the limaçon is given by the polar arc length formula L = \int_0^{2\pi} \sqrt{ r^2 + \left( \frac{dr}{d\theta} \right)^2 } \, d\theta. For r = b + a \cos \theta, \frac{dr}{d\theta} = -a \sin \theta, this becomes \int_0^{2\pi} \sqrt{ (b + a \cos \theta)^2 + a^2 \sin^2 \theta } \, d\theta, which simplifies to \int_0^{2\pi} \sqrt{ a^2 + b^2 + 2ab \cos \theta } \, d\theta. The full expression is an elliptic integral of the second kind, L = 4 (a + b) E\left( \frac{2 \sqrt{ab}}{a + b} \right), where E(k) is the complete elliptic integral of the second kind. In the cardioid case (a = b), the arc length simplifies to $8a.^[9]

Relations to Other Curves

Pedal and Inverse Relations

The limaçon arises as the pedal curve of a circle when the pedal point is chosen on the circle's circumference. To derive its equation, consider a circle of radius a centered at (b, 0) in the plane, with the pedal point at the origin. The general method for finding the pedal curve involves dropping perpendiculars from the origin to the tangent lines of the circle. The polar equation of the resulting pedal curve is p = a + b \cos \theta, where p is the distance from the origin to the foot of the perpendicular, and \theta is the polar angle; this matches the standard polar form of the limaçon r = a + b \cos \theta. Special cases include the cardioid when a = b, and the original circle itself when b = 0.^[18] Conversely, the pedal curve of a limaçon with respect to its origin (the node point) is a circle in the case of the negative pedal, where the negative pedal is defined as the locus of points whose reflections over the tangent lines pass through the fixed point. For a general limaçon, the pedal with respect to other points may yield variants of limaçons or circles, depending on the position relative to the curve's features.^[19] The limaçon also emerges as the inverse curve of a conic section under inversion with respect to one of its foci. Circle inversion transforms a point at distance r from the center to a point at distance r' = k^2 / r along the same ray, where k is the inversion radius. Applying this to a conic with focus at the inversion center yields a limaçon: the inverse of an ellipse (eccentricity e < 1) is a convex limaçon, of a parabola (e = 1) is a cardioid (a cuspidal limaçon), and of a hyperbola (e > 1) is a limaçon with an inner loop. The inverse of a cardioid taken with respect to a point other than its generating focus can produce another limaçon variant. Pascal's limaçon specifically results from such an inversion of a conic.^[20]^[21]

Other Connections

The limaçon can be viewed as a special case of a conchoid, specifically the conchoid of a circle with respect to a point on its circumference.^[9] Within the trochoid family of curves, the limaçon arises as an epitrochoid generated by a point on the circumference of a circle rolling around the outside of a fixed circle of equal radius.^[7] This contrasts with the cycloid, which is a hypotrochoid formed by a point on a circle rolling inside a fixed circle of larger radius.^[7] The limaçon is a bicircular quartic curve, characterized by passing through the two circular points at infinity in the complex plane, which endows it with distinctive intersection properties with circles: by Bézout's theorem, it intersects any circle in eight points (counting multiplicities), with two of these points being the circular points at infinity, resulting in six finite intersection points generally.^[22]^[6] In modern mathematical extensions, the limaçon has been generalized through representations in the complex plane and applied to higher-dimensional settings, such as constructing almost complex structures on six-dimensional manifolds via limaçon-shaped contours, though classical treatments remain incomplete in covering these developments.^[23]^[24]

References

[1]
Limacon of Pascal - MacTutor History of Mathematics
The limacon is an anallagmatic curve. The limacon is also the catacaustic of a circle when the light rays come from a point a finite (non-zero) ...Missing: properties | Show results with:properties
[2]
Limaçon of Pascal - MATHCURVE.COM
The limaçons of Pascal are the conchoids of a circle with respect to one of its points O (here, the circle with diameter [OA] with A(ea, 0)).Missing: history properties<|control11|><|separator|>
[3]
MATHEMATICA tutorial, Part 1.1: Famous Curves
Limaçon A limaçon or limacon, also known as a limaçon of Pascal, is defined as a roulette formed by the path of a point fixed to a circle when that circle rolls ...<|control11|><|separator|>
[4]
limaçon
The limaçon is an anallagmatic curve. For b unequal zero, the curve is a quartic, in Cartesian coordinates it can be written as a fourth degree equation.Missing: history | Show results with:history
[5]
Bicircular quartic - MATHCURVE.COM
rational bicircular quartic ; Cartesian curve, A = B, D = 0, L = M, b = 0, ; complete Cartesian oval, L = M = R2, b = 0 ; limaçon of Pascal, L = M, b = 0, p = 0 ...Missing: degree | Show results with:degree
[6]
[PDF] Rational families of circles and bicircular quartics
These are curves of degree four that have singularities in the circular points at infinity of the complex projective plane P2(C). The main focus lies on real ...
[7]
Limaçons as Loci and Other Polar Curves
various types of limaçons are obtained, namely the circle, trisectrix, cardioid, limaçon with inner loop, dimpled limaçon, and oval (convex) limaçon.Missing: cusped | Show results with:cusped
[8]
[PDF] 2dcurves in .pdf - two dimensional curves
And now some examples of epitrochoids: When the two circles have equal radius (a=1), the epitrochoid is a limaçon. Page 285. notes. 1) Epi = on. 2) Let a ...
[9]
An Innovative STEAM-Based Method for Teaching Cycloidal Curves ...
Roulette is a path traced by the point fixed on a curve that is ... rolling circle is situated outside or inside the fixed circle [96]. All main ...
[10]
Limaçon -- from Wolfram MathWorld
The limaçon is a polar curve of the form r=b+acostheta (1) also called the limaçon of Pascal. It was first investigated by Dürer, who gave a method for ...
[11]
Pascal, Etienne - The Galileo Project
In 1637 he introduced a special curve (limacon of M. Pascal), the conchoid of a circle with respect to one of its points, to be applied to the problem of ...Missing: cycloids roulettes 1640s<|separator|>
[12]
Étienne Pascal (1588 - 1651) - Biography - MacTutor
Étienne Pascal was a French lawyer and amateur mathematician. He was the father of Blaise Pascal. Biography. Étienne Pascal's parents were Martin Pascal, who ...Missing: roulettes 1640s
[13]
Gilles Roberval (1602 - 1675) - Biography - MacTutor
He spent the years from 1628 to 1632 building up his knowledge and skills in mathematics with the aim of getting a position as a professional mathematician.
[14]
Turnbull lectures on Colin Maclaurin, Part 2 - MacTutor
Maclaurin made two considerable contributions to the theory of higher plane curves ; the first was his Geometria Organica sive Descriptio Linearum Curvarum ...<|control11|><|separator|>
[15]
MATHEMATICA TUTORIAL, Part 1.1: Cycloids
Oct 27, 2025 · x(θ)=(R+r)cosθ−dcos(R+rrθ),y(θ)=(R+r)sinθ−dsin(R+rrθ),. where θ is a parameter (not the polar angle). Special cases include the limaçon with ...
[16]
[PDF] Math Handbook of Formulas, Processes and Tricks Trigonometry
Four Limaçon Shapes. 2. 2. Inner loop. “Cardioid”. Dimple. No dimple. Four Limaçon Orientations (using the Cardioid as an example) sine function sine function.
[17]
Interpreting AVOAz using limaçons - CSEG Recorder
As the ratio increases further, the limaçon exhibits a dimple (1<|a/b|<2) and finally becomes convex (|a/b|>=2). More classes of limaçons have been defined ...
[18]
[PDF] A NEW WAY FOR OLD LOCI - International Journal of Geometry
The Limaçon of Étienne Pascal. Pascal's Limaçon allows, as it is well known, the trisection of any angle. We report here a short proof of this property, that ...
[19]
Calculus II - Area with Polar Coordinates - Pauls Online Math Notes
Nov 16, 2022 · In this section we will discuss how to the area enclosed by a polar curve. The regions we look at in this section tend (although not always) ...
[20]
[PDF] Lecture 16 - Section 9.8 Arc Length and Speed
Arc Length. Arc Length Examples. Example: Limaçon. Limaçon: r = 1 − cosθ. The length of the cardioid: r = 1 − cosθ, θ ∈ [0,2π], is given. Z 2π. 0 q ρ(θ). 2.
[21]
[PDF] pedal curves - UA - The University of Alabama
THEOREM V: The pedal of any circle is a limacon<. We shall, without loss of ... The circle is the only curve v/hose dos- itive and negative pedalswith ...
[22]
Pedal Curve - Statistics How To
Pedal curve definition and step-by-step examples of creating a pedal and negative pedal curve. How to transform a circle into a Limaçon.
[23]
[PDF] arXiv:1309.5592v2 [math.DG] 7 Oct 2013
Oct 7, 2013 · Note that Pascal's limaçon was obtained by inversion of conic with the center of inversion in the focus. In (2) the focus is on the x-axis ...
[24]
[PDF] Generalization of the pedal concept in bidimensional spaces ...
The traditional classification of a limaçon is based on its morphology. The different types are looped, with a cusp. (cardioid), dimpled, flat, and convex.
[25]
https://www.iosrjournals.org/iosr-jm/papers/Vol6-issue2/G0624353.pdf
[26]
[PDF] Families of strong KT structures in six dimensions - arXiv
The space of such J is described when G is the complex Heisenberg group, and explicit solutions are obtained from a limaçon-shaped curve in the complex plane.Missing: generalizations | Show results with:generalizations
[27]
[PDF] Feature Detection for Real Plane Algebraic Curves - mediaTUM
This thesis concerns real plane algebraic curves and their attributes. It can be ascer- tained that real curves are best represented by complex numbers. In this ...