L’étude fondamentale des coniques géométriques structure intimement toute la géométrie analytique et euclidienne moderne. En effet, ces courbes planes unifient algébriquement des objets distincts comme le cercle, l’ellipse, la parabole et l’hyperbole.
Définitions Formelles des Coniques géométriques
Soit $\mathcal{P}$ un plan affine euclidien orienté. La définition monofocale permet d’unifier rigoureusement ces ensembles topologiques complexes.
Définition par Foyer, Directrice et Excentricité
Considérons un point fixe $F$, formellement appelé foyer. Soit une droite affine $\mathcal{D}$ ne contenant pas $F$, nommée directrice.
Fixons un réel strictement positif $e > 0$, identifié comme l’excentricité métrique. La conique $\mathcal{C}$ est le lieu exact des points $M$ vérifiant le rapport suivant :
$$ M \in \mathcal{C} \iff \frac{d(M, F)}{d(M, \mathcal{D})} = e $$La valeur algébrique de $e$ classifie instantanément la nature topologique absolue de la courbe générée :
- Si $e = 1$, la courbe $\mathcal{C}$ est une parabole strictement ouverte.
- Si $0 < e < 1$, l'ensemble géométrique forme une ellipse fermée et bornée.
- Si $e > 1$, la conique définit une hyperbole constituée de deux branches distinctes.
Théorèmes et Propriétés fondamentales
L’approche algébrique complète parfaitement la vision purement géométrique. Elle traduit ces lieux en équations polynomiales.
L’Équation Cartésienne Générale
Dans un repère orthonormé quelconque $\mathcal{R} = (O, \vec{i}, \vec{j})$, toute conique annule un polynôme réel du second degré.
$$ Ax^2 + Bxy + Cy^2 + Dx + Ey + F = 0 $$Les coefficients algébriques réels $(A, B, C)$ ne sont jamais simultanément nuls. L’invariant métrique fondamental, noté $\Delta$, détermine directement le genre topologique.
$$ \Delta = B^2 – 4AC $$Théorème de la Réduction Quadratique
Le théorème spectral affirme l’existence systématique d’un repère orthonormé adapté. Ce repère principal annule rigoureusement le terme croisé bilinéaire $Bxy$.
Par conséquent, une simple rotation vectorielle du repère aligne parfaitement les axes de la conique avec les vecteurs de base spatiaux.
Démonstrations rigoureuses en géométrie
L’expression analytique en coordonnées polaires démontre l’universalité de la définition monofocale par foyer et directrice.
Preuve de l’Équation Polaire Focale
Établissons rigoureusement l’expression du rayon vecteur. Plaçons l’origine géométrique du repère polaire exactement au foyer $F$.
Orientons l’axe polaire perpendiculairement à la droite directrice $\mathcal{D}$. Soit le scalaire $p > 0$ définissant la distance orthogonale constante entre $F$ et $\mathcal{D}$.
Preuve : Soit un point $M$ paramétré par ses coordonnées polaires $(r, \theta)$. La distance focale euclidienne se réduit trivialement à l’égalité $d(M, F) = r$.
La distance projetée à la directrice affine nécessite une décomposition trigonométrique stricte :
$$ d(M, \mathcal{D}) = p – r \cos(\theta) $$Substituons ces expressions métriques dans la définition focale fondamentale de la conique.
$$ r = e(p – r \cos(\theta)) $$Développons linéairement cette équation algébrique pour extraire les variables associées.
$$ r = ep – er \cos(\theta) $$Regroupons stratégiquement les termes radiaux à gauche de l’égalité et factorisons immédiatement le rayon vecteur $r$.
$$ r + er \cos(\theta) = ep \implies r(1 + e \cos(\theta)) = ep $$Divisons enfin par le facteur trigonométrique, rigoureusement non nul pour les angles valides, afin d’isoler la fonction radiale.
$$ r(\theta) = \frac{ep}{1 + e \cos(\theta)} $$Cette forme polaire universelle génère toutes les coniques non dégénérées. L’équivalence analytique absolue est donc formellement démontrée. $\blacksquare$
Exemples et Contre-exemples analytiques
L’analyse des cas singuliers révèle les limites structurelles de l’équation polynomiale générale du second degré.
Exemple Paramétré : L’Ellipse Standard
Imposons algébriquement une excentricité $e = 1/2$. Cette contrainte métrique garantit topologiquement la formation d’une ellipse.
En alignant le centre de symétrie avec l’origine $(0,0)$, l’équation cartésienne adopte sa forme réduite canonique classique :
$$ \frac{x^2}{a^2} + \frac{y^2}{b^2} = 1 $$La relation pythagoricienne intrinsèque relie les demi-axes $a, b$ et la distance au foyer $c$. L’excentricité se déduit rationnellement.
$$ a^2 = b^2 + c^2 \implies e = \frac{c}{a} = \frac{1}{2} $$Contre-exemple : La Conique Imaginaire Vide
Toute équation quadratique réelle ne caractérise pas inévitablement une trace géométrique observable dans le plan affine réel.
Analysons l’équation polynomiale homogène strictement additive suivante :
$$ x^2 + y^2 + 1 = 0 $$Le calcul algébrique du discriminant donne $\Delta = 0^2 – 4(1)(1) = -4 < 0$. Ce résultat classifie virtuellement l'équation dans la famille elliptique.
Néanmoins, la somme stricte de deux carrés réels et d’une constante unité positive est inconditionnellement non nulle sur $\mathbb{R}^2$. L’ensemble solution géométrique est donc topologiquement vide.