L’étude rigoureuse de l’hyperbole : définitions, exemples et corollaires connues, constitue une base incontournable de la géométrie analytique euclidienne. En effet, cette conique non bornée modélise des trajectoires orbitales ouvertes et de nombreux phénomènes physiques dispersifs.
Définitions Formelles de l’Hyperbole
Soit $\mathcal{P}$ un plan affine euclidien orienté. L’hyperbole se définit usuellement par deux approches géométriques strictement équivalentes.
Définition Bifocale Métrique
Considérons deux points distincts $F$ et $F’$, appelés foyers, séparés par une distance focale $2c > 0$. Soit un réel strictement positif $a$ tel que $a < c$.
L’hyperbole $\mathcal{H}$ est le lieu géométrique exact des points $M$ vérifiant la relation métrique absolue suivante :
$$ |MF – MF’| = 2a $$La constante $2a$ représente algébriquement la longueur de l’axe transverse reliant les deux sommets principaux de la conique.
Définition par Foyer et Directrice
Alternativement, soit une droite projective $\mathcal{D}$ appelée directrice. Considérons un point $F \notin \mathcal{D}$ et un réel $e > 1$ nommé excentricité.
L’hyperbole est l’ensemble rigoureux des points $M$ satisfaisant l’égalité des rapports de distances euclidiennes :
$$ \frac{d(M, F)}{d(M, \mathcal{D})} = e $$Théorèmes et Équations Cartésiennes
La structure algébrique de l’hyperbole se révèle par la paramétrisation de son équation dans un repère orthonormé spécifique.
Équation Réduite Canonique
Plaçons-nous dans le repère centré au milieu $O$ du segment focal $[F, F’]$. L’axe focal est confondu avec l’axe des abscisses.
L’équation cartésienne prend alors sa forme réduite fondamentale, caractérisant les deux branches infinies :
$$ \frac{x^2}{a^2} – \frac{y^2}{b^2} = 1 $$Ici, le paramètre géométrique $b$ est rigoureusement défini par la relation pythagoricienne intrinsèque :
$$ b^2 = c^2 – a^2 $$Corollaire des Droites Asymptotes
Cette conique admet exactement deux droites asymptotes obliques passant sécantes par l’origine $O$.
Leurs équations affines découlent directement de l’équation réduite évaluée à l’infini topologique :
$$ y = \frac{b}{a}x \quad \text{et} \quad y = -\frac{b}{a}x $$Démonstrations Rigoureuses des Propriétés
La dérivation de l’équation réduite à partir de la définition bifocale constitue une preuve incontournable de l’algèbre géométrique.
Preuve de l’Équation Canonique
Preuve : Dans le repère orthonormé $(O, \vec{i}, \vec{j})$, les coordonnées des foyers sont rigoureusement $F(c, 0)$ et $F'(-c, 0)$. Soit un point $M(x, y) \in \mathcal{H}$. Traduisons la définition bifocale :
$$ \sqrt{(x-c)^2 + y^2} – \sqrt{(x+c)^2 + y^2} = \pm 2a $$Isolons le premier radical algébrique et élevons l’équation globale au carré pour éliminer partiellement les racines carrées.
$$ (x-c)^2 + y^2 = 4a^2 \pm 4a\sqrt{(x+c)^2 + y^2} + (x+c)^2 + y^2 $$Développons les identités remarquables et simplifions immédiatement les termes polynomiaux redondants de chaque côté.
$$ x^2 – 2cx + c^2 + y^2 = 4a^2 \pm 4a\sqrt{(x+c)^2 + y^2} + x^2 + 2cx + c^2 + y^2 $$Nous obtenons une équation linéaire résiduelle beaucoup plus simple, contenant une unique racine carrée.
$$ -4cx = 4a^2 \pm 4a\sqrt{(x+c)^2 + y^2} $$Divisons intégralement par le scalaire 4 et isolons à nouveau le radical pour préparer la seconde élévation.
$$ -cx – a^2 = \pm a\sqrt{(x+c)^2 + y^2} $$Élevons une seconde et dernière fois au carré. Cette opération algébrique garantit l’élimination totale et définitive des racines.
$$ c^2x^2 + 2a^2cx + a^4 = a^2(x^2 + 2cx + c^2 + y^2) $$Distribuons et regroupons les variables spatiales $x$ et $y$ pour construire la forme cartésienne finale.
$$ c^2x^2 + a^4 = a^2x^2 + a^2c^2 + a^2y^2 $$ $$ (c^2 – a^2)x^2 – a^2y^2 = a^2(c^2 – a^2) $$Utilisons l’identité géométrique fondamentale définissant le demi-axe conjugué : $b^2 = c^2 – a^2$.
$$ b^2x^2 – a^2y^2 = a^2b^2 $$En divisant rigoureusement par le terme constant non nul $a^2b^2$, nous retrouvons exactement l’équation réduite annoncée. L’équivalence logique est donc parfaitement démontrée. $\blacksquare$
Exemples et Corollaires Connues
L’étude analytique de configurations paramétriques spécifiques permet d’illustrer la grande diversité topologique de l’hyperbole dans le plan.
Exemple Paramétré : L’Hyperbole Équilatère
Une hyperbole est qualifiée d’équilatère si ses deux axes orthogonaux possèdent des longueurs strictement égales. Nous posons formellement $a = b$.
L’équation canonique se simplifie considérablement. L’excentricité métrique de cette courbe devient une constante algébrique pure et universelle.
$$ x^2 – y^2 = a^2 \implies e = \frac{c}{a} = \frac{\sqrt{2a^2}}{a} = \sqrt{2} $$Les droites asymptotes de cette hyperbole spécifique sont rigoureusement perpendiculaires, d’équations analytiques $y = x$ et $y = -x$. La fonction inverse classique $y = 1/x$ en est une représentation pivotée.
Contre-exemple : La Conique Dégénérée
Que se passe-t-il topologiquement si nous modifions le terme constant unitaire de l’équation réduite canonique ?
Considérons l’équation cartésienne homogène suivante, où la constante strictement positive est remplacée par le scalaire zéro.
$$ \frac{x^2}{a^2} – \frac{y^2}{b^2} = 0 $$En factorisant algébriquement cette différence classique de carrés, nous obtenons immédiatement un produit nul.
$$ \left(\frac{x}{a} – \frac{y}{b}\right)\left(\frac{x}{a} + \frac{y}{b}\right) = 0 $$Ce lieu géométrique spécifique n’est absolument pas une courbe non bornée régulière. Il s’agit strictement de la réunion géométrique de deux droites sécantes. C’est le cas typique d’une hyperbole dégénérée.