Folium of Descartes

The folium of Descartes (black) with asymptote (blue).

In geometry, the Folium of Descartes is an algebraic curve defined by the equation

x^3 + y^3 - 3 a x y = 0 \,.

It forms a loop in the first quadrant with a double point at the origin and asymptote

x + y + a = 0 \,.

It is symmetrical about y = x.

The name comes from the Latin word folium which means "leaf".

The curve was featured, along with a portrait of Descartes, on an Albanian stamp in 1966.

History

The curve was first proposed by Descartes in 1638. Its claim to fame lies in an incident in the development of calculus. Descartes challenged 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.[1] Since the invention of calculus, the slope of the tangent line can be found easily using implicit differentiation.

Graphing the curve

Since the equation is degree 3 in both x and y, and does not factor, it is difficult to solve for one of the variables. However, the equation in polar coordinates is:

r = \frac{3 a \sin \theta \cos \theta}{\sin^3 \theta + \cos^3 \theta }.

which can be plotted easily. Another technique is to write y = px and solve for x and y in terms of p. This yields the parametric equations:

x = {{3ap} \over {1 + p^3}},\, y = {{3ap^2} \over {1 + p^3}}.

We can see that the parameter is related to the position on the curve as follows:

Another way of ploting the function can be derived from symmetry over y = x. The symetry 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 symetric over rotated x axis.

This operation is equivalent to a substitution:

 x = {{u+v} \over {\sqrt{2}}},\, y = {{u-v} \over {\sqrt{2}}}

and yields

 v = \pm u\sqrt{\frac{3\sqrt{2} - 2u}{6u + 3\sqrt{2}}}

Ploting in the cartesian system of (u,v) gives the folium rotated by 45° and therefore symetric by u axis.

Relationship to the trisectrix of MacLaurin

The folium of Descartes is related to the trisectrix of Maclaurin by affine transformation. To see this, start with the equation

x^3 + y^3 = 3 a x y \,,

and change variables to find the equation in a coordinate system rotated 45 degrees. This amounts to setting x = {{X+Y} \over \sqrt{2}}, y = {{X-Y} \over \sqrt{2}}. In the X,Y plane the equation is

2X(X^2 + 3Y^2) = 3 \sqrt{2}a(X^2-Y^2).

If we stretch the curve in the Y direction by a factor of \sqrt{3} this becomes

2X(X^2 + Y^2) = a \sqrt{2}(3X^2-Y^2)

which is the equation of the trisectrix of Maclaurin.

Notes

  1. ^ Simmons, p. 101

References

External links