Cisoide

Construcción general de una cisoide (curva roja) a partir de las curvas verde y azul. A su vez, para cada terna de estas curvas, una de ellas (la verde en este caso) es la cisoide media de las otras dos, y la restante (aquí, la curva azul) es la cisoide suma de las otras dos

Cisoide de Diocles

Se llama cisoide a la curva generada por la suma, diferencia o semisuma de los vectores de posición de dos curvas dadas.

Sean C₁ y C₂ dos curvas definidas por las siguientes ecuaciones en coordenadas polares:

$\rho =\rho _{1}(\theta )\,$ y $\rho =\rho _{2}(\theta )\,$

Entonces, C₁ y C₂ generan las tres cisoides de ecuaciones:

$\rho =\rho _{1}(\theta )+\rho _{2}(\theta )\,$

$\rho =\rho _{1}(\theta )-\rho _{2}(\theta )\,$

$\rho ={\frac {\rho _{1}(\theta )+\rho _{2}(\theta )}{2}}\,$

La palabra cisoide proviene del en griego: κισσοειδής, lit. 'forma de hoja de hiedra', de κισσός, 'hiedra' y de -οειδής, 'que se parece a'.​ Es una referencia al aspecto de la primera de estas curvas descubierta, la cisoide de Diocles, aunque el término cisoide se ha generalizado para designar a cualquier curva construida mediante el mismo procedimiento.

Historia

El origen de la cisoide se remonta al matemático griego Diocles, quien ideó la curva posteriormente conocida con su nombre (la cisoide de Diocles) (240-180 a. C.) para solucionar el problema de la duplicación del cubo. El nombre aparece citado por primera vez en el trabajo de Gémino de Rodas, y la atribución de la curva a Diocles figura en los comentarios de una de las obras de Arquímedes, Sobre la esfera y el cilindro. Casi veinte siglos después, los matemáticos franceses Gilles de Roberval (1602-1675)​ y Pierre de Fermat (1601-1665) profundizaron en sus propiedades, y Christiaan Huygens (1629-1695) y John Wallis (1616-1703) determinaron algunos de sus valores característicos.​ El concepto generalizado de cisoide procede de aplicar el método de construcción de la cisoide de Diocles a una pareja de curvas cualquiera, idea desarrollada por el matemático checo Karel Zahradnik (1848-1916).

Generalidades

Construcción de una cisoide

