[sólo para volver a esto en relación con una curiosa característica de esta curva]
La curva en cuestión es el "folium de Descartes", llamado así porque Descartes envió esta curva a Fermat como desafío a la pretensión de este último de disponer de un método para determinar las pendientes de las rectas tangentes. Fermat lo resolvió con éxito, algo que resulta un poco más impresionante por el hecho de que lo lograra en 1638, antes del desarrollo más formal del cálculo (infinitesimal) por Newton y Leibniz. Se parece a esto:
![enter image description here]()
He marcado las líneas tangentes horizontales en verde y las verticales en rojo. No voy a reiterar el trabajo ya discutido por laboratorio bhattacharjee pero quería decir algo más sobre el punto que planteé en los comentarios.
Encontramos que la expresión para la primera derivada de las funciones implícitas descritas por la curva es
$$ y \ ' \ = \ \frac{3x^2 \ - \ 2y}{2x \ - \ 3y^2} \ \ . $$
(Hay un error en anteriores apariciones de esta función racional, algunas ya corregidas).
Como ya hemos visto, esto produce tangentes horizontales donde $ \ y \ = \ \frac{3}{2} x^2 \ $ . La complicación surge cuando buscamos tangentes verticales, que se producen donde $ \ y \ ' \ $ es indefinido, es decir $ \ x \ = \ \frac{3}{2} y^2 \ $ . (Esta similitud de las dos ecuaciones se debe a la simetría del folio en torno a la recta $ \ y \ = \ x \ $ . ) Juntando estas dos ecuaciones obtenemos dos soluciones: $ \ ( \ 0,0 \ ) \ $ y $ \ ( \ \frac{2}{3} , \frac{2}{3} \ ) . $ Sin embargo, sólo el primero de ellos corresponde a un punto de la curva (el segundo no es una solución de la ecuación del folio).
Por tanto, el origen es un punto que tiene ambos una tangente horizontal y otra vertical. Esta situación puede darse en curvas que se autointersecan (no simples). Encontrar un valor "indeterminado" para $ \ y \ ' \ $ en un punto es señal de que la curva tiene dicha auto-intersección.