Annales de mathématiques pures et appliquées/Tome 16/Géométrie analitique, article 4
# Annales de mathématiques pures et appliquées/Tome 16/Géométrie analitique, article 4

## GÉOMÉTRIE DES SURFACES COURBES.

### Démonstration d’une propriété générale des lignes de contact des surfaces courbes avec les surfaces coniques circonscrites ;

Dans tous les traités analitiques des surfaces du second ordre, on démontre que la ligne de contact de ces sortes de surfaces avec la surface conique circonscrite est une courbe plane ; mais cette proposition n’est qu’un cas particulier d’une proposition plus générale que nous allons démontrer, et qu’on peut énoncer comme il suit :

THÉORÈME. La ligne de contact d’une surface d’un ordre quelconque avec la surface conique circonscrite, appartient toujours à une surface d’un ordre inférieur.

Démonstration. Soit une surface d’un ordre quelconque à laquelle on ait circonscrit une surface conique, ayant son sommet situé où l’on voudra, par rapport à cette première surface. Soit pris ce sommet pour origine des coordonnées, auxquelles nous supposons d’ailleurs une direction quelconque. Les équations de l’un des élémens de la surface conique seront de la forme

x=Mz, y=Nz;

et, pour que cette droite ne puisse pas être une quelconque des droites menées par l’origine, il sera nécessaire qu’il existe entre M et N une certaine relation que nous représenterons par l’équation

F⁡(M, N)=0,

dans laquelle mettant pour M et N les valeurs données par les deux équations précédentes, on obtiendra, pour l’équation générale, des surfaces coniques ayant leur sommet à l’origine

F⁡( x/z, y/z ),

équation qui, résolue par rapport à y/z deviendra

y/z=f⁡(x/z);

dans laquelle f désigne une fonction tout-à-fait arbitraire.

Les deux différentielles partielles de cette équation, prises tourà-tour par rapport à x et y, sont

−py=(z−px)f′⁡(x/z), z−qy=−qxf′⁡(x/z),

où p et q représentent, à l’ordinaire, les deux coefficiens diffèrentiels partiels d⁡z/d⁡x, d⁡z/d⁡y.

En multipliant ces dernières équations en croix et réduisant, on obtiendra, pour l’équation différentielle partielle générale des surfaces coniques qui ont leur sommet à l’origine

(z−px)(z−qy)=pqxy,

ou bien en développant, réduisant et divisant par z,

z=px+qy,

Cela posé, supposons que la surface à laquelle cette surface conique est circonscrite soit de l’ordre m, et soit son équation

φ(x, y, z)=V=0

ses deux équations différentielles partielles seront

d⁡V/d⁡x+d⁡V/d⁡z d⁡z/d⁡x=0, d⁡V/d⁡y+d⁡V/d⁡z d⁡z/d⁡y=0;

or, si l’on veut que la surface conique lui soit circonscrite, il faudra qu’en leurs points communs elles aient le même plan tangent et qu’on ait conséquemment

d⁡z/d⁡x=p, d⁡z/d⁡y=q,

ce qui changera les deux équations différentielles partielles en celles-ci

d⁡V/d⁡x+d⁡V/d⁡z p=0, d⁡V/d⁡y+d⁡V/d⁡z q=0.

Éliminant donc p et q, entre les équations (1) et (3), on obtiendra, pour une des équations de la ligne de contact des deux surfaces

x d⁡V/d⁡x+y d⁡V/d⁡y+z d⁡V/d⁡z=0;

tandis que l’autre équation de cette même ligne sera évidemment l’équation (2).

Mais quand une ligne est donnée dans l’espace par les équations de deux surfaces, dont elle est l’intersection, elle est tout aussi bien donnée par l’intersection de l’une de ces surfaces avec une autre dont l’équation serait une combinaison quelconque des équations de ces deux-là. Tout se réduit donc à prouver que, de la combinaison des deux équations

V=0, x d⁡V/d⁡x+y d⁡V/d⁡y+z d⁡V/d⁡z=0,

on peut en déduire une troisième d’un ordre inférieur à l’ordre m.

Pour cela représentons généralement par

Axᵅyᵝzᵐ⁻ᵅ⁻ᵝ

un quelconque des termes de l’ordre m de l’équation V=0, α et β pouvant avoir toutes les valeurs positives possibles, depuis zéro jusqu’à α+β=m. Les dérivées successives de ce terme, par rapport à x, y, z seront respectivement

αAxᵅ⁻¹yᵝzᵐ⁻ᵅ⁻ᵝ, βAxᵅyᵝ⁻¹zᵐ⁻ᵅ⁻ᵝ, (m−α−β)Axᵅyᵝzᵐ⁻ᵅ⁻ᵝ⁻¹.

Pour savoir ce que ce terme produira dans l’équation (4), il faudra prendre la somme des produits de ces trois dérivées par x, y et z, ce qui donnera simplement ;

mAxᵅyᵝzᵐ⁻ᵅ⁻ᵝ,