La cisoide es una curva generada a partir de dos curvas dadas denominadas C₁ y C₂; y un punto O (el polo). Sea L una línea recta variable que pasa por O y que se cruza con C₁ en P₁ y con C₂ en P₂. Sea P el punto en L de modo que OP=P₁P₂ (en realidad, existen dos de estos puntos, pero P se elige de modo esté en el mismo sentido desde O que P₂ se halla con respecto a P₁. Tales puntos P se definen como la cisoide de las curvas C₁ y C₂ con respecto al punto O.

Diferentes autores utilizan definiciones ligeramente diferentes pero esencialmente equivalentes. Por ejemplo, P puede definirse como el punto de modo que OP=OP₁+OP₂. Esto es equivalente a la otra definición si C₁ se reemplaza por su reflexión con respecto a O. De igual forma, P puede definirse como el punto medio de P₁ y P₂; lo que produce la curva generada por la curva anterior escalada por un factor de 1/2.

Ecuaciones

Si C₁ y C₂ se dan en coordenadas polares mediante $r=f_{1}(\theta )$ y $r=f_{2}(\theta )$ respectivamente, entonces la ecuación $r=f_{2}(\theta )-f_{1}(\theta )$ describe la cisoide de C₁ y C₂ en relación con el origen. Sin embargo, debido a que un punto puede representarse de múltiples formas en coordenadas polares, puede haber otras ramas de la curva que tengan una ecuación diferente. Específicamente, si C₁ también viene dada por

$r=-f_{1}(\theta +\pi ),\ r=-f_{1}(\theta -\pi ),\ r=f_{1}(\theta +2\pi ),\ r=f_{1}(\theta -2\pi ),\ \dots$.

entonces la cisoide es en realidad la unión de las curvas dadas por las ecuaciones

$r=f_{2}(\theta )-f_{1}(\theta ),\ r=f_{2}(\theta )+f_{1}(\theta +\pi ),\ r=f_{2}(\theta )+f_{1}(\theta -\pi ),\$

$r=f_{2}(\theta )-f_{1}(\theta +2\pi ),\ r=f_{2}(\theta )-f_{1}(\theta -2\pi ),\ \dots$.

Se puede determinar de forma individual en función de los periodos de f₁ y f₂ cuál de estas ecuaciones puede eliminarse al estar duplicada.

Elipse $r={\frac {1}{2-\cos \theta }}$ en rojo, con sus dos ramas cisoides en negro y azul (el origen)

Por ejemplo, sean C₁ y C₂ la elipse

$r={\frac {1}{2-\cos \theta }}$.

La primera rama de la cisoide está dada por

$r={\frac {1}{2-\cos \theta }}-{\frac {1}{2-\cos \theta }}=0$,

que es simplemente el origen. La elipse también está dada por

$r={\frac {-1}{2+\cos \theta }}$,

por lo que una segunda rama de la cisoide viene dada por

$r={\frac {1}{2-\cos \theta }}+{\frac {1}{2+\cos \theta }}$

que es una curva de forma ovalada.

Si C₁ y C₂ están dadas por las ecuaciones paramétricas

$x=f_{1}(p),\ y=px$

y

$x=f_{2}(p),\ y=px$,

entonces la cisoide respecto al origen viene dada por

$x=f_{2}(p)-f_{1}(p),\ y=px$.

Casos particulares

Cuando C₁ es una circunferencia con centro O, entonces la cisoide resultante es la concoide de C₂.

Cuando C₁ y C₂ son líneas rectas paralelas, entonces la cisoide es una tercera recta paralela a las dos rectas dadas.

Hipérbolas

Sean C₁ y C₂ dos líneas no paralelas y sea O el origen. Las ecuaciones polares de C₁ y C₂ son

$r={\frac {a_{1}}{\cos(\theta -\alpha _{1})}}$

y

$r={\frac {a_{2}}{\cos(\theta -\alpha _{2})}}$.

Por rotación a través del ángulo $(\alpha _{1}-\alpha 2)/2$, se puede asumir que $\alpha _{1}=\alpha ,\ \alpha _{2}=-\alpha$. Entonces la cisoide de C₁ y C₂ relativa al origen viene dada por

$r={\frac {a_{2}}{\cos(\theta +\alpha )}}-{\frac {a_{1}}{\cos(\theta -\alpha )}}$

$={\frac {a_{2}\cos(\theta -\alpha )-a_{1}\cos(\theta +\alpha )}{\cos(\theta +\alpha )\cos(\theta -\alpha )}}$

$={\frac {(a_{2}\cos \alpha -a_{1}\cos \alpha )\cos \theta -(a_{2}\sin \alpha +a_{1}\sin \alpha )\sin \theta }{\cos ^{2}\alpha \ \cos ^{2}\theta -\sin ^{2}\alpha \ \sin ^{2}\theta }}$.

La combinación de constantes da

$r={\frac {b\cos \theta +c\sin \theta }{\cos ^{2}\theta -m^{2}\sin ^{2}\theta }}$

que en coordenadas cartesianas es

$x^{2}-m^{2}y^{2}=bx+cy$.

Esta curva es una hipérbola que pasa por el origen. Entonces, la cisoide de dos líneas no paralelas es una hipérbola que contiene el polo. Una demostración similar permite comprobar que, a la inversa, cualquier hipérbola es la cisoide de dos líneas rectas no paralelas con respecto a cualquiera de sus puntos.

Cisoides de Zahradnik

Una cisoide de Zahradnik (llamadas así por el matemático checo Karel Zahradnik) se define como la cisoide de una sección cónica y una recta con respecto a cualquier punto de la cónica. Se trata de una amplia familia de curvas cúbicas racionales que contiene varios ejemplos bien conocidos, en particular:

• La trisectriz de Maclaurin dada por

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

es la cisoide de la circunferencia $(x+a)^{2}+y^{2}=a^{2}$ y la línea recta $x={-{a \over 2}}$ con respecto al origen.

• La estrofoide

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

es la cisoide de la circunferencia $(x+a)^{2}+y^{2}=a^{2}$ y la línea recta $x=-a$ con respecto al origen.

• La cisoide de Diocles

$x(x^{2}+y^{2})+2ay^{2}=0$

es la cisoide de la circunferencia $(x+a)^{2}+y^{2}=a^{2}$ y la línea recta $x=-2a$ con respecto al origen. Esta es, de hecho, la curva por la que se nombra a la familia, y algunos autores la denominan simplemente como cisoide.

• La cisoide de la circunferencia $(x+a)^{2}+y^{2}=a^{2}$ y de la línea recta $x=ka$, donde k es un parámetro, se llama concoide de De Sluze, aunque estas curvas no son en realidad concoides. Esta familia incluye los ejemplos anteriores.

• El folium de Descartes

$x^{3}+y^{3}=3axy$

es la cisoide de la elipse $x^{2}-xy+y^{2}=-a(x+y)$ y de la línea recta $x+y=-a$ con respecto al origen. Para ver esto, téngase en cuenta que la ecuación de recta se puede escribir como

$x=-{\frac {a}{1+p}},\ y=px$

y la de la elipse se puede escribir en la forma

$x=-{\frac {a(1+p)}{1-p+p^{2}}},\ y=px$.

Entonces, la cisoide viene dada por

$x=-{\frac {a}{1+p}}+{\frac {a(1+p)}{1-p+p^{2}}}={\frac {3ap}{1+p^{3}}},\ y=px$

que es una forma paramétrica del folium.

Véase también

• Cisoide de Diocles
• Concoide
• Estrofoide

Bibliografía

• J. Dennis Lawrence (1972). A catalog of special plane curves. Dover Publications. pp. 53–56. ISBN 0-486-60288-5. (requiere registro). 
• C. A. Nelson "Nota sobre cúbicos del plano racional" Bull. Amer. Matemáticas. Soc. Volumen 32, Número 1 (1926), 71-76.

Enlaces externos

• Hazewinkel, Michiel, ed. (2001), «Cisoide», Encyclopaedia of Mathematics (en inglés), Springer, ISBN 978-1556080104 .
• Curvas en 2D
• Ferréol, Robert; Mandonnet, Jacques. «Cisoidales de Zahradnik». Encyclopédie des formes mathématiques remarquables (en francés). 
• Ferréol, Robert; Mandonnet, Jacques. «Curva cisoidal». Encyclopédie des formes mathématiques remarquables (en francés). 
• Weisstein, Eric W. «Cisoide». En Weisstein, Eric W, ed. MathWorld (en inglés). Wolfram Research. 

• Datos: Q2331607