LIGNES ET ENVELOPPES
41. Lignes et enveloppes de droites sur un plan projectif. — Supposons P(0>/^(^)> formes non nulles d'un plan projectif, respectivement du premier ordre et du deuxième ordre, définies ainsi que leurs dérivées d'ordre quelconque
dans rintervalle de variation de t. Si m est un nombre entier non nul, P^'"^(^), p^'^^{t) sont des formes du plan fixe. En effet, soit a une forme fixe et non nulle du troisième ordre tel que P(^)a = o, p{t)oL=:.o pour chaque valeur de t\ par suite, P^"*^(^)a = o et /?^'^^(^)a=:o, ce qu'il fallait démontrer.
On appelle ligne P l'ensemble des points projectifs, positions des formes P(/), lorsque t varie dans l'intervalle donné.
On appelle enveloppe p l'ensemble des droites projectives, positions des formes p{t), lorsque t varie dans l'intervalle donné.
Ces ensembles sont des éléments projectifs qui peuvent être considérés comme indépendants du nombre ^ et de rintervalle dans lequel il peut varier.
Si K, Ri sont des points de la ligne P et que la droite RRi ait pour limite — lorsque Ri varie sur la ligne P pour tendre vers le point R — une droite bien déterminée r, la droite r est appelée tangente à la ligne P au point R.
Si r, ri sont des droites de l'enveloppe p et que le point rri ait pour limite — lorsque ri varie sur l'enveloppe;? pour tendre vers la droite r — un point bien déterminé R, le point R est dit caractéristique de V enveloppe p sur la droite r.
La normale à la ligne P au point R est la perpendiculaire à la tangente au point R (si elle existe), élevée dans le plan de la courbe.
Si pour chaque valeur de t le point P(r) est situé sur une droite fixe r, et que la ligne P ne se réduise pas à un seul point, la droite r est la tangente à la ligne P en tout point de cette ligne
Si pour chaque valeur de t la droite p{t) passe par un point fixe R, et que l'enveloppe p ne se réduise pas à une seule droite , le point R est la caractéristique de l'enveloppe p sur toute droite (Je cette enveloppe.
Théorèue I. — Si, pour une valeur donnée de t, m est le plus petit des nombres entiers non nuls x tels que :
pp(^) p£ o, la tangente à la ligne P au point P est la droite PP^^K
pp^x) ^ o^ la caractéristique de l'enveloppe p sur la droite p est le point /?/>^'»^
Dém, (pour Ténoncé de gauche). — En posant
Pj = P(?H-/0,
la formule de Taylor donne
OÙ Q est une forme du premier ordre telle que limQ = o;
d'ailleurs, par hypothèse, PP^*J = o, pour j?= 1,2, ..., m — i, et par suite
fim
PPi=^(PP('«J-hPQ);
mais
lim posit PPi = lim posit (VV^rn) + pQ)
= posit lim (PF''»^ -h PQ) = positPP^'«J,
ce qui démontre le théorème.
Le principe de dualité sur le plan fournira le théorème de droite.
Si PP V o, la tangente à la ligne P au point P est la droite PP'.
Si pp' 9^ o, la caractéristique de l'enveloppe/? sur la droite p est le point />/?'.
Théorèhe il
Si pour chaque valeur de t, PP'F^o, la ligne P est le lieu des caractéristiques de Tenveloppe dont les droites sont tangentes à la ligne P.
Si pour chaque valeur de f, pp'p"^ o, l'enveloppe p est l'ensemble des tangentes à la ligne dont les points sont les caractéristiques de l'enveloppe p.
Dém. (à gauche). — A cet effet, posons a = PP'; a est alors une fonction non nulle de t et l'enveloppe a admet pour droites les tangentes à la ligne P ; nous avons
«'=p'P'-4-PP'^=Pl''
et, par le produit régressif aa', on voit que
aa'= PP'.PP"= PPP'.P'— P'PP".P = PP'P'.P.
On peut exprimer autrement le théorème II de gauche en disant que : Si R est un point de la ligne P et si r est la tangente à cette ligne au point R, le point R est la position limite du point de rencontre de la droite r avec la tangente à la ligne P en un autre point Rj lorsque le point Rj tend à se déplacer sur la ligne P pour venir coïncider avec le point R. On peut donner une interprétation analogue au théorème de droite.
Théorèke III.
Si />(/) est une forme non nulle du deuxième ordre d'un plan fixe, eip'{t) une forme continue telle que, pour une valeur ^o de ^, on aitp(^o);?'('o)?^o, la caractéristique de l'enveloppe /? sur la droite /?(^o) est la position limite du point /?(ri)/?(f2) lorsque ti et fj tendent vers la valeur Iq,
Si P(0 6st une forme non nulle du premier ordre d'un plan fixe, et P'(0 une forme continue telle que, pour une valeur ^o de t, on ait P(/o)P'(^o)>^ o, la tangente à la ligne P au point P(^o) est la position limite de la droite P {tx ) V{t^ ), lorsque ti et t^ tendent vers la valeur ÎQ,
Dém, (à gauche). — On a
positP(^i)P(f2) = posit îiiil^lfi},
et, en appliquant le théorème III du n° 40, il vient
limpositP(^i)P(/2) = positP(fo)P'(^o), ce qui démontre le théorème.
Exemples, — i®^ Soit/ =:/(^) l'équation cartésienne d'une courbe. On a
P = 0-h(xH-(;r)I,
où est un point fixe et I un vecteur unité fixe du plan de la courbe; x étant la variable indépendante, on a
et si/, dans Tintervalle où varier, a une dérivée finie et déterminée, on doit avoir P' ^ et la tangente au point P est la droite PP'.
FORMES TÀRIABLES* 8l
Si 6 est Tangle formé par Taxe des a? avec la tangente au point P, ou si 0=:(I, P'), nous avons
qui donne la signification géométrique ordinaire du nombrey' .
2« Si p =/(9) est réquation de la courbe en coordonnées
polaires,
P = 0-Hpe'?I,
d'où
F=(p'-hip)e'?I.
Si nous posons alors = (P — 0,P'), il vient
tango = -^-,,
qui est la formule ordinaire de la Géométrie analytique.
3** Soit P(^) une forme du premier ordre, et PPf'") la tangente au point P : la normale sera la droite P/(PPf'"\co); si donc P(0 est un point, la normale au point P est la droite PiP^'"^ puisque P^'"^ est un vecteur parallèle à la tangente au point P.
4* Soit P(^) un point tel que, pour une valeur donnée de ^, PP'P^^o et soit A une forme non nulle du premier ordre appartenant au plan de la ligne P, telle, en outre, que le point A ne soit pas situé sur la tangente à la courbe au point P.
Nous dirons que la ligne P a, au point P, sa concavité tournée vers le point A, quand les points de la ligne P, au voisinage du point P, sont du même côté de la tangente en P que le point A. En d'autres termes, la ligne tourne, au point P, sa concavité vers le point A, si Ton peut fixer un nombre £ tel que les triangles
