Catégorie : Niveau Prépa

Soient deux réels $a$ et $b$ fixés et un réel $h$ tel que $ab-h^2\neq 0.$

Dans un plan muni d’un repère $(O,\vv{i},\vv{j})$, vous étudiez la conique $\mathscr{C}$ formée par l’ensemble des points $M$ de coordonnées $(x,y)$ dans ce repère qui vérifient l’équation suivante :

ax^2+2hxy+by^2=1.

Dans cette chronique vous supposez que l’équation caractéristique $\boxed{\left(a-\frac{1}{r^2}\right)\left(b-\frac{1}{r^2}\right) = h^2}$ d’inconnue $r\in\R$ n’a pas de solution réelle.

Traitez le cas où $h$ est nul

Si $h$ est nul, alors l’équation caractéristique devient :

\left(a-\frac{1}{r^2}\right)\left(b-\frac{1}{r^2}\right) = 0.

Du coup, il est impossible d’avoir $a>0$ (sinon vous choisissez $r = \frac{1}{\sqrt{a}}$ qui est solution.) De même il est impossible d’avoir $b>0$.

Donc $a$ et $b$ sont négatifs.

D’autre part, $ab \neq h^2$ s’écrit $ab \neq 0$ donc $a<0$ et $b<0.$

Sous cette hypothèse, la conique admet pour équation :

ax^2+by^2=1.

Le membre de gauche est négatif et celui de droite est strictement positif donc la conique est vide.

Traitez le cas où $h$ est non nul

Pour tout réel $r$ non nul, l’équation caractéristique n’est pas vérifiée donc :

\begin{align*}
\left(a-\frac{1}{r^2}\right)\left(b-\frac{1}{r^2}\right)&\neq h^2 \\
(ar^2-1)(br^2-1) &\neq h^2r^4\\
abr^4-(a+b)r^2+1 &\neq h^2r^4\\
(ab-h^2)r^4-(a+b)r^2+1 &\neq 0.
\end{align*}

Cela suggère d’étudier le polynôme $(ab-h^2)X^2-(a+b)X+1$ qui est bien de degré $2$ puisque $ab-h^2$ est non nul.

Le discriminant de ce trinôme vaut :

\begin{align*}
(a+b)^2-4(ab-h)^2 &= a^2+b^2+2ab-4ab+4h^2\\
&=(a-b)^2+4h^2. 
\end{align*}

Comme $h$ est non nul, $h^2$ est strictement positif et par somme le discriminant est strictement positif.

Le trinôme $(ab-h^2)X^2-(a+b)X+1$ admet ainsi deux racines réelles distinctes $x_1$ et $x_2.$

Utilisant les relations entre les coefficients et les racines, vous avez :

\begin{align*}
x_1+x_2 &= \frac{a+b}{ab-h^2}\\
x_1 x_2 &= \frac{1}{ab-h^2}.
\end{align*}

Si $x_1$ est strictement positif, vous posez $r = \sqrt{x_1}$ et déduisez que $r^2 = x_1$ et $(ab-h^2)r^4-(a+b)r^2+1 = 0.$ En divisant par $r^4$ qui est non nul vous déduisez $\left(a-\frac{1}{r^2}\right)\left(b-\frac{1}{r^2}\right) = h^2$ donc l’équation caractéristique n’est pas sans solution, ce qui est absurde.

Le même raisonnement tient pour $x_2.$

Vous déduisez que $x_1$ et $x_2$ sont négatifs.

Leur produit est égal à $\frac{1}{ab-h^2}$ qui est non nul. Donc $x_1<0$, $x_2<0$ et $ab-h^2 > 0.$

Comme $ab > h^2 > 0$ les réels $a$ et $b$ ont le même signe.

Comme $x_1<0$ et $x_2<0$, vous avez par somme $x_1+x_2< 0.$ Comme $x_1+x_2 = \frac{a+b}{ab-h^2}$ vous déduisez $a+b < 0$ et du coup $a<0$ et $b<0.$

Quels que soient les réels $x$ et $y:$

\begin{align*}
ax^2+2hxy+by^2=1 &\Longleftrightarrow a^2x^2+2ahxy+aby^2=a \\
 &\Longleftrightarrow  (ax+hy)^2+(ab-h^2)y^2=a.
\end{align*}

Le membre de gauche est positif comme somme de deux nombres positifs et celui de droite est strictement négatif donc la conique est vide.

Concluez

Vous déduisez de cette étude que lorsque l’équation caractéristique $\boxed{\left(a-\frac{1}{r^2}\right)\left(b-\frac{1}{r^2}\right) = h^2}$ d’inconnue $r\in\R$ n’a pas de solution réelle, alors la conique à centre $\mathscr{C}$ est vide.

Soient deux réels $a$ et $b$ fixés et ainsi qu’un réel $h$ non nul. Dans un plan muni d’un repère $(O,\vv{i},\vv{j})$, vous étudiez la conique $\mathscr{C}$ formée par l’ensemble des points $M$ de coordonnées $(x,y)$ dans ce repère qui vérifient l’équation suivante :

ax^2+2hxy+by^2=1.

Vous constatez déjà que pour tout point $M(x,y)$ appartenant à $\mathscr{C}$, le point $M'(-x,-y)$ appartient aussi à $\mathscr{C}.$ L’origine du repère est centre de symétrie de $\mathscr{C}.$

Découvrez l’origine de l’équation caractéristique

Dans le cas où la conique $\mathscr{C}$ est une ellipse, vous trouvez ses deux sommets du grand axe comme étant les points d’intersection de la conique $\mathscr{C}$ et d’un cercle de centre $O$ et de rayon $r$ strictement positif bien choisi, pour que ce cercle soit tangent à la conique au niveau des sommets recherchés. Vous changez le rayon et trouverez les deux sommets du petit axe.

Soit $r$ un réel strictement positif. Notez $C$ le cercle de centre $O$ et de rayon $r$ qui a pour équation $\frac{x^2+y^2}{r^2}=1.$

Les points d’intersection de $\mathscr{C}$ et de $C$ vérifient l’équation :

\begin{array}{l}
\displaystyle ax^2+2hxy+by^2=\frac{x^2+y^2}{r^2}\\
\displaystyle \left(a-\frac{1}{r^2}\right)x^2+2hxy+\left(b-\frac{1}{r^2}\right)y^2 = 0.
\end{array}

Notez alors $\mathscr{C’}$ la conique dégénérée représentée par l’équation :

\left(a-\frac{1}{r^2}\right)x^2+2hxy+\left(b-\frac{1}{r^2}\right)y^2 = 0.

Ecartez la possibilité du déterminant strictement positif

Supposez un instant que $r$ soit choisi pour obtenir $\left(a-\frac{1}{r^2}\right)\left(b-\frac{1}{r^2}\right) – h^2 > 0.$

Alors une rotation de centre $O$ du repère amène à l’équation $AX^2+BY^2=0$ avec $A$ et $B$ de même signe et non nuls. Cela conduit à avoir $X=Y=0$, et donc $x=y=0$, cas à rejeter, puisque l’intersection de la conique $\mathscr{C}’$ et de la conique $\mathscr{C}$ serait vide et ne permettrait pas d’arriver sur les sommets de l’ellipse.

Ecartez la possibilité du déterminant strictement négatif

Supposez un instant que $r$ soit choisi pour obtenir $\left(a-\frac{1}{r^2}\right)\left(b-\frac{1}{r^2}\right) – h^2 < 0.$

Alors une rotation de centre $O$ du repère amène à l’équation $AX^2+BY^2=0$ avec $A$ et $B$ de signes contraires et non nuls. Cela conduit à avoir la réunion de deux droites sécantes à l’origine qui formeront 4 points d’intersection avec la conique $\mathscr{C}$ ce que vous souhaitez éviter.

Concluez

De ce qui précède, vous choisissez $r>0$ pour annuler le déterminant $2\times 2$ ce qui fournit :

\left(a-\frac{1}{r^2}\right)\left(b-\frac{1}{r^2}\right) = h^2.

Vous vous attendez, dans le cas de l’ellipse, à ce que cette conique soit celle du grand axe ou celle du petit axe lorsque $r$ vérifie cette équation. Cela n’est à ce stade qu’une conjecture.

Cela semble suffisamment important pour suggérer la définition suivante :

L’équation $\boxed{\left(a-\frac{1}{r^2}\right)\left(b-\frac{1}{r^2}\right) = h^2}$ d’inconnue $r\in\R$ est appelée équation caractéristique de la conique $\mathscr{C}.$

Prolongement

Vous souhaitez savoir ce qu’il advient lorsque l’équation caractéristique susmentionnée n’admet aucune solution réelle ? Allez jeter un coup d’oeil dans l'article 246.

Etant donnés six réels $a, b, c, f, g$ et $h$ et un plan muni d’un repère $(O,\vv{i},\vv{j})$, vous étudiez la conique $\mathscr{C}$ formée par l’ensemble des points $M$ de coordonnées $(x,y)$ dans ce repère qui vérifient l’équation suivante :

ax^2+2hxy+by^2+2gx+2fy+c=0.

Vous supposez que :

