Folium de Descartes

Folium de Descartes
x³ + y³ − 3axy = 0, a = 1.

El folium de Descartes (‘hoja de Descartes’) es una curva algebraica propuesta por vez primera por Descartes en 1638 con la ecuación implícita:

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

Que también puede ser descrita explícitamente en coordenadas polares como:

$r(\theta )={\frac {3a\sin \theta \cos \theta }{\sin ^{3}\theta +\cos ^{3}\theta }}$

Características de la curva

Ecuación de la tangente

Usando el método de diferenciación implícita, la ecuación anterior puede resolverse para y':

${\frac {dy}{dx}}={\frac {ay-x^{2}}{y^{2}-ax}}$

Usando la forma punto-pendiente de la ecuación de una línea, puede hallarse una ecuación para la tangente de la curva en $(x_{1},y_{1})$:

$y-y_{1}={\frac {ay_{1}-x_{1}^{2}}{y_{1}^{2}-ax_{1}}}(x-x_{1})$

Tangentes horizontal y vertical

La línea tangente del folium de Descartes es horizontal cuando $ay-x^{2}=0$. Por tanto, la línea tangente es horizontal cuando:

$x^{6}=2a^{3}x^{3}$

La línea tangente del folium de Descartes es vertical cuando $y^{2}-ax=0$. Por tanto, la línea tangente es vertical cuando:

$y^{6}=2a^{3}y^{3}$

Esto puede explicarse gracias a una propiedad de la simetría de la curva. Mirando el gráfico, puede verse que la curva tiene dos tangentes horizontales y dos tangentes verticales. Así pues, la curva del folium de Descartes es simétrica respecto a $y=x$, por lo que si una tangente horizontal tiene una coordinada de $(x_{1},y_{1})$, entonces hay una tangente vertical correspondiente, $(y_{1},x_{1})$.

Asíntota

La curva tiene una asíntota:

$x+y+a=0$

La asíntota tiene un gradiente de -1 y corta los ejes de coordenadas en los puntos $(0,-a)$ y $(-a,0)$.

Componentes algebraicas del folium de Descartes

Si se resuelve $x^{3}+y^{3}=3axy$ para $y$ en función de $x$, se obtiene para una porción del gráfico, es decir cuando $x<=0$ y $a{\sqrt[{3}]{4}}<=x$ (suponiendo que $a>0$), la ecuación

$y={\sqrt[{3}]{-{\frac {1}{2}}x^{3}+{\sqrt {{\frac {1}{4}}x^{6}-a^{3}x^{3}}}}}+{\sqrt[{3}]{-{\frac {1}{2}}x^{3}-{\sqrt {{\frac {1}{4}}x^{6}-a^{3}x^{3}}}}}$

y para la otra porción tres ecuaciones en forma trigonométrica, dos de las cuales trazan el bucle del folium.

Puede comprobarse en este caso que la diferenciación implícita es un método mucho más simple de obtener una ecuación para la tangente de la curva, en lugar de intentar diferenciar las ecuaciones explícitas, que son mucho más complejas. Sin embargo, en este caso la diferenciación implícita no nos ayuda a calcular las tangentes (son dos - los ejes de coordenadas) en el origen porque nos halla en el caso de indeterminación $0/0$. Para resolver esta problema es recomendable determinar una forma paramétrica de la ecuación. Esto se puede hacer a través de la sustitución $y=tx$, donde $t$ es el parámetro.

• Datos: Q837771
• Multimedia: Folium of Descartes / Q837771