$$\newcommand{\mtn}{\mathbb{N}}\newcommand{\mtns}{\mathbb{N}^*}\newcommand{\mtz}{\mathbb{Z}}\newcommand{\mtr}{\mathbb{R}}\newcommand{\mtk}{\mathbb{K}}\newcommand{\mtq}{\mathbb{Q}}\newcommand{\mtc}{\mathbb{C}}\newcommand{\mch}{\mathcal{H}}\newcommand{\mcp}{\mathcal{P}}\newcommand{\mcb}{\mathcal{B}}\newcommand{\mcl}{\mathcal{L}} \newcommand{\mcm}{\mathcal{M}}\newcommand{\mcc}{\mathcal{C}} \newcommand{\mcmn}{\mathcal{M}}\newcommand{\mcmnr}{\mathcal{M}_n(\mtr)} \newcommand{\mcmnk}{\mathcal{M}_n(\mtk)}\newcommand{\mcsn}{\mathcal{S}_n} \newcommand{\mcs}{\mathcal{S}}\newcommand{\mcd}{\mathcal{D}} \newcommand{\mcsns}{\mathcal{S}_n^{++}}\newcommand{\glnk}{GL_n(\mtk)} \newcommand{\mnr}{\mathcal{M}_n(\mtr)}\DeclareMathOperator{\ch}{ch} \DeclareMathOperator{\sh}{sh}\DeclareMathOperator{\th}{th} \DeclareMathOperator{\vect}{vect}\DeclareMathOperator{\card}{card} \DeclareMathOperator{\comat}{comat}\DeclareMathOperator{\imv}{Im} \DeclareMathOperator{\rang}{rg}\DeclareMathOperator{\Fr}{Fr} \DeclareMathOperator{\diam}{diam}\DeclareMathOperator{\supp}{supp} \newcommand{\veps}{\varepsilon}\newcommand{\mcu}{\mathcal{U}} \newcommand{\mcun}{\mcu_n}\newcommand{\dis}{\displaystyle} \newcommand{\croouv}{[\![}\newcommand{\crofer}{]\!]} \newcommand{\rab}{\mathcal{R}(a,b)}\newcommand{\pss}[2]{\langle #1,#2\rangle} $$
Bibm@th

Quadrique

On appelle quadrique de l'espace euclidien toute surface $S$ pour laquelle il existe un repère orthonormé dans lequel $S$ admet pour équation $$ax^2+by^2+cz^2+dxy+eyz+fxz+gx+hy+iz+j=0,$$ où le triplet $(a,b,c)$ n'est pas le triplet $(0,0,0).$ Il est facile de vérifier alors que dans tout repère orthonormé de l'espace, la quadrique possède une telle équation.

Ce type d'équation correspond à des surfaces qui peuvent être très différentes. Pour obtenir plus d'informations, on essaie d'obtenir une équation réduite de la quadrique (de même que l'on cherche l'équation réduite d'une conique). Pour cela, on procède en deux temps :

  • on considère d'abord la forme quadratique : $$q(x,y,z)=ax^2+by^2+cz^2+dxy+eyz+fxz.$$ Il existe une base orthonormée de l'espace, constituée de vecteurs orthogonaux pour $q.$ Dans ces nouvelles coordonnées, on a : $$(X,Y,Z)=a'X^2+b'Y^2+c'Z^2$$ (c'est-à-dire qu'on a éliminé les doubles produits).
  • on fait un changement d'origine pour éliminer ou bien les termes linéaires (en $X,$ $Y$ et $Z$) dans les coordonnées où il y a un terme carré, ou bien en éliminant les termes constants.

Ce faisant, on obtient 17(!) types d'équations réduites. Le tableau suivant les résume, la classification étant faite en fonction de la signature de la forme quadratique.

Equation réduiteNom/DescriptionSignature de q
$\frac{X^2}{a^2}+\frac{Y^2}{b^2}+\frac{Z^2}{c^2}=0$Un point(3,0)
$\frac{X^2}{a^2}+\frac{Y^2}{b^2}+\frac{Z^2}{c^2}=-1$Vide(3,0)
$\frac{X^2}{a^2}+\frac{Y^2}{b^2}+\frac{Z^2}{c^2}=1$Ellipsoïde(3,0)
$\frac{X^2}{a^2}+\frac{Y^2}{b^2}-\frac{Z^2}{c^2}=0$Cône(2,1)
$\frac{X^2}{a^2}+\frac{Y^2}{b^2}-\frac{Z^2}{c^2}=-1$Hyperboloïde à deux nappes(2,1)
$\frac{X^2}{a^2}+\frac{Y^2}{b^2}-\frac{Z^2}{c^2}=1$Hyperboloïde à une nappe(2,1)
$\frac{X^2}{a^2}+\frac{Y^2}{b^2}=\frac{2Z}c$Paraboloïde elliptique(2,0)
$\frac{X^2}{a^2}+\frac{Y^2}{b^2}=0$Une droite(2,0)
$\frac{X^2}{a^2}+\frac{Y^2}{b^2}=1$Cylindre elliptique(2,0)
$\frac{X^2}{a^2}+\frac{Y^2}{b^2}=-1$Vide(2,0)
$\frac{X^2}{a^2}-\frac{Y^2}{b^2}=\frac{2Z}c$Paraboloïde hyperbolique(1,1)
$\frac{X^2}{a^2}-\frac{Y^2}{b^2}=0$Deux plans(1,1)
$\frac{X^2}{a^2}-\frac{Y^2}{b^2}=-1$Cylindre hyperbolique(1,1)
$X^2=2pY$Cylindre parabolique(1,0)
$\frac{X^2}{a^2}=0$Un plan(1,0)
$\frac{X^2}{a^2}=-1$Vide(1,0)
$\frac{X^2}{a^2}=1$Deux plans parallèles(1,0)

L'ellipsoïde, les deux hyperboloïdes et les deux paraboloïdes sont appelées quadriques propres.

Consulter aussi
Recherche alphabétique
Recherche thématique