\left\{\begin{array}{ll}
\begin{vmatrix}a & h  \\
h & b \\
\end{vmatrix} \neq 0\\
\\
\begin{vmatrix}a & h & g \\
h & b & f \\
g& f & c
\end{vmatrix} \neq 0.
\end{array}\right.

Dans ces conditions, l’ensemble $\mathscr{C}$ est soit une ellipse (si $ab-h^2>0$), soit une hyperbole (si $ab-h^2<0$), soit l’ensemble vide $\varnothing.$

En effet, comme $ab-h^2\neq 0$ le système ci-dessous admet une solution unique $(u,v)$ telle que :

\left\{\begin{align*}
au+hv+g&=0\\
hu+bv+f&=0.
\end{align*}\right.

Effectuez un changement d’origine du repère

Posez $X = x-u$ et $Y=y-v$ et considérez le point $\Omega$ de coordonnées $(u,v)$ dans le repère $(O,\vv{i},\vv{j}).$

\begin{align*}
ax^2+2hxy+by^2+2gx+2fy+c=0 &\Longleftrightarrow a(X+u)^2+2h(X+u)(Y+v)+b(Y+v)^2\\&\qquad+2g(X+u)+2f(Y+v)+c=0 \\
&\Longleftrightarrow a(X^2+u^2+2uX)\\&\qquad+2h(XY+vX+uY+uv)
\\&\qquad +b(Y^2+v^2+2vY)
\\&\qquad +2g(X+u)+2f(Y+v)+c=0\\
&\Longleftrightarrow aX^2+2hXY+bY^2
\\&\qquad +(2au+2hv+2g)X+(2hu+2bv+2f)Y\\
&\qquad +au^2+2huv +bv^2 + 2gu +2fv+c=0\\
&\Longleftrightarrow aX^2+2hXY+bY^2 \\
&\qquad +au^2+2huv +bv^2 + 2gu +2fv+c = 0\\
&\Longleftrightarrow aX^2+2hXY+bY^2 \\
&\qquad +au^2+huv +huv +bv^2 +gu + gu +fv +fv+c = 0\\
&\Longleftrightarrow aX^2+2hXY+bY^2 \\
&\qquad +u(au+hv+g)+v(hu+bv+f)   + gu  +fv+c = 0\\
&\Longleftrightarrow aX^2+2hXY+bY^2  + gu  +fv+c = 0.
\end{align*}

De part les propriétés du déterminant :

\begin{align*}
\begin{vmatrix}a & h & g \\
h & b & f \\
g& f & c
\end{vmatrix}  &= \begin{vmatrix}a & h & au+hv+g \\
h & b & hu+gv+f \\
g& f & gu+fv+c
\end{vmatrix} \\
 &= \begin{vmatrix}a & h & 0 \\
h & b & 0 \\
g& f & gu+fv+c
\end{vmatrix} \\
&=  (gu+fv+c) \begin{vmatrix}a & h \\
h & b 
\end{vmatrix} .
\end{align*}

Comme $\begin{vmatrix}a & h & g \\h & b & f \\ g& f & c \end{vmatrix}\neq 0$ vous déduisez que $gu+fv+c \neq 0.$

Posez alors :

\begin{align*}
A &= \frac{a}{gu+fv+c}\\
H &= \frac{h}{gu+fv+c}\\
B &= \frac{b}{gu+fv+c}.
\end{align*}

L’ensemble $\mathscr{C}$ est donc décrit par l’équation $\boxed{AX^2+2HXY+BY^2 =1.}$

Par souci de lisibilité vous allez noter encore par $x$ et $y$ les coordonnées du point $M$ mais cette fois-ci dans le repère $(\Omega,\vv{i},\vv{j}).$

D’après ce qui a été établi, vous avez montré que, pour tout point $M$ de coordonnées $(x,y)$ dans le repère $(\Omega,\vv{i},\vv{j}):$

M\in\mathscr{C} \Longleftrightarrow Ax^2+2Hxy+By^2=1.

Effectuez une rotation du repère $(\Omega,\vv{i},\vv{j})$

Soit $\theta$ un nombre réel, il sera choisi plus tard. Considérez la base $(\vv{u}, \vv{v})$ obtenue en faisant subir à la base $(\vv{i}, \vv{j})$ une rotation d’angle $\theta.$

Vous notez $(x,y)$ les coordonnées d’un point $M$ du plan dans le repère $(\Omega,\vv{i},\vv{j})$ et $(X,Y)$ ses coordonnées dans le repère $(\Omega,\vv{u},\vv{v}).$

Dès lors :

\begin{align*}
x&=X\cos\theta-Y\sin\theta \\
y&=X\sin\theta+Y\cos\theta.
\end{align*}

Note. La rotation d’angle $-\theta$ permet d’inverser les relations ci-dessus, donc :

\begin{align*}
X&=x\cos\theta+y\sin\theta \\
Y&=-x\sin\theta+y\cos\theta.
\end{align*}

Vous obtenez :

\begin{align*}
Ax^2+2Hxy+By^2 = 1 &\Longleftrightarrow A(X\cos\theta-Y\sin\theta)^2\\
&\qquad + 2H(X\cos\theta - Y\sin\theta)(X\sin\theta+Y\cos\theta)\\
&\qquad +B(X\sin\theta + Y\cos\theta)^2=1\\
&\Longleftrightarrow A(X^2\cos^2\theta+Y^2\sin^2\theta-2XY\sin\theta\cos\theta)^2\\
&\qquad +2H(X^2\sin\theta\cos\theta +XY(\cos^2\theta - \sin^2\theta)-Y^2\sin\theta\cos\theta)\\
&\qquad +B(X^2\sin^2\theta+Y^2\cos^2\theta+2XY\sin\theta\cos\theta) = 1\\
&\Longleftrightarrow (A\cos^2\theta +2H\sin\theta\cos\theta + B\sin^2\theta)X^2\\
&\qquad +2((B-A)\sin\theta \cos\theta + H(\cos^2\theta-\sin^2\theta))XY\\
&\qquad +(A\sin^2\theta -2H\sin\theta\cos\theta + B\cos^2\theta)Y^2 = 1.
\end{align*}

L’annulation du terme croisé $XY$ est possible.

En effet, si $a=b$ alors $A=B$ et vous choisissez $\theta = \pi/4.$

Si $a\neq b$ vous avez aussi $B-A\neq 0$ et vous posez $\theta = \frac{1}{2}\mathrm{Arctan}\frac{-2H}{B-A}.$

Alors $2\theta = \mathrm{Arctan} \frac{-2H}{B-A}$ et $2\theta \in ]-\pi/2, \pi/2[$ du coup $\cos 2\theta \neq 0$ et $\tan 2\theta = \frac{-2H}{B-A}$ ce qui se traduit par $\frac{\sin 2\theta}{\cos 2\theta} = \frac{-2H}{B-A}$ et donc:

\begin{align*}
(B-A)\sin2 \theta  + 2H \cos 2\theta&= 0\\
2(B-A)\sin \theta \cos\theta + 2H (\cos^2\theta - \sin^2\theta)&= 0\\
(B-A)\sin \theta \cos\theta + H (\cos^2\theta - \sin^2\theta)&= 0.
\end{align*}

Dans le repère $(\Omega,\vv{u},\vv{v})$ l’ensemble $\mathscr{C}$ est décrit par l’équation suivante:

 (A\cos^2\theta +2H\sin\theta\cos\theta + B\sin^2\theta)X^2+(A\sin^2\theta -2H\sin\theta\cos\theta + B\cos^2\theta)Y^2 = 1.

Il a été démontré qu’une rotation du repère ne modifie pas la valeur du déterminant d’ordre $2.$ Vous êtes invité à vous référer au contenu écrit dans l'article 241.

Ainsi :

\begin{align*}
 (A\cos^2\theta +2H\sin\theta\cos\theta + B\sin^2\theta)(A\sin^2\theta -2H\sin\theta\cos\theta + B\cos^2\theta) - 0^2 &=AB-H^2\\
&=\frac{ab-h^2}{(gu+fv+c)^2}.
\end{align*}

Comme $ab-h^2$ est non nul, les deux nombres $A\cos^2\theta +2H\sin\theta\cos\theta + B\sin^2\theta$ et $A\sin^2\theta -2H\sin\theta\cos\theta + B\cos^2\theta$ sont non nuls.

Posez alors $k = \sqrt{\vert A\cos^2\theta +2H\sin\theta\cos\theta + B\sin^2\theta \vert}$ et $\ell = \sqrt{\vert A\sin^2\theta -2H\sin\theta\cos\theta + B\cos^2\theta \vert}$ pour conclure que $\mathscr{C}$ admet pour équation :

\pm \frac{X^2}{k^2} \pm \frac{Y^2}{\ell^2} = 1.

Selon les signes, vous obtenez soit l’ensemble vide $\varnothing$ soit une ellipse, soit une hyperbole.

Déterminez une équation de la réunion des deux axes

Supposez que $\mathscr{C}$ soit non vide.

Si $h$ est nul, l’axe des abscisses et l’axe des ordonnées sont déjà les deux axes de $\mathscr{C}.$

Supposez maintenant que $h$ soit non nul.

Un point $M$ de coordonnées $(X,Y)$ dans le repère $(\Omega,\vv{u},\vv{v})$ appartient à l’un des deux axes de $\mathscr{C}$, si et seulement si, $X=0$ ou $Y = 0.$ Notez $(x,y)$ les coordonnées de $M$ dans le repère $(\Omega,\vv{i},\vv{j}).$

Cette condition fournit les équivalences :

\begin{align*}
X=0\text{ ou }Y=0 &\Longleftrightarrow XY=0\\ 
 &\Longleftrightarrow (x\cos\theta+y\sin\theta)(-x\sin\theta+y\cos\theta) = 0\\
&\Longleftrightarrow (y^2-x^2)\sin\theta\cos\theta+xy(\cos^2\theta-\sin^2\theta) = 0\\
&\Longleftrightarrow (y^2-x^2)\sin\theta\cos\theta+xy \cos 2\theta= 0\\
&\Longleftrightarrow  (y^2-x^2)\sin2 \theta+2xy \cos 2\theta= 0.
\end{align*}

Dans le cas où $a=b$, vous avez $\theta = \pi/4$ donc $2\theta = \pi/2$ donc :

\begin{align*}
X=0\text{ ou }Y=0  &\Longleftrightarrow  y^2-x^2= 0.
\end{align*}

Dans le cas où $a\neq b$, il a été vu que $\cos 2\theta \neq 0$ et que $\tan 2\theta = \frac{-2H}{B-A} = \frac{-2h}{b-a}.$

Ainsi :

\begin{align*}
X=0\text{ ou }Y=0 &\Longleftrightarrow  (y^2-x^2)\tan2 \theta+2xy = 0\\
 &\Longleftrightarrow  (y^2-x^2)\frac{-2h}{b-a}+2xy = 0\\
&\Longleftrightarrow  -2h(y^2-x^2)+2(b-a)xy = 0\\
&\Longleftrightarrow  hx^2+(b-a)xy -hy^2= 0.
\end{align*}

Remarquez que lorsque $a=b$ et après division par $h$ vous retrouvez l’équation $x^2-y^2=0.$

Concluez

Ellipse ou hyperbole centrées à l’origine

Soient trois nombres réels $a, b$ et $h$ tels que :

\begin{vmatrix}a & h  \\
h & b \\
\end{vmatrix} \neq 0.

Alors la conique $\mathscr{C}$ formée par l’ensemble des points $M$ tel que :

ax^2+2hxy+by^2 = 1

est soit une hyperbole, soit une ellipse, soit l’ensemble vide $\varnothing.$

Si la conique $\mathscr{C}$ est non vide et et si $h$ est non nul la réunion des deux axes de $\mathscr{C}$ a pour équation :

\boxed{ hx^2+(b-a)xy -hy^2= 0. }

Si la conique $\mathscr{C}$ est non vide et et si $h$ est nul la réunion des deux axes de $\mathscr{C}$ a pour équation $xy=0.$

Cas général

Soient six réels $a, b, c, f, g$ et $h$ tels que :

\left\{\begin{array}{ll}
\begin{vmatrix}a & h  \\
h & b \\
\end{vmatrix} \neq 0\\
\\
\begin{vmatrix}a & h & g \\
h & b & f \\
g& f & c
\end{vmatrix} \neq 0.
\end{array}\right.

La conique $\mathscr{C}$ formée par l’ensemble des points $M$ de coordonnées $(x,y)$ tels que :

ax^2+2hxy+by^2+2gx+2fy+c=0.

est soit une hyperbole, soit une ellipse, soit l’ensemble vide $\varnothing.$

Dans le cas où la conique $\mathscr{C}$ est non vide, elle admet un centre $\Omega$ de coordonnées $(u,v)$ qui vérifient le système :

\left\{\begin{align*}
au+hv+g&=0\\
hu+bv+f&=0.
\end{align*}\right.

Note. Il est rappelé que le point $\Omega$ n’appartient pas à la conique $\mathscr{C}$ à cause de la non-nullité du déterminant $3\times 3$ précité.

En passant du repère $(\Omega, \vv{i}, \vv{j})$ au repère $(O,\vv{i}, \vv{j})$ vous déduisez dans ces conditions les résultats suivants.

Si $h$ est non nul, la réunion des deux axes de la conique $\mathscr{C}$ est :

\boxed{ h(x-u)^2+(b-a)(x-u)(y-v) -h(y-v)^2= 0. }

Si $h$ est nul, la réunion des deux axes de la conique $\mathscr{C}$ est : $(x-u)(y-v)=0.$

Visualisez

Etant donnés six réels $a, b, c, f, g$ et $h$ et un plan muni d’un repère $(O,\vv{i},\vv{j})$, vous étudiez l’ensemble $\mathscr{C}$ des points $M$ de coordonnées $(x,y)$ dans ce repère qui vérifient l’équation suivante :

ax^2+2hxy+by^2+2gx+2fy+c=0.

Vous établissez la réciproque partielle des résultats obtenus dans l'article 241 et dans l'article 240.

Note. Cette réciproque est effectivement partielle dans la mesure où il sera possible d’obtenir l’ensemble vide ou le plan tout entier.

Vous supposez dans cette chronique que :

\left\{\begin{array}{ll}
\begin{vmatrix}a & h  \\
h & b \\
\end{vmatrix} = ab-h^2 = 0\\
\\
\Delta =
\begin{vmatrix}a & h & g \\
h & b & f \\
g& f & c
\end{vmatrix} = 0.
\end{array}\right.

Développez le déterminant $\Delta$

Comme $ab-h^2=0$ le calcul de $\Delta$ sera facilité en le développant par rapport à la troisième ligne :

\begin{align*}
\Delta &= g
\begin{vmatrix}  h & g \\
 b & f 
\end{vmatrix}-f\begin{vmatrix}  a & g \\
 h & f 
\end{vmatrix} + c \begin{vmatrix}  a & h \\
 h & b 
\end{vmatrix}\\
&= g (hf-gb)-f(af-gh) + c (ab-h^2) \\
&=g (hf-gb)-f(af-gh) +c\times 0\\
&=2fgh-bg^2-af^2.
\end{align*}

Supposez $a$ non nul

Comme $\Delta = 0$ vous déduisez après multiplication par $a:$

\begin{align*}
0 &= -a\times \Delta \\
&=a^2f^2 +abg^2 - 2afgh\\
&=a^2f^2 +h^2g^2 - 2afgh\\
&=(af-gh)^2.
\end{align*}

Vous déduisez de ce résultat que $af-gh = 0.$

\begin{align*}
M\in\mathscr{C}&\Longleftrightarrow ax^2+2hxy+by^2+2gx+2fy+c=0  \\
&\Longleftrightarrow a^2x^2+2ahxy+aby^2+2agx+2afy+ac=0  \\
&\Longleftrightarrow (ax+hy)^2 +(ab-h^2)y^2+2agx+2afy+ac=0  \\
&\Longleftrightarrow (ax+hy)^2 +2gax+2afy+ac=0  \\
&\Longleftrightarrow (ax+hy)^2 +2g(ax+hy)+(2af-2gh)y+ac=0  \\
&\Longleftrightarrow (ax+hy)^2 +2g(ax+hy)+2(af-gh)y+ac=0  \\
&\Longleftrightarrow (ax+hy)^2 +2g(ax+hy)+ac=0  \\
&\Longleftrightarrow (ax+hy)^2 +2g(ax+hy) + g^2 +ac - g^2=0  \\
&\Longleftrightarrow (ax+hy+g)^2 +ac - g^2=0.
\end{align*}

Trois cas se présentent.

Si $ac-g^2 > 0$ alors :

\forall (x,y)\in\R^2, (ax+hy+g)^2 +ac - g^2>0.

Par suite $\mathscr{C} = \varnothing.$

Si $ac-g^2 = 0$ alors :

\begin{align*}
M\in\mathscr{C}
&\Longleftrightarrow (ax+hy+g)^2 =0  \\
&\Longleftrightarrow ax+hy+g =0.
\end{align*}

Comme $a\neq 0$ vous avez $(a,h)\neq (0,0)$ donc $\mathscr{C}$ est une droite.

Si $ac-g^2 <0$ alors le nombre $\delta = \sqrt{g^2-ac}$ est bien défini et est non nul.

\begin{align*}
M\in\mathscr{C}
&\Longleftrightarrow (ax+hy+g)^2 -\delta^2=0  \\
&\Longleftrightarrow (ax+hy+g+\delta)(ax+hy+g-\delta) = 0\\
&\Longleftrightarrow ax+hy+g+\delta = 0\text{ ou } ax+hy+g-\delta = 0.
\end{align*}

Comme $(a,h)\neq (0,0)$ les équations $ax+hy+g+\delta = 0$ et $ax+hy+g-\delta = 0$ sont bien des équations cartésiennes de droites.

Notez $\mathscr{D}_1$ la droite d’équation $ax+hy+g+\delta = 0.$

Notez $\mathscr{D}_2$ la droite d’équation $ax+hy+g-\delta = 0.$

Elles admettent toutes les deux le même vecteur directeur non nul $\vv{d}\begin{pmatrix}-h \\ a \end{pmatrix}$ donc elles sont parallèles.

De plus elles n’ont aucun point en commun. En effet si vous notiez $(p,q)$ les coordonnées d’un tel point, vous auriez :

\begin{align*}
ap+hq+g+\delta = 0\\
ap+hq+g-\delta = 0
\end{align*}

Et par soustraction vous déduisez $2\delta = 0$ et $\delta = 0$ contradiction avec $\delta > 0.$

Donc les droites $\mathscr{D}_1$ et $\mathscr{D}_2$ sont strictement parallèles et $\mathscr{C}$ est leur réunion.

Supposez $a$ nul

La condition $ab-h^2 = 0$ force la nullité de $h.$

La nullité de $\Delta$ fournit :

\begin{align*}
0 &= \Delta\\
 &=2fgh-bg^2-af^2\\
&=-bg^2.
\end{align*}

Si $b$ est nul

Vous avez :

\begin{align*}
M\in\mathscr{C}&\Longleftrightarrow 2gx+2fy+c=0.
\end{align*}

Donc $\mathscr{C}$ est soit une droite, soit l’ensemble vide, soit le plan tout entier.

Si $b$ est non nul

Comme $bg^2 = 0$ le nombre $g$ est nul. Du coup :

\begin{align*}
M\in\mathscr{C}&\Longleftrightarrow by^2+2fy+c=0.
\end{align*}

Pour étudier le trinôme en $y$, obtenu il y a trois possibilités, qui sont récapitulées en détail par souci de complétude.

Si $f^2-bc$ est strictement négatif

Vous écrivez que :

\begin{align*}
\forall y\in\R, b(by^2+2fy+c) &= b^2y^2+2bfy+bc\\
&= (by+f)^2+bc-f^2
\end{align*}

Comme $bc-f^2$ est strictement positif, la somme $(by+f)^2+bc-f^2$ est supérieure à $bc-f^2$ donc elle est strictement positive.

Dès lors :

\forall y\in\R, by^2+2fy+c\neq 0.

Vous déduisez que $\mathscr{C}$ est vide.

Si $f^2-bc$ est nul

Vous avez :

\begin{align*}
M\in\mathscr{C}&\Longleftrightarrow b^2y^2+2bfy+bc=0\\
&\Longleftrightarrow (by+f)^2+bc-f ^2=0\\
&\Longleftrightarrow (by+f)^2=0\\
&\Longleftrightarrow by+f=0\\
&\Longleftrightarrow y =-\frac{f}{b}.
\end{align*}

Vous déduisez que $\mathscr{C}$ est une droite horizontale.

Si $f^2-bc$ est strictement positif

Le réel $\delta = \sqrt{f^2-bc}$ est bien défini et il est strictement positif.

D’autre part :

\begin{align*}
M\in\mathscr{C}&\Longleftrightarrow b^2y^2+2bfy+bc=0\\
&\Longleftrightarrow (by+f)^2+bc-f ^2=0\\
&\Longleftrightarrow (by+f)^2 - \delta^2=0\\
&\Longleftrightarrow (by+f+\delta)(by+f-\delta)=0\\
&\Longleftrightarrow by+f+\delta = 0 \text{ ou } by+f-\delta = 0\\
&\Longleftrightarrow y=\frac{-f-\delta}{b} \text{ ou } y = \frac{-f+\delta}{b}.
\end{align*}

Vous déduisez que $\mathscr{C}$ est la réunion de deux droites horizontales qui sont strictement parallèles.

Concluez

Supposez :

\left\{\begin{array}{ll}
ab-h^2 = 0\\
\\
\Delta =
\begin{vmatrix}a & h & g \\
h & b & f \\
g& f & c
\end{vmatrix} = 0.
\end{array}\right.

Il y a quatre possibilités en tout pour l’ensemble $\mathscr{C}$ qui peut être :

• la réunion de deux droites strictement parallèles,
• une droite,
• l’ensemble vide $\varnothing$,
• le plan tout entier.

Le résultat obtenu dans l'article 240 subsiste avec une démonstration similaire.

Dans cette chronique vous allez obtenir une autre démonstration en utilisant un point $\Omega$ bien choisi géométriquement parlant.

Etant donnés six réels $a, b, c, f, g$ et $h$ et un plan muni d’un repère $(O,\vv{i},\vv{j})$, vous étudiez l’ensemble $\mathscr{C}$ des points $M$ de coordonnées $(x,y)$ dans ce repère qui vérifient l’équation suivante :

ax^2+2hxy+by^2+2gx+2fy+c=0.

Vous supposez que l’ensemble $\mathscr{C}$ est la réunion de deux droites strictement parallèles notées $\mathscr{D}_1$ et $\mathscr{D}_2.$

Effectuez un changement d’origine du repère

Soit $A$ un point quelconque de la droite $\mathscr{D}_1$ et soit $B$ un point quelconque de la droite $\mathscr{D}_2.$

Vous appelez $\Omega$ le milieu du segment $[AB].$ Notez $(u,v)$ ses coordonnées dans le repère $(O,\vv{i},\vv{j}).$

Pour tout point $M$ du plan, vous notez $(x_M,y_M)$ ses coordonnées dans le repère $(O,\vv{i},\vv{j})$ et $(X_M,Y_M)$ ses coordonnées dans le repère $(\Omega,\vv{i},\vv{j})$ et vous avez les relations :

\begin{align*}
X_M = x_M - u\\
Y_M = y_M - v.
\end{align*}

Alors la série d’équivalences suivantes fournit :

\begin{align*}
M\in\mathscr{C} &\Longleftrightarrow ax_M^2+2hx_My_M+by_M^2+2gx_M+2fy_M+c=0\\
&\Longleftrightarrow a(X_M+u)^2+2h(X_M+u)(Y_M+v)+b(Y_M+v)^2+2g(X_M+u)+2f(Y_M+v)+c=0\\
&\Longleftrightarrow a(X_M^2+u^2+2uX_M)+2h(X_MY_M+vX_M+uY_M+uv)+b(Y_M^2+v^2+2vY_M)\\&\qquad+2g(X_M+u)+2f(Y_M+v)+c=0\\
&\Longleftrightarrow aX_M^2+2hX_MY_M+bY_M^2\\&\qquad+2(au+hv+g)X_M+2(hu+bv+f)Y_M\\&\qquad+(au^2+2huv+bv^2+2gu+2fv+c)=0.
\end{align*}

Notez $(\alpha,\beta)$ les coordonnées du point $A$ dans le repère $(\Omega,\vv{i},\vv{j}).$ Comme $A\in\mathscr{C}$ vous avez :

\begin{align*}
 & a\alpha^2+2h\alpha\beta+b\beta^2\\ &\qquad+2(au+hv+g)\alpha+2(hu+bv+f)\beta\\ &\qquad+(au^2+2huv+bv^2+2gu+2fv+c)=0.
\end{align*}

Le point $B$ symétrique du point $A$ par la symétrie de centre $\Omega$ a pour coordonnées $(-\alpha,-\beta)$ dans le repère $(\Omega,\vv{i},\vv{j})$ et par suite :

\begin{align*}
 & a\alpha^2+2h\alpha\beta+b\beta^2\\ &\qquad-2(au+hv+g)\alpha-2(hu+bv+f)\beta\\ &\qquad+(au^2+2huv+bv^2+2gu+2fv+c)=0.
\end{align*}

Par soustraction, vous déduisez :

\begin{align*}
 4(au+hv+g)\alpha+4(hu+bv+f)\beta=0 \\
 (au+hv+g)\alpha+(hu+bv+f)\beta=0.
\end{align*}

Soit maintenant un point $A’$ distinct du point $A$ et appartenant à la droite $\mathscr{D}_1.$ Notez $(\alpha’,\beta’)$ ses coordonnées dans le repère $(\Omega,\vv{i},\vv{j}).$ Vous avez encore :

\begin{align*}
 (au+hv+g)\alpha'+(hu+bv+f)\beta'=0.
\end{align*}

Or, les vecteurs $\vv{\Omega A}$ et $\vv{\Omega A’}$ ne peuvent être colinéaires.

Si c’était le cas, les points $A$, $A’$ et $\Omega$ seraient alignés et par suite $\Omega \in (AA’)$ donc $\Omega \in\mathscr{D}_1.$ Les points $\Omega$ et $A$ appartenant à $\mathscr{D}_1$ le point $B$, symétrique de $A$ par la symétrie de centre $\Omega$ appartiendrait encore à $\mathscr{D}_1$ et donc $B \in \mathscr{D}_1\cap \mathscr{D}_2$, contredisant le fait que les droites $\mathscr{D}_1$ et $\mathscr{D}_2$ sont strictement parallèles.

Vous déduisez que :

\begin{vmatrix}\alpha & \beta \\ \alpha' & \beta'\end{vmatrix}\neq 0.

Par suite le système suivant est vérifié :

\begin{align*}
(au+hv+g)\alpha+(hu+bv+f)\beta=0\\
 (au+hv+g)\alpha'+(hu+bv+f)\beta'=0.
\end{align*}

Comme il a un déterminant non nul, vous obtenez la double égalité :

\left\{
\begin{align*}
au+hv+g=0\\
 hu+bv+f=0.
\end{align*}\right.

Comme $\Omega\notin \mathscr{C}$, il ne vérifie pas l’équation de $\mathscr{C}$ donc en posant $C = au^2+2huv+bv^2+2gu+2fv+c$ qui est non nul, vous déduisez que, pour tout point $M$ du plan :

\begin{align*}
M\in\mathscr{C} 
&\Longleftrightarrow aX_M^2+2hX_MY_M+bY_M^2+C = 0.
\end{align*}

Effectuez une rotation du repère

Afin d’analyser la situation, il est commode de rendre les deux droites $\mathscr{D}_1$ et $\mathscr{D}_2$ horizontales par une rotation du repère. Soit donc $\vv{u}$ un vecteur directeur unitaire commun aux droites $\mathscr{D}_1$ et $\mathscr{D}_2.$

Soit $\vv{v}$ le vecteur unitaire obtenu en faisant subit au vecteur $\vv{u}$ une rotation d’angle $\pi/2.$

Grâce au schéma que vous pouvez retrouver dans l'article 236, vous utilisez les notations déjà vues, complétées par un nouveau repère.

Pour tout point $M$ du plan vous notez $(x_M,y_M)$ ses coordonnées dans le repère $(O,\vv{i},\vv{j})$, $(X_M,Y_M)$ ses coordonnées dans le repère $(\Omega,\vv{i},\vv{j})$ et enfin $(X’_M,Y’_M)$ ses coordonnées dans le repère $(\Omega,\vv{u},\vv{v}).$

Il est rappelé que :

\begin{align*}
X_M&=X'_M\cos \theta - Y'_M\sin \theta \\
Y_M&=X'_M\sin \theta+Y'_M\cos \theta.
\end{align*}

Du coup :

\begin{align*}
M\in\mathscr{C} 
&\Longleftrightarrow aX_M^2+2hX_MY_M+bY_M^2+C = 0 \\
&\Longleftrightarrow a(X'_M\cos \theta - Y'_M\sin \theta)^2\\
&\qquad+2h(X'_M\cos \theta - Y'_M\sin \theta)(X'_M\sin \theta+Y'_M\cos \theta)\\
&\qquad + b(X'_M\sin \theta+Y'_M\cos \theta)^2+C=0\\
&\Longleftrightarrow  a({X'}_M^2 \cos^2\theta+{Y'}_M^2\sin^2\theta-2X'_MY'_M\sin\theta\cos\theta)\\
&\qquad +2h({X'}_M^2\sin\theta\cos\theta + X'_MY'_M(\cos^2 \theta - \sin^2\theta)-{Y'}_M^2\sin\theta\cos\theta)\\
&\qquad +b({X'_M}^2\sin^2\theta + {Y'}_M\cos^2\theta+2X'_MY'_M\sin\theta\cos\theta)+C=0\\
&\Longleftrightarrow (a\cos^2\theta +2h\sin\theta\cos\theta+b\sin^2\theta){X'_M}^2\\
&\qquad +(2(b-a)\sin\theta\cos\theta+2h(\cos^2\theta-\sin^2\theta))X'_MY'_M\\
&\qquad (a\sin^2\theta-2h\sin\theta \cos\theta+b\cos^2\theta){Y'_M}^2+C=0.
\end{align*}

Pour le choix de $\theta$ obtenu, vous avez :

Pour plus de lisibilité, vous allez poser :

\begin{align*}
R&= a\cos^2\theta +2h\sin\theta\cos\theta+b\sin^2\theta \\
T&=a\sin^2\theta-2h\sin\theta \cos\theta+b\cos^2\theta\\
S&=(b-a)\sin\theta\cos\theta+h(\cos^2\theta-\sin^2\theta).
\end{align*}

Ainsi, vous avez obtenu :

\begin{align*}
M\in\mathscr{C} 
&\Longleftrightarrow R{X'}_M^2+2SX'_MY'_M+T{Y'}_M^2+C=0.
\end{align*}

Grâce à un calcul similaire mené dans l'article 240 vous avez la conservation d’un déterminant de taille $2\times 2$ soit :

ab-h^2 = RT-S^2.

Par souci de complétude, ce résultat va être prouvé en utilisant la propriété multiplicative du déterminant.

Prouvez l’égalité $ab-h^2 = RT-S^2$

En effet, partez de la matrice suivante :

\begin{pmatrix}
a & h\\
h& b
\end{pmatrix}.

Son déterminant étant égal à $ab-h^2$, vous multipliez cette matrice à droite par une matrice de rotation, qui a un déterminant égal à $1:$

\begin{pmatrix}
a & h\\
h& b
\end{pmatrix}
\begin{pmatrix}
\cos\theta & -\sin\theta\\
\sin\theta & \cos\theta
\end{pmatrix} = 
\begin{pmatrix}
a\cos \theta + h\sin\theta & -a\sin\theta + h\cos\theta\\
h\cos\theta + b\sin \theta & -h\sin\theta+b\cos\theta
\end{pmatrix}.

Multipliez à gauche cette matrice par la matrice de rotation d’angle $-\theta:$

\begin{align*}
&\begin{pmatrix}
\cos\theta & \sin\theta\\
-\sin\theta & \cos\theta
\end{pmatrix}\begin{pmatrix}
a\cos \theta + h\sin\theta & -a\sin\theta + h\cos\theta\\
h\cos\theta + b\sin \theta & -h\sin\theta+b\cos\theta
\end{pmatrix} \\
&\qquad= \begin{pmatrix}
a\cos^2\theta+2h\sin\theta\cos\theta +b\sin^2\theta & (b-a)\sin\theta\cos\theta + h(\cos^2\theta-\sin^2\theta)\\
 (b-a)\sin\theta\cos\theta + h(\cos^2\theta-\sin^2\theta) & a\sin^2\theta-2h\sin\theta\cos\theta+b\cos^2\theta
\end{pmatrix}\\
&\qquad= \begin{pmatrix}
R & S \\S & T
\end{pmatrix}.
\end{align*}

Du coup :

\begin{align*}
RT-S^2 &= \begin{vmatrix}
R & S \\S & T
\end{vmatrix}\\
&=\begin{vmatrix}
\cos\theta & \sin\theta\\
-\sin\theta & \cos\theta
\end{vmatrix}\begin{vmatrix}
a\cos \theta + h\sin\theta & -a\sin\theta + h\cos\theta\\
h\cos\theta + b\sin \theta & -h\sin\theta+b\cos\theta
\end{vmatrix}\\
&=\begin{vmatrix}
a\cos \theta + h\sin\theta & -a\sin\theta + h\cos\theta\\
h\cos\theta + b\sin \theta & -h\sin\theta+b\cos\theta
\end{vmatrix}\\
&=\begin{vmatrix}
a & h\\
h& b
\end{vmatrix}
\begin{vmatrix}
\cos\theta & -\sin\theta\\
\sin\theta & \cos\theta
\end{vmatrix} \\
&=\begin{vmatrix}
a & h\\
h& b
\end{vmatrix}\\
&=ab-h^2.
\end{align*}

Prouvez que $ab-h^2$ est nul

Dans le repère $(\Omega,\vv{u},\vv{v})$ les droites $\mathscr{D}_1$ et $\mathscr{D}_2$ sont horizontales et ne passent pas par l’origine du repère.

De part la position du point $\Omega$, il existe un nombre réel $k$ non nul tel que :

\begin{align*}
\mathscr{D}_1 &= \{M, Y'_M = k\} \\
\mathscr{D}_2 &= \{M, Y'_M = -k\}.
\end{align*}

Pour tout réel $x$, le point de coordonnées $(x,k)$ dans le repère $(\Omega,\vv{u},\vv{v})$ appartient à $\mathscr{D}_1$ donc à $\mathscr{C}$ donc :

\forall x\in\R, Rx^2+2Skx+Tk^2+C=0.

Le polynôme $RX^2+2SkX+Tk^2+C$ admet une infinité de racines donc ses coefficients sont tous nuls, donc $R = 2Sk = 0.$

Or $k$ est non nul, donc $S=0.$

Il en résulte que $RT-S^2 = 0$ et par suite $\frac{ab-h^2 = 0.}$

Démontrez la nullité du déterminant d’ordre $3$

Posez :

\Delta =
\begin{vmatrix}a & h & g \\
h & b & f \\
g& f & c
\end{vmatrix}.

Vous allez montrer que $\Delta$ est nul grâce aux propriétés de $u$ et de $v.$

Un déterminant n’est pas modifié lorsque vous remplacez une colonne par elle-même augmentée d’une combinaison linéaire des autres. Cela conduit à :

\begin{align*}
\Delta &=
\begin{vmatrix}a & h & au+hv+g \\
h & b & hu+gv+f \\
g& f & gu+fv+c
\end{vmatrix}\\
&=\begin{vmatrix}a & h & 0 \\
h & b & 0 \\
g& f & gu+fv+c
\end{vmatrix}\\
&=(gu+fv+c)\begin{vmatrix}a & h \\
h & b \\
\end{vmatrix}\\
&=(gu+fv+c)(ab-h^2) \\
&=(gu+fv+c)\times 0\\
&= 0.
\end{align*}

Concluez

Si l’ensemble des points $M$ du plan de coordonnées $(x,y)$ satisfaisant l’équation :

ax^2+2hxy+by^2+2gx+2fy+c=0

est la réunion de deux droites strictement parallèles, alors nécessairement :

\boxed{\begin{array}{ll}
ab-h^2 = 0\\
\\
\Delta =
\begin{vmatrix}a & h & g \\
h & b & f \\
g& f & c
\end{vmatrix} = 0.
\end{array}}

Remarque. Si l’ensemble précédent est composé d’une seule droite, alors la même conclusion subsiste, d’après le contenu écrit dans l'article 240.

Etant donnés six réels $a, b, c, f, g$ et $h$ et un plan muni d’un repère $(O,\vv{i},\vv{j})$, vous étudiez l’ensemble $\mathscr{C}$ des points $M$ de coordonnées $(x,y)$ dans ce repère qui vérifient l’équation suivante :

ax^2+2hxy+by^2+2gx+2fy+c=0.

Dans cette chronique vous supposez que l’ensemble $\mathscr{C}$ est une droite notée $\mathscr{D}.$

Supposez que cette droite est verticale

Il existe alors un nombre réel $k$ fixé tel que $\mathscr{D} = \{M(x,y), x=k\}.$

Soit maintenant $y$ un réel fixé. Le point de coordonnées $(k,y)$ appartient à $\mathscr{D}$ donc vous déduisez :

ak^2+2hky+by^2+2gk+2fy+c=0.

Vu comme un polynôme en $y$, vous obtenez :

by^2 +(2hk+2f)y+ak^2+2gk+c=0.

Ainsi le polynôme $bX^2+(2hk+2f)X+(ak^2+2gk+c)$ admet une infinité de racines, ce qui prouve que ses coefficients sont tous nuls. Du coup :

\begin{array}{lll}
b=0 \\
hk+f = 0\\
ak^2+2gk+c=0.
\end{array}

Compte tenu des conditions précédentes, la droite $\mathscr{D}$ est l’ensemble des points $M(x,y)$ tels que :

ax^2+2hxy+2gx-2hky-ak^2-2gk=0.

Or, quels que soient les réels $x$ et $y:$

\begin{align*}
ax^2+2hxy+2gx-2hky-ak^2-2gk=0 &\Longleftrightarrow a(x^2-k^2)+2h(x-k)y+2g(x-k)=0 \\
&\Longleftrightarrow a(x-k)(x+k)+2h(x-k)y+2g(x-k)=0 \\
&\Longleftrightarrow (x-k)(a(x+k)+2hy+2g)=0 \\
&\Longleftrightarrow (x-k)(ax+2hy+ak+2g)=0.
\end{align*}

Soit maintenant $x$ un réel différent de $k.$ Alors :

\forall y\in\R, M(x,y)\notin \mathscr{D}.

Donc :

\forall y\in\R, 2hy+ak+2g+ax\neq 0.

Si $h$ était non nul, alors :

\forall y\in\R, y \neq \frac{-ak-2g-ax}{2h}.

Ceci est absurde.

Vous obtenez : $h=0.$

Comme $b=h=0$ vous déduisez $\boxed{ab-h^2 = 0.}$

Il reste à s’occuper maintenant du dicriminant $\Delta.$

Dans la suite du contenu rédigé dans l'article 239 vous le définissez de la façon suivante :

\Delta =
\begin{vmatrix}a & h & g \\
h & b & f \\
g& f & c
\end{vmatrix}.

Or, $kh+f = 0$ donc $f=0$ et finalement :

\Delta =
\begin{vmatrix}
a & 0 & g \\
0 & 0 & 0 \\
g& 0 & c
\end{vmatrix}.

Vous déduisez $\boxed{\Delta = 0.}$

Supposez que cette droite n’est pas verticale

Notez $\vv{v}$ un vecteur unitaire directeur de la droite $\mathscr{D}.$ Notez $\vv{u}$ le vecteur obtenu par rotation du vecteur $\vv{v}$ d’angle $-\pi/2.$

Notez $\theta$ une mesure de l’angle $(\vv{i},\vv{u}).$

Pour tout point $M$ du plan, vous notez $(x_M,y_M)$ ses coordonnées dans le repère $(O,\vv{i},\vv{j})$ et $(X_M,Y_M)$ ses coordonnées dans le repère $(O,\vv{u},\vv{v}).$

Vous avez les relations en vertu du contenu écrit dans l'article 236 :

\left\{\begin{align*}
x_M &= X_M\cos\theta-Y_M\sin\theta\\
y_M &= X_M\sin\theta+Y_M\cos\theta.
\end{align*}\right.

La série d’équivalences suivante va fournir successivement, pour tout point $M$ du plan :

\begin{align*}
M\in\mathscr{D} &\Longleftrightarrow ax_M^2+2hx_My_M+by_M^2+2gx_M+2fy_M+c=0\\
&\Longleftrightarrow a(X_M^2\cos^2\theta-2X_MY_M\sin\theta\cos\theta+Y_M^2\sin^2\theta)\\
&\qquad+2h(X_M^2\sin\theta\cos\theta + X_MY_M(\cos^2\theta - \sin^2\theta)-Y_M^2\sin\theta\cos\theta)\\
&\qquad+b(X_M^2\sin^2\theta + 2X_MY_M\sin\theta\cos\theta+Y_M^2\cos^2\theta)\\
&\qquad+2g(X_M\cos\theta-Y_M\sin\theta)+2f(X_M\sin\theta+Y_M\cos\theta)+c=0\\
&\Longleftrightarrow (a\cos^2\theta+2h\sin\theta\cos\theta+b\sin^2\theta)X_M^2\\
&\qquad +2((b-a)\sin\theta\cos\theta+h(\cos^2\theta-\sin^2\theta))X_MY_M\\
&\qquad +(a\sin^2\theta-2h\sin\theta\cos\theta+b\cos^2\theta)Y_M^2\\
&\qquad +2(g\cos\theta+f\sin\theta)X_M+2(-g\sin\theta+f\cos\theta)Y_M+c=0.
\end{align*}

Dans le repère $(O,\vv{u},\vv{v})$ la droite $\mathscr{D}$ est verticale.

D’après la section précédente :

\begin{align*}
 &(a\cos^2\theta+2h\sin\theta\cos\theta+b\sin^2\theta)(a\sin^2\theta-2h\sin\theta\cos\theta+b\cos^2\theta)&\\
&\qquad -((b-a)\sin\theta\cos\theta+h(\cos^2\theta-\sin^2\theta))^2 = 0\\
& a^2\sin^2\theta\cos^2\theta  -2ah\sin\theta \cos^3\theta+ab\cos^4\theta\\
&\qquad +2ah\sin^3\theta\cos \theta-4h^2\sin^2\theta\cos^2\theta+2bh\sin\theta\cos^3\theta\\
&\qquad +ab\sin^4\theta-2bh\sin^3\theta\cos\theta+b^2\sin^2\theta\cos^2\theta\\
&\qquad -((b-a)^2\sin^2\theta\cos^2\theta+h^2(\cos^4\theta+\sin^4\theta-2\sin^2\theta\cos^2\theta)+2(b-a)h(\sin\theta\cos^3\theta-\sin^3\theta\cos\theta)) = 0\\
&(a^2-4h^2+b^2-(b-a)^2+2h^2)\sin^2\theta\cos^2\theta + (-2ah+2bh-2(b-a)h)\sin\theta\cos^3\theta\\
&\qquad +(ab-h^2)\cos^4\theta + (2ah-2bh+2(b-a)h)\sin^3\theta\cos\theta + (ab-h^2)\sin^4\theta = 0\\
&(-2h^2+2ab)\sin^2\theta\cos^2\theta + (ab-h^2)(\cos^4\theta+\sin^4\theta) = 0\\
&2(ab-h^2)\sin^2\theta\cos^2\theta + (ab-h^2)((\cos^2\theta+\sin^2\theta)^2-2\sin^2\theta\cos^2\theta) = 0\\
&2(ab-h^2)\sin^2\theta\cos^2\theta + (ab-h^2)(1-2\sin^2\theta\cos^2\theta) = 0\\
&ab-h^2=0.
\end{align*}

Note. Il est possible de justifier ce résultat en utilisant les propriétés d’un déterminant $2\times 2.$

Pour démontrer la nullité de $\Delta$, vous allez toujours utiliser la section précédente :

\begin{align*}
0 &= \begin{vmatrix}
a\cos^2\theta+2h\sin\theta\cos\theta+b\sin^2\theta & (b-a)\sin\theta\cos\theta+h(\cos^2\theta-\sin^2\theta) & g\cos\theta+f\sin\theta \\
(b-a)\sin\theta\cos\theta+h(\cos^2\theta-\sin^2\theta) & a\sin^2\theta-2h\sin\theta\cos\theta+b\cos^2\theta & -g\sin\theta+f\cos\theta \\
g\cos\theta+f\sin\theta& -g\sin\theta+f\cos\theta & c
\end{vmatrix}
\end{align*}

Au lieu de développer l’ensemble vous allez effectuer deux produits matriciels.

Le premier fournit :

\begin{pmatrix}
a & h & g \\
h& b& f \\
g & f & c
\end{pmatrix}
\begin{pmatrix}
\cos\theta & -\sin\theta & 0 \\
\sin\theta& \cos\theta& 0 \\
0 & 0 & 1
\end{pmatrix}
= \begin{pmatrix}
a\cos\theta +h \sin\theta& -a\sin\theta+h\cos\theta & g \\
h\cos\theta+b\sin\theta& -h\sin\theta+b\cos\theta& f \\
g\cos\theta+f\sin\theta & -g\sin\theta+f\cos\theta & c
\end{pmatrix}.

Puis :

\begin{align*}
&\begin{pmatrix}
\cos\theta & \sin\theta & 0 \\
-\sin\theta& \cos\theta& 0 \\
0 & 0 & 1
\end{pmatrix}
\begin{pmatrix}
a\cos\theta +h \sin\theta& -a\sin\theta+h\cos\theta & g \\
h\cos\theta+b\sin\theta& -h\sin\theta+b\cos\theta& f \\
g\cos\theta+f\sin\theta & -g\sin\theta+f\cos\theta & c
\end{pmatrix}\\
&\qquad=\begin{pmatrix}
a\cos^2\theta+2ah\sin\theta \cos\theta + b\sin^2\theta & (b-a)\sin\theta\cos\theta+h\cos^2\theta-h\sin^2\theta & g\cos\theta+f\sin\theta \\
(b-a)\sin\theta\cos\theta-h\sin^2\theta+h\cos^2\theta & a\sin^2\theta-2h\sin\theta\cos\theta+b\cos^2\theta & -g\sin\theta+f\cos\theta\\
g\cos\theta+f\sin\theta & -g\sin\theta+f\cos\theta & c
\end{pmatrix}.
\end{align*}

De ce qui précède :

\begin{align*}
0 &=\begin{vmatrix}
\cos\theta & \sin\theta & 0 \\
-\sin\theta& \cos\theta& 0 \\
0 & 0 & 1
\end{vmatrix}
\begin{vmatrix}
a\cos\theta +h \sin\theta& -a\sin\theta+h\cos\theta & g \\
h\cos\theta+b\sin\theta& -h\sin\theta+b\cos\theta& f \\
g\cos\theta+f\sin\theta & -g\sin\theta+f\cos\theta & c
\end{vmatrix} \\
&=
\begin{vmatrix}
a\cos\theta +h \sin\theta& -a\sin\theta+h\cos\theta & g \\
h\cos\theta+b\sin\theta& -h\sin\theta+b\cos\theta& f \\
g\cos\theta+f\sin\theta & -g\sin\theta+f\cos\theta & c
\end{vmatrix}\\
&=
\begin{vmatrix}
a & h & g \\
h& b& f \\
g & f & c
\end{vmatrix}
\begin{vmatrix}
\cos\theta & -\sin\theta & 0 \\
\sin\theta& \cos\theta& 0 \\
0 & 0 & 1
\end{vmatrix}\\
&=\begin{vmatrix}
a & h & g \\
h& b& f \\
g & f & c
\end{vmatrix}.
\end{align*}

Concluez

Si l’ensemble des points $M$ du plan de coordonnées $(x,y)$ satisfaisant l’équation :

ax^2+2hxy+by^2+2gx+2fy+c=0

est une droite, alors nécessairement :

\boxed{\begin{array}{ll}
ab-h^2 = 0\\
\\
\Delta =
\begin{vmatrix}a & h & g \\
h & b & f \\
g& f & c
\end{vmatrix} = 0.
\end{array}}

Remarque. Si l’ensemble précédent est composé de deux droites strictement parallèles, alors la même conclusion subsiste, d’après le contenu écrit dans l'article 241.

Dans cette chronique vous établissez la réciproque du résultat établi dans l'article 238.

Etant donnés six réels $a, b, c, f, g$ et $h$ et un plan muni d’un repère $(O,\vv{i},\vv{j})$, vous étudiez l’ensemble $\mathscr{C}$ des points $M$ de coordonnées $(x,y)$ dans ce repère qui vérifient l’équation suivante :

ax^2+2hxy+by^2+2gx+2fy+c=0.

Vous considérez le discriminant noté $\Delta$ en posant :

\Delta =
\begin{vmatrix}a & h & g \\
h & b & f \\
g& f & c
\end{vmatrix}.

Vous supposez de plus :

\boxed{\begin{array}{ll}
ab-h^2 < 0\\
\Delta = 0.
\end{array}}

Vous allez démontrer que la conique $\mathscr{C}$ est l’union de deux droites sécantes. C’est un cas où elle est qualifiée de dégénérée.

Construisez un point appartenant à la conique $\mathscr{C}$

Comme $ab-h^2$ est non nul, le système suivant d’inconnues $(u,v)\in\R^2$ admet une solution :

\left\{\begin{align*}
au+hv+g&=0\\
hu+bv+f&=0.
\end{align*}\right.

Dès lors, la nullité du discriminant fournit :

\begin{align*}
0 &=
\begin{vmatrix}a & h & g \\
h & b & f \\
g& f & c
\end{vmatrix} \\
0 &=
\begin{vmatrix}a & h & au+hv+g \\
h & b & hu+bv+f \\
g& f & gu+fv+c
\end{vmatrix}\\
0 &=
\begin{vmatrix}a & h & 0 \\
h & b & 0 \\
g& f & gu+fv+c
\end{vmatrix} \\
0 &= \begin{vmatrix}a & h \\
h & b 
\end{vmatrix}  \times (gu+fv+c) \\
0 &= (ab-h^2)(gu+fv+c) \\
0 &= gu+fv+c.
\end{align*}

Vous allez maintenant prouver que le point de coordonnées $\Omega(u,v)$ dans le repère $(O,\vv{i},\vv{j})$ appartient à la conique $\mathscr{C}:$

\begin{align*}
au^2+2huv+bv^2+2gu+2fv+c &= au^2+2huv+bv^2+gu+fv+(gu+fv+c) \\
 &= au^2+2huv+bv^2+gu+fv \\
&= u(au+hv+g) +huv+bv^2+fv \\
&=huv+bv^2+fv \\
&=v(hu+bv+f) \\
&=0.
\end{align*}

Déterminez les équations des deux droites recherchées

Pour tout point $M$ de coordonnées $(x_M,y_M)$ dans le repère $(O,\vv{i},\vv{j})$, vous notez $(X_M,Y_M)$ ses coordonnées dans le repère $(\Omega,\vv{i},\vv{j})$ de sorte que :

\begin{align*}
X_M = x_M - u\\
Y_M = y_M - v.
\end{align*}

Alors la série d’équivalences suivantes fournit :

\begin{align*}
M\in\mathscr{C} &\Longleftrightarrow ax_M^2+2hx_My_M+by_M^2+2gx_M+2fy_M+c=0\\
&\Longleftrightarrow a(X_M+u)^2+2h(X_M+u)(Y_M+v)+b(Y_M+v)^2+2g(X_M+u)+2f(Y_M+v)+c=0\\
&\Longleftrightarrow a(X_M^2+u^2+2uX_M)+2h(X_MY_M+vX_M+uY_M+uv)+b(Y_M^2+v^2+2vY_M)\\&\qquad+2g(X_M+u)+2f(Y_M+v)+c=0\\
&\Longleftrightarrow aX_M^2+2hX_MY_M+bY_M^2\\&\qquad+2(au+hv+g)X_M+2(hu+bv+f)Y_M\\&\qquad+(au^2+2huv+bv^2+2gu+2fv+c)=0\\
&\Longleftrightarrow aX_M^2+2hX_MY_M+bY_M^2 = 0.
\end{align*}

Si $a$ est nul

Vous obtenez :

\begin{align*}
M\in\mathscr{C} &\Longleftrightarrow 2hX_MY_M+bY_M^2 = 0 \\
 &\Longleftrightarrow Y_M(2hX_M+bY_M) = 0\\
&\Longleftrightarrow (Y_M = 0) \text{ ou } (2hX_M+bY_M = 0).
\end{align*}

Notez que $ab-h^2< 0$ s’écrit $-h^2 < 0$ ce qui force la non nullité de $h.$ Donc le vecteur $\vv{d}_1\begin{pmatrix}-b \\ 2h\end{pmatrix}$ est non nul. Ainsi $2hX_M+bY_M = 0$ est bien l’équation d’une droite $\mathscr{D}_1$ qui admet $\vv{d}_1$ pour vecteur directeur.

La droite $\mathscr{D}_2$ d’équation $Y_M = 0$, qui désigne la droite horizontale passant par $\Omega$ admet pour vecteur directeur $\vv{d}_2 \begin{pmatrix}1 \\ 0\end{pmatrix}.$

Le déterminant $\mathrm{det}({\vv{d}_1, \vv{d}_2})$ est non nul :

\begin{align*}
\mathrm{det}({\vv{d}_1, \vv{d}_2}) &= \begin{vmatrix} -b & 1\\ 2h  & 0\end{vmatrix}\\
&=-2h.
\end{align*}

Les droites $\mathscr{D}_1$ et $\mathscr{D}_2$ sont bien deux droites sécantes, le point $\Omega$ est leur point d’intersection et vous avez :

\begin{align*}
M\in\mathscr{C} &\Longleftrightarrow M\in\mathscr{D}_1 \cup \mathscr{D}_2.
\end{align*}

Si $a$ est non nul

Comme $ab-h^2<0$ vous pouvez considérer $\delta = \sqrt{h^2-ab}$ qui est bien défini et est non nul. Alors :

\begin{align*}
M\in\mathscr{C} &\Longleftrightarrow aX_M^2+2hX_MY_M+bY_M^2 = 0\\
& \Longleftrightarrow a^2X_M^2+2ahX_MY_M+abY_M^2 = 0 \\
& \Longleftrightarrow (aX_M+hY_M)^2+(ab-h^2)Y_M^2=0 \\
& \Longleftrightarrow (aX_M+hY_M)^2-\delta^2Y_M^2=0 \\
& \Longleftrightarrow (aX_M+hY_M)^2-(\delta Y_M)^2=0 \\
& \Longleftrightarrow (aX_M+hY_M + \delta Y_M)(aX_M+hY_M - \delta Y_M)=0 \\
& \Longleftrightarrow (aX_M+(h+\delta)Y_M)(aX_M+(h- \delta) Y_M)=0\\
& \Longleftrightarrow (aX_M+(h+\delta)Y_M=0)\text{ ou }(aX_M+(h- \delta) Y_M=0).
\end{align*}

Comme $a$ est non nul, aucun des vecteurs parmi $\vv{d}_1\begin{pmatrix}-h-\delta \\ a\end{pmatrix}$ et $\vv{d}_2\begin{pmatrix}-h+\delta \\ a\end{pmatrix}$ n’est nul.

L’ensemble des points $M$ tels que $aX_M+(h+\delta)Y_M=0$ est donc une droite $\mathscr{D}_1$ qui passe par le point $\Omega$ et qui est dirigée par le vecteur $\vv{d}_1.$

L’ensemble des points $M$ tels que $aX_M+(h-\delta)Y_M=0$ est une droite $\mathscr{D}_2$ qui passe par le point $\Omega$ et qui est dirigée par le vecteur $\vv{d}_2.$

Le déterminant $\mathrm{det}({\vv{d}_1, \vv{d}_2})$ est non nul :

\begin{align*}
\mathrm{det}({\vv{d}_1, \vv{d}_2}) &= \begin{vmatrix} -h-\delta & -h+\delta\\ a  & a\end{vmatrix}\\
&= a \begin{vmatrix} -h-\delta & -h+\delta\\ 1  & 1\end{vmatrix}\\
&= a  \begin{vmatrix} -2\delta & -h+\delta\\ 0  & 1\end{vmatrix}\\
&= -2a \delta.
\end{align*}

Ainsi les droites $\mathscr{D}_1$ et $\mathscr{D}_2$ sont bien deux droites sécantes, encore au point $\Omega.$

Compte tenu de la série d’équivalences ci-dessus, vous avez encore :

\begin{align*}
M\in\mathscr{C} &\Longleftrightarrow M\in\mathscr{D}_1 \cup \mathscr{D}_2.
\end{align*}

Concluez

Vous avez démontré qu’il existe deux droites $\mathscr{D}_1$ et $\mathscr{D}_2$ sécantes en un point $\Omega(u,v)$ satisfaisant les conditions suivantes :

\boxed{\begin{array}{lll}
au+hv+g=0\\
hu+bv+f=0\\
\mathscr{C} = \mathscr{D}_1 \cup \mathscr{D}_2.
\end{array}}

Etant donnés six réels $a, b, c, f, g$ et $h$ et un plan muni d’un repère $(O,\vv{i},\vv{j})$, vous étudiez l’ensemble $\mathscr{C}$ des points $M$ ayant pour coordonnées $(x,y)$ qui vérifient l’équation suivante :

ax^2+2hxy+by^2+2gx+2fy+c=0.

Dans cette chronique, vous supposez que $\mathscr{C}$ est la réunion de deux droites sécantes, ce qui pourrait se produire en développant le produit de deux équations cartésiennes de droites.

Il existe deux droites $\mathscr{D}_1$ et $\mathscr{D}_2$ sécantes en un point noté $\Omega$ telles que $\mathscr{C} = \mathscr{D}_1 \cup \mathscr{D}_2.$

Vous allez effectuer un changement d’origine du repère et constater une énorme simplification de l’équation obtenue.

Prenez comme nouvelle origine le point $\Omega \in \mathscr{D}_1 \cap \mathscr{D}_2.$

Notez $(u,v)$ les coordonnées du point $\Omega$ dans le repère $(O,\vv{i},\vv{j}).$

Pour tout point $M$ du plan, notez $(x_M,y_M)$ ses coordonnées dans le repère $(O,\vv{i},\vv{j})$ et $(X_M,Y_M)$ ses coordonnées dans le repère $(\Omega,\vv{i},\vv{j}).$

Alors vous avez :

\begin{align*}
X_M = x_M - u\\
Y_M = y_M - v.
\end{align*}

Vous obtenez la série d’équivalence suivante :

\begin{align*}
M\in\mathscr{C} &\Longleftrightarrow ax_M^2+2hx_My_M+by_M^2+2gx_M+2fy_M+c=0\\
&\Longleftrightarrow a(X_M+u)^2+2h(X_M+u)(Y_M+v)+b(Y_M+v)^2+2g(X_M+u)+2f(Y_M+v)+c=0\\
&\Longleftrightarrow a(X_M^2+u^2+2uX_M)+2h(X_MY_M+vX_M+uY_M+uv)+b(Y_M^2+v^2+2vY_M)\\&\qquad+2g(X_M+u)+2f(Y_M+v)+c=0\\
&\Longleftrightarrow aX_M^2+2hX_MY_M+bY_M^2\\&\qquad+(2au+2hv+2g)X_M+(2hu+2bv+2f)Y_M\\&\qquad+(au^2+2huv+bv^2+2gu+2fv+c)=0.
\end{align*}

Comme $\Omega\in \mathscr{C}$ vous avez :

au^2+2huv+bv^2+2gu+2fv+c=0.

Ainsi :

\begin{align*}
M\in\mathscr{C}
&\Longleftrightarrow aX_M^2+2hX_MY_M+bY_M^2\\&\qquad+(2au+2hv+2g)X_M+(2hu+2bv+2f)Y_M = 0.
\end{align*}

Soit maintenant un point $A$ de coordonnées $(\alpha,\beta)$ dans le repère $(\Omega,\vv{i},\vv{j})$ appartenant à la droite $\mathscr{D}_1$ privée du point $\Omega.$ Vous avez $(\alpha,\beta) \neq (0,0).$

Comme $A\in\mathscr{C}$ vous déduisez :

a\alpha^2+2h\alpha\beta+b\beta^2+(2au+2hv+2g)\alpha+(2hu+2bv+2f)\beta = 0.

Soit $B$ le point de coordonnées $(-\alpha,-\beta)$ dans le repère $(\Omega,\vv{i},\vv{j}).$ Le point $\Omega$ est le milieu du segment $[AB]$ donc $B$ appartient à la droite $(\Omega A)$ donc $B$ appartient à $\mathscr{C}.$ Vous déduisez :

\begin{align*}
a(-\alpha)^2+2h(-\alpha)(-\beta)+b(-\beta)^2+(2au+2hv+2g)(-\alpha)+(2hu+2bv+2f)(-\beta) &= 0\\
a\alpha^2+2h\alpha\beta+b\beta^2+(2au+2hv+2g)(-\alpha)+(2hu+2bv+2f)(-\beta) &= 0.
\end{align*}

Par soustraction, vous déduisez que :

\begin{align*}
(4au+4hv+4g)\alpha+(4hu+4bv+4f)\beta &= 0\\
(au+hv+g)\alpha+(hu+bv+f)\beta &= 0.
\end{align*}

Vous choisissez un point $C$ différent de $\Omega$ sur la droite $\mathscr{D}_2.$ Notez $(\alpha’,\beta’)$ ses coordonnées dans le repère $(\Omega,\vv{i},\vv{j}).$

En reprenant le même raisonnement que celui effectué précédemment, vous déduisez que :

\begin{align*}
(au+hv+g)\alpha'+(hu+bv+f)\beta' &= 0.
\end{align*}

Comme les droites $(\Omega C)$ et $(\Omega A)$ sont sécantes, les vecteurs $\vv{\Omega C}$ et $\vv{\Omega A}$ ne sont pas colinéaires. Leurs coordonnées ne sont pas proportionnelles donc $\alpha\beta’ \neq \alpha’\beta.$

Pour plus de lisibilité, notez $r = au+hv+g$ et $s = hu+bv+f.$ Les nombres $r$ et $s$ vérifient le système suivant :

\begin{align*}
\alpha r + \beta s &= 0\\
\alpha' r + \beta' s &= 0.
\end{align*}

Multipliez la première ligne par $\beta’$ et la seconde par $\beta.$ Alors :

\begin{align*}
\alpha \beta' r + \beta \beta' s &= 0\\
\alpha' \beta  r + \beta' \beta s &= 0.
\end{align*}

Par soustraction, il vient :

(\alpha\beta' - \alpha'\beta)r =0.

En divisant par $\alpha\beta’ – \alpha’\beta$ qui est non nul, vous déduisez $r = 0.$

Ainsi :

\beta s = \beta' s = 0.

Si $\beta \neq 0$ il vient immédiatement après division par $\beta$ que $s = 0.$

Sinon, $\beta = 0.$ Alors $\alpha\beta’ – \alpha’\beta \neq 0$ s’écrit $\alpha\beta’ \neq 0$ donc $\beta’ \neq 0$ et en divisant par $\beta’$ vous déduisez encore $s = 0.$

Vous avez donc démontré que le point $\Omega$ de coordonnées $(u,v)$ dans le repère d’origine $(O,\vv{i},\vv{j})$ d’intersection des deux droites $\mathscr{D}_1$ et $\mathscr{D}_2$ et vérifie les équations suivantes :

\left\{\begin{array}{lll}
au+hv+g = 0 \\
hu+bv+f = 0 \\
au^2+2huv+bv^2+2gu+2fv+c=0.
\end{array}\right.

Pour tout point $M$ du plan, rappelez-vous que vous notez $(x_M,y_M)$ ses coordonnées dans le repère $(O,\vv{i},\vv{j})$ et $(X_M,Y_M)$ ses coordonnées dans le repère $(\Omega,\vv{i},\vv{j}).$

De ce qui précède, vous avez obtenu le résultat important suivant :

\begin{align*}
M\in\mathscr{C} 
&\Longleftrightarrow aX_M^2+2hX_MY_M+bY_M^2 = 0.
\end{align*}

Ecartez la possibilité $ab-h^2 = 0$

Raisonnez par l’absurde et supposez que $ab = h^2.$

Eliminez la possibilité $a = 0$

Si $a$ est nul, alors $h$ l’est aussi. Alors :

\begin{align*}
M\in\mathscr{C} 
&\Longleftrightarrow bY_M^2 = 0.
\end{align*}

Si $b$ est nul, alors tous les points du plan appartiennent à $\mathscr{C}$ ce qui contredit le fait que $\mathscr{C}$ est la réunion de deux droites sécantes.

Donc $b$ est non nul. Alors :

\begin{align*}
M\in\mathscr{C} 
&\Longleftrightarrow Y_M^2 = 0\\
&\Longleftrightarrow Y_M = 0.
\end{align*}

De cette équivalence il résulte que $\mathscr{C}$ est une droite et donc $\mathscr{C}$ ne peut être la réunion de deux droites sécantes.

Concluez

De ce qui précède, le réel $a$ est non nul.

\begin{align*}
M\in\mathscr{C} 
&\Longleftrightarrow aX_M^2+2hX_MY_M+bY_M^2 = 0\\
&\Longleftrightarrow a^2X_M^2+2ahX_MY_M+abY_M^2 = 0\\
&\Longleftrightarrow (aX_M+hY_M)^2+(ab-h^2)Y_M^2=0\\
&\Longleftrightarrow (aX_M+hY_M)^2 = 0\\
&\Longleftrightarrow aX_M+hY_M = 0.
\end{align*}

Comme $(a,h)\neq (0,0)$ d’après l’équation précédente, $\mathscr{C}$ serait une droite et non la réunion de deux droites sécantes, ce qui est encore absurde.

Ecartez la possibilité $ab-h^2 > 0$

Supposez un instant que $ab-h^2>0$, alors $ab >h^2\geq 0$ donc $ab > 0.$ Cela oblige à avoir $a$ non nul. Alors :

\begin{align*}
M\in\mathscr{C} 
&\Longleftrightarrow aX_M^2+2hX_MY_M+bY_M^2 = 0\\
&\Longleftrightarrow a^2X_M^2+2ahX_MY_M+abY_M^2 = 0\\
&\Longleftrightarrow (aX_M+hY_M)^2+(ab-h^2)Y_M^2=0.
\end{align*}

Comme $ab-h^2$ est positif vous êtes dans le cas où la somme de deux nombres positifs est nulle, si et seulement si, les termes de cette somme sont nuls.

\begin{align*}
M\in\mathscr{C} 
&\Longleftrightarrow (aX_M+hY_M)^2 = (ab-h^2)Y_M^2=0 \\
&\Longleftrightarrow aX_M+hY_M = (ab-h^2)Y_M^2=0 \\
&\Longleftrightarrow aX_M+hY_M =Y_M^2=0 \\
&\Longleftrightarrow aX_M+hY_M =Y_M=0 \\
&\Longleftrightarrow aX_M =Y_M=0 \\
&\Longleftrightarrow X_M =Y_M=0 \\
\end{align*}

Ainsi l’ensemble $\mathscr{C}$ serait réduit à un point, ce qui est absurde.

Vous déduisez de cette étude l’important résultat :

\boxed{ab-h^2<0.}

Démontrez la nullité d’un déterminant d’ordre $3$

A l’équation de départ $ax^2+2hxy+by^2+2gx+2fy+c=0$ vous associez le déterminant $\Delta$ défini par :

\Delta = 
\begin{vmatrix}a & h & g \\
 h & b & f \\
g& f & c
\end{vmatrix}.

Comme un déterminant ne change pas en ajoutant à une colonne un combinaison linéaire des autres, vous obtenez :

\Delta = 
\begin{vmatrix}a & h & au+hv+g \\
 h & b & hu+bv+f \\
g& f & gu+fv+c
\end{vmatrix}.

Compte tenu des égalités $au+hv+g = 0$ et $hu+bv+f = 0$ vous déduisez :

\Delta = 
\begin{vmatrix}a & h & 0 \\
 h & b & 0 \\
g& f & gu+fv+c
\end{vmatrix}.

En multipliant $au+hv+g = 0$ par $u$, puis en multipliant $hu+bv+f = 0$ par $v$ et en ajoutant le tout :

\begin{align*}
(au+hv+g)u + (hu+bv+f)v = 0\\
au^2+2huv+bv^2+gu+fv = 0.
\end{align*}

Or, $au^2+2huv+bv^2+2gu+2fv+c=0.$ Par soustraction, il vient :

gu+fv+c=0.

Il en résulte que :

\Delta =
\begin{vmatrix}a & h & 0 \\
h & b & 0 \\
g& f & 0
\end{vmatrix} = 0.

Epilogue

Lorsque l’ensemble des points $M(x,y)$ vérifiant l’équation :

ax^2+2hxy+by^2+2gx+2fy+c=0

est la réunion de deux droites sécantes, alors les deux conditions suivantes sont nécessairement vérifiées :

\boxed{\begin{array}{ll}
ab-h^2 < 0\\
\\
\Delta =
\begin{vmatrix}a & h & g \\
h & b & f \\
g& f & c
\end{vmatrix} = 0.
\end{array}}

Dans le prolongement du contenu qui a été écrit dans l'article 236, vous étudiez la conique dont une équation est $3x^2-y^2+\sqrt{3}x- y-4 = 0.$

Vous allez utiliser un changement d’origine du repère afin d’éliminer de l’équation les termes de degré $1$, à savoir $\sqrt{3}x- y.$

Effectuez un changement de variable

Soit $(h,k)\in\R^2$ un couple de deux réels qui sera choisi plus tard.

Considérez le changement de variable :

\left\{\begin{align*}
X&=x+h\\
Y&=y+k.
\end{align*}\right.

Vous déduisez la série d’équivalence suivante :

\left\{\begin{align*}
3x^2-y^2+\sqrt{3}x- y-4 = 0  &\Longleftrightarrow 3(X-h)^2-(Y-k)^2+\sqrt{3}(X-h)-(Y-k)-4=0 \\
&\Longleftrightarrow 3(X^2-2hX+h^2)-(Y^2-2kY+k^2)+\sqrt{3}X-Y-4-\sqrt{3}h+k=0\\
&\Longleftrightarrow 3X^2-Y^2+(-6h+\sqrt{3})X+(2k-1)Y+3h^2-k^2-4-\sqrt{3}h+k=0.
\end{align*}\right.

Vous choisissez $h$ et $k$ pour obtenir :

\left\{\begin{align*}
-6h+\sqrt{3}&=0\\
2k-1&=0.
\end{align*}\right.

Ainsi vous posez $h = \frac{\sqrt{3}}{6}$ et $k=\frac{1}{2}.$

Vous calculez alors le terme constant :

\begin{align*}
3h^2-k^2-4-\sqrt{3}h+k &= 3\times \frac{3}{36} - \frac{1}{4}-4-\frac{1}{2}+\frac{1}{2}\\
&=-4.
\end{align*}

Vous avez obtenu l’équivalence suivante :

\boxed{3x^2-y^2+\sqrt{3}x- y-4 = 0  \Longleftrightarrow 3X^2-Y^2-4=0.}

Construisez la forme réduite et déterminez les éléments caractéristiques

Vous allez écrire l’équation obtenue sous la forme $\frac{X^2}{a^2}-\frac{Y^2}{b^2} = 1.$

\begin{align*}
3X^2-Y^2-4=0 &\Longleftrightarrow \frac{3}{4}X^2-\frac{1}{4}Y^2 = 1\\
&\Longleftrightarrow \frac{X^2}{4/3}-\frac{Y^2}{4} = 1\\
&\Longleftrightarrow \frac{X^2}{\left(\frac{2\sqrt{3}}{3}\right)^2}-\frac{Y^2}{2^2} = 1.
\end{align*}

Il s’agit donc d’une hyperbole $\mathscr{H}$ avec $a = \frac{2\sqrt{3}}{3}$ et $b = 2.$

Dans ce cas vous calculez le nombre $c$ en calculant d’abord $c^2$ comme suit :

\begin{align*}
c^2 &= a^2+b^2 \\
&= \frac{4}{3}+4\\
&=\frac{16}{3}.
\end{align*}

Ainsi, $c = \frac{4\sqrt{3}}{3}.$ Ce nombre servira à placer les deux foyers de l’hyperbole $\mathscr{H}.$

Tracez l’hyperbole $\mathscr{H}$ d’équation $3X^2-Y^2-4 = 0$

Les asymptotes s’obtiennent en remplacant $4$ par $0$ dans l’équation ci-dessus, ce qui fournit :

3X^2-Y^2 = 0

puis :

(\sqrt{3}X+Y)(\sqrt{3}X-Y)=0.

Les deux asymptotes de l’hyperbole $\mathscr{H}$ ont pour équations respectives :

\left\{\begin{align*}
Y &= \sqrt{3}X\\
Y &= -\sqrt{3}X.
\end{align*}\right.

Reprenez l’équation $3X^2-Y^2-4 = 0.$

Si vous imposez $X=0$ il n’y a pas de solution puisqu’alors $Y^2$ serait strictement négatif. Donc l’hyperbole $\mathscr{H}$ n’a pas de point d’intersection avec l’axe des ordonnées.

Si vous imposez $Y=0$ vous trouvez $X = \pm \frac{2\sqrt{3}}{3}.$ L’hyperbole $\mathscr{H}$ possède deux points d’intersection avec l’axe des abscisses : $\left(\frac{2\sqrt{3}}{3}, 0\right)$ et $\left(\frac{-2\sqrt{3}}{3}, 0\right).$

Les deux foyers de l’hyperbole $\mathscr{H}$ ont pour coordonnées respectives $F_1(c,0)$ et $F_2(-c,0)$ où $c=\frac{4\sqrt{3}}{3}$ a déjà été déterminé.

Note. Le lecteur pourra démontrer que l’hyperbole $\mathscr{H}$ est l’ensemble des points $M$ du plan tels que $\vert MF_1 – MF_2 \vert = 2a = \frac{4\sqrt{3}}{3}.$

Tracez l’hyperbole $\mathscr{H}’$ admettant pour équation $3x^2-y^2+\sqrt{3}x- y-4 = 0$

Elle se déduit de l’hyperbole précédente en changeant l’origine du repère.

Quand $X=0$ et $Y=0$, vous avez $x = X-h = -\frac{\sqrt{3}}{6}$ et $y = Y-k = -\frac{1}{2}.$

L’hyperbole d’équation $3x^2-y^2+\sqrt{3}x- y-4 = 0$ admet donc pour centre le point $C$ de coordonnées $\left( \frac{-\sqrt{3}}{6}, -\frac{1}{2}\right).$

Par translation de l’hyperbole $\mathscr{H}$ vous déduisez que ses foyers ont pour coordonnées :

$G_1 \left( \frac{7\sqrt{3}}{6}, -\frac{1}{2}\right)$ et $G_2\left( – \frac{3\sqrt{3}}{2}, -\frac{1}{2}\right).$

Tracez la conique $\mathscr{C}$ d’équation $x^2+\sqrt{3}xy+x-2=0$

D’après le contenu qui a été écrit dans l'article 236, vous cherchez à tracer la conique $\mathscr{C}$ d’équation $x^2+\sqrt{3}xy+x-2=0$ dans un repère orthonormé $(O,\vv{i}, \vv{j}).$

Le repère $(O,\vv{i}, \vv{j})$ subit une rotation de centre $O$ et d’angle $\pi/6$ ce qui produit le nouveau repère $(O,\vv{u}, \vv{v}).$ Pour tout point $M$ du plan, vous noterez $(x,y)$ ses coordonnées dans le repère $(O,\vv{i}, \vv{j})$ et $(X,Y)$ ses coordonnées dans le repère $(O,\vv{u}, \vv{v}).$

Vous tracez donc l’hyperbole $\mathscr{H}’$ dans le repère $(O,\vv{u}, \vv{v})$ qui se confond avec la conique $\mathscr{C}$ dans le repère $(O,\vv{i}, \vv{j}).$