Lemniscata de Bernoulli

Una lemniscata de Bernoulli y sus dos focos F₁ y F₂. En este caso, para $d=1$, se tiene que el máximo horizontal es $(A)=(\sqrt{2},0)$ y el máximo vertical es $(B)=(\sqrt{3}/2,1/2)$

La lemniscata de Bernoulli es la podaria de una hipérbola equilátera

Lemniscata de Bernouilli como la intersección de un toro con un plano tangente a su ecuador interior

Lemniscata descrita por el punto central de un mecanismo de Watt

Espirales sinusoidales: hipérbola equilátera (Plantilla:Math), recta (Plantilla:Math), parábola (Plantilla:Math), cardioide (Plantilla:Math), circunferencia (Plantilla:Math) y lemniscata de Bernoulli (Plantilla:Math), donde Plantilla:Math en coordenadas polares y sus equivalentes en coordenadas cartesianas

En geometría, la lemniscata de Bernoulli es una curva plana unicursal definida a partir de dos puntos dados F₁ y F₂, conocidos como focos, situados a una distancia de 2d entre sí, como el lugar geométrico de los puntos P tales que el producto de su distancia a los dos focos es constante y vale d²:

PF₁ · PF₂ = d²

La curva posee una forma similar al número 8 y al símbolo del ∞. El símbolo del infinito en sí mismo es a veces llamado lemniscata. Su representación en Unicode es ∞, correspondiente al código (#8734).

Es tanto un caso especial del óvalo de Cassini como una curva algebraica racional de grado 4. Lleva el nombre del matemático y físico suizo Jakob Bernoulli.

Etimología

Su nombre en latín, lemniscatus, hace referencia a un objeto "decorado con cintas colgantes". Jakob Bernoulli la redescubrió en 1694 durante su trabajo sobre la elipse, y la llamó lemniscus.

Historia

La lemniscata de Bernoulli es parte de una familia de curvas descritas por Jean-Dominique Cassini en 1680, los óvalos de Cassini. Fue descrita por primera vez en 1694 por Jakob Bernoulli como una modificación de una elipse, (que es el lugar geométrico de los puntos para los que la suma de las distancias a cada uno de los dos "puntos focales" fijos es constante). Un óvalo de Cassini, por el contrario, es el lugar de los puntos para los que el producto de estas distancias es constante. En el caso de que la curva pase por el punto intermedio entre los dos focos, el óvalo es una lemniscata de Bernoulli.

El problema de la longitud de los arcos de la lemniscata fue tratado por Giulio Carlo de' Toschi di Fagnano en 1750. Halló el área limitada por esta curva y usó la figura de la lemniscata en la portada de su obra con la leyenda «Multifariam divisa atque dimensa. Deo veritatis gloria» (Dividida muchas veces y medida. Gloria al Dios de la verdad).

Longitud de arco y funciones elípticas

La determinación de la longitud de los arcos de la lemniscata conlleva al cálculo de una integral elíptica, como se descubrió en el Plantilla:Siglo. Alrededor de 1800, las funciones elípticas implicadas en esas integrales fueron estudiadas por Carl Friedrich Gauss (en gran parte su trabajo no fue publicado en ese momento, pero dejó numerosas alusiones en las notas a su obra "Disquisitiones arithmeticae"). El par fundamental de períodos posee una forma muy especial y son proporcionales a enteros gaussianos. Por esta razón, el caso de las funciones elípticas con multiplicación compleja por la [[Unidad imaginaria|Plantilla:Sqrt]] se denomina "caso lemniscático" en algunas publicaciones.

Usando la integral elíptica

$F(x)\stackrel{\text{def}}{=}\underset{0}{\overset{x}{\int }}\frac{dt}{\sqrt{1-t^4}}$

se obtiene la fórmula de la longitud de arco $L$ como

$L=2\sqrt{2}d\underset{-1}{\overset{1}{\int }}\frac{dt}{\sqrt{1-t^4}}=4\sqrt{2}dF(1)\approx 7,416\cdot d$.

¿El símbolo del infinito?

Una opinión popular sostiene que la lemniscata de Bernoulli se considera el símbolo del infinito [∞] porque es una curva que se puede recorrer sin fin. Sin embargo, la invención del símbolo se atribuye al matemático John Wallis, contemporáneo de Bernoulli.

Generación gráfica

Esta curva se puede obtener como la inversión de una hipérbola equilátera, situando la circunferencia que define la inversión con su centro coincidente con el centro de la hipérbola (el punto medio de sus dos focos). También puede dibujarse con un acoplamiento mecánico en forma de mecanismo de Watt, con las longitudes de las tres barras del enlace y la distancia entre sus puntos finales elegidos para formar un cuadrado antiparalelogramo.

Ecuaciones

• Su ecuación en coordenadas cartesianas es (excluidas traslación y rotación):

  $(x^2+y^2{)}^2=2d^2(x^2-y^2)$

• Su ecuación explícita es:

$y=\pm d\sqrt{\sqrt{1+4{\left(\frac{x}{d}\right)}^2}-[1+{\left(\frac{x}{d}\right)}^2]}(|x|\le d\sqrt{2})$

• Su ecuación en el plano complejo es:

  $|z^2-d^2|=d^2$

• En coordenadas polares:

  $r^2=2d^2\cos 2\theta$

• Como ecuación paramétrica:

  $x=\frac{d\sqrt{2}\cos (t)}{{\sin }^2(t)+1};y=\frac{d\sqrt{2}\cos (t)\sin (t)}{{\sin }^2(t)+1}$

• En coordenadas bicéntricas:

  $r{r}^{\prime }=d^2$

• En coordenadas polares:

  $Q=2s-1$

Derivadas

La inversión de la hipérbola produce una lemniscata y viceversa

Se calculan diferenciando la función implícita

$(x^2+y^2{)}^2=2d^2(x^2-y^2)$

Con $y$ como función de $x$ $\frac{dy}{dx}=\{\begin{array}{cc}\text{ilimitado}& \text{si }y=0\text{y }x\ne 0\\ \pm 1& \text{si }y=0\text{y }x=0\\ \frac{x(d^2-x^2-y^2)}{y(d^2+x^2+y^2)}& \text{si }y\ne 0\end{array}$ $\frac{d^{2}y}{d{x}^2}=\{\begin{array}{cc}\text{ilimitado}& \text{si }y=0\text{y }x\ne 0\\ 0& \text{si }y=0\text{y }x=0\\ \frac{3d^6(y^2-x^2)}{y^3(d^2+2x^2+2y^2{)}^3}& \text{si }y\ne 0\end{array}$

Con $x$ como función de $y$ $\frac{dx}{dy}=\{\begin{array}{cc}\text{ilimitado}& \text{si }{x}^2+y^2=d^2\\ \pm 1& \text{si }x=0\text{y }y=0\\ \frac{y(d^2+2x^2+2y^2)}{x(d^2-2x^2-2y^2)}& \text{si }x\ne 0\end{array}$ $\frac{d^{2}x}{d{y}^2}=\{\begin{array}{cc}\text{ilimitado}& \text{si }{x}^2+y^2=d^2\\ 0& \text{si }x=0\text{ y }y=0\\ \frac{3d^6(x^2-y^2)}{x^3(d^2-2x^2-2y^2{)}^3}& \text{si }x\ne 0\end{array}$

Propiedades

Ejes

Para una lemniscata con distancia $d$ desde un foco al origen, se tiene que:

$a=\sqrt{2}d$ (semieje horizontal)

$b=d/2$ (semieje vertical)

Área

El área de la lemniscata de Bernoulli es igual al área de los dos cuadrados azules

El área delimitada por la lemniscata de Bernoulli es:

$S=a^2=2d^2.$

Cuadratura de la lemniscata: imposible para el círculo, la cuadratura exacta es posible para la lemniscata de Bernoulli. Su área de hecho coincide con la de dos cuadrados iguales, cuyo lado es la distancia entre un foco y el centro de la lemniscata. Esta área también es igual al área de un cuadrado cuyo lado es la distancia que separa el centro de un máximo de la lemniscata.

Longitud

La longitud de la lemniscata de Bernoulli es:

$L=\frac{2\pi a}{M(1,\sqrt{2})}=4a\underset{0}{\overset{1}{\int }}\frac{\mathrm{d}t}{\sqrt{1-t^4}}=2\sqrt{2}K\left(\frac{1}{\sqrt{2}}\right)a=\frac{{(\mathrm{\Gamma }(1/4))}^2}{\sqrt{2\pi }}a\simeq 5,24412a$

donde Plantilla:Math es la media aritmético-geométrica de dos números Plantilla:Mvar y Plantilla:Mvar, $K(1/\sqrt{2})$ es una integral elíptica de primera especie y Plantilla:Math es la función gamma.

Ángulos

Relación entre los ángulos de la lemniscata de Bernoulli

El siguiente teorema sobre los ángulos de la lemniscata se debe al matemático alemán Gerhard Christoph Hermann Vechtmann, quien lo describió en 1843 en su disertación sobre las lemniscatas.

F₁ y F₂ son los focos de la lemniscata, O es el punto medio del segmento F₁F₂ y P es cualquier punto de la lemniscata fuera de la línea que conecta F₁ y F₂. La normal n de la lemniscata en P cruza la línea que conecta F₁ y F₂ en R. Ahora, el ángulo interior del triángulo OPR en O es un tercio del ángulo exterior del triángulo en R. Además, el ángulo interior en P es dos veces el ángulo interior en O.

Radio de curvatura

El radio de curvatura $R_c$ es

$R_c=\frac{2d^2}{3r}$

siendo $r$ el radio de la expresión de la curva en coordenadas polares.

Otras propiedades

Propiedad gravitatoria de la lemniscata de Bernouilli

• La lemniscata solo tiene dos focos, siendo 2d la distancia entre ellos.
• La lemniscata es simétrica a la línea que conecta sus focos F₁ y F₂ y también a la mediatriz del segmento de línea F₁F₂.
• La lemniscata es simétrica con respecto al punto medio del segmento F₁F₂.
• La lemniscata es la inversión de una hipérbola y viceversa.
• Las dos tangentes en el punto medio O son ortogonales y cada una de ellas forma un ángulo de $\frac{\pi }{4}$ con una línea que conecta F₁ y F₂.
• La sección transversal plana de un toro estándar tangente a su ecuador interno es una lemniscata.
• El matemático italiano Gian Francesco Malfatti descubrió que una bola que rueda sobre un arco de lemniscata bajo la influencia de la gravedad, tardará el mismo tiempo en descender que una bola que recorra el segmento rectilíneo que conecta los puntos extremos del arco.

Demostraciones

La lemniscata de Bernoulli. Notación alternativa

NOTA:

En las demostraciones siguientes, se utiliza una notación ligeramente distinta, para adaptarse a la rotulación de los gráficos. Los focos F₁ y F₂ pasan a denominarse F' y F, y los puntos Plantilla:Math de la curva, se designan como Plantilla:Math.

Como ya se ha señalado, una lemniscata de Bernoulli es el conjunto de puntos Plantilla:Math que verifican la relación:

$\mathrm{M}\mathrm{F}\mathrm{\times }\mathrm{M}{\mathrm{F}}^{\prime }\mathrm{=}\mathrm{O}{\mathrm{F}}^{\mathrm{2}}$

donde Plantilla:Math y Plantilla:Math son dos puntos fijos y Plantilla:Math su punto medio. Los puntos Plantilla:Math y Plantilla:Math se denominan focos de la lemniscata, y Plantilla:Math es su centro.

Alternativamente, se puede definir una lemniscata de Bernoulli como el conjunto de puntos Plantilla:Math que satisfacen la relación:

$\mathrm{|}\mathrm{M}\mathrm{F}\mathrm{-}\mathrm{M}{\mathrm{F}}^{\prime }\mathrm{|}\mathrm{=}\mathrm{O}\mathrm{M}\sqrt{\mathrm{2}}\mathrm{.}$

La primera relación se llama "ecuación bipolar", y la segunda "ecuación tripolar".

La curva así definida pertenece a la familia de las lemniscatas (curvas en forma de 8), de las cuales es el ejemplo más conocido y el más rico en propiedades. Por su definición, es el ejemplo más notable de óvalo de Cassini. También representa la sección de un toro particular por un plano tangente a su ecuador interior.

Relación entre las ecuaciones en diferentes sistemas de coordenadas

Mediante la semidistancia focal OF=d

Sea Plantilla:Math. En coordenadas polares (el eje polar es Plantilla:Math), la lemniscata de Bernoulli admite la ecuación:

${\rho }^2=2d^2\cos 2\theta (-\frac{\pi }{4}\le \theta [\pi ]\le +\frac{\pi }{4}).$

En coordenadas cartesianas (el eje x es Plantilla:Math), y la lemniscata de Bernoulli se define según la ecuación (implícita):

$(x^2+y^2{)}^2=2d^2(x^2-y^2)$

La abscisa Plantilla:Math describe el intervalo $[-d\sqrt{2},d\sqrt{2}]$ (los límites se alcanzan para Plantilla:Math). La ordenada Plantilla:Math describe el intervalo $[-\frac{d}{2},\frac{d}{2}]$ (los límites se alcanzan para $x=\pm d\frac{\sqrt{3}}{2}$).

Es posible relacionar Plantilla:Math de acuerdo con Plantilla:Math:

$y=\pm d\sqrt{\sqrt{1+4{\left(\frac{x}{d}\right)}^2}-[1+{\left(\frac{x}{d}\right)}^2]}(|x|\le d\sqrt{2})$

pero generalmente es más conveniente manipular la ecuación implícita que usar esta expresión explícita de Plantilla:Math.

Representaciones paramétricas

Partiendo de la ecuación en coordenadas polares Plantilla:Math, se puede representar la lemniscata de Bernoulli mediante las dos ecuaciones siguientes, tomando como parámetro el ángulo polar Plantilla:Math:

$\{\begin{array}{c}x=d\cos \theta \sqrt{2\cos 2\theta }\\ y=d\sin \theta \sqrt{2\cos 2\theta }\end{array}$

Sin embargo, esta representación tiene el defecto de que, una vez finalizado el proceso, es necesario variar Plantilla:Math de Plantilla:Math a Plantilla:Math y luego de Plantilla:Math a Plantilla:Math, una variación que no es continua ni monótona.

Una mejor representación paramétrica viene dada por:

$\{\begin{array}{c}x=d\sqrt{2}\frac{\sin \phi }{1+{\cos }^2\phi }\\ \\ y=d\sqrt{2}\frac{\sin \phi \cos \phi }{1+{\cos }^2\phi }\end{array}$

La lemniscata se recorre una vez variando Plantilla:Math de Plantilla:Math a Plantilla:Math. El parámetro Plantilla:Math está conectado directamente al ángulo polar por la relación Plantilla:Math, o Plantilla:Math.

También se puede convertir la representación anterior, trigonométrica, en una representación paramétrica racional:

$\{\begin{array}{c}x=d\sqrt{2}\frac{t+t^3}{1+t^4}\\ \\ y=d\sqrt{2}\frac{t-t^3}{1+t^4}.\end{array}$

Plantilla:Demostración La lemniscata se recorre una vez variando Plantilla:Math de Plantilla:Math a Plantilla:Math. El parámetro Plantilla:Math está directamente relacionado con el ángulo Plantilla:Math por la relación Plantilla:Math.

Mediante el semieje Plantilla:Math

La mayoría de las ecuaciones anteriores son un poco más simples y más naturales si se utiliza $a=d\sqrt{2}$ (semieje de la lemniscata).

En coordenadas polares (siendo el eje polar Plantilla:Math), la lemniscata de Bernoulli admite la ecuación:

${\rho }^2=a^2\cos 2\theta (-\frac{\pi }{4}\le \theta [\pi ]\le +\frac{\pi }{4}).$

En coordenadas cartesianas (el eje x es Plantilla:Math), la lemniscata de Bernoulli tiene como ecuación implícita:

$(x^2+y^2{)}^2=a^2(x^2-y^2).$

La abscisa Plantilla:Math describe el intervalo Plantilla:Math (los límites se alcanzan para Plantilla:Math). La ordenada Plantilla:Math describe el intervalo $[-\frac{a}{2\sqrt{2}},\frac{a}{2\sqrt{2}}]$ (los límites se alcanzan para $x=\pm a\frac{\sqrt{6}}{4}$ ). La longitud focal media es $\mathrm{O}\mathrm{F}=\mathrm{O}{\mathrm{F}}^{\prime }=\frac{a}{\sqrt{2}}.$

Es posible expresar Plantilla:Math de acuerdo con Plantilla:Math:

$y=\pm \frac{a}{\sqrt{2}}\sqrt{\sqrt{1+8{\left(\frac{x}{a}\right)}^2}-[1+2{\left(\frac{x}{a}\right)}^2]}(|x|\le a)$

pero generalmente es más conveniente manipular la ecuación implícita que usar esta expresión explícita de Plantilla:Math.

Curvas de la misma familia

La lemniscata de Bernoulli es un caso especial de óvalo de Cassini, hipopoda, espiral sinusoidal y de la spira de Perseo.

Aplicaciones

La dinámica en esta curva y sus versiones más generalizadas se estudian en modelos quasi unidimensionales.

Bibliografía

• Plantilla:Cite book

Enlaces externos

• Plantilla:MathWorld
• "Lemniscate of Bernoulli" en The MacTutor History of Mathematics archive
• Plantilla:Enlace roto en MathCurve.
• Plantilla:Enlace roto (en francés)
• Plantilla:Enlace roto.
• Plantilla:Enlace roto.