The lemniscate, also called the lemniscate of Bernoulli, is a polar curve defined as the locus of points such that the the product of distances from two fixed points and (which can be considered a kind of foci with respect to multiplication instead of addition) is a constant . This gives the Cartesian equation
(1)
|
Squaring both sides gives
(2)
|
and simplifying results in the beautiful form
(3)
|
The half-width (distance from crossing point at the origin to a horizontal extremity) of a lemniscate is
(4)
|
while its half-height is
(5)
|
Switching to polar coordinates gives the equation
(6)
|
or
(7)
|
Note that this equation is defined only for angles and .
The parametric equations for the lemniscate with half-width are
(8)
| |||
(9)
|
The two-center bipolar coordinates equation with origin at a focus is
(10)
|
and in pedal coordinates with the pedal point at the center, the equation is
(11)
|
Jakob Bernoulli published an article in Acta Eruditorum in 1694 in which he called this curve the lemniscus (Latin for "a pendant ribbon"). Bernoulli was not aware that the curve he was describing was a special case of Cassini ovals which had been described by Cassini in 1680. The general properties of the lemniscate were discovered by G. Fagnano in 1750 (MacTutor Archive). Gauss's and Euler's investigations of the arc length of the curve led to later work on elliptic functions.
The lemniscate is the inverse curve of the hyperbola with respect to its center.
The lemniscate can also be generated as the envelope of circles centered on a rectangular hyperbola and passing through the center of the hyperbola (Wells 1991).
The lemniscate resembles certain toric sections when the cutting plane is tangent to the torus along the circumference of its central hole. For example, intersecting a torus
(12)
|
with radius from the center of the hole to the center of the torus and tube radius with the plane gives an intersection described by
(13)
|
illustrated above. While the curve of intersection is close to the equation of a lemniscate in the -plane with parameter :
(14)
|
it is not equivalent due to the difference in the term as illustrated below:
However, in the special case of a torus with , the toric section becomes exactly a lemniscate with half-width
(15)
|
The area of the lemniscate is
(16)
| |||
(17)
| |||
(18)
|
The arc length as a function of is given by
(19)
| |||
(20)
|
where is an elliptic integral of the first kind. The arc length of the entire curve is then
(21)
| |||
(22)
| |||
(23)
| |||
(24)
|
(OEIS A064853), where is the lemniscate constant, which plays a role for the lemniscate analogous to that of for the circle.
The curvature and tangential angle of the lemniscate are
(25)
| |||
(26)
|