In geometry, the folium of Descartes (from Latin folium 'leaf'; named for René Descartes) is an algebraic curve defined by the implicit equation
The curve was first proposed and studied by René Descartes in 1638.[1] Its claim to fame lies in an incident in the development of calculus. Descartes challenged Pierre de Fermat to find the tangent line to the curve at an arbitrary point since Fermat had recently discovered a method for finding tangent lines. Fermat solved the problem easily, something Descartes was unable to do.[2] Since the invention of calculus, the slope of the tangent line can be found easily using implicit differentiation.[3]
The folium of Descartes can be expressed in polar coordinates as
Another technique is to write and solve for and in terms of . This yields the rational parametric equations:[5]
We can see that the parameter is related to the position on the curve as follows:
Another way of plotting the function can be derived from symmetry over . The symmetry can be seen directly from its equation (x and y can be interchanged). By applying rotation of 45° CW for example, one can plot the function symmetric over rotated x axis.
This operation is equivalent to a substitution:
It forms a loop in the first quadrant with a double point at the origin and asymptote
Implicit differentiation gives the formula for the slope of the tangent line to this curve to be[3]
The folium of Descartes is related to the trisectrix of Maclaurin by affine transformation. To see this, start with the equation
If we stretch the curve in the direction by a factor of this becomes