L’étude systématique des équations cartésiennes des coniques constitue le socle algébrique formel de la géométrie analytique plane. En effet, cette approche unifiée permet de classifier rigoureusement toutes les trajectoires quadratiques via l’analyse matricielle.
Définitions Formelles des Équations cartésiennes des coniques
Soit $\mathcal{E}$ un plan affine euclidien rapporté à un repère orthonormé canonique $\mathcal{R} = (O, \vec{i}, \vec{j})$.
Une conique est formellement définie comme le lieu géométrique analytique des points $M(x,y)$ annulant un polynôme scalaire de degré 2.
$$ P(x,y) = Ax^2 + Bxy + Cy^2 + Dx + Ey + F = 0 $$Les coefficients canoniques $(A, B, C, D, E, F)$ sont strictement des nombres réels. Dès lors, la condition algébrique vitale exige que le triplet directeur $(A, B, C)$ soit non nul.
Matrice de la Forme Quadratique
La partie homogène purement quadratique de ce polynôme est intimement régie par une matrice symétrique fondamentale. Nous la notons classiquement $Q$.
$$ Q = \begin{pmatrix} A & B/2 \\ B/2 & C \end{pmatrix} $$Le déterminant algébrique de cette matrice extraite, noté $\Delta = 4AC – B^2$, constitue l’invariant géométrique principal du système.
Théorèmes et Réduction des Coniques
Le processus analytique de réduction consiste à déterminer un repère géométrique propre simplifiant drastiquement l’équation polynomiale initiale.
Théorème de Réduction Orthogonale
Ainsi, pour toute conique réelle, il existe un repère orthonormé adapté annulant strictement le terme croisé bilinéaire $Bxy$.
Preuve : La matrice bloc $Q$ est strictement réelle et symétrique. Par le théorème spectral fondamental, elle est inévitablement diagonalisable dans une base orthonormée. Il existe donc une matrice de rotation pure $P \in \mathcal{SO}(2)$ et une matrice diagonale $D$ satisfaisant l’égalité matricielle :
$$ Q = P D P^{-1} $$Soient $(x’, y’)$ les nouvelles coordonnées spatiales issues de ce changement de base isométrique. Le polynôme quadratique devient trivialement :
$$ \lambda_1 x’^2 + \lambda_2 y’^2 + D’x’ + E’y’ + F’ = 0 $$Les valeurs propres réelles $\lambda_1$ et $\lambda_2$ deviennent les nouveaux coefficients directeurs principaux. Par conséquent, le terme d’interaction croisée a rigoureusement disparu. $\blacksquare$
Classification Topologique par l’Invariant $\Delta$
Le signe algébrique du déterminant $\Delta = 4\lambda_1\lambda_2$ classifie topologiquement la nature de la courbe étudiée.
- Si $\Delta > 0$, l’équation cartésienne décrit nécessairement une ellipse fermée (ou un ensemble vide).
- Si $\Delta = 0$, la conique est topologiquement une parabole de direction fixe.
- Si $\Delta < 0$, le lieu géométrique engendre une hyperbole stricte à deux branches.
Exemples et Contre-exemples Algébriques
L’analyse détaillée du polynôme quadratique général permet de distinguer les cas géométriques réguliers des configurations algébriques dégénérées.
Exemple Algébrique : Le Cercle Paramétré
Considérons une équation cartésienne restreinte où $A = C = 1$ et $B = 0$. Le déterminant invariant est $\Delta = 4 > 0$.
$$ x^2 + y^2 – 2Rx – 2Ry + R^2 = 0 $$Factorisons méticuleusement cette expression polynomiale par la méthode de complétion des carrés parfaits.
$$ (x – R)^2 + (y – R)^2 = R^2 $$Cette équation cartésienne réduite modélise un cercle euclidien parfait de rayon $R$, strictement centré au point $C(R, R)$.
Contre-exemple : La Parallèle Dégénérée
Une équation quadratique ne génère pas inéluctablement une courbe conique continue classique. Analysons l’équation polynomiale suivante :
$$ x^2 – 4x + 4 = 0 $$Ici, la matrice quadratique possède un déterminant trivial $\Delta = 0$. C’est formellement le genre parabolique asymptotique. Cependant, la factorisation algébrique révèle un unique carré parfait isolé.
$$ (x – 2)^2 = 0 \implies x = 2 $$Par suite, la variable scalaire $y$ demeure totalement libre dans l’espace. Ce lieu géométrique dégénère en une unique droite verticale doublée. Ce n’est absolument pas une parabole régulière focale.