Quadric

From Free net encyclopedia

(Difference between revisions)

Revision as of 19:55, 12 April 2006
CapitalR (Talk | contribs)
Added references section
Next diff →

Current revision

This is an article about quadric in mathematics, to see the computing company go to Quadrics.

In mathematics a quadric, or quadric surface, is any D-dimensional hypersurface defined as the locus of zeros of a quadratic polynomial. In coordinates <math>\{x_0, x_1, x_2, \ldots, x_D\}</math>, the general quadric is defined by the algebraic equation <ref name="geom"> [1], Quadrics in Geometry Formulas and Facts by Silvio Levy, excerpted from 30th Edition of the CRC Standard Mathematical Tables and Formulas (CRC Press).</ref>

<math>

\sum_{i,j=0}^D Q_{i,j} x_i x_j + \sum_{i=0}^D P_i x_i + R = 0 </math> where Q is a D+1 dimensional matrix and P is a D+1 dimensional vector and R a constant. The values Q, P and R are often taken to be real numbers or complex numbers, but in fact, a quadric may be defined over any field. In general, the locus of zeros of a set of polynomials is known as an algebraic variety, and is studied in the branch of algebraic geometry. A quadric is thus an example of an algebraic variety. Every projective variety can be shown to be isomorphic to the intersection of a set of quadrics.

The normalized equation for a three-dimensional (D=3) quadric centred at the origin (0,0,0) is:

<math>

\pm {x^2 \over a^2} \pm {y^2 \over b^2} \pm {z^2 \over c^2}=1 </math>

Via translations and rotations every quadric can be transformed to one of several "normalized" forms. In three-dimensional Euclidean space, there are 16 such normalized forms, and the most interesting are the following:

Ellipsoid	Elliptic Paraboloid	Hyperbolic Paraboloid	Hyperboloid of One Sheet
Hyperboloid of Two Sheets	Cone	Elliptic Cylinder	Hyperbolic Cylinder
Parabolic Cylinder

ellipsoid	<math>x^2/a^2 + y^2/b^2 + z^2/c^2 = 1 \,</math>
spheroid (special case of ellipsoid)	<math> x^2/a^2 + y^2/a^2 + z^2/b^2 = 1 \,</math>
sphere (special case of spheroid)	<math>x^2/a^2 + y^2/a^2 + z^2/a^2 = 1 \,</math>
elliptic paraboloid	<math>x^2/a^2 + y^2/b^2 - z = 0 \,</math>
circular paraboloid	<math>x^2/a^2 + y^2/a^2 - z = 0 \,</math>
hyperbolic paraboloid	<math>x^2/a^2 - y^2/b^2 - z = 0 \,</math>
hyperboloid of one sheet	<math>x^2/a^2 + y^2/b^2 - z^2/c^2 = 1 \,</math>
hyperboloid of two sheets	<math>x^2/a^2 - y^2/b^2 - z^2/c^2 = 1 \,</math>
cone	<math>x^2/a^2 + y^2/b^2 - z^2/c^2 = 0 \,</math>
elliptic cylinder	<math>x^2/a^2 + y^2/b^2 = 1 \,</math>
circular cylinder	<math>x^2/a^2 + y^2/a^2 = 1 \,</math>
hyperbolic cylinder	<math>x^2/a^2 - y^2/b^2 = 1 \,</math>
parabolic cylinder	<math>x^2 + 2y = 0 \,</math>

In real projective space, the ellipsoid, the elliptic paraboloid and the hyperboloid of two sheets are equivalent to each other up to a projective transformation; the two hyperbolic paraboloids are not different from each other (these are ruled surfaces); the cone and the cylinder are not different from each other (these are "degenerate" quadrics, since their Gaussian curvature is zero).

In complex projective space all of the nondegenerate quadrics become indistinguishable from each other.

[edit]