GEOMETRÍA

FIGURAS GEOMÉTRICAS - CURVAS

Distintas secciones espíricas, resultado de cortar un toro por planos paralelos a su eje de simetría de rotación

La spira de Perseo es un caso particular de sección tórica, en la que el plano de corte es paralelo al eje del toro(intuitivamente, una spira es cualquier sección transversal que se obtiene al cortar una rosquilla con un cuchillo verticalmente). El resultado de estas intersecciones es la familia de curvas denominadas secciones espíricas, entre las que figuran curvas como las hipopodas, los óvalos de Cassini o la lemniscata de Bernouilli.

Su ecuación cartesiana característica toma la forma general:

${\displaystyle (x^{2}+y^{2})^{2}=dx^{2}+ey^{2}+f.\,}$

Su nombre deriva de la palabra griega spira, que utilizaban los antiguos griegos para referirse a la figura geométrica del toro. Fue descubierta por el geómetra de la Grecia antigua Perseo.

Unos 200 años después de que Menecmo construyera las secciones cónicas cortando un cono con un plano, alrededor del año 150 a. C. el matemático griego Perseo investigó las curvas obtenidas al cortar un toro por un plano paralelo al eje de revolución del toro.

Geometría[editar]

Secciones espíricas:
${\displaystyle (x^{2}+y^{2}+z^{2}+b^{2}-a^{2})^{2}=4b^{2}(x^{2}+y^{2}).\,}$
a = 1, b = 2, c = 0 (dos circunferencias)
a = 1, b = 2, c = 0.8 (dos óvalos)
a = 1, b = 2, c = 1 (lemniscata)

Secciones espíricas en un toro autosecante

Notación polinómica[editar]

(En las ecuaciones de este apartado se utilizan coeficientes polinómicos, indirectamente relacionados con las dimensiones del toro).

Partiendo de la ecuación general del toro:

${\displaystyle (x^{2}+y^{2}+z^{2}+b^{2}-a^{2})^{2}=4b^{2}(x^{2}+y^{2}).\,}$

se intercambian y y z, de modo que el eje de revolución esté ahora en el plano xy. Tomando z = c (un plano vertical distante c del origen), se obtiene la curva de intersección, que resulta

${\displaystyle (x^{2}+y^{2}-a^{2}+b^{2}+c^{2})^{2}=4b^{2}(x^{2}+c^{2}).\,}$

En esta fórmula, el toro se forma girando una círcunferencia de radio acon su centro siguiendo otra círcunferencia de radio b (no necesariamente más grande que a, se permite la autointersección). El parámetro c es la distancia desde el plano de intersección al eje de revolución. No hay secciones espíricas con c > b + a, ya que no hay intersección; el plano queda demasiado lejos del toro para cortarlo.

Al expandir la ecuación se obtiene la forma que se ve en la definición

${\displaystyle (x^{2}+y^{2})^{2}=dx^{2}+ey^{2}+f\,}$

donde

${\displaystyle d=2(a^{2}+b^{2}-c^{2}),\ e=2(a^{2}-b^{2}-c^{2}),\ f=-(a+b+c)(a+b-c)(a-b+c)(a-b-c).\,}$

En coordenadas polares esto se convierte en

${\displaystyle (r^{2}-a^{2}+b^{2}+c^{2})^{2}=4b^{2}(r^{2}\cos ^{2}\theta +c^{2})\,}$;    o también en:    ${\displaystyle r^{4}=dr^{2}\cos ^{2}\theta +er^{2}\sin ^{2}\theta +f.\,}$

Notación geométrica[editar]

(En las ecuaciones de este apartado se utilizan directamente como parámetros las dimensiones del toro)

La ecuación cartesiana de estas curvas viene dada por

${\displaystyle (x^{2}+y^{2}-r^{2}+R^{2}+c^{2})^{2}=4R^{2}(x^{2}+c^{2}).\,}$

donde r es el radio del tubo circular, R es la distancia entre el centro del tubo y el centro del toro, y c es la distancia entre el centro del toro y el plano cortante.

Dado que tanto x como y solo aparecen en la ecuación cartesiana elevados a potencias pares, estas curvas son simétricas respecto de ambos ejes coordenados (simetría par).

Según las relaciones entre R, r y c se obtienen diferentes curvas:

• Si c = 0 la curva consiste en dos circunferencias de radio r centradas en (-R, 0) y (R, 0). La ecuación cartesiana se reduce a ${\displaystyle (x\pm R)^{2}+y^{2}=r^{2}\,}$
• Si 0 < c < R - r entonces la curva tiene dos ramas cerradas.
• Si c = R - r la curva resultante es una lemniscata. En el caso particular en el que R = 2r se obtiene la lemniscata de Bernouilli, utilizada como signo del infinito matemático desde que John Wallis ideara esta notación en 1655. La ecuación cartesiana que se obtiene así para la lemniscata de Bernouilli es ${\displaystyle (x^{2}+y^{2})^{2}=2R^{2}(x^{2}-y^{2}).\,}$
• Si R - r < c < R entonces la curva tiene solo una rama cerrada, parecida a una elipse estrechada por su parte central.
• Si R <= c < R + r la curva pierde el estrechamiento en su parte central.
• Si c = R + r la curva consiste en un único punto, denominado el origen.
• Si c > R + r la curva no tiene ningún punto.

Ejemplos de secciones espíricas[editar]

Los ejemplos incluyen la hipopoda y el óvalo de Cassini y las curvas de su familia, como la lemniscata de Bernoulli. El óvalo de Cassini tiene la notable propiedad de que el producto de las distancias a dos focos es constante. De forma homóloga, en una elipse es la suma la que es constante, en una hipérbola lo es la diferencia, y en una circunferencia es la proporción entre las dos distancias la que se conserva fija.

La superfórmula es una generalización en coordenadas polares de la superelipse, propuesta por Johan Gielis.

Gielis supuso que la fórmula puede ser usada para describir distintas curvas y cuerpos presentes en la Naturaleza.

La fórmula es:

${\displaystyle r\left(\varphi \right)=\left[\left|{\frac {cos\left({\frac {m\;\varphi }{4}}\right)}{a}}\right|^{n_{2}}+\left|{\frac {sin\left({\frac {m\;\varphi }{4}}\right)}{b}}\right|^{n_{3}}\right]^{-{\frac {1}{n_{1}}}}}$

donde ${\displaystyle r\;}$ es el radio y ${\displaystyle \varphi }$ el ángulo.

La fórmula apareció en abril de 2003, en el número 90 de la revista American Journal of Botany, en un artículo del biólogo Johan Gielis. Fue obtenida generalizando la superelipse, creada por el matemático danés Piet Hein.

Extensión a dimensiones superiores[editar]

Es posible ampliar esta fórmula a n dimensiones, multiplicando las superfórmulas entre sí. Por ejemplo, la superficie paramétrica de tres dimensiones se puede obtener multiplicando dos de ellas:

${\displaystyle x\,=\,r_{1}(\theta )\cos(\theta )r_{2}(\phi )\cos(\phi )}$

${\displaystyle y\,=\,r_{1}(\theta )\sin(\theta )r_{2}(\phi )\cos(\phi )}$

${\displaystyle z\,=\,r_{2}(\phi )\sin(\phi )}$

donde φ varía entre -π/2 y π/2 (latitud), y θ entre -π y π (longitud).