Un exercice: le cercle de Monge

A titre d'exemple traitons un petit exercice typiquement métrique: quel est l'ensemble des points d'où l'on voit une ellipse sous un angle droit ? Soit \(\mathbf{C}\) l'ellipse en question d'équation :

\[ ax^2 + by^2 = 1\] ou \[\mathbf{C}(x,x) \equiv ax^2+by^2-1=0 \]

et un point \(P\) de coordonnées \((x_0,y_0)\)

Rappel des notations:

Si \(P\) désigne un point donné de coordonnées \((x_0,y_0)\) et \(X\) un point quelconque de coordonnées \((x,y)\), on désigne par \(\mathbf{C}(X,X)\) une forme quadratique en \(x,y\) et \(\mathbf{C}(P,P)\) la valeur de cette forme au point \((x_0,y_0)\) ; enfin \(\mathbf{C}(X,P)\) est la valeur de la forme bilinéaire symétrique associée à la forme quadratique \(\mathbf{C}\) pour les points \((x_0,y_0)\) et \((x,y)\).

On obtient la forme bilinéaire symétrique en remplaçant dans la forme quadratique:

  • les carrés du type \(x^2\) par les produits \(x_0x\)
  • les termes produits de type \(xy\) par les sommes \(\frac{1}{2}(x_0y+xy_0)\),
  • les termes linéaires du type \(x\) par les sommes \(\frac{1}{2}(x_0+x)\).

Nous avons vu que les tangentes issues de ce point ont pour équations:

\[\mathbf{C}^2(P,X) - \mathbf{C}(P,P).\mathbf{C}(X,X) = 0\] c'est-à-dire dans notre cas: \[(axx_0+byy_0-1)^2-(ax_0^2+by_0^2-1)(ax^2+by^2-1)=0\]

Les termes du second degré de cette équation sont:

\[ax^2(by_0^2-1)-2abx_0y_0xy+by^2(ax_0^2-1)\]

Les droites correspondantes seront perpendiculaires si la somme des coefficients des termes carrés en \(x\) et \(y\) est nulle; on obtient donc:

\[aby_0^2-a+bax_0^2-b=0\]

cela signifie que le point \(P\) de coordonnées \((x_0,y_0)\) est soumis à la condition:

\[x_0^2+y_0^2=\frac{a+b}{ab}\]

et l'on constate qu'il s'agit d'un cercle ; il est appelé cercle orthoptique, ou cercle de Monge .

Cet exemple montre combien une étude préliminaire générale des coniques permet de regagner dans la suite le temps qui aurait été nécessaire à une étude détaillée et séparée de chacun des types de coniques.