Folium de Descartes

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:[1]

Folium de Descartes
x3 + y3 − 3axy = 0, a = 1.

También puede ser descrita explícitamente en coordenadas polares como:[2]

Historia editar

La curva fue propuesta y estudiada por primera vez por René Descartes en 1638.[3]​ Su fama se debe a un incidente en el desarrollo del cálculo infinitesimal. Descartes desafió a Pierre de Fermat a encontrar la recta tangente a la curva en un punto arbitrario, ya que Fermat había descubierto hacía poco tiempo un método para encontrar rectas tangentes. Fermat resolvió el problema fácilmente, algo que Descartes no pudo hacer.[4]​ Desde la invención del cálculo, la pendiente de la recta tangente se puede encontrar fácilmente usando una función implícita.[5]

Características de la curva editar

Ecuación de la tangente editar

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

 

Usando la forma punto-pendiente de la ecuación de una línea recta, puede hallarse una ecuación para la tangente de la curva[5]​ en  :

 

Tangentes horizontal y vertical editar

La línea tangente del folium de Descartes es horizontal cuando  . Por tanto, la línea tangente es horizontal cuando:

 

La línea tangente del folium de Descartes es vertical cuando  . Por tanto, la línea tangente es vertical cuando:

 

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  , por lo que si una tangente horizontal tiene una coordinada de  , entonces hay una tangente vertical correspondiente,  .

Asíntota editar

La curva tiene una asíntota:

 

La asíntota tiene un gradiente de -1 y corta los ejes de coordenadas en los puntos   y  .

Componentes algebraicas del folium de Descartes editar

Si se resuelve   para   en función de  , se obtiene para una porción del gráfico, es decir cuando   y   (suponiendo que  ), la ecuación

 

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  . 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  , donde   es el parámetro.

Referencias editar

  1. «DiffGeom3: Parametrized curves and algebraic curves». N J Wildberger, University of New South Wales. Archivado desde el original el 21 de diciembre de 2021. Consultado el 5 de septiembre de 2013. 
  2. Stewart, James (2012). «Chapter 10: Parametric Equations and Polar Coordinates». Calculus: Early Transcendentals (7th edición). Cengage Learning. pp. 687. ISBN 978-0-538-49790-9. 
  3. «Folium of Descartes». Encyclopedia of Mathematics. 5 de junio de 2020. Consultado el 30 de enero de 2021. 
  4. Simmons, p. 101
  5. a b Stewart, James (2012). «Section 3.5: Implicit Differentiation». Calculus: Early Transcendentals. United States of America: Cengage Learning. pp. 209–11. ISBN 978-0-538-49790-9. 

Bibliografía editar

  • J. Dennis Lawrence: A catalog of special plane curves, 1972, Dover Publications. ISBN 0-486-60288-5, pp. 106–108
  • George F. Simmons: Calculus Gems: Brief Lives and Memorable Mathematics, New York 1992, McGraw-Hill, xiv,355. ISBN 0-07-057566-5; new edition 2007, The Mathematical Association of America (MAA)