# Lemniscata

En geometría algebraica, una lemniscata es una cualquiera de varias curvas con figura en forma de ocho (8) o de símbolo de infinito ($\infty$).
La palabra proviene del latín "lēmniscātus", que significa "decorado con cintas", a su vez procedente del griego "λημνίσκος" que significa "cintas", que también puede referirse a la forma de la madeja de lana de la que se fabricaban las citadas cintas.
Las curvas generalmente denominadas lemniscata incluyen tres curvas cuárticas: la hipopoda, la lemniscata de Bernoulli, y la lemniscata de Gerono. El estudio de las lemniscatas (y en particular de la hipopoda) se remonta a la matemática helénica, pero el término "lemniscata" para curvas de este tipo proviene del trabajo de Jakob Bernoulli a finales del siglo XVII.

## Historia y ejemplos
### Lemniscata de Booth

La consideración de las curvas con una figura en forma de ocho se remonta a Proclo, un filósofo y matemático griego del neoplatonismo que vivió en el siglo V d. C. Proclo consideró las secciones de un toro por planos paralelos al eje del toro. Como observó, para la mayoría de las secciones, la sección transversal consiste en uno o dos óvalos; sin embargo, cuando el plano es tangente a la superficie interna del toro, la sección transversal toma una figura con forma de ocho, a la que denominó con la palabra griega hipopoda (por su similitud con la atadura utilizada para inmovilizar dos de las patas de un caballo manteniéndolas juntas). El nombre "lemniscata de Booth" para esta curva se remonta a su estudio por parte del matemático del siglo XIX James Booth.
La lemniscata se puede definir como un curva algebraica, el conjunto de ceros del polinomio cuártico $(x^{2}+y^{2})^{2}-cx^{2}-dy^{2}$ cuando el parámetro d es negativo. Para valores positivos de d se obtiene una hipopoda.

### Lemniscata de Bernoulli

En 1680, Cassini estudió una familia de curvas, ahora llamadas óvalos de Cassini, definida de la siguiente manera: el lugar geométrico de todos los puntos tales que el producto de sus distancias respecto a dos puntos fijos, los focos, es una constante. En circunstancias muy particulares (cuando la mitad de la distancia entre los focos es igual a la raíz cuadrada de la constante), esto da lugar a una lemniscata de Bernouilli.
En 1694, Johann Bernoulli estudió el caso de la lemniscata dentro de la familia de los óvalos de Cassini (que pasaría a ser conocida como la lemniscata de Bernoulli mostrado arriba), en relación con un problema de isócronas que había sido planteado anteriormente por Gottfried Leibniz. Al igual que la hipopoda, es una curva algebraica, el conjunto de ceros del polinomio $(x^{2}+y^{2})^{2}-2a^{2}(x^{2}-y^{2})$. El hermano de Bernoulli, Jakob Bernoulli, también estudió la misma curva ese mismo año, y le dio su nombre. También se puede definir geométricamente como el lugar de los puntos cuyo producto de distancias desde dos focos es igual al cuadrado de la mitad de la distancia interfocal. Es un caso especial de la hipopoda (lemniscata de Booth), con $d=-c$, y puede formarse como una sección transversal de un toro tal que su orificio interno y sus secciones circulares tienen el mismo diámetro. Las funciones lemniscáticas elípticas son las análogas a las funciones trigonométricas para la lemniscata de Bernoulli, y las constantes de la lemniscata surgen al calcular la longitud de arco de este curva.

### Lemniscata de Gerono

Otra lemniscata, la lemniscata de Gerono o lemniscata de Huygens, es el conjunto de ceros del polinomio cuártico $y^{2}-x^{2}(a^{2}-x^{2})$. La curva de Viviani, una curva tridimensional formada por la intersección de una esfera con un cilindro, también tiene una figura de ocho, y toma la forma de la lemniscata de Gerono cuando se proyecta sobre un plano.

### Otras

Otras curvas algebraicas en forma de figura ocho incluyen:
* La curva del diablo, una curva definida por la ecuación cuártica $y^{2}(y^{2}-a^{2})=x^{2}(x^{2}-b^{2})$, una de cuyas componentes conexas tiene forma de ocho,
* Curva de Watt, una curva con forma de ocho generada por un enlace mecánico. La curva de Watt es el conjunto de ceros de la ecuación polinomial de grado seis $(x^{2}+y^{2})(x^{2}+y^{2}-d^{2})^{2}+4a^{2}y^{2}(x^{2}+y^{2}-b^{2})=0$ e incluye a la lemniscata de Bernoulli como un caso especial.
* Besace, curva estudiada por Gabriel Cramer, con la ecuación $c^{2}y=bx^{2}+ax{\sqrt {c^{2}-x^{2}}}$ o $c^{2}y=bx^{2}-ax{\sqrt {c^{2}-x^{2}}}$, con $c={\sqrt {a^{2}+b^{2}}}$.

## Generalización

En geometría analítica, considérese n puntos del plano F$_1$, F$_2$, ...,F$_n$ y k un número real estrictamente positivo. El conjunto de los puntos del plano cuyo producto de las distancias a cada uno de los puntos F$_1$, F$_2$,...,F$_n$ es constante e igual a k es una curva (lugar geométrico) llamada lemniscata de n focos. La lemniscata de Bernoulli tiene solo dos focos.
Una lemniscata de un solo foco es una circunferencia.

## Lemniscata en el plano complejo

La ecuación de la lemniscata en el plano complejo es
    $\left|(z-z_{1})(z-z_{2})\ldots (z-z_{n})\right|=r^{n},\;z=x+iy,\;r>0.$

## Propiedades

Una secuencia arbitraria puede aproximarse a una curva arbitraria. En particular, al tomar un número diferente de focos, organizarlos de manera diferente y asignar uno u otro valor para producir distancias, se pueden obtener los elementos más extraños, por ejemplo, el contorno de una cabeza humana o un ave.

## Ejemplos

* Diversos ejemplos de lemniscatas
* Lemniscata de Bernoulli
* Lemniscata de Gerono
* Lemniscata de Booth
* Curva del diablo
* Besace
* Analema