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

Ajouter des liens
À valider
La bibliothèque libre.

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 ;

Par M. F. Vallès, élève à l’École royale polytechnique.
≈≈≈≈≈≈≈≈≈

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

Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikisource.org/v1/ » :): {\displaystyle x=Mz,\qquad 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 Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikisource.org/v1/ » :): {\displaystyle M} et Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikisource.org/v1/ » :): {\displaystyle N} une certaine relation que nous représenterons par l’équation

Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikisource.org/v1/ » :): {\displaystyle \operatorname{F}(M,N)=0,}

dans laquelle mettant pour Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikisource.org/v1/ » :): {\displaystyle M} et Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikisource.org/v1/ » :): {\displaystyle 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

Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikisource.org/v1/ » :): {\displaystyle \operatorname{F}\left(\frac{x}{z},\frac{y}{z}\right),}

équation qui, résolue par rapport à Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikisource.org/v1/ » :): {\displaystyle \frac{y}{z}} deviendra

Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikisource.org/v1/ » :): {\displaystyle \frac{y}{z}=\operatorname{f}\left(\frac{x}{z}\right)\,;}

dans laquelle Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikisource.org/v1/ » :): {\displaystyle \operatorname{f}} désigne une fonction tout-à-fait arbitraire.

Les deux différentielles partielles de cette équation, prises tourà-tour par rapport à Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikisource.org/v1/ » :): {\displaystyle x} et Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikisource.org/v1/ » :): {\displaystyle y,} sont

Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikisource.org/v1/ » :): {\displaystyle -py=(z-px)\operatorname{f}'\left(\frac{x}{z}\right),\qquad z-qy=-qx \operatorname{f}'\left(\frac{x}{z}\right),}

où Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikisource.org/v1/ » :): {\displaystyle p} et Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikisource.org/v1/ » :): {\displaystyle q} représentent, à l’ordinaire, les deux coefficiens diffèrentiels partiels Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikisource.org/v1/ » :): {\displaystyle \frac{\operatorname{d}z}{\operatorname{d}x},\frac{\operatorname{d}z}{\operatorname{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

Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikisource.org/v1/ » :): {\displaystyle (z-px)(z-qy)=pqxy,}

ou bien en développant, réduisant et divisant par Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikisource.org/v1/ » :): {\displaystyle z,}

Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikisource.org/v1/ » :): {\displaystyle z=px+qy,\qquad} (1)

Cela posé, supposons que la surface à laquelle cette surface conique est circonscrite soit de l’ordre Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikisource.org/v1/ » :): {\displaystyle m,} et soit son équation

Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikisource.org/v1/ » :): {\displaystyle \varphi(x,y,z)=V=0\qquad} (2)

ses deux équations différentielles partielles seront

Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikisource.org/v1/ » :): {\displaystyle \frac{\operatorname{d}V}{\operatorname{d}x}+\frac{\operatorname{d}V}{\operatorname{d}z}\frac{\operatorname{d}z}{\operatorname{d}x}=0,\qquad\frac{\operatorname{d}V}{\operatorname{d}y}+\frac{\operatorname{d}V}{\operatorname{d}z}\frac{\operatorname{d}z}{\operatorname{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

Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikisource.org/v1/ » :): {\displaystyle \frac{\operatorname{d}z}{\operatorname{d}x}=p,\qquad\frac{\operatorname{d}z}{\operatorname{d}y}=q,}

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

Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikisource.org/v1/ » :): {\displaystyle \frac{\operatorname{d}V}{\operatorname{d}x}+\frac{\operatorname{d}V}{\operatorname{d}z}p=0,\qquad\frac{\operatorname{d}V}{\operatorname{d}y}+\frac{\operatorname{d}V}{\operatorname{d}z}q=0.\qquad} (3)

Éliminant donc Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikisource.org/v1/ » :): {\displaystyle p} et Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikisource.org/v1/ » :): {\displaystyle q,} entre les équations (1) et (3), on obtiendra, pour une des équations de la ligne de contact des deux surfaces

Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikisource.org/v1/ » :): {\displaystyle x\frac{\operatorname{d}V}{\operatorname{d}x}+y\frac{\operatorname{d}V}{\operatorname{d}y}+z\frac{\operatorname{d}V}{\operatorname{d}z}=0\,;\qquad} (4)

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

Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikisource.org/v1/ » :): {\displaystyle V=0,\qquad x\frac{\operatorname{d}V}{\operatorname{d}x}+y\frac{\operatorname{d}V}{\operatorname{d}y}+z\frac{\operatorname{d}V}{\operatorname{d}z}=0,}

on peut en déduire une troisième d’un ordre inférieur à l’ordre Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikisource.org/v1/ » :): {\displaystyle m.}

Pour cela représentons généralement par

Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikisource.org/v1/ » :): {\displaystyle Ax^\alpha y^\beta z^{m-\alpha-\beta} }

un quelconque des termes de l’ordre Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikisource.org/v1/ » :): {\displaystyle m} de l’équation Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikisource.org/v1/ » :): {\displaystyle V=0,\ \alpha} et Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikisource.org/v1/ » :): {\displaystyle \beta} pouvant avoir toutes les valeurs positives possibles, depuis zéro jusqu’à Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikisource.org/v1/ » :): {\displaystyle \alpha+\beta=m.} Les dérivées successives de ce terme, par rapport à Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikisource.org/v1/ » :): {\displaystyle x,y,z} seront respectivement

Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikisource.org/v1/ » :): {\displaystyle \alpha Ax^{\alpha-1}y^\beta z^{m-\alpha-\beta},\ \beta Ax^\alpha y^{\beta-1}z^{m-\alpha-\beta},\ (m-\alpha-\beta)Ax^\alpha y^\beta z^{m-\alpha-\beta-1}.}

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 Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikisource.org/v1/ » :): {\displaystyle x,y} et Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikisource.org/v1/ » :): {\displaystyle z,} ce qui donnera simplement ;

Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikisource.org/v1/ » :): {\displaystyle mAx^\alpha y^\beta z^{m-\alpha-\beta},}

