In
algebraic geometry
Algebraic geometry is a branch of mathematics which uses abstract algebraic techniques, mainly from commutative algebra, to solve geometry, geometrical problems. Classically, it studies zero of a function, zeros of multivariate polynomials; th ...
, a quartic plane curve is a
plane algebraic curve
In mathematics, an affine algebraic plane curve is the zero set of a polynomial in two variables. A projective algebraic plane curve is the zero set in a projective plane of a homogeneous polynomial in three variables. An affine algebraic plane cu ...
of the fourth
degree. It can be defined by a bivariate
quartic equation
In mathematics, a quartic equation is one which can be expressed as a ''quartic function'' equaling zero. The general form of a quartic equation is
:ax^4+bx^3+cx^2+dx+e=0 \,
where ''a'' ≠ 0.
The quartic is the highest order polynom ...
:
:
with at least one of not equal to zero. This equation has 15 constants. However, it can be multiplied by any non-zero constant without changing the curve; thus by the choice of an appropriate constant of multiplication, any one of the coefficients can be set to 1, leaving only 14 constants. Therefore, the space of quartic curves can be identified with the
real projective space
In mathematics, real projective space, denoted or is the topological space of lines passing through the origin 0 in the real space It is a compact, smooth manifold of dimension , and is a special case of a Grassmannian space.
Basic properti ...
It also follows, from
Cramer's theorem on algebraic curves, that there is exactly one quartic curve that passes through a set of 14 distinct points in
general position
In algebraic geometry and computational geometry, general position is a notion of genericity for a set of points, or other geometric objects. It means the ''general case'' situation, as opposed to some more special or coincidental cases that a ...
, since a quartic has 14
degrees of freedom
In many scientific fields, the degrees of freedom of a system is the number of parameters of the system that may vary independently. For example, a point in the plane has two degrees of freedom for translation: its two coordinates; a non-infinite ...
.
A quartic curve can have a maximum of:
* Four connected components
* Twenty-eight
bi-tangents
* Three ordinary
double points.
One may also consider quartic curves over other
fields
Fields may refer to:
Music
*Fields (band), an indie rock band formed in 2006
* Fields (progressive rock band), a progressive rock band formed in 1971
* ''Fields'' (album), an LP by Swedish-based indie rock band Junip (2010)
* "Fields", a song by ...
(or even
rings), for instance the
complex numbers
In mathematics, a complex number is an element of a number system that extends the real numbers with a specific element denoted , called the imaginary unit and satisfying the equation i^= -1; every complex number can be expressed in the form a ...
. In this way, one gets
Riemann surface
In mathematics, particularly in complex analysis, a Riemann surface is a connected one-dimensional complex manifold. These surfaces were first studied by and are named after Bernhard Riemann. Riemann surfaces can be thought of as deformed vers ...
s, which are one-dimensional objects over but are two-dimensional over An example is the
Klein quartic. Additionally, one can look at curves in the
projective plane
In mathematics, a projective plane is a geometric structure that extends the concept of a plane (geometry), plane. In the ordinary Euclidean plane, two lines typically intersect at a single point, but there are some pairs of lines (namely, paral ...
, given by homogeneous polynomials.
Examples
Various combinations of coefficients in the above equation give rise to various important families of curves as listed below.
*
Bicorn
In geometry, the bicorn, also known as a cocked hat curve due to its resemblance to a bicorne, is a Rational curve, rational quartic plane curve, quartic curve defined by the equation
y^2 \left(a^2 - x^2\right) = \left(x^2 + 2ay - a^2\right)^2.
It ...
*
Bullet-nose curve
*
Cartesian oval
*
Cassini oval
*
Deltoid curve
In geometry, a deltoid curve, also known as a tricuspoid curve or Steiner curve, is a hypocycloid of three cusps. In other words, it is the roulette created by a point on the circumference of a circle as it rolls without slipping along the insi ...
*
Devil's curve
*
Hippopede
In geometry, a hippopede () is a plane curve determined by an equation of the form
:(x^2+y^2)^2=cx^2+dy^2,
where it is assumed that and since the remaining cases either reduce to a single point or can be put into the given form with a rotation. ...
*
Kampyle of Eudoxus
*
Klein quartic
*
Lemniscate
In algebraic geometry, a lemniscate ( or ) is any of several figure-eight or -shaped curves. The word comes from the Latin , meaning "decorated with ribbons", from the Greek (), meaning "ribbon",. or which alternatively may refer to the wool fr ...
**
Lemniscate of Bernoulli
In geometry, the lemniscate of Bernoulli is a plane curve defined from two given points and , known as foci, at distance from each other as the locus of points so that . The curve has a shape similar to the numeral 8 and to the ∞ symbol. I ...
**
Lemniscate of Gerono
In algebraic geometry, the lemniscate of Gerono, or lemniscate of Huygens, or figure-eight curve, is a plane algebraic curve of degree four and genus zero and is a lemniscate curve shaped like an \infty symbol, or figure eight. It has equation
...
*
Limaçon
In geometry, a limaçon or limacon , also known as a limaçon of Pascal or Pascal's Snail, is defined as a roulette curve formed by the path of a point fixed to a circle when that circle rolls around the outside of a circle of equal radius. I ...
*
Lüroth quartic
In mathematics, a Lüroth quartic is a nonsingular quartic plane curve containing the 10 vertices of a complete pentalateral. They were introduced by . showed that the Lüroth quartics form an open subset of a degree 54 hypersurface
In geometry, ...
*
Spiric section
In geometry, a spiric section, sometimes called a spiric of Perseus, is a quartic plane curve defined by equations of the form
:(x^2+y^2)^2=dx^2+ey^2+f. \,
Equivalently, spiric sections can be defined as bicircular quartic curves that are symm ...
*
Squircle
**
Lamé's special quartic
*
Toric section A toric section is an intersection of a plane with a torus, just as a conic section is the intersection of a plane with a cone. Special cases have been known since antiquity, and the general case was studied by Jean Gaston Darboux..
Mathematical ...
*
Trott curve
Ampersand curve
The
ampersand curve is a quartic plane curve given by the equation:
:
It has
genus
Genus (; : genera ) is a taxonomic rank above species and below family (taxonomy), family as used in the biological classification of extant taxon, living and fossil organisms as well as Virus classification#ICTV classification, viruses. In bino ...
zero, with three ordinary double points, all in the real plane.
Bean curve
The bean curve is a quartic plane curve with the equation:
:
The bean curve has genus zero. It has one
singularity at the origin, an ordinary triple point.
Bicuspid curve
The bicuspid is a quartic plane curve with the equation
:
where ''a'' determines the size of the curve.
The bicuspid has only the two cusps as singularities, and hence is a curve of genus one.
Bow curve
The bow curve is a quartic plane curve with the equation:
:
The bow curve has a single triple point at ''x''=0, ''y''=0, and consequently is a rational curve, with genus zero.
Cruciform curve
The cruciform curve, or cross curve is a quartic plane curve given by the equation
:
where ''a'' and ''b'' are two
parameter
A parameter (), generally, is any characteristic that can help in defining or classifying a particular system (meaning an event, project, object, situation, etc.). That is, a parameter is an element of a system that is useful, or critical, when ...
s determining the shape of the curve.
The cruciform curve is related by a standard quadratic transformation, ''x'' ↦ 1/''x'', ''y'' ↦ 1/''y'' to the ellipse ''a''
2''x''
2 + ''b''
2''y''
2 = 1, and is therefore a
rational plane algebraic curve of genus zero. The cruciform curve has three double points in the
real projective plane
In mathematics, the real projective plane, denoted or , is a two-dimensional projective space, similar to the familiar Euclidean plane in many respects but without the concepts of distance, circles, angle measure, or parallelism. It is the sett ...
, at ''x''=0 and ''y''=0, ''x''=0 and ''z''=0, and ''y''=0 and ''z''=0.
Because the curve is rational, it can be parametrized by rational functions. For instance, if ''a''=1 and ''b''=2, then
:
parametrizes the points on the curve outside of the exceptional cases where a denominator is zero.
The
inverse Pythagorean theorem
In geometry, the inverse Pythagorean theorem (also known as the reciprocal Pythagorean theorem or the upside down Pythagorean theorem) is as follows:
:Let , be the endpoints of the hypotenuse of a right triangle . Let be the foot of a perpen ...
is obtained from the above equation by substituting ''x'' with ''AC'', ''y'' with ''BC'', and each ''a'' and ''b'' with ''CD'', where ''A'', ''B'' are the endpoints of the hypotenuse of a right triangle ''ABC'', and ''D'' is the foot of a perpendicular dropped from ''C'', the vertex of the right angle, to the hypotenuse:
:
Spiric section
Spiric sections can be defined as
bicircular quartic curves that are symmetric with respect to the ''x'' and ''y'' axes. Spiric sections are included in the family of
toric section A toric section is an intersection of a plane with a torus, just as a conic section is the intersection of a plane with a cone. Special cases have been known since antiquity, and the general case was studied by Jean Gaston Darboux..
Mathematical ...
s and include the family of
hippopede
In geometry, a hippopede () is a plane curve determined by an equation of the form
:(x^2+y^2)^2=cx^2+dy^2,
where it is assumed that and since the remaining cases either reduce to a single point or can be put into the given form with a rotation. ...
s and the family of
Cassini ovals. The name is from σπειρα meaning torus in ancient Greek.
The Cartesian equation can be written as
:
and the equation in polar coordinates as
:
Three-leaved clover (trifolium)
The three-leaved clover or trifolium is the quartic plane curve
:
By solving for ''y'', the curve can be described by the following function:
:
where the two appearances of ± are independent of each other, giving up to four distinct values of ''y'' for each ''x''.
The parametric equation of curve is
:
[
Gibson, C. G., ''Elementary Geometry of Algebraic Curves, an Undergraduate Introduction'', Cambridge University Press, Cambridge, 2001, . Pages 12 and 78.
]
In polar coordinates (''x'' = ''r'' cos φ, ''y'' = ''r'' sin φ) the equation is
:
It is a special case of
rose curve with ''k'' = 3.
This curve has a triple point at the origin (0, 0) and has three double tangents.
See also
*
Ternary quartic In mathematics, a ternary quartic form is a degree 4 homogeneous polynomial in three variables.
Hilbert's theorem
showed that a positive semi-definite ternary quartic form over the reals can be written as a sum of three squares of quadratic form ...
*
Bitangents of a quartic
References
{{Authority control