c’est-à-dire, ce terme lui-même multiplié simplement par m. Quant aux termes des ordres inférieurs, contenus dans l’équation V=0, il est manifeste qu’ils n’introduiront que des termes d’ordre inférieur à m dans l’équation (4), de sorte que cette équation contiendra tous les termes de l’ordre m de l’équation V=0, multipliés simplement par m.

Donc, si de cette équation (4) on retranche le produit par m de l’équation V=0, tous les termes de l’ordre m disparaîtront de l’équation résultante, qui sera ainsi une équation d’un ordre inférieur à m; mais ce sera aussi l’équation d’une surface qui contiendra la ligne de contact de la surface conique avec la surface de l’ordre m à laquelle elle est circonscrite ; donc il est vrai de dire, comme l’annonce le théorème, que cette ligne de contact appartient à une surface d’un ordre inférieur à celui de la surface à laquelle la surface conique se trouve circonscrite. Donc, en particulier, cette ligne de contact est une courbe plane, si la surface conique est circonscrite à une surface du second ordre.

Cette proposition, étant indépendante de la distance du sommet de la surface conique à la surface à laquelle elle se trouve circonscrite, elle aura lieu également lorsque ce sommet en sera infiniment distant. Notre théorème conduit donc à ce corollaire.

Corollaire. La ligne de contact d’une surface d’un ordre quelconque avec une surface cylindrique qui lui est circonscrite appartient toujours à une surface d’un ordre inférieur.

Par des raisonnemens et des calculs analogues, on démontrera le théorème suivant :

THÉORÈME. Les points de contact d’une courbe plane d’un ordre quelconque avec toutes les tangentes qui peuvent lui être menées d’un même point quelconque de son plan, sont tous situés sur une courbe d’un ordre inférieur au sien.

Démonstration. Soit pris le point d’où sont issues toutes les tangentes pour origine des coordonnées, auxquelles nous supposerons d’ailleurs une direction quelconque, et soit alors

φ(x, y)=V=0

l’équation de la courbe dont il s’agit, que nous supposons de l’ordre m. Toute droite menée par l’origine aura une équation de la forme

y=Mx;

mais en différentiant l’équation de la courbe dont il s’agit, on obtient

d⁡V/d⁡x+d⁡V/d⁡y d⁡y/d⁡x=0.

Afin donc que la droite menée par l’origine lui soit tangente, il faudra qu’on ait

d⁡y/d⁡x=M

ce qui donnera

d⁡V/d⁡x+d⁡V/d⁡y M=0;

éliminant donc M entre les équations (2) et (3), on obtiendra, pour l’équation d’une courbe qui contiendra tous les points de contact

x d⁡V/d⁡x+y d⁡V/d⁡y=0.

Cette équation, combinée avec l’équation (1), donnera les points de contact dont il s’agit.

Mais, quand des points sont donnés sur un plan, par l’intersection de deux courbes, ils sont tout aussi bien donnés par l’intersection de l’une d’elles avec une autre dont l’équation serait une combinaison quelconque des équations de ces deux-là. Tout se réduit donc à prouver que, de la combinaison des deux équations

V=0, x d⁡V/d⁡x+y d⁡V/d⁡y=0.

on en peut déduire une troisième d’un ordre inférieur à m.

Or, soit représenté généralement par

Axᵅyᵐ⁻ᵅ

un quelconque des termes de l’ordre m de l’équation V=0, α pouvant avoir toutes les valeurs positives possibles, de zéro à m; les dérivées de ce terme, par rapport à x et y seront respectivement

αAxᵅ⁻¹yᵐ⁻ᵅ, (m−α)Axᵅyᵐ⁻ᵅ⁻¹.

En prenant la somme de leurs produits par x et y, le résultat

mAxᵅyᵐ⁻ᵅ,

sera ce que ce terme aura fourni, dans la formation de l’équation (4) ; et, comme il est manifeste que les termes des ordres inférieurs, contenus dans l’équation V=0, n’introduiront que des termes d’ordre inférieur à m, dans l’équation (4) ; il s’ensuit que cette équation (4) contiendra exactement tous les termes de l’ordre m de l’équation V=0, multipliés simplement par m.

Donc, si, de cette équation (4), ou retranche m fois l’équation V=0, tous les termes de l’ordre m disparaîtront de l’équation résultante, qui sera conséquemment d’un ordre inférieur à m; mais ce sera l’équation d’une courbe qui contiendra tous les points de contact ; donc, comme l’annonce le théorème, ces points de contact sont sur une courbe d’un ordre inférieur à celui de la proposée.

Le théorème ne devant pas cesser d’avoir lieu lorsque le point d’où les tangentes sont issues se trouve infiniment distant de la courbe proposée, il en résulte le corollaire suivant :

Corollaire. Les points de contact d’une courbe plane, d’un ordre quelconque avec toutes ses tangentes parallèle à une droite fixe, située d’une manière quelconque sur son plan, appartiennent toujours à une autre courbe d’un ordre inférieur au sien.

