Epiespiral

La epiespiral es una curva plana con ecuación polar

Posee n sectores si n es impar y 2n sectores si n es par.

Es el resultado de la inversión polar o circular de la curva denominada rosa polar.

Dado que la función secante es la inversa de la función coseno. una epiespiral es un curva plana cuya ecuación polar también puede expresarse de la forma:

Por isometría, se puede reducir su estudio a curvas con ecuaciones polares del tipo:

excluyendo el caso donde ω = 1, que corresponde a una línea recta.

Estas curvas fueron mencionadas en primer lugar por Roger Cotes en 1722, cuando estudió movimientos de fuerza central inversamente proporcionales al cubo de la distancia. Las epiespirales son de hecho casos especiales de las espirales de Cotes.

Por otro lado, el matemático italiano Paolo Deslanges ya había estudiado en 1783 las curvas con ecuaciones del tipo:

que han pasado a ser conocidas como sectrices de Deslanges.

La denominación de epiespirales fue acuñada por M. Aubry, quien las presentó en el “Journal of Special Mathematics” de 1895.^[1]​

Se denomina (d_α) a la recta que pasa por el origen O y forma un ángulo α con el eje polar. La curva de ecuación polar ${displaystyle ho ={frac {a}{sin(w heta )}}}$ tiene varias ramas, todas ellas imágenes por rotación respecto al centro O de una rama principal correspondiente a θ entre 0 y π/ω.

De hecho, la parte de la curva correspondiente a θ entre -π/ω y 0 es la imagen de la rama principal por simetría respecto al eje ${displaystyle (d_{frac {pi }{2}})}$. La rama principal también tiene un eje de simetría ${displaystyle (d_{frac {pi }{2omega }})}$. La segunda rama es, por tanto, la imagen de la rama principal por el compuesto de estas dos simetrías, es decir por un ángulo de rotación ${displaystyle {frac {pi }{omega }}-pi }$.

Las otras ramas son imágenes de la rama principal mediante un ángulo de rotación ${displaystyle kleft({frac {pi }{omega }}-pi ight)}$ donde k es un número entero.^[2]​

La rama principal tiene dos asíntotas que son simétricas con respecto a la recta ${displaystyle (d_{frac {pi }{2omega }})}$, una de las cuales, con una ecuación polar ${displaystyle ho ={frac {a}{wsin heta }}}$, es paralela al eje polar y a una distancia a/ω respecto a este. Las dos asíntotas forman un ángulo entre ellas^[3]​ de π/ω y se cruzan en el eje ${displaystyle (d_{frac {pi }{2omega }})}$ en un punto de coordenadas polares ${displaystyle left({frac {a}{wsin(pi /2omega )}};pi /2omega ight)}$. El punto de la rama más cercano al origen se encuentra en el eje de simetría y en la circunferencia de radio a.

El número de ramas es infinito si ω es irracional. La curva es entonces trascendente. Si ω es racional, el número de ramas es finito y la curva es algebraica.^[3]​ Si ω =n/d con n y d primos entre sí, el número de ramas diferentes es n si n y d son impares, y es 2n si n o d son pares.

La tangente al punto de coordenadas polares ${displaystyle ( ho _{0}; heta _{0})}$ tiene la ecuación:^[3]​

El radio de curvatura en este punto es:^[3]​

La abscisa curvilínea viene dada por:^[3]​

y la rectificación de la curva involucra integrales elípticas de primera y segunda especie.

Una epiespiral de parámetros a y ω es la imagen de la rosa polar de ecuación ${displaystyle ho =asin(omega heta )}$ según la inversión con origen en O y radio a.

Si ω es racional, como cualquier curva algebraica, la epiespiral se puede dibujar usando un sistema articulado.^[4]​ M. Aubry presentó, por analogía con el sistema articulado que permite construir rosas polares, un sistema articulado que permite construir las epiespirales de ecuaciones ${displaystyle ho sin left({frac { heta }{2n}} ight)=1}$ y ${displaystyle ho sin left({frac { heta }{2n+1}} ight)=1}$ utilizando n figuras en forma de T articuladas, con la T pivotando alrededor de O, y la primera deslizándose sobre el eje Ox en el caso 2n y deslizándose sobre la recta de la ecuación y=1 en el caso 2n+1.^[5]​

También señaló que las epiespirales se transforman en epiespirales por conductoevolución: la conductoevolución de una curva de ecuación polar ${displaystyle ho =F( heta )}$ es la curva que se obtiene al proyectar la primera sobre un cono circular con un eje que pasa por el polo y es perpendicular plano que contiene la curva, y luego desarrollando la superficie del cono. La curva resultante tiene entonces la ecuación ${displaystyle ho =kF(k heta )}$ con ${displaystyle k={frac {1}{sin alpha }}}$ donde α es el ángulo formado por la directriz y el eje del cono. En particular, para ω mayor que 1, la epiespiral puede verse como la conductoevolución de una línea recta.^[1]​ Por el contrario, para ω<1, la epiespiral puede verse como la proyección de una geodésica de un cono de revolución de ángulo en el vértice arcoseno de ω.^[2]​

Una epiespiral es también el lugar geométrico de los puntos de intersección entre una línea recta que pasa por O y una tangente a un círculo con centro en O, una línea recta y una tangente que giran alrededor de O según ángulos de relación constante.^[6]​

---