c’est-à-dire, ce terme lui-même multiplié simplement par Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikisource.org/v1/ » :): {\displaystyle m.} Quant aux termes des ordres inférieurs, contenus dans l’équation Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikisource.org/v1/ » :): {\displaystyle V=0,} il est manifeste qu’ils n’introduiront que des termes d’ordre inférieur à Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikisource.org/v1/ » :): {\displaystyle m} dans l’équation (4), de sorte que cette équation contiendra tous les termes de l’ordre Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikisource.org/v1/ » :): {\displaystyle m} de l’équation Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikisource.org/v1/ » :): {\displaystyle V=0,} multipliés simplement par Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikisource.org/v1/ » :): {\displaystyle m.}

Donc, si de cette équation (4) on retranche le produit par Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikisource.org/v1/ » :): {\displaystyle m} de l’équation Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikisource.org/v1/ » :): {\displaystyle V=0,} tous les termes de l’ordre Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikisource.org/v1/ » :): {\displaystyle m} disparaîtront de l’équation résultante, qui sera ainsi une équation d’un ordre inférieur à Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikisource.org/v1/ » :): {\displaystyle 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 Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikisource.org/v1/ » :): {\displaystyle 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

Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikisource.org/v1/ » :): {\displaystyle \varphi(x,y)=V=0\qquad} (1)

l’équation de la courbe dont il s’agit, que nous supposons de l’ordre Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikisource.org/v1/ » :): {\displaystyle m.} Toute droite menée par l’origine aura une équation de la forme

Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikisource.org/v1/ » :): {\displaystyle y=Mx\,;\qquad} (2)

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

Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikisource.org/v1/ » :): {\displaystyle \frac{\operatorname{d}V}{\operatorname{d}x}+\frac{\operatorname{d}V}{\operatorname{d}y}\frac{\operatorname{d}y}{\operatorname{d}x}=0.}

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

Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikisource.org/v1/ » :): {\displaystyle \frac{\operatorname{d}y}{\operatorname{d}x}=M}

ce qui donnera

Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikisource.org/v1/ » :): {\displaystyle \frac{\operatorname{d}V}{\operatorname{d}x}+\frac{\operatorname{d}V}{\operatorname{d}y}M=0\,;\qquad} (3)

éliminant donc Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikisource.org/v1/ » :): {\displaystyle M} entre les équations (2) et (3), on obtiendra, pour l’équation d’une courbe qui contiendra tous les points de contact

Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikisource.org/v1/ » :): {\displaystyle x\frac{\operatorname{d}V}{\operatorname{d}x}+y\frac{\operatorname{d}V}{\operatorname{d}y}=0.\qquad} (4)

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

Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikisource.org/v1/ » :): {\displaystyle V=0,\qquad x\frac{\operatorname{d}V}{\operatorname{d}x}+y\frac{\operatorname{d}V}{\operatorname{d}y}=0.}

on en peut déduire une troisième d’un ordre inférieur à Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikisource.org/v1/ » :): {\displaystyle m} .

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

Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikisource.org/v1/ » :): {\displaystyle Ax^\alpha y^{m-\alpha}}

un quelconque des termes de l’ordre Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikisource.org/v1/ » :): {\displaystyle m} de l’équation Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikisource.org/v1/ » :): {\displaystyle V=0,\ \alpha} pouvant avoir toutes les valeurs positives possibles, de zéro à Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikisource.org/v1/ » :): {\displaystyle m\,;} les dérivées de ce terme, par rapport à Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikisource.org/v1/ » :): {\displaystyle x} et Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikisource.org/v1/ » :): {\displaystyle y} seront respectivement

Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikisource.org/v1/ » :): {\displaystyle \alpha Ax^{\alpha-1} y^{m-\alpha},\qquad(m-\alpha)Ax^\alpha y^{m-\alpha-1}.}

En prenant la somme de leurs produits par Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikisource.org/v1/ » :): {\displaystyle x} et Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikisource.org/v1/ » :): {\displaystyle y,} le résultat

Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikisource.org/v1/ » :): {\displaystyle mAx^\alpha y^{m-\alpha},}

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 Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikisource.org/v1/ » :): {\displaystyle V=0,} n’introduiront que des termes d’ordre inférieur à Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikisource.org/v1/ » :): {\displaystyle m,} dans l’équation (4) ; il s’ensuit que cette équation (4) contiendra exactement tous les termes de l’ordre Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikisource.org/v1/ » :): {\displaystyle m} de l’équation Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikisource.org/v1/ » :): {\displaystyle V=0,} multipliés simplement par Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikisource.org/v1/ » :): {\displaystyle m} .

Donc, si, de cette équation (4), ou retranche Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikisource.org/v1/ » :): {\displaystyle m} fois l’équation Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikisource.org/v1/ » :): {\displaystyle V=0,} tous les termes de l’ordre Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikisource.org/v1/ » :): {\displaystyle m} disparaîtront de l’équation résultante, qui sera conséquemment d’un ordre inférieur à Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « http://localhost:6011/fr.wikisource.org/v1/ » :): {\displaystyle 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.

Récupérée de « https://fr.wikisource.org/w/index.php?title=Annales_de_mathématiques_pures_et_appliquées/Tome_16/Géométrie_analitique,_article_4&oldid=12262561 »