En mathématiques, et plus précisément en géométrie euclidienne, une quadrique, ou surface quadratique, est une surface de l'espace euclidien de dimension 3, lieu des points vérifiant une équation cartésienne de degré 2
les coefficients A à J étant réels, avec A,B,C,D,E,F non tous nuls.
Plus généralement, on peut considérer les quadriques dans le cadre des espaces affines, de dimension 3 ou plus. Ce sont alors des hypersurfaces, lieu d'annulation d'un polynôme de degré 2. On peut également les étudier dans le cadre de la géométrie projective, qui simplifie et unifie complètement les résultats. On peut enfin prendre un autre corps de base que celui des réels.
Elles sont décrites ci-dessous à partir de leurs équations réduites dans un repère orthonormé convenable.
L'ellipsoïde | ||
L'hyperboloïde à une nappe (H1) | , | |
L'hyperboloïde à deux nappes (H2) | , | |
Le paraboloïde elliptique (PE) | , | |
Le paraboloïde hyperbolique (PH) | , | |
Le cône à base elliptique | , | |
Le cylindre elliptique | , | |
Le cylindre hyperbolique | , | |
Le cylindre parabolique | . |
L' équation de la surface peut s'écrire :
où Q désigne la forme quadratique
de matrice :
dont les valeurs propres sont toutes réelles puisque cette matrice est symétrique réelle.
La signature de la forme quadratique est le couple (p,q) où p est le nombre de valeurs propres strictement positives de Q et q le nombre de valeurs propres strictement négatives. Le rang de Q est alors p+q. Par définition d'une quadrique, le rang de Q ne peut être nul.
Lorsque le rang est égal à 3, la quadrique admet un centre de symétrie.
Rang | Signature | Quadrique non dégénérée | Quadrique dégénérée |
3 | (3,0) ou (0,3) | ellipsoïde | ou point |
(2,1) ou (1,2) | hyperboloïde à 1 ou 2 nappes ou cône | ||
2 | (2,0) ou (0,2) | paraboloïde elliptique ou cylindre elliptique | ou droite |
(1,1) | paraboloïde hyperbolique ou cylindre hyperbolique | réunion de deux plans | |
1 | (1,0) ou (0,1) | cylindre parabolique | ou plan ou réunion de deux plans |
Pour simplifier, les coordonnées seront toujours notées x, y et z, après les différents changements de repères orthonormés qui vont suivre.
La matrice de la forme quadratique, de valeurs propres notées , , , est diagonalisable à l'aide d'une matrice de passage orthogonale. Dans un nouveau repère orthonormé, l'équation de la surface s'écrit
Lorsqu'une des valeurs propres est non nulle, par exemple , il est possible de centrer la coordonnée correspondante:
ce qui revient à effectuer une translation ou un changement d'origine du repère.
puis après un dernier changement de repère orthonormé
Si P est nul, on obtient un plan si L est nul, et la réunion de deux plans ou l'ensemble vide, selon que L est du signe de β ou non. Sinon, il s'agit d'un cylindre parabolique.
Plus généralement, dans un espace de dimension D, si les coordonnées de l'espace sont , la quadrique générale est une hypersurface définie par l'équation algébrique :
pour un choix spécifique de Q, P et R.
L'équation normalisée pour une quadrique non dégénérée centrée à l'origine est de la forme :