Folium of Descartes — Definition, Formula & Examples
The Folium of Descartes is a loop-shaped algebraic curve defined by the equation , where is a positive constant that controls the size of the loop. It was first discussed by René Descartes in 1638 and is frequently used in calculus courses to practice implicit differentiation and parametric equations.
The Folium of Descartes is the plane algebraic curve given implicitly by for a parameter . It admits the rational parametrization , for , passes through the origin (where it has a node), and possesses the asymptote .
Key Formula
Where:
- = Horizontal coordinate
- = Vertical coordinate
- = Positive constant controlling the size of the loop
How It Works
The curve forms a single loop in the first quadrant, crosses itself at the origin, and extends into the third quadrant along two branches that approach the slant asymptote . To find , you apply implicit differentiation to . The parametric form with parameter is especially useful for computing arc length or enclosed area, since it converts the implicit equation into rational expressions in . The loop encloses a finite area equal to .
Worked Example
Problem: Find dy/dx for the Folium of Descartes with a = 1, given by x³ + y³ = 3xy. Evaluate the slope at the point (3/2, 3/2).
Differentiate implicitly: Differentiate both sides with respect to x.
Solve for dy/dx: Collect terms with dy/dx on one side and factor.
Substitute the point: Plug in x = 3/2 and y = 3/2.
Answer: The slope at (3/2, 3/2) is , confirming the curve is symmetric about the line y = x (the tangent is perpendicular to this line at the tip of the loop).
Why It Matters
The Folium of Descartes is a standard exercise in multivariable and single-variable calculus for practicing implicit differentiation, parametric integration, and finding tangent lines at singular points. It also appears in algebraic geometry as a simple example of a rational nodal curve.
Common Mistakes
Mistake: Forgetting the node at the origin when computing tangent lines.
Correction: At the origin, the curve crosses itself, so there are two tangent lines (y = 0 and x = 0), not one. Standard implicit differentiation gives 0/0 there; you need to factor or use the parametric form instead.
