|
|
(One intermediate revision by one other user not shown) |
Line 1: |
Line 1: |
| [[Image:Lemniscate of Bernoulli.svg|thumb|400px|right|A lemniscate of Bernoulli and its two foci]]
| | My hobby is mainly Vintage Books. <br>I try to learn Swedish in my free time.<br><br>Here is my web blog - Hostgator Coupon Code ([https://mylescollingsla.wordpress.com/ https://mylescollingsla.wordpress.com]) |
| [[Image:Lemniscate of Bernoulli.gif|thumb|300px|right|Lemniscate of Bernoulli is the [[pedal curve]] of rectangular [[hyperbola]]]]
| |
| {{Sinusoidal_spirals.svg}}
| |
| In [[geometry]], the '''lemniscate of Bernoulli''' is a plane curve defined from two given points ''F''<sub>1</sub> and ''F''<sub>2</sub>, known as '''foci''', at distance 2''a'' from each other as the locus of points ''P'' so that ''PF''<sub>1</sub>·''PF''<sub>2</sub> = ''a''<sup>2</sup>. The curve has a shape similar to the numeral 8 and to the [[Infinity|∞]] symbol. Its name is from ''lemniscus'', which is [[Latin]] for "pendant ribbon". It is a special case of the [[Cassini oval]] and is a rational [[algebraic curve]] of degree 4.
| |
| | |
| The lemniscate was first described in 1694 by [[Jakob Bernoulli]] as a modification of an [[ellipse]], which is the [[Locus_(mathematics)|locus]] of points for which the sum of the [[distance]]s to each of two fixed ''focal points'' is a [[mathematical constant|constant]]. A [[Cassini oval]], by contrast, is the locus of points for which the ''product'' of these distances is constant. In the case where the curve passes through the point midway between the foci, the oval is a lemniscate of Bernoulli.
| |
| | |
| This curve can be obtained as the [[inversive geometry|inverse transform]] of a [[hyperbola]], with the inversion [[circle]] centered at the center of the hyperbola (bisector of its two foci). It may also be drawn by a [[mechanical linkage]] in the form of [[Watt's linkage]], with the lengths of the three bars of the linkage and the distance between its endpoints chosen to form a [[antiparallelogram|crossed square]].<ref>{{citation|title=How round is your circle? Where Engineering and Mathematics Meet|first1=John|last1=Bryant|first2=Christopher J.|last2=Sangwin|publisher=Princeton University Press|year=2008|isbn=978-0-691-13118-4|pages=58–59|url=http://books.google.com/books?id=iIN_2WjBH1cC&pg=PA58}}.</ref>
| |
| | |
| == Equations ==
| |
| | |
| * Its [[Cartesian coordinate system|Cartesian]] [[equation]] is (up to translation and rotation):
| |
| | |
| :<math>(x^2 + y^2)^2 = 2a^2 (x^2 - y^2)\,</math>
| |
| | |
| * In [[polar coordinates]]:
| |
| | |
| :<math>r^2 = 2a^2 \cos 2\theta\,</math>
| |
| | |
| * As [[parametric equation]]:
| |
| | |
| :<math>x = \frac{a\sqrt{2}\cos(t)}{\sin(t)^2 + 1}; \qquad y = \frac{a\sqrt{2}\cos(t)\sin(t)}{\sin(t)^2 + 1} </math>
| |
| | |
| In [[two-center bipolar coordinates]]:
| |
| | |
| :<math>rr' = a^2\,</math>
| |
| | |
| In [[rational trigonometry|rational polar coordinates]]:
| |
| | |
| :<math>Q = 2s-1\,</math>
| |
| | |
| == Derivatives ==
| |
| | |
| Each first derivative below was calculated using [[Implicit function#Implicit_differentiation| implicit differentiation]].
| |
| | |
| === With ''y'' as a function of ''x'' ===
| |
| | |
| :<math>\frac{dy}{dx} = \begin{cases}
| |
| \mbox{unbounded} & \mbox{if } y = 0 \mbox{ and } x \ne 0 \\
| |
| \pm1 & \mbox{if } y = 0 \mbox{ and } x = 0 \\
| |
| \frac{x(a^2 - x^2 - y^2)}{y(a^2 + x^2 + y^2)} & \mbox{if } y \ne 0
| |
| \end{cases}</math>
| |
| | |
| :<math>\frac{d^2y}{dx^2} = \begin{cases}
| |
| \mbox{unbounded} & \mbox{if } y = 0 \mbox{ and } x \ne 0 \\
| |
| 0 & \mbox{if } y = 0 \mbox{ and } x = 0 \\
| |
| \frac{3a^6(y^2 - x^2)}{y^3(a^2 + 2x^2 + 2y^2)^3} & \mbox{if } y \ne 0
| |
| \end{cases}</math>
| |
| | |
| === With ''x'' as a function of ''y'' ===
| |
| | |
| :<math>\frac{dx}{dy} = \begin{cases}
| |
| \mbox{unbounded} & \mbox{if } 2x^2 + 2y^2 = a^2 \\
| |
| \pm1 & \mbox{if } x = 0 \mbox{ and } y = 0 \\
| |
| \frac{y(a^2 + 2x^2 + 2y^2)}{x(a^2 - 2x^2 - 2y^2)} & \mbox{else }
| |
| \end{cases}</math>
| |
| | |
| :<math>\frac{d^2x}{dy^2} = \begin{cases}
| |
| \mbox{unbounded} & \mbox{if } 2x^2 + 2y^2 = a^2 \\
| |
| 0 & \mbox{if } x = 0 \mbox{ and } y = 0 \\
| |
| \frac{3a^6(x^2 - y^2)}{x^3(a^2 - 2x^2 - 2y^2)^3} & \mbox{else }
| |
| \end{cases}</math>
| |
| | |
| == Curvature ==
| |
| | |
| Once the first two derivatives are known, [[Curvature#Local_expressions| curvature]] is easily calculated:
| |
| | |
| :<math>\kappa = \pm3(x^2 + y^2)^{1/2}a^{-2} \,</math>
| |
| | |
| the sign being chosen according to the direction of motion along the curve. The lemniscate has the property that the magnitude of the curvature at any point is proportional to that point's distance from the origin.
| |
| | |
| ==Arc length and elliptic functions==
| |
| | |
| The determination of the [[arc length]] of arcs of the lemniscate leads to [[elliptic integral]]s, as was discovered in the eighteenth century. Around 1800, the [[elliptic function]]s inverting those integrals were studied by [[C. F. Gauss]] (largely unpublished at the time, but allusions in the notes to his ''[[Disquisitiones Arithmeticae]]''). The [[period lattice]]s are of a very special form, being proportional to the [[Gaussian integer]]s. For this reason the case of elliptic functions with [[complex multiplication]] by the [[square root of minus one]] is called the ''[[lemniscatic case]]'' in some sources.
| |
| | |
| == See also ==
| |
| *[[Lemniscate of Booth]]
| |
| *[[Lemniscate of Gerono]]
| |
| *[[Gauss's constant]]
| |
| *[[Lemniscatic elliptic function]]
| |
| | |
| ==Notes==
| |
| {{reflist}}
| |
| | |
| ==References==
| |
| * {{cite book | author=J. Dennis Lawrence | title=A catalog of special plane curves | publisher=Dover Publications | year=1972 | isbn=0-486-60288-5 | pages=4–5,121–123,145,151,184 }}
| |
| | |
| == External links ==
| |
| {{commonscat|Lemniscate of Bernoulli}}
| |
| * {{MathWorld|title=Lemniscate|urlname=Lemniscate}}
| |
| * [http://www-history.mcs.st-andrews.ac.uk/history/Curves/Lemniscate.html "Lemniscate of Bernoulli" at The MacTutor History of Mathematics archive]
| |
| * [http://mathcurve.com/courbes2d/lemniscate/lemniscate.shtml "Lemniscate de Bernoulli" at Encyclopédie des Formes Mathématiques Remarquables] (in French)
| |
| | |
| [[Category:Curves]]
| |
| [[Category:Algebraic curves]]
| |
| [[Category:Spiric sections]]
| |
My hobby is mainly Vintage Books.
I try to learn Swedish in my free time.
Here is my web blog - Hostgator Coupon Code (https://mylescollingsla.wordpress.com)