Algebraic curve in the context of Tschirnhausen cubic

A conic section, conic or a quadratic curve is a curve obtained from a cone's surface intersecting a plane. The three types of conic section are the hyperbola, the parabola, and the ellipse; the circle is a special case of the ellipse, though it was sometimes considered a fourth type. The ancient Greek mathematicians studied conic sections, culminating around 200 BC with Apollonius of Perga's systematic work on their properties.

The conic sections in the Euclidean plane have various distinguishing properties, many of which can be used as alternative definitions. One such property defines a non-circular conic to be the set of those points whose distances to some particular point, called a focus, and some particular line, called a directrix, are in a fixed ratio, called the eccentricity. The type of conic is determined by the value of the eccentricity. In analytic geometry, a conic may be defined as a plane algebraic curve of degree 2; that is, as the set of points whose coordinates satisfy a quadratic equation in two variables which can be written in the form ${\displaystyle Ax^{2}+Bxy+Cy^{2}+Dx+Ey+F=0.}$ The geometric properties of the conic can be deduced from its equation.

In mathematics, an algebraic surface is an algebraic variety of dimension two. Thus, an algebraic surface is a solution of a set of polynomial equations, in which there are two independent directions at every point. An example of an algebraic surface is the sphere, which is determined by the single polynomial equation ${\displaystyle x^{2}+y^{2}+z^{2}=1.}$ Studying the intrinsic geometry of algebraic surfaces is a central topic in algebraic geometry. The theory is much more complicated than for algebraic curves (one-dimensional cases), and was developed substantially by the Italian school of algebraic geometry in the late 19th and early 20th centuries.It remains an active field of research.

In the simplest cases, algebraic surfaces are studied as algebraic varieties over the complex numbers. For example, the familiar sphere (for real ${\displaystyle x,y,z}$), becomes a complex (affine) quadric surface, which simultaneously incorporates the sphere and hyperboloids of one and two sheets, and this allows some complications (such as the topology: whether the surface is connected, or simply connected) to be deferred somewhat. Higher degree surfaces include, for example, the Kummer surface. The classification of algebraic surfaces is much more intricate than the classification of algebraic curves, which have dimension one, and is already quite complicated.

In mathematics, a Diophantine equation is a polynomial equation with integer coefficients, for which only integer solutions are of interest. A linear Diophantine equation equates the sum of two or more unknowns, with coefficients, to a constant. An exponential Diophantine equation is one in which unknowns can appear in exponents.

Diophantine problems have fewer equations than unknowns and involve finding integers that solve all equations simultaneously. Because such systems of equations define algebraic curves, algebraic surfaces, or, more generally, algebraic sets, their study is a part of algebraic geometry that is called Diophantine geometry.

In mathematics, an elliptic curve is a smooth, projective, algebraic curve of genus one, on which there is a specified point O. An elliptic curve is defined over a field K and describes points in K, the Cartesian product of K with itself. If the field's characteristic is different from 2 and 3, then the curve can be described as a plane algebraic curve which consists of solutions (x, y) for:

for some coefficients a and b in K. The curve is required to be non-singular, which means that the curve has no cusps or self-intersections. (This is equivalent to the condition 4a + 27b ≠ 0, that is, being square-free in x.) It is always understood that the curve is really sitting in the projective plane, with the point O being the unique point at infinity. Many sources define an elliptic curve to be simply a curve given by an equation of this form. (When the coefficient field has characteristic 2 or 3, the above equation is not quite general enough to include all non-singular cubic curves; see § Elliptic curves over a general field below.)

In geometry, the lemniscate of Bernoulli is a plane curve defined from two given points F₁ and F₂, known as foci, at distance 2c from each other as the locus of points P so that ${\displaystyle |PF_{1}||PF_{2}|=c^{2}}$. The curve has a shape similar to the numeral 8 and to the ∞ symbol. Its name is from lemniscatus, which is Latin for "decorated with hanging ribbons". It is a special case of the Cassini oval and is a rational algebraic curve of degree 4.

This lemniscate was first described in 1694 by Jakob Bernoulli as a modification of an ellipse, which is the locus of points for which the sum of the distances to each of two fixed focal points is a constant. A Cassini oval, by contrast, is the locus of points for which the product of these distances is constant. In the case where the curve passes through the point midway between the foci, the oval is a lemniscate of Bernoulli.

In algebraic geometry, a hyperelliptic curve is an algebraic curve of genus g > 1, given by an equation of the form$${\displaystyle y^{2}+h(x)y=f(x)}$$where f(x) is a polynomial of degree n = 2g + 1 > 4 or n = 2g + 2 > 4 with n distinct roots, and h(x) is a polynomial of degree < g + 2 (if the characteristic of the ground field is not 2, one can take h(x) = 0).

A hyperelliptic function is an element of the function field of such a curve, or of the Jacobian variety on the curve; these two concepts are identical for elliptic functions, but different for hyperelliptic functions.