Академический Документы
Профессиональный Документы
Культура Документы
5
applications de I'analyse
E. RAMIS
2e edition
a la geometrie
C. DESCHAMPS
J. ODOUX
II MASSON
COURS
DE
MATHEMATIQUES
SPECIALES
Des memes auteurs: COURS DE MATIlEMATIQUES SPECIALES, par E. RAMIS, C. DESCHAMPS et J. Oooux. Volume I. - Algebre, 1990, 2e edition, 2e tirage, 448 pages. Volume 2. - Algebre et applications II la geometric. 1990, 3e tirage corrige, 312 pages. Volume 3. - Topologie et elements d'analyse. 1988, 2e edition, 2e tirage, 376 pages. Volume 4. - Series et equations differentielles. 1990, 2e edition, 2e tirage, 328 pages. Volume 5. - Applications de l'analyse II 1a geometric. 1981,320 pages. ANALYSE. ExERCICES AVEC SOLUTIONS, par E. RAMIS, C. DESCHAMPS et J. Oooux. Tome 1. - 1984,200 pages. Tome 2. - 1985,224 pages. ALGEBRE. EXERCICES AVEC SOLUTIONS, par E. RAMIS, C. DESCHAMPS et J. Oooux. 1988, 200 pages. Dans Lacollection Maitrise de Mathematiques Pures : ALGEBRE COMMUTATIVE, APPLICATIONS EN GEOMETRIE ET TIlEORIE DES NOMBRES - EXERCICES, par M.-J. BERTIN et E. WEXLER-KREINDLER. 1986,208 pages. ALGEBRE LINEAIRE ET GEOMETRIE CLASSIQUE, par J.E. BERTIN et M.-J. BERTIN. Avant-propos J. DIEUOONNE. 1981, 152 pages. de
ALGEBRE LINEAIRE ET GEOMETRIE CLASSIQUE - EXERCICES, par M.-P. MALLIAVIN et A. WARUSPEL. 1981,128 pages. LES GROUPES FINIS ET LEURS REPREsENTATIONS COMPLEXES - EXERCICES, par J.-P. BEZIVIN et A. LEVy-BRUHL. 1982, 108 pages. LES GROUPES FINIS ET LEURS REPRESENTATIONS COMPLEXES, par M.-P. 96 pages. MALLIAVIN. 1981,
ALGEBRE COMMUTATIVE, APPLICATIONS EN GEOMETRIE ET THEORIE DES NOMBRES, par M.-P. MALLIAVIN. 1985,250 pages. Autres ouvrages : COURS DE TOPOLOGIE. Licence et Ire annee de maitrise C1. Espaces metriques, Fonctions numeriques. Espaces vectoriels topologiques, 2e edition, 4e tirage, 328 pages. topologiques et espaces par G. CHOQUET. 1992,
LA REPREsENTATION DES PHENOMENES PHYSIQUES. Les operateurs vectoriels appliques II la physique. Cours, exercices, par B. GROSSE~TE, L. PASTOR et A. ZEITOUN-FAKIRIS, Collection Comprendre et Appliquer : Physique, n" 18. 1981, 152 pages. MA TIlEMATIQUES GENERALESPOUR L' AGREGATION, par P. T AUVEL. 1992,412 LA LE<;:ON GEOMETRIE A L'ORALDE L'AGREGATION, par A. AVEZ. 1992,224 DE pages. pages.
COURS DE
MATHEMATIQUES
SPECIALES
par
E. Ramis
Inspecteur general de I'Instruction Publique
c. Deschamps
Professeur de Mathematiques Speciales au Lycee Louis-Ie-Grand
J. Odoux
Professeur de M athematiques Speciales au Lycee Champollion, Grenoble
MASSON
Paris Milan Barcelone Bonn
1992
Tous droits de traduction, d'adaptation et de reproduction par tous precedes, reserves pour tous pays. Toute reproduction ou representation integrale ou partielle, par quelque precede que ce soit, des pages publiees dans le present ouvrage, faite sans l'autorisation de l'editeur, est illicite et constitue une contrefacon, Seules sont autorisees, d'une part, les reproductions strictement reservees l'usage prive du copiste et non desunees une utilisation collective, et d'autre part, les courtes citations justifiees par le caractere scientifique ou d'information de l'reuvre dans laquelle elles sont incorporees (loi du 11 mars 1957 art. 40 et 41 et Code penal art. 425). Des photocopies payantes peuvent ~tre realisees avec l'accord de l'editeur. S'adresser au : Centre francais d'exploitation du droit de copie, 6 bis, rue Gabriel-Laumain, 75010 Paris, teSl. : 48.24.98.30.
e Masson, Paris,1981,1992
ISBN: 2-225-82771-0
120, bd Saint-Germain, 75280 Paris Cedex 06 Via Statuto 2/4, 20121 Milano Avenida Principe de Asturias 20, 08012 Barcelona Maarweg, 30, 5342 Rheinbreitbach b. Bonn
A VERTISSEMENT
•••••••••••••••••••••••••••••••••••••••••••••••••• ••••••
VII
. 1 12 41 49 59 74 91 91 102 129 144 144 155 163 184 184 210 228 228 236 243 249 255 263
1.1. Complements de topologie 1.2. Arcs parametres. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.3. Construction du support d'un arc plan. . . . . . . . . . . . . . . . . . . . . . . . . 1.4. Arc parametre en coordonnees polaires.... ..................... 1.5. Courbes planes definies implicitement. . . . . . . . . . . . . . . . . . . . . . . . . . . 1.6. Theorie elementaire des enveloppes de droites . . . . . . . . . . . . . . . . . . . 2. bude metrique des arcs .... ........................................
2.1. Longueur d'un arc; abscisse curviligne 2.2. Courbure; repere de Frenet; torsion 2.3. Complements. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3. Etude a£flDe des nappes. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3.1. Generalites ; plans tangents.... .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. 3.2. Notions sur les nappes reglees.... . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3.3. Sous-varietes ; courbes et surfaces 4. Etude metrlque des nappes et des surfaces 4.1. Proprietes metriques locales 4.2. Aire d'une surface. Integrale de surface , ............ -. . . . . . . . . . . . . . . . . . . . .
5. Integrale d'une forme differentielle .,.................................. 5.1. 5.2. 5.3. S.4. 5.5. 5.6. Formes differentielles Integrales curvilignes.. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Theoreme de Green-Riemann. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Integrale d'une forme differentielle de degre deux . . . . . . . . . . . . . . . . Theorerne de Stokes; theoreme d'Ostrogradski Analyse vectorielle '.' . . . . . . . . . . . . . . . . . . . .
VI
6. Masses, centres et moments d'inertie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6.1. Integrale sur un systeme materiel... . . . . . . . . . . . . . . . . . . . . . . . . . . . 6.2. Centre d'inertie d'un systeme materiel .. . . . . . . . . . . . . . . . . . . . . . . . . 6.3. Moments d'inertie d'un systeme materiel. . . . . . . . . . . . . . . . . . . . . . . .
INDEX ALPHABETIQUE ..••..•••.••.••.................••..•.......•..•.•.
A VERTISSEMENT
Le present ouvrage est Ie cinquleme et dernier tome d'un Cours de mathematiques ecrit l'intention des eleoes des classes de Mathematiques Superieures et de Mathematiques Speciales (types M, M'; P, P' et T).
• Conscients de ce qu'un cours de mathematiques peut s'organiser de bien des [aeons, et desireux de respecter Ie choix des professeurs - auxquels nous n'avons, naturellement, pas l'intention de nous substituer - nous avons groupe dans chacun des cinq tomes un ensemble coherent. Les deux premiers sont consacres l' Algebre et ses applications la Geometric. L'Analyse fait Lobjet des tomes 3 et 4. Le dernier tome traite des Applications de l'Analyse it la Geometric. • Dans les dernieres editions de nos quatre premiers tomes, nous avons pu, sans grande dtfftculte, nous aligner sur les actuels programmes des classes preparatoires (C.P.), lesquels ne presentent d'ailleurs qu'assez peu de differences avec leurs
predecesseurs.
a la Geometrie, les nouveaux programmes marquant en la matiere une ten dance tres neue a une plus grande modestie. Dans Ie desir de conserver a notre Cours Ie caractere d'ouvrage de rejerence
qu'ont bien voulu lui reconnaitre un certain nombre d'utilisateurs, cependant cru devoir conserver dans Ie tome 5 : no us avons - d'une part les complements de mathematiques qui rendent l'ouvrage utilisable pat les etudiants des universites et par les candidats aux concours de recrutement des professeurs; - d'autre part les deux chapitres concernant les applications des mathematiques aux autres disciplines scientifiques. C'est ainsi que lefutur physicien trouvera au chapitre 5 une etude assez detaillee de l'analyse vectorielle et des theoremes fondamentaux de Stokes et d'Ostrogradski.
VIII
AVERTISSEMENT
II va de soi que, chaque fois que cela a he necessaire nous avons precise qu'une question depassait les limites des programmes des CiP. • Dans tout le Cours, nous avons apporte le plus grand soin au choix des notations. La terminologie utilisee est celle des programmes et de leurs commentaires. • Afin de nous adapter aux exigences des divers utilisateurs de notre ouoraqe, nous avons utilise deux corps de caracteres, les plus petits etant consacres : - d'une part a des remarques, exemples et contre-exemples qui doivent eire consideres comme formant un tout avec le texte imp rime en caracteres normaux, - d'autre part des complements reserves une « seconde lecture ».
• N ous avons utilise le signe D, qui peut se lire: « la proposition en resulte » pour materialiser la fin d'une demonstration et annoncer l'introduction d'une idee nouvelle. • Le double asterisque, * ... *' permet d'isoler un resultat faisant interuenir des notions qui n'ont pas encore ete etudiees dans le Cours, mais qui sont connues du lecteur (a charge pour celui-ci de s'assurer qu'il n'y a pas de cercle vicieux). • Le systeme de reperaqe est simple: le numero de tome est indique en chiffres romains, ceux du chapitre, du sous-chapitre et du paragraphe en chiffres arabes. C' est ainsi que 1.5.6.2 renvoie au second paragraphe du sixieme souschapitre du cinquieme chapitre du tome I, (le numero de tome n'est pas mentionne lorsqu'il n'y a pas ambigui·te). Des exercices sont adjoints a chaque chapitre. Bien qu'ils soient de difficulte ineqale, nous n'avons pas juq« bon de les reperer par des lettres avertissant Ie lecteur de leur difficuite croissante. En principe, les plus faciles sont en tete de chaque serie.
Les collaborateurs de MASSON S.A. ont consenti pour la mise au point de notre ouvrage un effort dont nous sentons le prix" nous sommes heureux de les en remercier.
LES AUTEURS
* **
1
ETUDE AFFINE DES ARCS
1.1. COMPLEMENTS DE TOPOLOGIE
e)
- De cp-1(0) = 0 et cp-1(F) = E, on deduit : 0 E 0'", et FE 0'",. D'autre part, pour toutes parties Vet V de F et pour toute famille (Vi)iEI de parties de F, on a :
On en deduit aisement que 0'", est une topologie sur F. - Pour toute topologie sur F, 0", cp est une application continue de (E, 0') dans (F, 0") si, et seulement si : '<IV E 0" cp-1 (V) E 0', ce qui s'ecrit : Fc~ 0
REMARQUES. - a) D'apres <p - 1(F\A) = E\<p- 1 (A), une partie A de Fest fermee dans (F, si, et seulement si la partie <p - 1(A) de E est fermee dans (E, w).
w.)
b) Toute partie de F incluse dans F\<p(E) est ouverte dans (F, w.). La topologie induite par w. sur F\<p(E) est done la topologie discrete. Dans la pratique, nous n'utiliserons que des applications <p surjectives. c) La definition de la topologie finale que nous avons adoptee n'est pas la plus generale.
20 THEOREME. - Soient (E, 0') un espace topologique, F un ensemble et cp une application de E dans F. Alors pour toute application 9 de (F, 0'",) dans un espace topologique (G, 0"), 9 est continue si, et seulement si I'application 9 0 cpde (E, 0') dans (G, 0") est continue.
Si 9 est continue, comme cp est continue, 9 0 cp l'est aussi. - Inversement supposons que 9 cp est continue. Pour tout V' E 0", nous avons (gocp)-l(V/)E0', ce qui s'ecrit cp-1[g-1(V')]E0' et entraine 9 - 1 (V') E 0'",; 9 est ainsi continue. 0
0
Etant donnees deux topologies WI et W sur un meme ensemble F, on dit que wiest plus 2 fine que W si, et seulement si w2 C WI (au sens de l'inclusion dans 9I'(F)). 2
e)
1.1.1
3 Topologie quotient. DEFINITION. Soient (E, (9') un espace topologique, fJI une relation d'equivalence sur E et cp la surjection canonique de E sur EjfJI. La topologie finale (9'", est appelee topologie quotient de (9' par rH; (EjfJI, (9'",) est dit espace topologique quotient de (E, (9') par rH.
EXEMPLE.- Nous appellerons topologie usuelle du groupe (1R/2lt1',+) la topologie quotient de la topologie usuelle de IR.Par transport de structure, nous en deduirons une topologie sur Ie groupe des angles (II, 2.3.4).
EXEMPLE.- Montrons que 1R/2lt1',muni de la topologie usuelle, est separe. Ici fJil est defmie par « X fJil y signifie y - x E 2lt1' ». rest la reunion des droites d'equations y = x + 2mlt (m E 1'); Ie lecteur verifiera que r est un ferme de 1R2. D'autre part fJil est ouverte; en elTetsoit X un ouvert de IR;pour tout m E 1', X + 2mlt est un ouvert de IR(image d'un ouvert par un horneomorphisme};
cp(X)
mEl
U (X +
2mlt)
est un ouvert
= cp(
mEl
(X
2mlt)).
Comp/bnent sur III decomposition canonique d'une application continue. Soient E et F deux espaces topologiques, et f : E .....F une application continue. En designant par fJil la relation d'equivalence sur E definie par « X fJil y signifie f(x) = f(y) », on dispose (I, 1.3.3, 4°) de la decomposition canonique f = j 0 10 cp, schematisee par Ie diagramme : E
L
J
",1
E/fJil
lj
f(E)
cp : surjection canonique
j : injection canonique
J:
bijection
1.1.2
COMPLEMENTS
DE TOPOLOGIE
D'apres Ie theoreme du 2°, la continuite defimplique celie dej 01, et done (III, 2.2.4, 4°) celie de! Mais, en general, on ne peut pas affirmer que J est un homeomorphisme, I} et f I'application continue et surjective t ,___.eit de IR un isomorphisme de groupes J: 1R/21tZ U. _. D'apres ce qui precede Jest continue. Ici on peut montrer que Jest un homeomorphisme. En elTet 1R/21tZ, ui est separe (cf. exemple precedent), est compact comme image de [0,21t] par la q surjection canonique <p, qui est continue. On termine la demonstration en utilisant III.2.S.l, 6°. EXEMPLE. Soient U = {z E =
Clizi
sur U. On obtient
par passage
au quotient
L'injection canonique j : S --+ E\{O} est continue; IjI = q> oj est done une application continue de S dans (f0, 7i'l'); comme 7i IjI est la plus fine parmi les topologies sur f0 qui rendent IjI continue, on a 7i'l' C 7i 1jI' - L'application x ~lIxll-lx de E\{O} dans S, notee e, est continue; rp = IjI e est donc une application continue de E\{O} dans (f0, 7i 1jI); en raisonnant comme ci-dessus, on en deduit 7i IjI C 7i'l" D
0
REMARQUES. a) La propriete fondamentale est la continuite de l'application <p de E\{O} dans (Ed, w). En d'autres termes : I'application qui Ii un vecteur non nul associe la droite vectorielle
qu'il engendre
b)
est continue.
Concretement, pour toute U c Ed, 1It-'(U) est la trace sur la sphere S du cone de E reunion des elements de U (fig. 1); on peut ainsi se faire une idee intuitive des ouverts de (Ed, w).
FIG.
1.
2 THEOREME.
0
separe),
Pour toute droite D E f0, D "S = ljI-l (D) est constitue de deux elements opposes de S. Pour tout (D, D') E f02, nous disposons done; de
d(D, D')
1.1.2
et nous pouvons ecrire d(D, D') = Ilu - u'[], OU u E D n S est arbitrairement choisi (fig, 2) et ou u' est alors determine sans ambiguite, au moins si d(D, D') < 1 (ainsi qu'on le constate en utilisant l'inegalite triangulaire). Il va de soi qu'on peut choisir tout aussi bien u' ED' n S.
ex) M ontrons que l'application
d : !!JJ2 -+ ~ + ainsi definte est une distance.
d(D',
D)
et:
'VD E!!JJ
d(D, D)
= O.
FIG.
2.
- Soit (D, D') E !!JJ2 tel que d(D, D') = 0; les ensembles ont un element commun, ce qui exige D = D'. Soit (D, D', D") E !!JJ3. Ecrivons :
d(D, D')
D nS
et
D' n S
Ilu - u'll
et
d(D', D")
Ilu' - u"ll
en usant de la possibilite de choisir le meme u' E D' n S dans les deux egalites, etant entendu que u et u" appartiennent respectivement it D n S et D" n S. On en deduit :
d(D, D") ~ IIU -
+ d(D',
D"). : lid
o
=
li
>II.
S _,. (!!JJ, li
IjJ
>II)
IdfIJ
--+
(!!JJ, lid)'
l'application
d(\jI(u),
Il en resulte (1.1.1, 2°) que IdfIJest continue, et done que lid c li >II. - Inversement, soit U E li >II. Donnons-nous Do E U et Uo E \jI-l (Do); Uo etant un element de l'ouvert \jI-l(U) de S, il existe exE~+\{O} tel que: vu e S (IIu - uoll < ex)~(UE\jI-l(U».
D E !!JJ telle que d(Do, D) < ex,on peut associer v E D n S tel que d(Do, D) = Iluo - vii; on a ainsi lIuo - vii < ex, et done v E \jI-l (U), ce qui entraine D E U. On en deduit U E lid pour tout U E li >ii' et done li >II c lid.
A toute droite
1.1.2
COMPLEMENTS DE TOPOLOGIE
CAS PARTICULIER E ESTPREHILBERTIEN. Soit (D, D') E ~2. Designons OU par 9, avec 9 E [0, 7t/2], l'ecart angulaire des droites D et D'. Pour tous u E IV - 1(D) et u' E IV - 1(D'), l'ecart angulaire A des vecteurs u et u' verifie A = 9 QU A = 7t - 9. En utilisant : IIU- u'112 = 2(1 - cos A) on obtient : d(D, D')
= 4 sin? A/2,
E
[0, 7t/4] :
3° Changement de norme. - Si l'on remplace 11.11par une norme N, la topologie de la norme sur E n'est pas changee, Il en resulte que la topologie 79 introduite sur ~ au 1 ° n'est pas chanqee et done que la distance d introduite sur ~ au 2° est remplacee par une distance 0 topologiquement equioalente. M ontrons qu' en fait les distances d et 0 sont equioalentes. Par hypothese :
equivalente
Notant
et u' D
11
ED'
Il~.
de ~
u
E
S et Ilu'll ED'
u'
11 S,
ce
qui permet d'ecrire : U d(D, D') ~ 1111:11 11::1111 IIUI;II ' = et : Compte d(D D') ~ IIU- u'll , '" Ilull
+ (11:11-
II~'II) u'll
En intervertissant
4° CASOU E ESTDEDIMENSION FINIE. - a) On peut parler de la topologie de I'ensemble ~ des droites d'un e.v.n. de dimension fmie, sans autre precision.
b) Si E est de dimension cp : E\{O}
En effet, ici toutes les normes sur E sont equivalentes, fmie, (~, 79) est compact. En effet S est ici un compact -+ (~, 79), qui est continue. de E et ~ en est l'image
o
par
1.1.2
THEOREME. - Soient D un element de f0, A un espace topologique, A une partie de A, a un point de .4, ~ une application de A dans f0. II Y a equivalence entre les deux assertions :
i)
D = lim ~(t);
t_a, tEA
ii)
u(t)
~(t)\{O} u(t) =
V.
~)
3v
D\{O}
lim
t_a,leA
Preuve de ii) = i), - L'hypothese est ii); Ct.) permet d'ecrire ~ = <p 0 u; on conclut it l'aide de III.2.2.3, 2°, b), en utilisant ~) et la continuite de <p.o Preuve de i) = ii). - L'hypothese voisinage U de a dans A tel que : 'it
E
l'existence
d'un
UnA
d(D, ~(t))
< 1.
Ayant choisi arbitrairement v ED n S, on en deduit qu'a tout t E UnA on peut associer un unique element de ~(t) n S, note u(t), tel que: d(D, ~(t)) = Ilu(t) - vii. On choisit arbitrairement la restriction de u it A\U, et on constate que l'application u ainsi construite verifie Ct.) et ~). D
REMARQUE. -
On peut
supposer
que
verifie : 'It E A
Ilu(tlll
= 1.
sin wj.
du 5°, avec D
= !Rue. ou 90 E !R est
iI soffit qu'il existe une
PROPOSITION.
Pour que D
= lim
t-a,
lEA
~(t), il faut et
application i) 'it
ii)
E
t_a, tEA
A ue(t) E ~(t); lim 9(t) = 90. est suffisante d'apres le theoreme du 5° et la continuite de supposons lim
[_a,leA
La condition w
~Uw'
Inversement
Mt)
= !Rue., et considerons,
comme
dans la demonstration
= Ilu(t) - ue.ll.
COMPLEMENTS
DE TOPOLOGIE
E[ -
~'~l
d'ou
= 2 Arc sin
d(D, d(t))),
et
lim
t-a,teA
9(t)
= 90.
application lim
t-+lo• tel
Soient I un intervalle de !R, to E iR un element de 1, 9 une continue de I dans !R; pour tEl, on pose d(t) = !Rue(t).Alors :
d(t)
existe si et seulement
si
lim
I-+lo, te l
9(t)
la proposition
il existe rp : I ~ !R verifiant I
Ucp(t)
d(t);
lim q>(t)
= 90
(2)
(3)
9(t)
= q>(t) + 1tk(t)
un intervalle V
E
D'apres (2), il existe (critere de Cauchy) designant V n I : 'i(t', t") Soit (t', t")
E W2. E
"Y(to)
tel que, W
W2
Faisons k(t')
(H) II en resulte :
l'hypothese k(t"),
et donc
-;J.
1.
Iq>(t') - q>(t")1 ~
1t E
1t -
de 't
W tel que:
On en deduit :
2" et done :
1t
Iq>('t) -
2" +
1t
Iq>('t) - q>(t')1
ce qui est en contradiction avec k('t) - k(t') E lL. (H) est done absurde. Ainsi k(t') = k(t") pour tout (t', t") E W2; l'application k est constante sur Wet admet done une limite en to; d'apres (2) et (3), il en est de me me pour 9.
1.1.3
REMARQUES. - a) L'hypothese de continuite de 6 est essentielle dans Ie theoreme. C'est ainsi que si 6(t) = ltE(t), 011 E est la partie entiere, alors ~(t), qui est Ri, admet une limite lorsque t tend vers + 00, alors que 6(t) n'admet pas de limite.
b) La notion du theoreme,
de valeur d'adherence
d'une application
fournit
une demonstration
plus simple
1.1.3. Grassmanniennes
Les demonstrations seconde lecture. pourront etre reservees pour une
Dans ce paragraphe, E designe un IR-espace vectoriel de dimension finie n > O. Toutes les normes sur E etant equivalentes, nous pouvons munir E de sa topologie naturelle (celle qui est definie par l'une quelconque des normes). 1 ° DEFINITION. Pour tout PENn' on note Lp I'ensemble des systemes Iibres de p vecteurs de E, muni de la topologie induite par la topologie produit sur EP, et on appelle grassmannienne d'ordre p de E I'espace topologique (C§ p' 7i p), 00 C§ pest I'ensemble des sous espaces de dimension p de E, et 00 7i pest la topologie finale associee II I'application surjective :
d'ordre
1.
2° Etude de fa grassmannienne d'ordYe p. - Dans les demonstrations des theoremes I et II du 2° et du 3°, nous aurons le droit de supposer que la topologie canonique de E a ete introduite Ii partir d'une norme euclidienne.
THEOREME
I. -
L'espace
topologique
(C§
Soient X et Y deux elements distincts de ~ p l pour des raisons de dimension, on n'a pas X c Y, et il existe e E X tel que e ¢ Y. E etant considere comme euclidien, nous disposons de l'application : Z I--->d(e, Z)2 , , D apres II.2.1.2,f ,. . 0 qJp s ecnt : (Xl' ... , xp)
I--->
.,'
continuite de f (1.1.1, 2°). Nous avons par ailleursf(X) = 0 etf(Y) "" 0; R etant separe, iI existe deux ouverts disjoints U et V de R, volsinages respectifs de f(X) et de f(y); nous constatons que f-I(U)et 1(V) sont des voisinages disjoints de X et Y respectivement. 0
THEOREME
II. -
L'espace
topologique
(C§
La separation est acquise. - E etant considere comme euclidien, montrons d'abord que Ie groupe orthogonal O(E) est une partie compacte de !e(E). II suffit de montrer que Ie groupe 0R(n) des matrices orthogonales reelles d'ordre nest une partie compacte de I'e.v.n. de dimension finie vH R(n); or il s'agit d'une
1.1.3
COMPLEMENTS
DE TOPOLOGIE
partie fermee (image reciproque de {In} par I'application continue M I---+tMM), et bornee (toute ME Oji(n) veri fie N ",,(M) ~ 1). - Deduisons en que I'ensemble L~ des families orthonormales de p vecteurs de E est un compact. Dans Ie cas p = n, cela resulte de ce que L~ est I'image du compact O(E) par I'application manifestement continue et surjective :
O(E) _. L~
ou (e., ... , en) est une base orthonormale arbitrairement choisie de E. Dans Ie cas general, on considere L~ com me I'image de L~ par l'application (XI' ... , xI" ... , xn) I---+(Xl' ... , xp), qui est surjective puisque vecteurs peut etre completee en une base orthonormale. toute continue de p
famille orthonormale
Enfm
<'§ p =
3° Etude de I'espace des hyperpians. - L'espace topologique des hyperplans ele E est abreviativement note Yf.
THEOREME
(~._
'0.-1)
homeomcrphes.
Considerons encore E comme euclidien, ce qui permet de disposer de l'application bijective h : H 1---+ H» de JIt' sur f0. Comme JIt' est compact (theoreme II du 2°) et f0 separe, il suffit, pour montrer que h est un horneomorphisme, de montrer (111.2.5.1, 6°) que h est continue, ou encore, puisque JIt' est muni d'une topologie finale, de montrer que I'application
est continue. Or, quitte orienter arbitrairement cornposee des applications continues :
E, no us pouvons
considerer
celle-ci comme la
A X"-l
et
<pI
:X
1---+
IRx.
au passage: g :x
1---+ x.l
de E\ {O} dans
Yf est continue .
• THEOREME
II. -
L'application
f:
I---+Ker u de E*\{O}
dans Yf est
continue.
E etant encore considere comme euclidien, nous disposons de I'isomorphisme canonique (11.2.1.3,2°) de E* sur E qui induit un homeomorphisme e de E*\{O} sur E\{O}. Or fS'ecrit go e, ou 9 est I'application continue consideree dans la proposition precedente, 0
COROLLAIRE Notons
I. - Yf est homeomorphe
associee
a:
1---+
lRu, tenu de la 0
nous avons f = 'Y 0 <Pt; d'ou la continuite de I'application bijective 'Y qui, compte compacite de f0* et de la separation de JIt', est un homeomorphisme.
10
1.1.4
COROLLAIRE II. - Soit e = (el, IRn\{(O, ... , O)} dans Yl' qui Ii (exl,
L
i= I
exi~i
la base e.
THEOREME. - Soient (C, E) un espace affine de dimension fmie, dl et d2 les distances sur C associees aux normes N I et N 2 sur E ; on sait qu'il existe (ex,~) E (1R~)2 tel que: «d, ::;;d2 ::;; ~dl' Alors pour tout mE C et pour toute variete affine 1/ de C :
(1)
v» E 1/
11 en resulte : ex.infdl(m,p)
PE'Y
0
::;;infd2(m,p)::;;
PE'Y
~.infddm,p)
PE'Y
2 Dans la suite du paragraphe (C, E, 11.11) designe un IR-e.a.n. de dimension finie n > O. C est muni de la topologie associee a la distance de la norme 11.11, topologie d'ailleurs independante du choix de cette norme . • Soient a un point de C, et Ca le vectorialise de a. Pour tout PENn' rga.p designe l'ensemble des varietes affines de dimension p de C qui contiennent a, c'est-a-dire la grassmannienne d'ordre p de Ca (que l'on munit de la topologie introduite au 1.1.3).Abreviativement on ecrit!?2a pour rga,l et Yl'a pour rga,n-l' Le lecteur verifiera aisement les proprietes suivantes : a) m ~am est un homeomorphisme (et meme une isometrie) de C sur E; b) m ~Aff(a, m) est une application continue de C\{a} dans!?2a (composee de m ~am et de x ~lRx); c) Etant donne "f/ E rga,p (avec ICI n ~ 2 et e< n - 2), m ~Aff("f/ u {m}) est une application continue de C\"f/ dans rga,p+I' • Soient F un sous-espace vectoriel de E et "/{/l'ensemble des varietes affines de C dont la direction est F. Le lecteur verifiera que les topologies suivantes sur "/{/ coincident : a) La topologie finale associee a <p : C --+ "/{/, avec <p(m) = m + F; b) La topologie finale associee a la restriction de <p a une variete affine 'r" de C, de direction supplementaire de F;
--+ --+
1.1.4
COMPLEMENTS
DE TOPOLOGIE
11
c) La topologie associee it la distance d sur 1fI obtenue en notant d(1'" l' 1'"2) la distance des varietes paralleles "Y 1 et "Y 2, au sens de la distance de deux espaces metriques. II s'agit d'une topologie metrisable, done separee, Notons qu'en b), m ~m + F est un homeomorphisme de "Y' sur 1fI. 3° Etude pratique de la limite d'une droite d'un plan. - lei tff est un plan affine norme rapporte it un repere affine (0; i, j); a est un point de tff. On considere une application A ~g; ~d'une partie A d'un espace topologique A dans l'ensemble ~ a des droites affmes de tff qui contiennent a; 1..0 est un point de A. Si, pour A E A, la direction F ~ de g; x ne contient pas le vecteur j, on dispose du coefficient directeur de g;~ (coefficient angulaire si le repere est orthonormal), qui est le reel Jl(A) defmi par F ~ = !R(i + Jl(A)j).
THEOREME. -
La condition j ¢ F ~ etant supposee remplie pour tout A E A Jl(A) = Jl E!R, alors IJl(A)1= lim lim
i) Si ii) Si
lim lim
g;~ = g; x
!R(i
Jlj);
00,
alors lim
=a
!Rj;
~~~o,~EA
i) De F x
~~~o,~EA
= !R(i + Jlj).
*°
+ j),
d'ou
lim
F~ = !Rj.
--+
o
!R,
iii) Supposons que g;~ (i.e. F~) admette une limite. II existe ~ : A 11 : A --+ !R et (~o, 110) E !R2\{(0, On verifiant les deux assertions: Cl) Pour ~) alors lim
~~~o,~EA
non nul de F ~;
~~~o,~EA
lim
11 (A)j)
= ~oi + 11oi.
La condition j ¢ F ~ impose ~(A) 0; on a Jl(A) = 11 (A)/~(A). Si ~o lim Jl(A) = 110/~0; on est dans le cas i), Si ~o = 0, alors 110
~~~o,~EA
* 0, *°
et 0
IJl(A)1=
-
+ 00;
REMARQUES.
a) Le theoreme
rt F ~ soit
vrai pour
tout
')..E W nA.
b) Inversement si !F x admet une limite differente de a + !Rj, 11(')..)st defini au voisinage de ')..0' e Si !F x admet a + !Rj pour limite, on ne peut affirmer I'existence de 11(')..);on a alors la possibilite d'intervertir les roles de i et j.
12
1.2.1
(G, E, II.ID desiqne un IR-e.a.n. de dimensionfinie n > 0, qui pourra etre IRn muni de sa structure affine canonique; dans la pratique : n = 2 ou n = 3. Les intervalles de IR consideres sont supposes d'interieur non vide.
1.2.1. Definitions
generales
la definition du 111.8.1.1, 9°,
Rappel de topologie. - Nous utiliserons etendue aux espaces affmes sous la forme:
DEFINITION. - Soient d et [JI deux espaces affmes de dimensions fmies p et n, et f une application continument differentiable d'un ouvert U de d dans ffI. On dit que fest une immersion (resp. une submersion) si, et seulement si, pour tout x E U, df(x) est injective (resp, surjective) i.e. de rang p (resp. n). On dit que f est un plongement si et seulement si d'une part elle est une immersion, d'autre part elle est une injection qui induit un homeomorphisme x ...,__.f(x) de U sur f(U), considere comme sous-espace topologique de ffI. Dans Ie cas 00 d = IR, nous etendrons cette definition au cas 00 U est un intervaUe de IR, pas necessairement ouvert. 1 Arcs parametres ( ou courhes parametrees). - DEFINITION. - On appelle ° arc parametre (ou courbe parametreei de G tout couple f) 00 I est un intervaUe de IR, et f une application continue de I dans 8; f(l) c 8 est Ie support de Pare, on Ie note supp (I, f). Dans Ie cas 00 I est compact, on parle d'arc parametre compact, ou encore de chemin (cf 111.2.6.3).
e) (/,
Image continue d'un connexe de IR, le support est un connexe de G. Si l'arc est compact (I = [a, b]) c'est un compact connexe de IR; les pointsf(a) etf(b) en sont alors respectivement l'origine et Yextremite. Sauf avis contraire, supp (1, f) est muni de la topologie induite par celle de
G.
Une question de vocahulaire. - Toutes les fois que (nous conformant a une notation traditionnelle qui a l'avantage d'eviter d'introduire une acception supplementaire du mot « courbe ») nous allons ecrire arc parametre, Ie lecteur pourra lire courbe parametree (notation utilisee dans les programmes des CP),
(') La donnee d'une application implique-celle de son ensemble de depart; il peut done paraitre inutile d'introduire (l,f) lit ou f suffirait; dans la pratique, cette precaution s'avere cependant commode.
1.2.1
ARCS PARAME1RES
13
2° Etude d'un are parametre • Points de l'arc : multiplieite d'un point du support. - DEFINITION I. Soient y = (I, f) un arc parametre et t un element de I. On dit que Ie triplet M(t) = (I, f, t) est Ie point de y de parametre t et que m = f(t) est I'image de ce point. On dit que Card {J-1 (m)} - etant entendu que ce symbole designe si l'ensemble {f -1(m) } est infini - est la multiplicite de m relativement
a y.
+ 00
REMARQUE. - La multiplicite depend de l'arc, et pas seulement du support. C'est ainsi que si 8 = 1R2 et si fest t f-+ (cos t, sin t), Ie point (1, 0) du support a pour multiplicite 1, 2 ou + 00 selon que 1 est [0, 27tL [0, 27t] OU IR;pourtant, dans les trois cas, Ie support est Ie meme,
• Sous-arcs. - DEFINITION II. - Soient (I, f) un arc parametre et l' un sous-intervalle de I; on note flI' la restriction de f a 1'. Alors (1', fll') est un arc para metre qui est dit sous arc de (I, f).
Nous savons en effet que fll' est continue. Notons que le support d'un sous-arc est une partie de celui de l'arc. Avec les notations de la definition I, pour tout to E I' nous identifierons point (1', f I1', to) de (1', f II') et Ie point (I, f, to) de (1, f).
Ie
• Ares simples. - DEFINITION III. - On dit qu'un arc parametre (I, f) est simple si, et seulement si f est une injection. Un arc parametre compact et simple est appele arc de Jordan.
REMARQUES. -
b) Si (1, f) est un arc simple, la bijection J : t f--+ f(t) de 1 sur [I' = supp (J ,f) induite par l'injection f permet de transportet sur [I' la structure d'ordre total de 1, et fournit une topologie de l'ordre sur [1', qui ne coincide pas necessairement avec la topologie habituelle de [I' (induite par
celie de 8).
PROPOSITION I. - Si (1, f) est un arc de Jordan, alors f induit un homeomorphisme de I sur..~ = supp (1, f). La bijection J : I -+ f/ induite par f est continue; I est compact, f/ est une partie de t! qui est separe ; on applique 111.2.5.1,6°. D
REMARQUE. Si (1, f) n'est qu'un arc simple, 1 et [I' = supp (1, f) ne sont pas necessairernent homeomorphes, Considerons par exemple l'arc parametre (IR,f) de 1R2, avec f : t f--+ (t/(1 -+ r'), t3/(1 + t4)), dont Ie support [I' (lemniscate de Bernoulli) est represente par la figure 3; s'il existait un homeomorphisme de IRsur [1', i1 induirait un homeomorphisme de 1R\{I} sur [I'\{f(I)}, ce qui est impossible car ces deux espaces topologiques n'ont pas Ie meme nombre de composantes connexes. Notons que 0 = (0, 0) est de multiplicite 1, et non 2 comme Ie laisserait supposer l'examen du seul support.
14
1.2.1
FIG. 3.
• Arcs fermes simples. - DEFINITION IV. - On dit qu'un arc parametre compact ([a, b], f) est ferme si, et seulement si, f(a) = f(b). Si, en outre f I [a, b [ est injective, on parle d'arc ferme simple.
PROPOSITION II. - Le support d'un arc ferme simple ([a, b], f) est homeomorphe a U = {z E C Ilzl = 1}, et done a tout cercle de rayon non nul d'un plan affme euclidien.
II existe en efTetune unique application F: IR --+ ~ telle que F(t) = F(t') si, et seulement si, t - t' E (b - a)Z. On l'appelle prolongement de faIR par periodicite ; elle est defmie par : 'v't
E
IR
Elle est continue. En raisonnant comme au 1.1.1, 3°, in fine, on constate que b]), est homeomorphe a IR/(b - a)Z, et done a U.
o
• Arcs parametres de c/asse cr. - DEFINITION V. - Pour kEN u { + 00 }, on appelle arc parametre de classe c-, ou abrevlativement, Ck-arc parametre, tout arc parametre (1, f) tel que I'application f soit de c1asse c-. L'etude des arcs parametres qui ne sont que continus conduit a des etres mathematiques compliques C'est pourquoi nous nous limiterons le plus sou vent a k ~ 1.
e).
[0,1]
(') Peano a montre en 1890 qu'il existe un CO-arc parametre x [0,1], (cf. exercice 1.01).
de 1R2dont Ie support
est Ie carre
1.2.1
ARCS PARAME1RES
15
• Point regulier, point stationnaire. - DEFINITION VI. On dit que Ie pointMo = M(to)duCk - arc parametre.u, f),k ~ 1,estregulieroustationnaire selon que f'(to) i= 0 ou f'(to) = O. Un arc dont tous les points sont reguliers est dit regulier.
La continuite de f' fait que si Mo est un point regulier de (1, f), alors il existe un sous arc regulier de (1, f) dont un point est Mo.
• Plongements. - DEFINITION VII. - On dit qu'un Ck-arc parametre (1, f), k ~ 1, est immerge (resp, plonge) si, et seulement si, f est une immersion (resp.
un plongement) de 1 dans If; un arc plonge est ainsi un arc simple.
Un CO-arcparametre est done regulier si et seulement s'il est immerge.
• Arcs cartesiens, - DEFINITION VIII ET PROPOSITION. - On dit qu'un Ck-arc parametre (1, f) est cartesien si, et seulement s'il existe un repere (0; e) de If tel que I'on ait :
'tit E L :
f(t)
= 0 + tel +
L
j=2
jj(t)ej•
Un tel arc est simple. S'il est de c1asse C\ (k ~ 1), alors iI est plonge, Pour un tel arc, f(t') = f(t) exige t' = t; d'ou I'injectivite de f, qui induit ainsi une bijection, evidemment continue, I de 1 sur le support f/ ; 1-1 est continue car elle coincide sur f/ avec l'application continue de If dans IRqui a tout point associe sa premiere coordonnee dans (0, e); I est done un horneomorphisme. Enfm, si f est derivable en to E 1, alors f'(to) dont la premiere composante dans la base e de E est 1, est non nul. D 3° Arcs geometriques
THEOREME ET DEFINITION. On obtient une relation d'equivalence sur I'ensemble des Ck-arcs parametres de If en convenant que: «(/, f) est Ck_ equivalent a (J, g) signihe qu'il existe une bijection e : J --+ 1 de c1asse Ck ainsi que sa recipreque, telle que 9 = foe ». Les classes de Ck-equivalence sont appeles arcs geometriques de c1asse Ck ou, abreviativement, Ck-arcs geometriques,
Voici la demonstration pour k ~ 1 (a la notation pres, elle vaut pour k = 0). Diff* (J, 1) designe l'ensemble des diffeomorphismes de classe Ck de J sur 1. Soient (l,f), (J, g), (K, h) des Ck-arcs parametres de If.
e)
Rappelons (111.4.3.3,3°) que, pour k ;;. 1, a e DiW (J, /) signifie que a : J ---+ l est une bijection de classe C" telle que a' ne prenne pas la valeur 0 ; image du connexe J de IRpar a', qui est de classe C" _ 1 et done continue, a' (J) est un connexe de IR; il en resulte que l'application sgn 0 a' est constante. Selon que a est strictement croissante ou strictement decroissante, on ecrit a e DiW+(J, /) ou a e DiW_(J, I).
e)
16 Reflexioite : on a 9 -1
tlJ
1.2.1
E Difl*(J,
Symetrie : si g J);
f =f
09
avec
f=
09-1,
avec et
Transitioite : si g = f 0 9 et h = g 0 m,' avec 9 E Difl*(J, J) E Difl*(K, J), alors h = f 0 (9 0 m), avec 9 0 tlJ E Difl*(K, J).
REMARQUE.- Si les arcs parametres (J, f) et (J, g) sont Ck-equivalents, alors les intervalles J et J sont de meme nature topologique (ouverts, fermes, ou semi-ouverts). C'est ainsi que parmi les trois arcs parametres introduits dans la premiere remarque du 2° ne figurent pas deux arcs COO-equivalents. Les representants d'un Ck-arc geometrique r sont appeles admissibles, ou, abreviativement, parametrisations de r. Avec la notation du theoreme precedent, on dit que 9 est un changement de parametrisation. NOTATION. -
parametraqes
- Deux arcs parametres C*-equivalents sont Ck'-equivalents pour tout k' tel que k' :10; k, mais deux Ck+l-ares parametres peuvent etre Ck-equivalents sans etre Ck+ ,_ equivalents, ainsi que Ie montre l'exemple suivant, dans lequel tf = [R2 : REMARQUE. :10;
I = [0,2]; J = [0,1];
fest
t
U
f-+ f-+
(t2, 0);
((u
9 est
+ u3/2)2, +
0);
[0, 1]
9(u) E {u
u3/2,
U
(u
+ u3/2)}
n [0,2].
f-+
u3/2
• Points d'un arc geometrique. - DEFINITIONII. - On appelle point d'un arc qeometrique r toute c1asse d'equivalence de triplets (I, f, t), OU (I, f) est une parametrjsation de r et t un point de J, pour la relation ,.., defmie par « (I, f, t) ,.., (J, g, u) signifle qu'il existe 9 E Difl*(J, J) tel que g = f 09 et t = 9(u) », Le point f(t) du support de rest appele image du point de r represente par (I, f, t).
Le lecteur justifiera cette definition en verifiant que ,.., est une relation d'equivalence sur l'ensemble des triplets (I, f, t) et que, si (J, f, t) ,.., (J, g, u), alors f(t) = g(u). 0
• Sous-arcs d'un arc geometrique. - DEFINITIONIII. - Soient r un Ck-arc geometrique et (J, f) l'une de ses parametrlsatlons, Pour tout sous-intervalle I' de J, le Ck-arc geometrique I" dont une parametrlsation est le sous-arc (1', flI') de (I, f), est dit sous-arc de r.
Cette definition est justifiee par le fait que si (J, g) est une autre parametrisation de r et si 9 E Difl*(J, J) verifie g = f 0 9, on constate, en posant J' = 9 -1 (1'), que I" admet (J', gIJ') pour parametrisation, 0
1.2.1
ARCS PARAMETRES
17
Avec les notations de la definition III, pour tout to E I' nous identifierons Ie point de I" represente par (1', flI', to) et Ie point de r represente par (I, f, to). 4° Proprietes Ck-invariantes d'un Ck-arc parametre; proprietes d'un arc - DEFINITION. - Soit y un Ck-arc parametre, On dit qu'une propriete de y est Ck-invariante si et seulement si tout arc parametre Ck-equivalent it y la possede, On defini: de meme une propriete Ck-invariante du couple constitue par y et l'un de ses points.
CONVENTION. On attribue it un Ck-arc geometrique toute propriete Ck-invariante de I'un de ses representants.
geometrique.
= f(l).
Notons que, d'apres la premiere remarque du 3°, deux arcs geometriques distincts peuvent avoir Ie meme support.
COROLLAIRE. - La multiplicite d'un point m du support d'un arc geometrique r relativement it une parametrisation de rest independante du choix de celle-ci. On I'appelle multiplicite de m relativement r. Avec les notations habituelles :
{m } )] ou
PROPOSITION II. - Soit Moun point d'un Ck-arc geometriqae I', k ;;::: . Si 1 pour un representant (1, f, to) de Moon a f' (to) =1= 0, alors il en est de meme pour tout representant de M 0' et on dit que M 0 est un point regulier de I'; dans Ie cas contraire, on dit que M 0 est un point stationnaire de r.
e'(u).f'(e(u))
et e'(u)
=1=
0.
PROPOSITION III. - Si une parametrisatlon d'un arc geometrique r est un arc parametre simple (resp. de Jordan; resp. ferme simple; resp. immerge; resp, plonge), iI en est de meme pour toute parametrisation de.I', qui est dit arc qeometrique simple (resp. de Jordan; resp. ferme simple; resp. immerge .. resp. plonge).
Le debut est trivial. La fin resulte de ce que, si f induit homeomorphisme J de I sur Y = supp I', alors Joe est homeomorphisme de J sur Y, et il est induit par g.
un un 0
18
REMARQUES.
1.2.1
- a) Un Cl-arc geornetrique sans point stationnaire est un arc immerge. Le support d'un Cl-arc geornetrique est reduit a un point si, et seulement si, to us les points de l'arc sont stationnaires . b)
• Le theoreme qui suit va nous permettre de constater que le support d'un immerge peut etre considere comme une reunion de supports d'arcs plonges.
arc geometrique
THEOREME I. - Soit Mo un point regulier d'un Ck-arc-geometrique I', k ~ 1. Alors, parmi les sous-arcs de r dont un point est M 0' il en existe un qui admet une parametrlsation cartesienne, et done est plonge,
Soit (1, f, to), avec I'(to) #- 0, un representant de u; II existe un repere affine (0, e) de tff verifiant la condition: I'(to) ¢ Vect (e2, ••• , en). En notant
e)
f(t) = 0
L
;= I
d'appliquer
Ie
theoreme d'inversion locale a fl' au voisinage de to : il existe un inter valle ouvert I' E 11/(to), tel que fl induise m E Dift*(I', 0) 011 0 = fl (I') est un intervalle de IR.Le sous-arc I" de r represente par (I'JII') rest aussi par (0, <p) avec: n <P = (fII') 0 m-I X 1---40 + xel + .!j(m-I(x»ej
j=2
ce qui montre que (0, <p) est un arc parametre cartesien, et done (proposition du 2°) un arc parametre plonge ; on en deduit que I" est un arc geometrique
plonge,
• Une variante de la demonstration precedente va main tenant nous permettre de constater qu'un arc geometrique plonge est entierement determine
e).
THEOREME II. - Deux Ck-arcs parametres plonges, k ~ 1, de tff, (I, f) et (J, g), qui ont un support commun [Il sont Ck-equivalents.
J et designant les horneomorphismes de I et J sur [Il respectivement induits par f et g, J- log est un homeomorphisme de J sur I que nous notons 9. On a g = f 0 9. II suffit de montrer que 9 est de classe Ck; la meme propriete vaudra en effet pour 9-1 = g-I 0 J - Soient Uo E J et to = 9(uo)' L'arc (I, f) etant plonge, on a I'(to) #- 0. (0, e) etant un repere de tff qui verifie I'(to) ¢ Vect (e2, ••• , en), en notant:
f(t)
=0
L
;=1
/;(t)e;,
on a
(I) Un tel repere peut se deduire d'un repere arbitrairement choisi de Spar une permutation con venable des vecteurs de la base. Nous retrouverons ce resultats au 3.3.1, 1 sous la forme: Ie support d'un arc parametrique plonge est une courbe (au sens des sous-varietes) .
e)
1.2.1
ARCS PARAME1RES
19
Comme ci-dessus, il existe un intervalle ouvert I' E "Y I(tO) tel que f1 induise mE DifT(I', n), OU n = f1(1') est un intervalle de IR. On designe par J' l'intervalle -1(1') E "Y ;(uo).
En notant
g(u) = 0
L
t= 1
gi(u)ei,
on a gl = floe,
et il vient:
vu
E J'
La restriction de e it J' est done definie par u ~ montre qu'il s'agit d'une application de classe Ck. Ceci s'appliquant it tout Uo E J, est de classe
m-1(gl(U)),
ce qui
c,
50 Ordre d'un point du support d'un arc geometrique, - DEFINITION. Soient I' un arc geometrique et m un point de son support g. On appelle ordre geometrique de m Ie cardinal, fmi ou infmi, de I'ensemble des points de r qui ont m pour image. Par point simple (resp. double, triple, ...) on entend un point d'ordre geometrique 1 (resp. 2, 3, ...).
(I, f) etant une parametrisation de F, l'ordre geometrique de m est Ie nombre des points de r representes par des triplets de la forme (I, f, t) avec t E m} ); il est done au plus egal la multiplicite de m qui est le nombre de ces triplets, et illui est egal lorsque cette multiplicite est 1 : tout point du support d'un arc simple est d'ordre geometrique 1 (i.e. point simple). Mais le lecteur trouvera un contre-exemple au 1.3.1 5°.
r: ({
Cependant
Ie lecteur etablira le resultat suivant : Si, pour une parametrisation (I, f) d'un Ck-arc bijection e : 1 -+ I, de c1asse Ck ainsi que sa reciproque, Id, alors, pour tout point m du support g de I, l'ordre egal Ii sa rnultiplicite. remplie dans le cas d'un arc simple. u
PROPOSITION. geometrique r, la seule verifiant foe = fest geometrique de m est Cette condition
6° Arcs geometriques
~ et kEN
THEOREMEET DEFINITION. - On obtient une relation d'equivalence sur l'ensemble des Ck-arcs parametres de ~ en convenant que: « (I, f) est Ck_ positivement equivalent Ii (J, g) signifie qu'il existe une bijection croissante e : J -+ 1 de classe Ck ainsi que sa reciproque, telle que g = foe ». Les classes de Ck-equivalence positive sont appelees arcs geometriques orientes de ~. Demonstration calquee sur celle du theoreme et definition du 3°.
On etend un arc geometrique oriente les notions de parametrisations, de points de l'arc (eventuellement reguliers ou non), de sous-arcs, de proprietes de l'arc et, en particulier, de support, d'arc simple (resp. immerge, resp. plonge),
20
1.2.1
On remarque qu'un arc parametre (/, f) represente it la fois un arc geometrique F, et un arc geometrique oriente I" dont toutes les parametrisations sont des parametrisations de I"; on dit que I" (dont le support est celui de I) est une orientation de r et que le representant (I, t f-+ f(t)) de I" est oriente
La demonstration, faite pour k ~ 1, vaut pour k = O. Supposons que (1, f) et (J, g) representent deux orientations distinctes de I', et considerons une parametrisation quelconque (K, h). Avec les notations habituelles :
foe,
h=
cp,
h=g
Ijf,
avec
e E Dift*_(J, I).
Si Ijf appartient it Dift*+ (K, J), alors (K, h) represente la meme orientation que (J, g). Sinon on ecrit h = f 0 (e 0 Ijf) et on constate, en utilisant 0 Ijf E Dift*+(K, I), que (K, h) represente la meme orientation que (I, f). 0
PROPOSITION II. - Un Ck-arc geometrique I' dont une parametrisation est (1, f) est non orientable si, et seulement s'il existe une bijection decrolssante e : I -+ I, de classe Ck ainsi que sa reclproque, telle que f = foe.
- Si la condition est remplie, on constate, en posant J = I et g = foe et en reprenant le raisonnement precedent, que toute parametrisation de I' appartient it la meme orientation que (1, f) ou que (J, g), qui n'est autre que - Inversement supposons que r est non orientable; U 1--+ - u definit une bijection cp de I sur un intervalle l' de IRet on a cp - 1 E Diff~ (1', I); (1',f 0 cp - 1) est done une seconde parametrisation de T qui, par hypothese appartient it la me me orientation que (1, f); il existe done une bijection croissante Ijf : l' -+ I, de classe Ck ainsi que sa reciproque, telle que f 0 cp -1 = f 0 Ijf. D'ou : f = f 0 (Ijf 0 cp). On pose Ijf 0 cp = 0
(I, f).
e.
Cette proposition montre que les arcs non orientables ne sont pas courants. II en existe cependant, par exemple l'arc de 1I\l2 represente par ([ - 1t,1t], t 1-+ (cos t, 0)).
COROLLAIRE I. - Tout Ck,arc geometrique I' dont une parametrisation (1, f) verif.e : « la seule bijection I -+ I, de classe Ck ainsi que sa reclproque, telle que foe = f est Id, », est orientable. En particulier tout arc simple (resp. ferme simple) est orientable.
e:
REMARQUE. - Dans Ie cas d'un arc simple, l'ordre induit sur Ie support f/ par la bijection t 1-+ f(t) ne depend pas du choix de la parametrisation directe (1, f); on peut done orienter f/. Ce resultat s'etend a un arc ferme simple.
1.2.2
ARCS PARAMETRES
21
COROLLAIRE II. Tout arc geometrique immerge est orientable. Ici k ~ 1. Pour tout 9 e Difi*_ (1, J) on constate (en utilisant le fait que 9 - Id, est une application continue prenant des valeurs positives et des valeurs negatives) qu'il existe to e J tel que 9(to) = to' Si, en outre, on a j 0 9 = j, on constate (9'(to) - 1)f'(to) = 0, ce qui exige f'(to) = 0; d'ou une contradiction. 0
7° Conclusion a) En cinematique un arc parametre (I, f) est un mouvement ponctuel de trajectoire JU), de loi J. En revanche la notion d'arc geometrique n'a physiquement aucun interet: ce n'est pour nous qu'un simple precede d'exposition. On pourrait s'en passer en ne considerant que des C'-arcs parametres mais, s'agissant des proprietes ajJines et metriques qui nous interessent, il faudrait verifier dans chaque cas la Ck·invariance. b) On passe sou vent du point de vue global, envisage jusqu'ici, un point de vue local (au sens de la topologie des intervalles de definition), ce qui permet de travailler Ie plus souvent sur des arcs plonges (cr. theoreme I du 4°).
+ 00 }.
Donnees. - Dans ce paragraphe, I' designe soit un Ck-arc geometrique de I, soit un Ck-arc geometrique oriente de I; on note [/ = supp I"; M 0 designe
un point de I"; mo est l'image de Mo.
1° Varietes afftnesfondamentales de T en Mo. - Soient (I, j. to) et (J. g, uo) deux representants et, POUI tout i e Nk1) :
TH~OREMEETD~FINITION.
de Mo. On pose : Vo = Wo =
{O},
Alors, pour tout i e {O, 1, .. " k} on a Vi = Wi' ce qui justifle la notation Vi = Ti(r; M 0); on dit que Ti(r; M 0) est Ie i-ieme sous-espace fondamental de I' en Mo. et que lOi(r, Mo) = mo + Ti(r, Mo) est la i-ieme variete affine fondamentale de T en Mo.
Vo i e Nk•
Wo resultant
de la definition,
il suffrrde
prouver et to
Vi
Wi pour
Nous utiliserons
= j 09
1'lJ\{O}.
= 9(uo).
(') Si k est
00,
alors pour
tout j
22 Verifions que:
g(i)
1.2.2 :
tout i E Nk l'assertion
-+
UE
Ni) de classe
c:'telles
L
j= 1
Cli,j.fU)
09,
et
Cli,i
= (9y
(JOt1) resultant de g' = 9'./' 09, 011 9' est de c1asse Ck-t, nous pouvons considerer i E Nk-1 pour lequel (JOti) est vraie. Pour toutj E Ni, les fU) 09 et les Cli,j sont de classe C\ ce qui permet d'ecrire, par derivation de g(i) :
g(i+I)
L
j=1
Cl;,j.fU)
09
i+ 1
IV
L
j=l
9'Cli,j.fu+1)
09
de la forme:
g(i+l)
=" L....
"'i+ l,j'
fU)
9
9'Cli,i'
j= 1
avec: et :
Cli+ I, i+ 1
pour
2 ~ j ~ i.
Pour j E Ni+1, les Cli+1,j sont de c1asse Ck-i-1; (JOti+1) est done vraie. Pour tout i E Nk, (JOti) fournit Cli,;(UO) = (9'(UO))i qui servira au 3°, et
g(i)(Uo)
L
j= 1
Cli)Uo)fUl(to),
et done
Vi
C
On en deduit
Wi
Vi;
symetriquernent
Wi'
REMARQUES. - a) Comme la notion de derivee, celle de variete affine fondamentale ne depend pas du choix de la norme de E. b) Soit (if", W) une variete affine de (S, E) qui contient Ie support f/' de f. Tous les vecteurs derives envisages ci-dessus appartiennent a W et les w,(f; M 0) sont des sous-varietes de if". Les varietes affines fondamentales ne changeraient d'ailleurs pas si ron considerait F comme un arc de if" (i.e. si I'on considerait I comme une application de 1 dans if"). Cette remarque est particulierement utile dans Ie cas Oil if" est une droite et, surtout, dans Ie cas Oil if" est un plan. c) Soient I' E "I'"/(to), et I" Ie sous-arc de F dont une pararnetrisation est (1',/11'). Mo design ant aussi bien (d'apres une convention deja faite) Ie point de F represente par (I, f, to) que Ie point de I" represente par (1', f II', to) nous avons w,(f; M 0) = w,(f' ..M 0) pour tout i E Nk, ce que nous traduisons en disant que la notion de parietes affines fondamentales est locale (au sens de la topologie des intervalles 1 est non de celle de f/'). Cette remarque est utilisee pour determiner les w,(f; M 0); grace au theoreme I du 1.2.1,4°, on peut (si /'(to) of. 0) faire en sorte que (I', I I 1') soit un arc parametre cartesien. Elle permet aussi - ce qui est commode dans la pratique - de parler des varietes affinesfondamentales de F au point mo du support (avec quelque precaution si mo est un point multiple).
A partir d'un Ck-arc parametre (1, f) et de l'un des points Mo(to), le theoreme precedent permet d'introduire directement les notions de varietes offuies fondamentales (et done celles de tangente et de varietes oseulatriees qui vont suivre) de (1, f) en Mo, et d'affirmer qu'il s'agit de notions Ci-invariantes.
1.2.2
23
THEOREME II. - Soit (1', V) une variete affme de (8', E). Pour tout representant (I, f, to) de M0, pour toute distance d de la norme, et pour tout i E {O, ... , k} les assertions suivantes sont equivalentes :
t~
L'indifference du ehoix de d resulte du theoreme du 1.1.4, l "; nous pouvons done nous limiter au cas ou d est une distance euclidienne. Preuve de i) => ii). Nous supposons base de V. D'apres 11.6.2.1, l" : "It Par la formule
E
... ,
e)q une
<5(t)
=[
Gram
(muf(t),
...
de Taylor-Young
l'ordre
i, nous avons :
------+
mof(t)
= v(t) + (t - to)ic(t),
appartient
ou
T, et done
lim c(t)
= 0,
et ou v(t)
1 L -:--, o) fUl(t
j:t1 .
V.
Un determinant de Gram ne ehangeant pas quand on ajoute veeteurs une eombinaison lineaire des autres, il vient : Gram (mof(t), et done: u(t) La proposition
REMARQUE.
------+
l'un des
e 1,
...
eq)
s:
= It - to I'
.[Gram(c(t),e1, Gram
eq)
resulte de la continuite
du determinant
'ii, sans contenir
de Gram.
semblable
r-+
Si pour re {O, ... , k - I}, "f/ contient (t - to)i+ 1 au voisinage de to. (t - to)'+1
(i
1:
1)!
. (f,+I)(to)
E(t)),
avec
Preuve de ii) => i). - II suffit de montrer qu'il n'existe pas i E {O, ... , k} tel que l'on ait simultanement 0'i ¢. l' et 8(t) = o((t - to)i). - Si mo f 1', on a 8(to) 0, et done on n'a 8(t) = o((t - to)i) pour aueun i E {O, ... , k} ; - Si mo E l' et 0'i ¢ 1', avec i E {l, ... , k}, il existe j E {O, ... , i - 1} tel que 0'j C l' et 0'j+ 1 ¢ 1', ee qui implique (ef. remarque precedente) que 8 est semblable a t ~ (t - toy+l, et done non negligeable devant t ~ (t - tof
24
1.2.2
"Y' est 7i i:
CAS PARTICULIER. - Si "Y' est un hyperplan affme h - 1 (0), on peut dans les enonces du theoreme II et de la remarque, remplacer 8 par cp = h 0 f.
e)
Si la distance d est euc1idienne, i1 existe en effet (11.6,2,2, 2°) une constante strictement positive C telle que 8 = C Icpl. 0
REMARQUE. Dans ce cas particulier, Ie theoreme II se demontre directement en remarquant que, y designant la partie lineaire de h, pour j E Ni la condition f(j)(to) E V s'ecrit y(j(j)(to)) = 0, et aussi cp(j)(to) = O.
On retiendra que, pour i E {O, ... , k - I}, "Y' contient 7i i sans contenir 7ii + 1 si, et seulement si to est zero d'ordre i + 1 de cpo Entin on notera que sgn cp : t f-+ sgn (h(j(t)) permet de discuter la position du point f(t) par rapport aux deux demi-espaces determines par I'hyperplan "Y' (11.5.3.4, 3°).
2 Tangente a r en Mo. - THEOREME ET DEFINITION I. - Si l'ensemble {iENkITi(r;Mo) # {O}} n'est pas vide, il admet un plus petit element p, et 7ip(r; M 0) = mo + Tp (F ; M 0) est une droite affme de ~ qui est dite la tangente a r en M 0; on la note tang (I"; M 0); toute variete affme de ~ qui contient tang (I"; M 0) est alors dite »ariete affine tangente a r en Mo.
0
Consequence Vi E Nk
REMARQUES. -
immediate
de To(r; Mo)
=
OU
{O} et de :
ni-1
ni ~ 1
+ ni-1,
nj
plusieurs) points de
a) II peut se faire qu'un point multiple rno e f/' soit I'image de deux (resp, r en lesquels existent des tanqentes :
- distinctes : reprenant I'exemple a) du 1.2.1, 5° (fig. 4), Ie lecteur verifiera que les tangentes aux deux points d'image (0, 0) sont dirigees par les vecteurs :
te{-l,l},
x et y
=-
x;
- ou confondues (nous constaterons par la suite qu'il existe des supports tels que celui de la figure 6. b) II peut naturellement se faire que rno e f/' appartienne II la tangente II r en un point dont l'image n'est pas rno (fig. ).
FIG. 4.
FIG.S.
(1) En remplacant h par une application affine de S dans IRq, on constate que ce resultat s'etend 11une variete affine que1conque.
1.2.2
ARCS PARAME1RES
25
PRATIQUE. M 0 etant represents par (I, f, to), tang (I"; M 0) existe si, et seulement si f admet en to un « premier vecteur derive non nul» Pp)(to); alors :
= mo + ~f(P)(to)·
+ ~f'(to) .
• THl~OREME II. - M 0 etant represente par (I, f, to), on suppose que tang (I", Mo) existe. Alors il existe U E "Yl(tO) tel que: "It E U\{to} f(t) #- f(to), et (l'ensemble f0 mo des droites affmes contenant mo etant muni de sa topologie habituelle) :
tang (I' ; M 0)
lim
Ll(t),
avec
Ll(t)
= Aff(f(to),
f(t))
(1)
On a f(i)(to) = pour tout i E N p-l ; Pp)(to), non nul, dirige tang (I"; M 0)' Par la formule de Taylor-Young (etendue une fonction de ~ vers un e.a.n. par utilisation d'un vectorialise), il vient
lim
t~to, t
E
u(t)
= f(P)(to)
l\{to}
ou
u(t) =
(2)
La non nullite de Pp)(to) entraine I'existence de U E "Y l(tO) tel que, pour tout t E U\{to}, on ait u(t) #- 0, ce qui permet de disposer de la droite Ll(t) = f(to) + ~u(t). Compte tenu de (2), le theoreme du 1.1.2, 5° fournit : lim
t~to,teU\{to}
(~u(t))
= ~Pp)(to),
~ !(to).
• La notion de tanqente geometrique e), que no us allons introduire maintenant (intuitivement : celie de tangente a une courbe) est fondamentalement differente de celie qui a fait I'objet de la definition I, en ce sens que la topologie qui va intervenir est celie qui est induite par la topologie de 8 sur une partie de 8, et non plus la topologie d'un intervalle de ~ (au chapitre 3, nous introduirons la notion de tanqente a une nappe, avec une troisieme signification). Posons :
DEFINITION
L'ensemble
mo
II. - Soient CIJ une partie de ~ et mo un point non isole de CIJ. etant encore muni de sa topologie habituelle, s'i1 existe : lim
m~mo, m e 't\{mo}
CIJ en mo.
e)
26
1.2.2
EXEMPLE. - Soit g c 1R2Ie graphe d'une application g d'un intervalle I c IRdans IR,derivable au point to E I. On note mo = (to, g(to)). Alors g admet la droite w = mo + 1R(1,g'(to)) pour tangente geometrique en mo. L'injection f : (t, g(t)) induit une bijection 1de I sur g, continue en to, ce qui permet d'affirmer que mo est un point non isole de g; notons que 1-1, restriction de la premiere projection, est continue sur g. Pour t ~ to, 8(t) = Aff (mo, (t, g(t)) est une droite dont la direction ne contient pas jet dont Ie .. g(t) - g(to) coefficient directeur est 11ft) = . t - to De lim
l-to,t i:: to
11ft) = g'(to),
on deduit
: =W
(2)
t-to,l
On constate
:
(3)
1-
• Reprenant Ie Ck-arc geometrique r et Ie point Mode r nous allons montrer que, sous certaines conditions, les tangentes introduites dans les definitions I et II coincident.
par (I,f, to), on suppose qu'existe J de I sur Ie support Y. Alors Y ad met 0 pour tangente geometrique au point mo, image de
THI~OREME
III. -
M 0 etant represente
u;
La demonstration se calque sur celle de l'exemple precedent, en remplacant (2) par la relation (1) du theoreme II, visiblement applicable.
REMARQUES. - a) Le theoreme III s'applique une tangente, et en tout point d'un arc plonge,
b) II ne s'applique figure 3, au 1.2.1, 1°).
admettant
pas necessairement
(cf. exemple de la
e) Si mo est I'image de plusieurs points de r it tangentes distinctes, g n'admet pas de tangente geometrique en mo, mais on peut en general trouver des so us-arcs de r dont Ie support admet une tangente geometrique en mo.
THl~OREME IV. Mo etant represente par (I, J, to), on suppose qu'existe tang (T ; M 0)' et qu'en outre Ie support Y admet une tangente geometrique 0 au point mo image de Mo. Alors 0 = tang (T ; M 0)'
: lim <I>(m),
ou
~(t)
<I>(m)
(3)
du.theoreme 'it
E
U\{to}
= (<I> fHt)
1.2.2
ARCS PARAME1RES
27 de composition
VI{to}
l'unicite
de la limite. que :
va nous montrer
il n' existe pas toujours une tangente en tout point d'un Coo-arc; if peut y avoir une tangente qeometrique en un point mo du support, sans qu'il y ait une tangente en un point de l'arc dont l'image est mo.
EXEMPLE. Soit 1 l'arc geometrique f(O) = (0,0); f(t) de
~2
represente
avec:
= (e -lit', e -lit')
D'apres 111.4.2.1, injine, 1 est Coo. Soit Mo Ie point de 1 qui est represente par (R, f, 0); en Mo, tous les sous-espaces fondamentaux sont nuls et il n'y a pas de tangente (au sens de la definition I). En revanche au point rno = (0,0), image de Mo, Ie support Y de 1, qui est un intervalle de la droite !Z d'equation y = x, admet une tangente geometrique, la droite !Z elle-meme.
3° Orientation de la tangente r en Mo. - Soient (I, f, to) et (J, g, uo) deux representants de Mo, lies par g = f 09, avec 9 E Diff* (J, J) et to = 9(uo). On suppose qu'existe tang rr , M 0) = 0 p(r ; M 0)' de direction Tp(r; M 0)' Compte tenu de fU)(to) = 0 pour tout j E Np_l, Ie calcul du 10 donne: g(p)(uo)
e)
ce qui montre que les deux bases (J<P)(to)) et (g(p)(uo)) de Tp(r; Mo) appartiennent it la meme orientation si, et seulement si (9'(uoW > O. Dans le cas ou r est un arc oriente, cette condition est toujours remplie, et on dispose d'une orientation « intrinseque » de tang (I"; M 0) (i.e. representee par (f(P)(to)) pour toute parametrisation (/, f) de r). Dans Ie cas ou r est un arc orientable ou non, et ou p est pair, on dispose encore d'une orientation intrinseque de tang (I"; M 0)' Dans Ie cas ou r est un arc orientable et ou p est impair (en particulier dans le cas d'un point regulier d'un arc orient able), on choisit une orientation directe r+ de r et on qualifie l'orientation intrinseque de tang (T +; M 0) d' orientation directe de tang rr, M 0)' Si la donnee est un arc parametre (J, t H f(t)) celui-ci sera considere comme oriente dans le sens des t croissants; nous dirons que J<P)(to) dirige la tangente orientee au point M o(to).
40 Varietes oscula trices r en Mo. - Reprenons la suite, croissante pour I'inclusion, des varietes affines fondamentales de r en Mo. II est clair que :
(') On rappelle (11.5.4.2, 5°) que tout espace affine de dimension qu'une orientation de "f" est representee par une base de V.
et
28
1.2.2
A tout entier i ~ min (n, k) on peut associer {j E I\J I dim iF)r; M) = i}. Si cet ensemble n'est pas vide, il admet un plus petit element que l'on note Pi> avec i ~ Pi ~ k. On dispose ainsi de la famille (Po, PI' ... , Ph), qui est non vide puisque Po = 0, et fmie puisque h ~ min (n, k); elle est dite famille caracteristique de r en Mo. On pose :
DEFINITION I. - Pour tout i E {O, ... , h}, la variete affme fondamentale iFp, (T ; M 0) est dite oariete osculatrice de dimension i de r en Mo.
On dispose dans tous les cas de iFp,(r; Mo) = {mo}. L'existence de PI (qui est l'entier P du 2°) conditionne celIe de iFPI (T ; M 0) = tang (T ; M 0)' Lorsque P2 existe, on dit que 9,2(r; Mo) est le plan osculateur a r en Mo, que ron note osc rr, Mo).
DEFINITION II. - On dit que M 0 est un point i-requlier de r si, et seulement si, en ee point: (0, 1, ... , i) = (Po, PI' ... , pJ Un are geometrique i-regulier est un are done ehaque point est i-regulier.
C'est ainsi qu'un point l-regulier est un point l-regulier (ou regulier) est un arc immerge .
• Nous allons maintenant etendre Ie theorerne
regulier,
et qu'un
arc
II du 2°.
PROPOSITION. M 0 etant represente par (I, f, to) on suppose qu'existent les varietes osculatrices de dimensions i et i + 1 de I' en M 0; eIles seront abrevlativement notees 7ip et 7ip . Alors il existe un voisinage U de to pour I tel que : ' ,. I
f(t)
¢ 7i p,
habituelle) :
etant lim
tE
munie "f'"(t),
de sa topologie
oil
U\{to}
Le theoreme et la remarque du 1.2.2, 1 ° appliques II "f'" = 7i p (et 7i p ¢ "f'"), montrent que d(f(t),7ip) est sembi able II It - toll+1, ce qui justifie I'existence'de Pour tout t E U\{O}, "f'"(t) est ainsi de dimension i + 1, et sa direction V(t) admet la base
U.'·'
;;;:rw). Cornpte-tenu
1
de fU)(to)
1}, la formule
Pi+
donne:
et
,
lim PI·,)(tO)
E(t) = O. en
f(P')(to),
+ 1 et Ie theoreme
5° Image d'un arc geometrique par une application differentiable. - Soient (fff, E) et (?, F) deux e.a.n. de dimension fmie, et <I> une application de classe Ck'(k' ~ 1) d'un ouvert U de fff dans ? Si (I, f) est un Ck-arc parametre (1 ~ k ~ k') de fff dont Ie support f/ est indus dans U, alors (I, <I> of) est un Ck-arc parametre de ?, de support <I>(f/).
1.2.2
ARCS PARAME1RES
29
On ventre que si les arcs parametres (1, f) et (J, g) de &' sont Ck-equivalents, alors les arcs' parametres (1, <I> 0 f) et (J, <I> 0 g) de !IF Ie sont aussi. D'ou la possibilite de definir, par passage au quotient, I'image par <I> d'un Ck-arc geometrique I' de &' dont Ie support est indus dans U: c'est Ie Ck-arc geometrique de !IF, note <I> 0 I', dont une parametrisation est (1, <I> 0 f) si (1, f) en est une de F. On note <I> 0 M Ie point de <I> 0 I' dont un representant est (I, <I> 0 f, t) si (1, f, t) en est un du point M de I"; si m est l'image de M, <I>(m) est ainsi celle de <I> 0 M. En utilisant (<I> 0 f)'(t) = d<l>(f(t)).f'(t), on constate que si M est regulier et si d<l>U'(t)) E 2(E, F) est injective, alors <I> 0 M est regulier et la direction de tang (<I> 0 I"; <I> 0 M) est l'image par d<l>(f(t)) de celle de tang (I"; M). Ce resultat subsiste sous la seule condition f'(t) ¢ Ker d<l>(f(t)). - Etudions plus particulierement Ie cas ou <I> est une application affine de &' dans !IF, de partie lineaire <p, ce qui implique que <I> et <p sont de classe COO. Pour tout 1 ~ j ~ k, on a ici D'ou, pour I ~ k : TI(<I>
0
M)]
et
On en deduit que, si (PI' ... , Ph) est la famille caracteristique de I' en M 0, alors pour tout i E {a, ... , h}, la variete osculatrice de dimension ide I' en Mo a pour image par <I> une variete osculatrice de <I> 0 I' en <I> 0 M dont la dimension i' verifie i' ~ i, et i' = i si <I> est bijective.
Remarquons qu'un isomorphisme ajjine transforme un arc qeometrtque en un arc de meme nature (compact, simple, ferrne simple, immerge, plonge) et retenons qu'U conserve La tangente et Ie plan osculateur. Le titre du present cnapitre, propnetes ajjines des arcs, trouve ainsi sa justification.
EXEMPLE : PROJBCTlON CYLINDRIQUE. - Ici 8 est de dimension 3, !IF est un plan affine de 8, ell est la projection de 8 sur !IF, parallelement a une direction de droites 6. ¢ F (c'est une application affine non bijective). ex)Si r ad met en M 0 une tangente @p dont la direction n'est pas 6., alors la projection I" = ell 0 r de r ad met @~ = ell(@p) pour tangente en = ell 0 M 0 (fig. ). ~) Si r admet en M 0 une tangente @p de direction 6. et un plan osculateur @q' alors I" admet @~ = ell(@p) pour tangente en (fig. ); en anticipant sur 1.2.3, 2°, Ie lecteur verifiera que, dans Ie cas general ou M 0 est tri-regulier, Me est un point de rebroussement de premiere espece de I", Ces resultats pourront etre interpretes au 3.2.1,2°, en liaison avec l'etude des plans tangents aux nappes cylindriques. Nous laissons au lecteur Ie soin de les etendre a une projection conique (bien que celle-ci ne soit pas une application affine),
Me
Me
FIG. 6
FIG. 7.
30
1.2.2
60 Arcs dont Ie support est inc/us dans une sous-variete affine de G. - Rappelons (remarque b) du 1.2.2, 10) que toutes les varietes affmes fondamentales d'un arc geometrique r sont incluses dans toute sous-variete affine de G qui contient supp r. Nous allons etablir des reciproques, Pour cela, nous utiliserons :
• PROPOSITION. - Soient E un espace vectoriel norme (de dimension de ~, et F : I ..... E une application de classe C' verifIant :
fmie ou infmie), I un
intervalle
F(O = CPIF
cp2F'
+ ... + cp;pi-I)
00 cP 10 ••• , CPo sont des applications continues de I dans ~. Alors il existe un sous-es~ace vectoriel V de E, de dimension au plus egale a i tel que :
'It
F(t)
V.
to E I ayant ete arbitrairement choisi, soient V = Vect (F(to), ... , F(I-l)(tO)) et W un supplementaire de V dans E; pour tout t e l, w(t) designe la projection de F(t) sur W parallelernent It V; on dispose ainsi de w : I ..... W, application de classe Co. On constate que west solution sur I de l'equation differentielle lineaire d'ordre i (It I'inconnue y E WI) : y(i) _ cp;l-') et qu'elle verifie les conditions initiales y(to) D'apres Revenons
•
...
- cP,y' - CPIY = 0
= y'(to) = ...
du IV.S.l.5,
= y(i-I)(to)
=0
nulle de I dans W.
Ie theoreme
d'unicite
D
au cas ou (G, E) est affine de dimension
(i
COROLLAIRE
lj-regulier
I. - Soit run CO-arc geometrique de G, i-regulier mais dont aucun point n'est (1 ,,:; i < k). Alors supp rest inclus dans une variete affme de dimension i de G •• libre entre
Soient (I, f) un representant de r et to E I, arbitrairement choisi. Pour tout tEl, les systemes (f(t), ... , f(i)(t)) et (f'(t), ... , .ri+I)(t)) sont respectivement et lie. II existe done des applications CPI' ... , CPo de I dans ~ telles que I'on ait l'egalite applications de I dans E :
.r +
i l)
cpd'
+ ... +
cpJ(i)
CPI' ... , CPo sont continues, ainsi que I'on s'en assure en exprimant CPI (t), ... , CPi(t) It I'aide des composantes de f'(t) dans une base fixe de E. On peut done appliquer la proposition precedente avec F = l' : pour tout tEl, }'(t) appartient It V = Vect (f'(to), ... ,'j'(i)(to)), qui, d'apres la i-regularite de F, est de dimension i. II en resulte que f(t) - f(to)
=
f'(u)
du est un vecteur
c f(to)
de V. D'ou:
to
supp
V.
CAS PARTICULIERS. - a) Le support d'un C2-arc regulier dont aucun point n'est bi-regulier est un intervalle de droite. supp r est indus dans une droite d'apres le corollaire; de plus il est connexe. D
• COROLLAIRE II. - Soit run CO-arc i-regulier de G (1 ,,:; i ,,:; k); on suppose qu'il existe 0 E G tel que; pour tout point M de r, 0 appartienne a iF;(r; M) sans appartenir a iF; -I (I"; M). Alors supp rest inclus dans une variete affme de dimension i de G contenant O.
1.2.3
ARCS PARAME7RES
31
Soient (I, /) un representant de I' et to E J. Nous posons F(t) = /(t) - O. D'apres l'hypothese, pour tdut t E J, (F'(t), ... , F(i)(t» est libre, (F(t), ... , F(i)(t» est lie, (F(t), ... , F(i-1)(t» est libre. II existe done des applications CPI' , CPi de J dans IR telles que:
F(i) = CPIF
CPiF(i-l)
et on constate, comme ci-dessus que CPI' ... , CPi, sont continues. On peut appliquer la proposition precedente : pour tout t E J, F(t) = /(t) - 0 appartient it V = Vect (/(to) - 0, /'(to), ... , /\I-I'(tO»' qui est un sous-espace vectoriel de E de dimension i. D CASPARTlCULIERS. a) Soit I' un arc regulier dont toutes les tangentes contiennent un point fixe 0 ¢ supp F, Alors supp I' est un intervalle d'une droite qui contient O. b) Soit F un arc bi-regulier dont tous les plans osculateurs contiennent un point fixe 0, qui n'appartient it aucune tangente. Alors supp rest inclus dans un plan qui contient O.
1.2.3. Construction
locale du support
du 1.2.2. Nous reprenons les donnees
- A partir d'un representant arbitrairement choisi (1, J, to) de M 0, on etudie les fU)(to), j E Nk• On obtient ainsi la famille (PI' ... , Ph), avec h ,,; min (n, k). Pour i E {O, ... , h}, la variete oscula trice de dimension i, r; p,{r ; M 0)' est alors determinee par le repere (mo; PPI)(tO)' ••• ,f(p,)(to))'
Le theorerne du 1.2.2, 1 et la remarque qui lui est annexee permettent, dans chaque cas particulier d'etudier, au voisinage de to, la distance de /(t) it une variete affine j/' de rf qui contient mo' En faisant j/' = tjj p,(r; M 0) on constate en particulier :
0
PROPOSITION. Parmi les varietes de dimension i qui contiennent M 0' la variete osculatrice en M 0 est celie dont Ie support de I'arc est «Ie plus proche» au voisinage de to'
Etudions
0
main tenant
importants.
famille caracteristique
2 Arc plan (n = 2). - Nous nous limitons au cas OU F admet en Mo une de la forme (0, P, q), i.e. OU h = 2, ce qui implique k ~ 2.
representee parametrique-
I' admet en Mo la tangente r; p = mo + IRpp)(to), ment (dans un repere (0; i, j) quelconque) par:
et un plan osculateur qui est La formule de Taylor-Young (pour J) sur lequel : f(t)
tff
W de to
mo
(t - t )P
p!
(Pp)(to)
E(t))
q!
Pq)(to)
32
ou e(t) est un vecteur colineaire j<p)(to) qui tend vers quand t E W tend vers to· Rapportons tff au repere affine fYi = (mo; j<p)(to), j<q)(to)) et designons par X(t) et yet) Ies coordonnees du point J(t) dans fYi. Nous constatons que, au voisinage de to : X(t) '" (t - to)P/p !, yet) '" (t - toWq ! (2)
1.2.3
D'ou Ies signes de X(t) et yet) au voisinage de to, ce qui permet de tracer localement !I' = supp r (la fleche indique I'orientation dans Ie sens «des t croissants»).
e)
POint ordrnaire
_ _P _p~r
.; :! i.!:'Ea.!_r
inflexion
_
@)
j)
FIG. 8.
On peut etudier Ia posmon de J(t) par rapport a urte droite affine quelconque, ::0, contenant Ie point mo. Si r:J.X + ~Y = 0, avec (o; ~) =1= (0,0), est une equation de ::0 dans Ie repere fYi, il suffit en effet (11.5.3.4, 3°) d'etudier sgn (r:J.X(t) + ~Y(t»; Ie cas ::0 = lip correspond (r:J.,~) = (0, 1). Nous avons, d'apres (2) :
Si ::0 Si ::0
=1=
= li p((r:J.,~) = (0,
1» :
D'ou
CAS
Ia discussion
(on suppose
I) :
n° 1 : L'arc « traverse» toute droite ::0 =1= lip: il existe WE r/(to) tel que J(t) est dans I'un ou dans I'autre des demi-plans ouverts dermis par ::0 selon que t appartient W (")] - 00, to [ ou W (")] to, + 00 [. L'arc « ne traverse pas» Ia tangente lip: il existe WE rl(to) tel que pour tout t E W\{to}, J(t) appartient a celui des demi-plans ouverts Iimites par lip qui s'ecrit (avec une notation se comprenant d'elle-meme) :
mo
lRJ<p)(to)
1R'!J<q)(to)
(') Rappelons que local s'entend au sens de la topologie de I : il peut exister dans tout voisin age de mo d'autres points de Y que ceux que nous representons ici (reprendre la lemniscate du 1.2.1, 1°, avec mo = (0, 0)).
1.2.3
ARCS PARAME1RES
33
et qui est appele concaoite de r en Mo. Dans ce cas n° 1 (qui est, en particulier, celui d'un point bi-regulier) on parle de point ordinaire et quelquefois (cf. cidessous) de point meplat. CAS n° 2 : L'arc traverse toute droite ~, y compris la tangente; de point d'inflexion. point CAS n° 3 : La tangente est la seule droite que l'arc traverse; de rebroussement de premiere espece. on parle
on parle de
CAS n° 4: L'arc ne traverse aucune droite; rebroussement de deuxieme espece. Dans ce cas, l'etude des parties de Y qui correspondent 11. t < to et t > to ainsi que, dans le cas de l'arc de !R2 represente par parties sont confondues) .
on parle de point de des positions relatives peut etre delicate (c'est t 1-+ (t2, t4), ces deux
• Pratique. - On revient 11. un repere (0 .. i, j) quelconque et 11. f(t) = 0 + x(t)i + y(t)j. En remarquant que !'(to) # 0 exige (x'(to) # 0) v (y'(to) # 0), et que x'(to) # 0 s'ecrit f'(to) ¢ !Rj, et implique x'(t) # 0 au voisinage de to, demontrons : PROPOSITION.- Soit Moun point bi-regulier en lequel f' (to) ¢ !Rj. Alors les assertions suivantes sont equivaleates : i) La concavite en M 0 est Ie demi-plan mo + !Rf' (to) + !Rtj (i.e, Ie point mo + j est dans la concavite) ee que I'on traduit par « la concavite est tournee vers les y > 0»; ii) x'(to)(x'(to)y"(to) - x"(to)y'(to)) Ie parametre est I'abseisse) ; iii) La fonetion 11: t L'assertion Or D'ou l'equivalence Il'(to)
REMARQUES 1-+
y'(t)/x'(t)
> O.
i) s'ecrit : avec
~ > O.
(x'(tO))-2(X'(tO)y"(t0)
d'inflexion est:
o.
(t - t )p+q-3 (p - 1) ! (q - 2) !
0
34
1.2.3
II y a done permanence du sens de la concavite, au voisinage de to pour chacun des sous-arcs correspondant at> to et t < to' Ceci justifie les traces intuitifs de la figure 10 (avec la reserve deja faite dans Ie cas n° 4).
- sembi able a It - tolP si "I" est soit {mo}, soit une droite f2 # 79 con tenant mo, P - semblable a It - tolq si "I" est 79 p' II en resulte que: d(f(t), 79 est sembiable a [d(f(t), mo)]qjP. Selon que q/p est plus grand ou p) plus petit que 2, on dira que l'arc est « plus proche» ou moins proche de la tangente que dans Ie cas d'un point biregulier. Un point ordinaire tel que q/p > 2 est dit point meplat.
b) A titre d'exercice, Ie lecteur etudiera Ie cas ou, dans un repere (0; i, j) quelconque, = 0 + t2i + t3j. II montrera que 1'(0) = 0, f"(0) = 2i, 1'''(0) = 3j, et done que Mo est un
f(t)
point de rebroussement de premiere espece, a tangente 0 tangente que dans Ie cas d'un point bi-regulier,
c) La nature geornetrique des resultats obtenus montre que Ie choix du representant (I, J, to) de M 0 est indifferent. Nous connaissons ce resultat en ce qui concerne la tangente et la suite caracteristique, A titre d'exercice Ie lecteur pourra Ie verifier pour la concavite en montrant que, si (I, J, to) et (J, g, uo) sont deux representants de M 0' alors :
mo
+ IRf(p)(to) +
IR~J<q)(to) = mo
IRg(P)(uo)
lR~g(q)(uo)·
d) Un point de rebroussement est un point stationnaire (p > 1),mais la reciproque est fausse. e) L'etude ne s'applique que si la famille caracteristique en M 0 contient deux termes non nuls; ce n'est pas toujours Ie cas (par exemple si Y est inclus dans une droite). f) Par contre, si c'est Ie cas, la connaissance de la position de Y par rapport aux droites afTmescontenant mo, peut fournir les parites de p et q (par exemple, s'il exist- deux droites distinctes non traversees, M 0 est un point de rebroussement). g) L'etude, qui repose sur la formule (1), reste valable si on remplace celle-ci par un developpement limite non obtenu 'par Taylor-Young; dans la pratique, on peut ainsi eviter des derivations laborieuses. On peut aussi etendre l'etude au cas ou f(t) admet une limite mo lorsque t tend vers + 00, ou 00; on remplace alors (1) par un developpernent limite au voisinage de + 00, ou - 00 (cf exemple au 1.3.1,4° in fine),
r :(PI'
representee parametriquement
30 Arc de if 3' - Limitons-nous au cas OUM 0 est un point biregulier de P2) = (1,2). Nous disposons en Mode la tangente li I = rno + 1R!'(t0)
li2 = rno
+ Vect (!'(to),
y AZ' (to)
/,,(to}}
represente
para-
AX'(to)
IlX"(to),
z = z(to)
uz" (to),
1.2.3
ARCS PARAMETRES pour equation cartesienne x'(to) y' (to) z' (to) : x"(to) y" (to) z" (to)
35
et admettant
=0
x (t) '"
Nous en deduisons
- traverse tout plan q> qui contient mo, mais n'est pas tangent; - ne traverse aucun plan f2 qui est tangent, mais non osculateur en Mo. Soient I" la projection de r sur Ie plan osculateur rg z (parallelement a la droite ~K) et Mb (d'image mo) la projection de Mo. On constate que Mb est un point ordinaire de I" et qu'il existe U E 'j/(to) tel que, pour tout t E U\{to}, la projection de f(t) appartienne au demi-plan ouvert mo + ~f'(to) + ~!!,,(to), qui est appele concaoite de r en Mo.
FIG.
9.
r represente
'j/ (t)
00 'j/(t) designe celui des plans tangents en Mo Ii r qui contient Ie point f(t). Cas particulier important de la proposition 1. 2.2, 4°. D
• Jusqu'iei k ;;,: 2 suffisait. Supposons maintenant k ;;,: 3. - Si M 0 est tri-regulier, i.e. si la famille caracteristique en M 0 est (0, I, 2, 3), on peut adopter K = J"'(to), et ainsi : z(t) - (r - to)3/3 !, ee qui montre que I'are traverse Ie plan oseulateur en mo (fig. 11); en projetant sur les plans mo + Veet (f'(to), f'''(to)) et mo + Veet (fU(to), J"'(to)) on obtient respeetivement un point d'inflexion et un point de rebroussement (d'image mol.
36
1.2.4
- Si f'''(to) E '/'2' i.e, si 792 = 793, on a Z(t) = o(t - to)3; on dit alors que 792 est surosculateur; en particulier si la famille caracteristique est (0, 1,2,4) on a Z(t) - (t - to)4/4 ! et l'arc ne traverse pas Ie plan osculateur en mo' • A titre d'exercice, Ie lecteur pourra etudier, au voisinage de to, la distance de f(t) It mo, It une droite con tenant mo, It un plan contenant mo. II pourra pour cela utiliser soit Ie repere 91, soit Ie theoreme II du 1.2.2; 1°.
le paragraphe, on considere un Ck-arc parametre (1, f) d'un de dimension fmie n > 0; on se place dans le cas ou il existe : bE 1\1, OU 1 est l'adherence de 1 dans iR (borne de 1 dans iR, pas 11. 1).
THEOREME ET DEFINITION. -
10 Branche infinie. E
tt veriflant:
lim
,_b
IIOf(t)11 0'
E tt:
-----+
00.
lim
t-b
110'f(t)11 = +
00,
de :
tt2
1100'11·
20 Direction asympto tique. - THEOREME ET DEFINITION. - L'arc admettant une branche infmie relative Ii b, on suppose qu'il existe un point et une droite Ll de tt, de direction 0, veriflant : lim Aff(O,f(t»
°
(4)
(1, f) de tt
,_b
Ll
Alors, pour tout 0' E tt, la droite Aff (0', f(t» admet, quand t tend vers b, une limite de direction 0, et on dit que (dont l'unicite est evidente) est la direction asymptotique de la branche infmie consideree. En utilisant la definition du 1°, on constate que, (0, 0') E tt2 etant donne, il existe W = V n 1, ou Vest un voisinage de b, tel que, pour tout t E W:
1.2.4
ARCS PARAME7RES
37
f(t) =/: 0 et f(t) =/: 0', ce qui permet de disposer des droites Aff (0, f(t)) et Aff (0', f(t)) = ~;, de directions notees D, et D;.
(4) signifie
~t
lim
t_b,tE W
~t
application u de
VtE W
3v E 8\{0}
----+
lim u(t) = v,
t_b,teW
Pour t avec:
= r(t)u(t);
=
----+
et
lim
Ir(t)1
00.
Nous constatons que - O'f(t) est un element de D;\{O} qui s'ecrit : ~ r(t) 0'0 -- + u(t), et done admet la limite v quand t E W tend vers b; il en resulte, r(t) toujours d'apres 1,1.2, 5°, que D; admet la limite 8. 0
REMARQUES. a) Les topologies sur rf et sur l'ensemble des droites de rf etant independantes du choix de la norme, on constate qu'il en est de meme pour I'existence d'une branche infmie et, eventuellement, d'une direction asymptotique. b) rf etant rapporte it un rdpere, une condition suffisante pour qu'il y ait une branche infmie est qu'une des coordonnees admette + OCJ ou - OCJ pour limite. L'exemple de l'arc (IR,t f--+ (t cos t, t sin r) de 1R2 montre que cette condition n'est pas necessaire. c) Le meme exemple montre qu'i/ peut y avoir branche infinie sans direction asymptotique associee.
3° Asymptote. - DEFINITION. - L'arc (I,f) admettant une branche inflDie relative Ii b, s'il existe une droite affine d de tff verifiant :
lim d(f(t),
t~b
d)
est direction
= d(f(t),
d'),
ou d' = d (\!!4 f(f(t), 1 + d(f(t), d)) est un compact (ferme et borne) de tff; il existe done g(t) E d tel que : d(f(t), d)
=
d(f(t), g(t)).
lim IIOg(t)11
0
E
d, nous
Ilf(t)g(t)ll,
--
1.2.4 ce qui
=+
00.
II existe W = V (") J, ou Vest un voismage de b, tel que f(t) #- 0 et g(t) #- 0 pour tout t E W. Ayant choisi un vecteur unitaire v de A, nous en deduisons (pour t E W) : ________. Og(t) Nous
= r(t)v,
que
r(t) #- 0 est un
et vecteur
lim 'Ir(t)1
t_b
= + 00.
de la droite
constatons
1-
directeur
+-
1-
la limite v.
COROLLAIRE
I. - L'arc admettant une branche infmie relative Ii b, il existe associee si, et seulement si les deux conditions suivantes sont infmie ad met une direction asymptotique 8;
i) La branche
II va de soi que i) peut etre verifie sans que ii) Ie soit (cf. 4°).
COROLLAIRE
EXEMPLE. ~3 est muni de sa structure affine canonique et d'une norme (qu'it est inutile de precisers. L'arc (l,f) de ~3 est dejini par:
= ]1, + 00[,
y a une
f:
f---->
( t-1
--,
--,
t t-l
II
--
t t-l
On
l_l,t>1
constate (t t
qu'il 1) Of(t)
branche
infmie
relative
la
borne
b = 1 de
0 :
I.
De
lim
de la direction
asymptotique
1R(1, 1, 1).
Pour
0, qui admet
la representation
parametrique
t
3
t-
t2 Y=--+A,
t-
1 qui
rencontre
Ie
plan
Vect (i, j)
au
point
(- t(1 + r), - t2,0). Ce point a pour limite a = (- 2, - 1,0). L'arc admet asymptote. II y aurait interet II etudier simultanement I'arc (/' f), 00 l' = ] - 00, 1[.
1 done a
II savoir
+0
pour
40 Branche parabolique d'un arc plan. - Soit (I, f) un arc parametre d'un plan affine S, admettant une branche infinie relative Ii b, et une direction asymptotique associee O. Considerons une droite affine q} = 0 + lRu, (u ¢ 0), et designons Ie point (f(t) + 0) n q} par g(t) = 0 + cp(t)u.
1.2.4
a
39
L'arc ad met une asymptote si et seulement si, quand t e l tend vers b, g(t) admet une limite (I'asymptote est alors a + 0), i.e. si et seulement <p(t) admet une limite finie. Le lecteur verifiera que si <p(t) admet une limite appartenant it {- 00, + co}, il en est de meme pour tout autre choix de [7J et de (0; u); on dit alors que l'arc (I,f) presente en b une branche parabolique de direction o. II va de soi que si <p(t) n'admet pas de limite dans IR,il n'y a ni branche parabolique ni asymptote.
E
[7J
- a) tff = 1R2; (I,f) est (IR, t I---+(t, t2)), dont le support est une parabole. Les branches infmies relatives it + 00 et - 00, admettent l'une et l'autre une branche parabolique de direction IR(O, 1). Le lecteur verifiera qu'il en est de meme pour (IR, t I---+(t, t2 + sin t)), ce qui montre que si l'on peut observer que toute branche parabolique a l'allure d'une parabole (ce qui justifie la terminologie), ce n'est vrai que grosso-modo. b) tff = 1R2;(I,}) est (IR, t I---+(t, sin t)). II y a branche infinie relative it + 00, avec direction asymptotique 1R(1,0), mais il n'y a ni asymptote, ni branche parabolique. EXEMPLES.
5° Pratique dans Ie cas d'un arc plan. - Le plan tff est rapporte un repere (0; i, j). On etudie l'arc (l,f), avecf(t) = 0 + x(t)i + y(t)j, qui presente une branche infinie en b e 1\1, (b E ~). On elimine le cas ou, pour tout voisinage V de b, il existe (t, t') E (V (\ 1)2 tel que x(t) = 0 et y(t') = 0; il n'y a alors pas de direction asymptotique. Quitte a intervertir les roles de i et j, nous supposerons qu'il existe V E r(b) tel que x(t) #- 0 pour tout t E V (\ 1. Recherche d'une direction 'asymptotique. Aff (0, f(t)), de coefficient directeur y(t)/x(t), 1.1.4, 3° s'applique et donne: i) I La direction de la droite ne contient pas j; le theoreme du
x(t)
IT1l E 11\\,
. asymptotIque;
(1
:.) II
x(t)
I= +
00,
. asymptotIque
),
asymptotique.
Recherche d'une asymptote. - Etudions successivement les cas i) et ii] ou il existe une direction asymptotique Choisissons (cf. 4°) une droite affine ~ = 0 + !Ru, (u f= 0), et etudions le point (f(t) + 0) (\~, note g(t) = 0 + <p(t)u.
o.
CAS i). - Ici 0 = !R(i + Ilj). On peut choisir ~ et f(t) + 0 admettant les equations respectives :
x=o
et
y - y(t)
= Il(X - x(t))
(1) P ar
y(t) t~bX(t)
00,
00 •
40 on obtient
1.2.4
d d'equation
= IlX + exest asymptote, et sgn (y(t) - Ilx(t)) permet de placer le point f(t) par rapport aux demi-plans definis par d;
S'il existe lim (y(t) - Ilx(t))
t_b E {00,
+ co], il y a branche
parabolique; - Si y(t) - Ilx(t) n'a pas de limite dans iR, il n'y a m asymptote, ni branche parabolique.
CAS
<p(t)
= x(t).
-
ii). -
exest
FIG. 10.
E {-
Si x(t) n'a pas de limite dans iR, il n'y a ni asymptote ni branche parabolique.
REMARQUES. - a) Le cas i) avec 11 = 0 est Ie cas ii), apres echange de i et de j. b) Dans le cas i) avec 11 #- 0, x(t) et y(t) ant l'un et l'autre une limite dans { - 00, + co}, En effet, par continuite, x(t) et done y(t) gardent un signe constant au voisinage de b. D'autre part, au voisinage de b :
et done
00,
(21111+ l)lx(t)1
=
;?; Ix(t)1
ly(t)1
ly(t)1) =
00.
On raisonne
de meme
pour
ly(t)1 en changeant
11 en 1/11.
Un cas favorable. - C'est celui de f : x ~O + xi + y(x)j, avec b e {- 00, + oo], lorsqu'on peut trouver un developpement limite l'ordre 2 de y(x)/x, suivant les puissances de llx, savoir :
y(x)
-
= ao
+ - + (a + g(x)) 2"'
x
2
al
avec
x-b
lim stx) = O.
1.3.1
CONSTRUCTION
41
On dispose alors de I'asymptote d'equation y = aox + al et, si a2 # 0, on peut meme placer Ie support de l'arc par rapport it I'asymptote (au voisinage de b). x2 - 2x - 1 A titre d'exemple Ie lecteur pourra etudier Ie cas de y(x) = e -l/x et montrer x que, au voisinage de + 00 (resp. - (0), y(x) s'ecrit : y(x) = D'ou I'asymptote d'equation
X-
+-
2x
+-
£(x) x
y = x - 3 et Ie placement.
de Laforme
Complement: arcs asymptotes d'un plan affine. - I Ls'agit de deux arcs parametres (I, f) et (I, g), Tintercalle I admettant une borne b E 1\1 telle que: lim t~b On constate des branches
IIOf(t)11
---+
00
et
lim t~b
Ilg(t)f(t)11
---+
= O.
a ete faite, celie de I'autre en resulte grace it lim g(t)f(t) = O. On peut me me, dans des t~b cas favorables, placer I'un des supports par rapport it I'autre. Supposons, par exemple, que I'on ait it etudier un arc (I, f) admettant au voisinage de la borne b e [J;l de I un developpement asymptotique de la forme: f(t) = 0
i=o(t-b)
1
--I
ui
j~l
(t - WVj
(t - to)q&(t)
u, et vi sont fixes, et ou lim &(t) = O. t~b de I'arc asymptote (I, g) avec: g(t) = 0
1 --iUi' i=O (t - b)
c'est interessant
lorsque
Ie support
ou
une para bole. Le lecteur notera cependant que les arcs t ~ (t, etj2) sont deux it deux asymptotes au voisinage de + 00.
(t, sh t), t ~
(t, ch t) et
1.3. CONSTRUCTION
OU SUPPORT
Dans Ie present sous-chapitre, (S, E) desiqne un plan affine norme, rapporte un repere (0 .. i, j). Conformement I'usaqe, les droites 0 + lRi et 0 + IRj sont notees Ox et Oy et appelees « axe des x » et « axe des y »; les symetries affines par rapport a 0, Ox (de direction IRj), Oy (de direction lRi) sont respectivement notees so, sx' Sy.
42
1.3.1
1.3.1. Generalites
10 Position du probleme. - On se donne D c IR, reunion d'intervalles (non reduits it un point) et f: D ......C defmie par f(t) = 0 + x(t)i + y(t)j. On supposefde classe Ck (k ~ 1) sur chacun des inter valles constituant D. II en est done de meme de x et y. On se propose d'effectuer un trace approximatif, mais aussi fidele que possible, de f(D). II s'agit done de construire une reunion de
THEOREME I. - On suppose qu'i1 existe des intervalles A c I\J et I ainsi que des applications u: IR ...... IR et v : C ...... C verifiant :
IR,
ii) 'it
nEA D
(u(t)
D) /\ (f(u(t)) f(D)
=
= v (f(t))).
n I))
(1)
Alors :
nEA
U v"(f(D
THEOREME II. On suppose qu'il existe des intervalles A c 7L et I c IR, ainsi que des applications bijectives u: IR ...... IR et v : C ...... veriflant : C
i) D
= U un(D
nEA
ED
n I);
E
iii) 'it
(u(t)
D) /\ (u-1(t) f(D)
=
D) /\ (f(u(t))
= v (f(t))).
(2)
Alors :
Demonstration
nEA
U v"(f(D
n I))
que,
f(u-1(t))
pour
tout
des deux theoremes. - Notons d'abord que iii) implique tED, on a: f(u(u-1(t)) = v(f(u-1(t))), et done
= v-1(f(t)).
=
et
nEA
v"(f(t)).
Soit m Ef(D).
Ecrivons
m = f(t), pEA
avec tED.
tED
On peut ecrire :
n I. n I)).
et done m
U v"(f(D
alors m
Inversement si
n I,
mE
et done m =
nEA f(uP(t))
U vn(f(D
Ef(D).
n I)),
vP(f(t)),
avec pEA
et
1.3.1
CONSTRUCTION
43
PRATIQUE.- On utilise surtout le theoreme II. Pour cela, on commence it rechercher des bijections u et v verifi- t iii); dans la plupart des cas, u est : - soit t 1---+ t + T (T E IR*), a"'1uel cas on peut adopter (independamment de v) : A = 7L et 1 = [ex, ex -r 1], ou ex est arbitrairement choisi; - soit t 1---+ ro - t, auquel cas on peut adopter (independamment de v) A = {a, I} et 1 = ] - 00, ro/2] ou 1 = [ro/2, + 00[.
La methode est efficace lorsque les un distinctes (n E A) sont en nombre fmi (par exemple lorsque u est une symetrie, ou (&' etant euc1idien) une rotation de mesure 2rc/p, avec p E 1'11*). Lorsqu'on a it l'appliquer plusieurs fois consecutives, on a interet it commencer it utiliser (si possible) u(t) = t + T, T E u;!';. etant aussi petit que possible; ce n'est qu'ensuite que l'on fait appel
it u(t) =
OJ -
t.
PREMIEREXEMPLE.- D = u;!; x(t) = cos 3t, y(t) = sin 2t. Ici fit + rc) = sy(f(t)). Nous construirons donc la partie du support relative it t E [0(, 0( + rc] et no us cornpleterons par la
syrnetrie s y'
Pour Ie moment, nous disposons du choix de 0(. Maisf( - t) = sJf(t)) nous conduit it adopter rc/2, it faire Ie trace pour tE [0, rc/2], (fIg. 12), et it completer par les symetries Sx et Sy, dans cet ordre, (fig. 13). Les points doubles qui apparaissent seront precises au 5°. Notons qu'avec cette methode no us n'aurions rien ajoute en observant que f admet 2rc pour periode, ou que f(rc - t) = sdJ(t)) puisqu'il s'agit de consequences des proprietes utilisees.
0(
=-
FIG. 12.
FIG. 13.
30 J~hauche du trace. - L'intervalle d'etude 1 est suppose determine comme ci-dessus. L'etude des variations de t 1---+ x(t) et t 1---+ y(t) et des branches infmies eventuelles permet une premiere ebauche du support. Celle-ci sera ensuite amelioree par l'etude plus precise de quelques points particuliers (le choix de ces points etant suggere par la premiere ebauche): en particulier : 40 Etude locale au voisinage d'un point. - En considerant f comme defmie sur un intervalle, on se ramene au cas d'un point Mo(to) d'un arc parametre (l,f). La methode generale (1.2.3,2°) consiste it rechercher un developpement limite de f au voisinage de to (eventuellement par Taylor-Young).
44
1.3.1
Voici quelques remarques, qui peuvent etre utiles : en Mo extste, d'apres Ie theoreme II du 1.2.2,2°, on peut lim
,'0"
I'obtenir comme
Aff(mo.!(t)),
# '0
ce qui conduit
= y'(to) =
rechercher
,-
lim
'0"
y(t) - y(to)
# '0 x(t)
- x(to)
( I.
,'0"
1m
# '0) x'(t)
=<>
(I'
,-
1m
'0"
y(t) - y(to)
# '0 x(t)
- x(to)
) = ex .
b) S'il existe une tangente en Mode direction u;li ou u;lj, l'allure locale du support est fournie directement par l'etude des variations de x et de y. Pour une autre direction de tangente, on peut avoir interet a adjoindre a ces variations celle de J.l : t 1-+ y'(t)/x'(t) (cf. permanence du sens de la concavite, remarque A, b) du 1,2,3,2°).
EXEMPLES.
a) D
u;l; x(t)
3t4
2t3, y(t)
t2 - t.
Le lecteur verifiera qu'il existe un unique point stationnaire M otto = 1/2). - La methode qenerale conduit calculer 1"(1/2) = 3i + 2j, /,,'(1/2) = 24i, et en deduire (p, q) = (2, 3) : rebroussement de premiere espece avec (au voisinage de to), M 0 + i (resp. M 0 - i) dans la concavite si t> 1/2 (resp. t < ,_1/2
D.
a
consiste
a constater
que J.l decroit au voisinage de to, i.e. que « la tangente tourne dans Ie sens negatif » (d'ou la premiere espece et I'allure).
y y
·1/160
FIG.
14.
FIG.
15.
b) D
u;l\{ -
1,0, I} ; x(t)
2t/(t2
1), y(t)
= +
(t
+
=
1)2/t2.
t_
Adjoignons
au
support
Ie point
lim
fIt)
00
lim
-
00
fIt)
a + j,
note a.
Un
-Ii +
t
j) +"2j t
1 (1 )
+
0
et de "2 t
00
donne
1.3.1
CONSTRUCTlON
45
50 Points multiples. - Etant donne un point m du support Y' d'un arc parametre (D,f) nous nous interessons iei it l'ordre qeometrique de m relativement it l'are geometrique represente par (D,f), et non it la muuiplicite de m relativement it (D,f) (ef. 1.2.1, 5°).
EXEMPLES. - a) D = u;l; x(t) = cos 3t, y(t) = sin 2t (suite de I'etude du 2°) . .f admettant la periode 21t, pour tout point m = f(t) de .9', on a t + 21tl" c f - '( {m}), et la multiplicite de m est infmie. On remarque que s'il existe un point d'ordre qeometrique 2, il est necessairement image de deux points de l'arc geometrique dont les parametres appartiennent it [0, 21t[, ce qui nous conduit a rechercher les (t" t2) verifiant : (0 ~ tl < t2 < 21t) /\ (f(tll
= f(t2))
(1)
-ee-
[(t2
1t
tl E 2;
z)]
-[(t2
- tl E1tl")
tl E ~
+ 1tl")]
:
de (1) sont
les 7 couples
(~191t)
12' 12
(~171t)
12' 12
(71t
231t)
12
12'
(~6' 71t) 6
qui fournissent respectivement les points
(~31t) 2' 2
du support
(51t~) 6' 6
de coordonnees :
(0, ~)
(0,0) (0, - ~)
II s'agit bien de points d'ordre 2 pour l'arc geornetrique car pour chacun des 7 couples (t I> t2) les sous-espaces fonda men tau x aux points de parametres tl et t2 sont distincts (on Ie veritie pour les tangentes). Concretement, les 3 points doubles appartenant a Oy etaient en evidence des la premiere ebauche de la courbe et, pour des raisons de syrnetrie, on pouvait se con tenter de chercher Ie point double a coordonnees strictement positives, ce qui revenait a rernplacer (1) par :
qui admet b) D
la solution
unique
(1t/12, 171t/12).
u;l\{ -
Recherchons
t les points
2t
-2--'
du 4° in fine).
= (t2
t2
1)2)
(2)
Compte tenu du caractere bijectif de t par (tl + 1)/tl = - (t2 + 1)/t2; (2) s'ecrit
condition
46
Pour (tl, t2) solution
1.3.2
racines distinctes, rxet ~, appartenant a D. Sans utiliser les va leurs 1 obtient les coordonnees du point f(rx) = f(~); ce sont : (2rx/(rx2 1), 1 + (2rx + 1)/rx2) = (1,2)
J2 et 1 + J2 de rxet ~, on
En fait nous avons ici quatre arcs parametres Yi = (1;,f), avec 11 = ] - 00, - 1[, 12 = ] - 1,0[,13 = ]0, 1[, 14 = ]1, + 00[. Comme rx E 12 et ~ E 14, aucun de ces arcs n'admet de point double; Ie point f( rx) est seulement l'intersection des supports de Y2 et de Y4'
REMARQUE.
Le pointf(rx) (t
E
s'obtient
en recherchant
I'inconnue deux
t: D) /\ (x solutions (t
E
(t + 1)2/t2)
admette
distinctes. D) /\ (xt2
-
0) /\
«y -
1)t2 - 2t -
0)
ce qui exige : x = y - 1 et x = 1, c'est-a-dire (x, y) = (1,2). Inversement, si (x, y) = (1,2), alors (3) a bien deux solutions (reelles) distinctes. - Cette methode vaut to utes les fois que x et y sont des fonctions rationnelles : on ecrit que deux polynornes ont un P.G.C.D. de degre 2 (au moins) et l'on regarde si celui-ci admet deux racines reelles et distinctes; c'est commode lorsque, comme ici, I'un des polynomes est de degre 2.
1.3.2. Exemple
Le lecteur est invite achever la construction dessus. Donnons un autre exemple. 10 Considerons la partie
<I}
rencontres
dans Ie paragraphe
ci-
de rf pararnetree
t3 x=----(t - 1}{t + 2)
Nous sommes arnenes a construire les supports t E] - 00, - 2[, t E] - 2, 1[ ou t E ]1, + 00[. Variations de x et y. Le lecteur dx dt Notons calculera : dy dt
t2(t2 + 2t - 6) (t 1f(t + 2f
t2 - 2t + 2
de t2 + 2t - 6 = 3,6458
°:
(t -
1)2
j7 '" -2
t2 = - 1 + de x et y :
j7 '" 1,6458.
t2 +00
Nous t
en deduisons -00
aisement tI
les variations
dx/dr
+ -00
°
X(tl) " y(tl)
-00
°
X(~2) y(t2)
» »
+
+00
"
+00
-00
»
+
8 8 -- -3 3
-00
»
+
+00
dy/dr
1.3.2
CONSTRUCTION
47
REMARQUES. - a) Pour un calcul exact de x(t,) et y(t,) (i E {I, 2}), il peut etre interessant de remplacer les polynomes intervenant dans l'expression de x ou y par leur reste dans la division par t2 + 2t - 6. Le lecteur verifiera :
----'----'"
20 + 14)7
9
- 6,34; - 4,43;
x(t2)
=-
20 - 14)7
9
'" 1,89
+ 2)7
3
---'--
'"
y(t2)
=-
8 - 2)7 3
'" - 0,90
que pour
t = 2 : x(t) = 2, y(t) = O. de t = - 2, il y a (pour des variations en etudiant permet deux des arcs etudies) la position une
asymptote rapport
d'etudier
arneliorer
l'equation
et x(t') '"
2,13).
• Au voisinage de + 00 (resp. - 00), nous constatons : x(t) - t et y(t) - t. Calculons done: - 4t y(t) - x(t) = . Ainsi la droite d'equation y - x = 0 est asymptote. La position du (t - l)(t + 2) support se deduit du signe de - 4t/(1 - l)(t + 2). Notons que O(t = 0) appartient it l'asymptote. • Au voisinage d'ou l'asyrnptote de t = 1, il vient : x(t) - --, y(t) - -t-l t-l d'equation y + 3x - 8/3 = O. D'autre part y(t) d'ou la position Notons
1/3
-1
et y(t)
3x(t)
= ---,
4t(t
+ 1)
t+2
3x(t)
- 8/3 =
4(3t 3(t
+ 4) + 2)
(t -
28 1) - -(t 9
1),
par rapport
que Ie point
de pararnetre
Le lecteur
constatera
1,90.
FIG.
16.
48 Point double
(1)
1.3.2
: (2) du premier
e). -
Ecrivons
algebriques
t3 - x(t2
t - 2) = 0
t2 - 2t - y(t - 1) = 0
euclidienne
ont en commun deux racines reelles, ElTectuons pour cela la division poly nome par Ie second, et ecrivons que le reste est nul. II vient :
(y2 _ xy
3y - 3x
+4 =
0)
1\
(y2 - xy
2y - 2x
0)
en soustrayant membre a membre, Ie lecteur trouvera : x = 2, y = - 2, et verifiera que, pour ces valeurs, I'equation (2) admet bien deux racines reelles distinctes differentes de - 2 et 1.
REMARQUE. -
Le lecteur
verifiera
1\
qu'en
resolvant
(t' ¥- t")
il aboutit a:
(x(t')
x(t"))
1\
(y(t')
y(t"))
t")2 - t't") = 0
t'
t" = 0,
t't" = -
2,
soit
t' =
j2
et
t"
=-
j2
20 Complement.
- Considerons
la droite g; d'equation ux + vy + w = 0 ((u, v) ¥- (0,0)) et avec la «courbe » <I} etudiee au 1°. L'« equation aux t » des points
(u
00
v)t3
wt2
+ (w
- 4v)t - 2w
(3)
(i.e. si g; n'est pas parallele a la direction asymptotique et - (0) l'equation est du troisieme degre, Notons ou confondues) et, selon l'usage :
correspondant
aux
systeme de
Nous
avons
done :
crl = - w/(u
v),
cr2 = (w - 4v)/(u
v),
cr3 = 2w/(u
v)
(4)
Inversement soient tl, t2, t3 des reels distincts de - 2 et de 1, et ml, m2' m3 les images des points correspondants. Nous cherchons une condition necessaire et suffisante pour qu'il existe une droite g; telle que l'equation (3) admette (tl' t2, t3) comme systeme de racine. La condition est qu'il existe (u, v, w) e u;l3 verifiant (4), soit encore qu'il existe (u, v, w) e u;l3\{(0, 0, OJ} verifiant : (u
v)cr I
w = 0,
(u
V)cr2 - w u
+ 4v
= 0,
(u
v)cr3
2w = 0
(5)
solution cherchee
v = 0, alors
w=- w
+ 4v
:
= w = 0, et donc
u = v = w = 0).
La condition en annulant Ie determinant 1 1
-2
(6)
2crl
cr3 = 0
e)
1.4.1
ARC PARAMETRE
EN COORDONNEES
POLAIRES
49
Applications. - a) Lorsque tl, t2, t3 sont deux it deux distincts, la condition (6) exprime simplement que ml, m2 et m3 sont alignes. Ecrivons que, pour tl "# t2 donnes, (6) est verinee pour tout t3 E u;l. <I} n'etant pas incIus dans une droite il en resultera ml = m2, ce qui redonnera Ie point double.
(6) s'ecrit
0'011
On retrouve bien Ie point double. b) Supposons tl = t2. (6) exprime qu'il existe une droite !YJ recoupant <I} en ml = m2 (racine au moins double) et en m3• D'apres la remarque du 1.2.2, theoreme II, les arcs ne presentant pas de point stationnaire, cela signifie ici que !YJ est tangente en ml = m2• Notons t = tl = t2• (6) devient : (t2 + 2)t3 + 4t = O. Nous en deduisons que la tangente en mit) recoupe <I} en Ie point de parametre t3 = - 4t/(t2 + 2), appele tanqentiel du point mit). Le lecteur verifiera en execcice que les tangentiels de trois points alignes sont alignes e). c) Enfin par un raisonnement analogue, en supposant tl = t2 = t3, nous trouverons les points d'inflexions. Ici cela donne : t3 + 6t = 0, soit t = 0 unique racine reel/e. 0'011 Ie point 0, evident sur la figure.
REMARQUES. -
pararnetree par :
Pit) R(t)
Q(t) y = R(t)
011 P, Q, R sont des polynomes de degre au plus 3, dont I'un au moins est de degre 3. On demontre ainsi que si cette « courbe» admet trois points d'inflexions (reels) ils sont
alignes, b) En resolvant (5) on en deduit l'equation de la droite !YJ en fonction de ai' a2, a3 (Iorsque (6) est verifiee), Ainsi en utilisant Ie tangentiel (t3 = - 4t/(t2 + 2)) Ie lecteur ecrira l'equation de la tangente au point mit).
I
e)
Dans ce sous-chapitre, (8, E) desiqne un plan affine euclidien oriente, rapporte Ii un rep ere orthonormal direct (0 .. i, j).
!
<I})
(cos e)i
4
+ (sin e)j
4
et
En prenant tl
0, t2
3' t3 = - 3 (points
on constate
que (6) est verifIeeet done que ces points sont alignes, Cette propriete est a rapprocher de celie des tangentiels (eIle s'en deduirait en geometric projective), et est vraie pour toute cubique (cf. remarque).
50
1.4.1
Le repere orthonormal direct (0 .. Ue. vo) est dit repere mobile. Le point de coordonnees polaires (p, 9) est Ie point m = 0 + pu, Ses coordonnees cartesiennes sont x = p cos 9 et y = p sin 9; on a x + iy = P es. Inversement tout point m E tff admet une infinite de systemes de coordonnees polaires (cf. 11.6.3.1,1°). Nous constatons que 9 1---+ Uo et 9 1---+ Vo sont de classe Coo sur IR et que: d9 (uo)
d
= Vo
et
UIJo.
2° THEOREME ET DEFINITION. - Soit f une application de classe Ck (k ~ 0) d'un intervalle 1 c IR dans IC verjfiant : 'it E 1 If(t)1 = 1. Alors il existe des applications continues 9 : 1 --+ IR veriflant :
'it
E
eill(t) = f(t)
On les appelle releoements de f. Si 91 et 92 sont deux d'entre elles, alors il existe h E 7l. tel que: 'it E 1 92(t) - 91(t) = 2h1t. Ces relevements sont de classe
c-.
- Verifions d'abord Ie dernier point. S'il existe deux relevements 91 et 92, alors : ei(O,(t)-O,(t» = 1 pour tout t E 1, et done (IV.3.3.1) 92 - 91 prend ses valeurs dans 21t71.. Or 92 - 91 est continue, 1 connexe et 21t71. discret; on en deduit que 92 - 91 est constante, de la forme t 1---+ 2h1t. 0 Notons qu'inversement si 91 est un relevement, alors, pour tout h e 7l., 1---+ 91 (t) + 2h1t est aussi un relevement. - Venons-en it la preuve de l'existence d'un relevement.
Preuve dans Ie cas k ~ 1. - Puisque f ne prend pas la valeur 0, no us disposons de ff / f: 1 --+ ICde classe Ck - 1, et done continue. Nous disposons done de <p : 1 --+ IC definie, pour to E 1 arbitrairement fixe, par : 'it
<p
E
<p(t)
= -:- I
to
1 ftf'(U) f(u)
duo
1---+
est de classe C\ et on a: <pf(t) = - if'(t)/ f(t). II en resulte que f(t)e-i<j>(t) est de derivee nulle sur 1, et done constante. De <p(to) = 0 nous deduisons alors : 'it E 1 f(t) = f(to)ei<p(t). Comme If(to)1 = 1, nous pouvons poser: f(to) = eiOo, avec 90 E IR.
f(t)
D'ou:
= eiO(t),
Ck;
avec
9(t)
= <p(t) + 90,
9 :1
--+
~mR
La suite de la demonstration, plus delicate, peut etre reservee it une seconde lecture. Preuve dans Ie cas k = 0 et I = [a, b]. Introduisons A + = C\u;!_ et A _ = C\u;!+ qui sont des ouverts de C de reunion C*, et notons IJi l'application Z f--+ ei' de C dans C*. Le lecteur verifiera :
1Ji-1(A+)
=U
hEZ hEZ
0:,
avec avec
0: = {zEClale(Z)E](2h
0;;
=
1)1t,(2h
+ 1)1t[}
lJi-l(A _) =
U 0;;,
1.4.2
POLAIRES
51
D'apres III.8.5.5, 3°, pour tout h « 1, IjI induit un horneomorphisme de n: (resp. n,;-) sur A+ (resp. A _), qui est note IjIh+ (resp. 1jI';-). - Soit alors f: [a, b) ---> C, continue, verifiant : "It E [a, b) If(t)1 = 1. Designons par E l'ensernble des x E [a, b) tels que la restriction def it [a, x) admette des relevements (continus). De a E E, nous deduisons E "# 0; d'ou l'existence de c = sup E, avec c E [a, b). II s'agit de montrer : c E E et c = b. - D'apres ftc) "# 0, nous avons, par exemple ftc) E A + (la demonstration serait analogue pour ftc) EA_); A+ etant ouvert et f continue, il existe E E u;l~ tel que: f()c - E, C + E[ n [a, b)) c A +. - Choisissons arbitrairement ~ E)C - E, c) n E, ce qui est possible d'apres c = sup E, et soit 9 un relevement de la restriction de f it [a,~); nous avons ei9(~j = f(~) E A+, et il existe un unique. h E 1 tel que 9(~) E h+. - Choisissons maintenant un element quelconque ~l de l'ensemble non vide [c, c + E[ n [a, b). Nous avons ~ ",:; ~l et fIt) E A + pour tout t E [~, ~l); h etant l'entier determine ci-dessus, posons : 9,(t) = (1jI:)-l(f(t)), ce qui entraine ei6,(tj = fIt) et done 91(t) E u;l; on determine ainsi une application 91 : [~, ~,) ---> u;l, qui est continue; on constate 9(~) = 91(~)' - II en resulte que l'application ij de [a, ~l) dans u;l dont les restrictions it [a, ~) et it [~, ~,) sont respectivement 9 et 9, est continue, et qu'elle verifie :
eiG(tj = fIt).
Nous avons ainsi : ~l E E. En particulier (grace it un bon choix de ~l) : c E E. Par ailleurs, si on avait c < b, il existerait ~l E E tel que c < ~1o en contradiction sup E; d'ou c = b.
avec
Preuve dans Ie cas k = 0 et 1 que Icon que. - Nous pouvons choisir d'abord to E I, puis 90 E u;l tel que ei60 = f(to). Pour tout (a, b) E 12 verifiant a ",:; to ",:; b, il existe des relevernents (continus) de la restriction de f it [a, b) et on constate que, parmi eux, il en est un et un seul, 9a,., tel que exp (i9a .(to)) = exp (i90)· O~ en deduit aisement qu'il existe une unique application 9 : 1 ---> u;l telle que, pour tout (a, b) E 12 verifiant a ",:; to ",:; b, 9a .b soit la restriction de 9 it [a, b); 9 est continue (tout point de 1 admet un voisinage de la forme [a, b) pour la topologie induite), et: Vt E 1 ei6(tj = fIt). 0
REMARQUE. -
"It
1 ei9(tj = f(t),
C\
pour
toute
application
continue
9 telle
que
3° COROLLAIRE. - Soit (l,f) un Ck-arc parametre de Iff (k ~ 0) dont Ie support ne contient pas O. Alors il existe des couples (p, 9) d'applications de c1asse Ck de I dans IR, verifiant : p(t)u9(tj ____,. A tout t e I assoeions Ie reel non nul p(t) = 110 f(t)ll.
E
'it
f(t)
Comme 11.11 est de classe Coo sur E\{O}, l'applieation p : I -+ IR ainsi defmie est de classe c-. Notons : 1 ____,. ~. (. 'it E I - 0f(t) = S(t)1 + 11 t)J
p(t)
Nous disposons ainsi de l'applieation g : t f--+ ~(t) + i11(t) de I dans C, qui est de classe Ck et verifie : 'it E I Ig(t)1 = 1; g admet done des relevements ; sur 9 l'un d'eux ; il est de classe Ck et, pour tout t e I, nous avons : exp (i9(t))
= g(t),
et done Ull(tj =
-----+
p(t)
0 f(t).
52
1.4.2
vi E I
J(t) = 0
+ p(t)u9(t)
(p(t), 9(t)) est de classe c, D'apres le 1.4.1, 30, tout arc de classe dont le support ne contient pas 0, est susceptible d'une telle representation. Mais inversement, l'etude qui suit ne suppose pas forcement cette hypothese realisee, Pour l'essentiel, la theorie est celIe faite au 1.2.3, Ii laquelle on pourra toujours se reporter. Nous nous interessons surtout ici au caractere pratique de l'etude.
ou t ~
f'(t)
= p'(t)u9(t) + p(t)9'(t)v9(t)
(2)
1 Tangentes. - a) Soit M(t) un point requiter de (I,f), ce qui signifie f'(t) #- 0, ou, d'apres (2) : (p'(t), p(t)9'(t)) #- (0,0). L'arc admet en M une tangente 79. p(t)e'(t) #- 0), 79 est dirigee par ve(t); - Si p'(t) #- 0, la mesure V (modulo n) de l'angle oriente de droites ----, p(t)9'(t) ~ue(tl' '& est donnee par : tg V = . p'(t)
(et done b) En un point stationnaire, on etudie les vecteurs superieur un, conformement la theorie generale. Si p'(t)
derives
d'ordre
c) Cas particulier OU Ie support contient O. - Soit to E I tel que J(to) = 0, i.e. p(to) = 0. Posons 9(to) = 90 et faisons l'hypothese (realisee en pratique) que pour t suffisamment voisin de to, on ait : (t =1= to) ~ (p(t) =1= 0). Alors la droite affine ~t = Aff (O,f(t)) admet pour limite 0 + ~ueo lorsque t =1= to tend vers to. II en resulte que si l'arc parametre admet une tangente en M oCto) (resp. si le support admet une tangente en 0), il s'agit de la droite affine 0 + ~ueo (cf. 1.2.2,2°). Ce resultat, que l'on peut retrouver par a) lorsque f'(to) #- 0, est val able egalement en un point stationnaire.
(l,J) presente
une branche
a to E IV si et seulement
de p,
si : lim Ip(t)1
t ~ to
=+
00
la continuite
lim pet)
t~to
E {-
00,
coj),
1.4.2
ARC PARAMETRE
EN COORDONNEES
POLAIRES
53
b) Lorsque cette hypothese est realisee, I'arc presente une direction asymptotique si et seulement si 9(t) admet une limite 90 E !R lorsque t tend vers to, la direction asymptotique etant alors !Rua. (cf. 1.1.2,5°, theoreme II).
que simultanement
E
=+
00,
lim 9(t)
t ......to
90
(90
!R).
et
00.
=+
E
Yo (Yo
!R), l'arc
d'equation Y - Yo = 0 dans Ie repere (0; ua.' va). La position de l'arc par rapport it son asymptote resulte de l'etude du signe de Y(t) - Yo' Si lim Y(t)
E {00,
co}, il y a branche
parabolique
de direction
ni branche parabolique.
a) Lorsque
lim !p(t)! =
t ..... to
00
et lim 9(t)
t - to
E {-
00,
co], il y a branche
1= 1Kl, 9(t) = t, p(t) = at (spirale d'Archimede) (fIg. 17) I = 1Kl, 9(t) = t, p(t) = aem', m #- 0 (spirale logarithmique)
...............
"', ,
,
\
\
\
\
\ \
\
\ \
I
/
/
FIG. 17.
FIG. 18.
1.4.2
= Po et lim 9(t)
l-tlO
E {-
00,
+ co},
asymptote»
l/t
(frg, 19).
FIG. 19.
40 Cas particulier
9(t)
(I,f)
V9 E I
= 0 + p(9)ue
= p'(9)ue + p(9)ve;
1"(9)
du systeme (1"(9), 1"(9)) dans la base (u; ve) s'ecrit : p" (9) - p(9)1 2p'(9) suivants : (p2
Ip(9)
D'ou les resultats
ou
2p'2 - pp")(9).
(3)
a) M(9) est requiter si, et seulement si (p(9), p'(9)) #- (0,0). En un tel point la mesure V de l'angle de droites !Rue. r; est donnee par l'une des formules :
tg V
--
1.4.3
ARC PARAMETRE
EN COORDONNEES
POLAIRES
55
o+
REMARQUE. - La normale, dirigee par Ie veeteur - p(8)ua + p'(8)va, passe par Ie point: p'(8)va (« pied de la sous-normale »). Si p'(8) "# 0, la tangente, dirigee par Ie veeteur - p(8)ua - p2(8)/p'(8). va, passe par Ie point: + 1/g'(8). Va. ou 9 designe l/p (« pied de la sous-tangente »).
2p'2 - pp")(9) =I 0
Soit M(9) un point biregulier d'image m distincte de O(p(9) =I 0); on constate (par cotg V) que 0 r£ ri. La concavite de l'arc en M contient 0 si et seulement si les bases (I' (9),1" (9) et (f' (9), mO) de E sont de me me sens ce qui s'ecrit, en utilisant (3) : (p2 c) Une condition d'inflexion est:
2p'2 - pp")(9)
>0
2p'2 - pp")(9)
=0
REMARQUE. -
sgn (p2
+ 2p'2
pp")(e)
ou
00 = l/p
= p'(9) = 0) a necessairement
pour image
p(t)
!t/4
!t/2
-
+
/'
0
-
!t 2
-I
\0
00 00
p(t)
rfU=2t-tgt I~=tgl
9 {p
= 2t = tg
tg t
t
FIG.
20.
p'(t)
On notera que p ne prend que des valeurs positives (dans l'intervalle considere) (Ie calcul de = 1 + tg2 t pourra servir a preciser certaines tangentes). Au point M 0(0), d'image 0, la tangente est Ox. Pour t < !t/2 tendant vers !t/2, l'arc presente une branche spirale.
Le trace (fig. 20) fait apparaitre des points multiples et des points d'inflexion que nous n'etudierons pas ici. EXEMPLEII. p(9)
=
9).
[J;l,
Definie sur [J;l, p admet visiblement la periode 3!t. Mais on remarque que, pour tout 9 E p(9 + 3!t/2) = - p(9).
f(9
r a la rotation de centre 0 et de mesure IX, nous en deduisons r n/2 apparaissant com me Ie cornposee de r3n/2' qui correspond au changement de 9 en 9 + 3!t/2, et de rn qui correspond au changement de p en - p.
+ 3!t/2)
Designant
par
= r n/2 (f(9)),
D'apres la theorie generate du 1.3.1,2°, il suffit done d'effectuer Ie trace dans un intervalle 3!t quelconque J d'amplitude -, et de completer par les rotations rkn/2' avec k E {l, 2, 3}. 2
1.4.3
ARC PARAMETRE
EN COORDONNEES
POLAIRES
57
Mais en outre p( - 8) = - p(8), et donc f( - 8) = Sy (f(8)), ce qui conduit it adopter J = [ - 37t/4, 37t/4]. En definitive, nous ferons varier 8 dans [0, 37t/4], puis nous ferons la syrnetrie par rapport it Oy, et nous ferons subir it I'ensemble ainsi obtenu les trois rotations rh/2'
_-----_
FIG. 21.
La restriction de p it [0, 37t/4] est visiblement croissante, it valeurs positives. Au point M 0(0), d'image 0 la tangente est Ox; la formule tg V = 3/2. tg (28/3) permet de preciser quelques tangentes. La figure fait apparaitre des points multiples en evidence sur les axes et leurs bissectrices. En s'inspirant de la methode exposee dans I'exemple qui suit, Ie lecteur montrera qu'il n'y en a pas d'autre.
III. - p(8) = 1 + tg (8/2). Definie sur 1R\(7t + 27tZ), f admet la peri ode 27t et il s'agit de construire parametre (] - 7t, 7tL f). Sans deriver, on obtient Ie tableau suivant, Oil apparait sgn (p) :
EXEMPLE
Ie support
de I'arc
-7t
-00
/'
- 7t/2 0
/'
0 1
/'
7t/2 2
7t
00
permet
de construire
les tangentes
aux points
8 = 0 et 8 = 7t/2.
Branches infinies. - L'arc obtenues lorsque 8 tend vers 7t par et I'autre correspond la direction et vn = - j. Nous les etudierons
(] - 7t,7tLf) admet deux branches infinies, respectivement valeurs inferieures et vers - 7t par valeurs superieures, A I'une asymptotique Ox et Ie repere auxiliaire (un. vn), avec u, = - i simultanernent en notant Y(8) = p(8) sin (8 - 7t), cf. 1.4.2,2°.
Au voisinage
de h = 0, on a :
Y( - 7t
+ h) =
Y(7t
+ h) =
=- 2+
o(h)
ce qui montre que chaque branche infmie admet pour asymptote la droite dont Y = - 2 est une equation dans Ie repere auxiliaire, et ce qui permet de situer Ie support par rapport it I'asymptote, au voisinage de - 7t + 0 ou de + 7t - 0 suivant Ie cas.
58
Notons que Y( - 1t
1.4.3
ici h e ]0, 21tL permet de placer I'intersection du support
+ h) +
2 = 2j2
it I'asymptote,
~) avec
de determiner
v,
FIG. 22.
Points multiples. - D'apres 11.6.3.1, 1°, nous sommes du parametre verifiant I'une des relations:
e)
8'
8' = 8
et et
(4)
p(8') = - p(8)
(5)
S'agissant ici d'un arc pararnetre (] - 1t, 1t[,f), la condition (8, 8') E (] - 1t, 1tD2 est incompatible avec (4) et (si I'on impose 8' < 8) elle n'est compatible avec (5) que si : (8 ce qui s'ecrit : (8
E E
=-
1 - tg (8/2))
8 - x) /\ (
2 tg (8/2) 2 1 - tg (8/2)
La solution, unique, est (8 = 1t/4, 8' = - 31t/4). D'OIl I'existence d'un point double (ce qu'une ebauche du trace laissait soupconner) ; il s'agit du point 0 + i + j; Ie lecteur verifiera que les tangentes aux points d'angles polaires 1t/4 et - 31t/4 sont orthogonales.
Point
d'inflexion.
L'equation t
(p2
3 -
+
3t
3t - 3 =
s'ecrit, en posant
tg 8/2 :
n'admet
du point
On pourra, par exemple, chercher les points en lesquels la par i, ce qui conduit It ecrire que la derivee de
e)
Le lecteur
generalisera
aisement
n'est pas 8.
1.5.1
9
f--+
IMP'LICITEMENT
59
tg (9/2)) cos 9 ou de 9 (1
f--+
(1
a:
tg~)
cos 9
+ ~ sin
9 (1
tg2~)
=0
=-
de t
tg~).
On obtient
deux points
paralleles
leurs images
sur la deuxieme,
bissectrice.
1.5. COURBES
PLANES DEFINIES
IMPLICITEMENT
<{f
non nulle).
- On rapporte C a un repere [!Jl = (0; i, j), en general quelconque. On dispose ainsi de m E Diff" (1R2, C) defmi par (x, y) ~O + xi + yj. On note f = F tn : (x, y) ~ F(O + xi + yj); il s'agit d'une application de classe Ck d'un ouvert W = tIl - I ("fII) de 1R2 dans IR. - Dans les paragraphes 1.5.2 et (.5.3, on se donne en outre un point de C(j, mo = 0 + xoi + yoi, avec F(mo) = 0, et on se propose d'etudier localement C(j au voisinage de mo.
0
2°
DEFINITION.
Avec les notations du 1°, mo E C(j est dit point requlier ou C(j) suivant que la differentielle de F en mo,
e)
REMARQUE. - La precaution qui consiste considerer une courbe comme un couple trouve ici son sens. En effet, si F est affine non constante, <(f = F-1(O) est une droite qui s'ecrit aussi G-1(O), avec G = or tout rno E <{f est point regulier de (F, «f) et point singulier de (G, «f). Lorsqu'i! n'y aura pas d'ambiguite, i! no us arrivera cependant d'ecrire <{f pour (F, «f).
r-,
(') Le mot courbe n'a Ie sens general que nous lui donnerons de point singulier.
n'existe pas
60
1.5.3
arc au point d'image mo admet l'equation dF(mo). soit Ie choix du repere (0; i, j)) : (x - xo)f~ Supposons f(xo, Yo) (xo, Yo)
-------+
mom
(y - Yo)f~(xo,
=0
Yo) #- O.
(1)
= 0,
Le theoreme des fonctions implicites nous assure l'existence de voisinages ouverts I de Xo et J de Yo dans IR, ainsi que d'une application <p : I -+ R de classe o, teIs que : i) I x JeW; ii) V(x,y)EI xJ (f(x,y)
= O=-y
= <p(x))
et on peut me me supposer que I est un intervalle de R "f/' = m(1 x J) est un ouvert de.tff tel que {mo} c "f/' c 1Y; "f/' (\ ~ est Ie support de l'arc cartesien (I, G), OU G(t) = 0 + ti + <p(t)j; cet arc admet au point de parametre t = Xo la tangente 7i 0 = mo + R(i + <p'(xo)j), dont une equation dans flI est: y - Yo - <p'(xo)(x - xo) = O. Compte-tenu de <p'(xo) = - f~(xo, Yo)/f~(xo, Yo), (1) est aussi une equation de 7i o- Si l'on avait suppose f~(xo, Yo) = 0, alors orl aurait eu f~(xo, Yo) #- 0, et, en transposant i et j, et done x et y, on aurait retrouve (1).
REMARQUES. - a) On sait que tous les arcs plonges de classe C ayant 1/ n<t eomme support sont Ck-equivalents. 1/ n 'I est done Ie support d'un unique arc geometrique plonge. b) Si to us les points de 'I sont reguliers, nous dirons que 'I est localernent Ie support d'un arc plonge de classe Ck. On demontre que si '{j est eonnexe il est support d'un arc geometrique (globalement).
k
c) D'apres Ie theoreme III du 1.2.2,2°, si rno est un point regulier de (F, 'I), alors 'I admet en
rno une tangente geometrique,
61
=
f(xo,
= 0;
<l>mo(hi
= 0,
f~(xo,
et d'apres
E 1R2 :
kj)
avec:
Les resultats dependent de la signature de <I>mo'mais non du choix de f!A, bien que celui-ci intervienne dans leur formulation par l'interrnediaire de r, s, t (qui dependent de (i, j), mais non de
0).
2 Cas oil <l>mo est dejinie (rt - S2 > 0) positive (r > 0 et t > 0) ou negative (r < 0 et t < 0). - En passant par l'intermediaire de f no us constatons (111.8.3.3,4°) que F admet en mo un extremum relatif strict (minimum si r > 0, maximum si r < 0). D'ou l'existence d'un voisinage 1/ c "fII de mo dans tff tel que F(m) soit non nul (et meme de signe fixe) pour tout m e 1/\{mo}. On a 1/ n ({j = {mo}; mo est un point double isole de la courbe (F, ({j).
0
ce qui entraine
30 Cas oil <l>m est non degeneree, mais non definie (rt - S2 < 0). L'indifference du choix du repere nous autorise it adopter ici flI = (0; i, j), ou o est mo, et ou (i, j) est une base de E reduite pour <l>mo(11.1.2.2, 1°, corollaire I),
:
r
II existe
= 1,
= 0,
=-
1 (1)
un ouvert "fII' c "fII etoile par rapport it mo (i.e. un ouvert ("fII') de 1R2 etoile par rapport it (0,0)), et la formule de Taylor it I'ordre 1, avec reste integral (111.8.3.1, 4) permet d'ecrire pour tout m E "fII', avec m = mo + h et h = xi + yj :
til-I
=
1
(1 - t) d2F(mo
+
y)
th).h2 dt
= 2 (x2u(x, y) + 2xyv(x,
de classe Ck-2 (Pf
-2
y2W(X,
y))
(2)
=2
=2
i
o
(1 - t)
ax
(1 - t)r dt
62
Par continuite,
1.5.3
{(O, O)}
W"
on deduit de (3) qu'il existe un ouvert W" de 1R2 tel que u et v2 - uw sont valeurs positives. D'ou les egalites entre applications de classe Ck-2 de W'
c
et y);
1=11.12
ljI(x, y)
(x
11 = 1/)2.(<p
encore
- 1jI);
12 =
1/)2. (<p +
v2(X, y)
u(x, y) 1jI)
- w(x, y)
0)
<p~(0, 1jI~(0, 0)
O)J = [1 OJ
0 1
(4)
(5)
O'OU:
"If/" designant m(W'), on a: "If/" (") Ctf = Ctf' u Ctf", ou (j~ 0 m-t, Ctf') et (120m - 1, Ctf") sont des courbes dont mo est un point regulier, D'apres 1.5.2, il existe un voisinage 1/ de mo dans tS tel que 1/ (") soit la reunion des Ctf supports y; 1 et y; 2 de deux c: 2-arcs geornetriques plonges qui admettent au point d'image mo les tangentes respectives 7i 1 et 7i 2' dont (d'apres (5» x - y = 0 et x + y = 0 sont des equations. La gerbe r:§ = 7i 1 U 7i 2 admet x2 - y2 = 0 pour equation dans le repere (particulier) !}t, et done (d'apres (1» : d2F(mo). mom2 = 0 pour equation intrinseque, une equation dans un repere quelconque.
---4
Quittc a remplacer 1" par un voisinage de rno « plus petit », on en deduit que (cp, Ij/) 0 1Il-1 induit 9 E Diff'-Z(1",U), 011 U est un voisinage de (0,0) dans II\lz. On a f/', = 9-I(U r. d,), 011dl et dz sont les droites de II\lz d'equations X - Y = 0 et X + Y = O. II en resulte que rno est Ie seul point singulier de (F, ~ indus dans 1" et que f/' 1 n f/' Z = {rno}.
En conclusion
THEOREME. - Soit mo un point double de la courbe (F, Ctf) tel que la forme quadratique h f--+d2 F(mo). h2 soit non degeneree et non defmie. Alors il existe un voisinage 1/ de mo dans tS tel que : - mo soit Ie seul point singulier de (F, Ctf) appartenant Ii 1/; - 1/ (") soit la reunion des supports y; 1 et y; 2 de deux Ck - 2 -arcs Ctf plonges tels que y; 1 (") y; 2 = {mo}. La gerbe r:§ = 7i 1 U 7i 2 des tangentes (distinctes) Ii ces arcs en leur point
d'image
O.
1.5.3
IMPLICITEMENT s'ecrit : rt S2
63
<0
- YO)2
et ~ admet l'equation
r(x - xo)2
+ 2s(x
- xo)(Y - Yo)
+ t(y
= O.
Notons que r;1 et r;2 sont tangentes geometriques en mo a !/'1 et !/'2 respectivement (au sens de la definition II du 1.2.2, 2°), mais ne sont pas tangentes geometriques a 'IJ en mo. Par abus de langage, no us conviendrons cependant de dire que r;1 et r;2 sont les tanqentes 'IJ au point mo.
COMPLEMENTS. a) On appelle /ignes de niveau de I'application F : iI' -+ [J;lles sousensembles 'IlA = (F - Ar' (0) de S. L'etude precedente permet d'etudier les 'IlA au voisinage d'un point singulier mo de (F, 'If) en lequel rt - S2 < O. j/' et U etant les voisinages de mo et de (0, 0) mis en evidence dans l'etude precedente, pour tout A E [J;l,j/' r. 'IlA est I'image par Ie diffeomorphisme e-' de U n HA, 011HA est Ie sous-ensemble de [J;l2d'equation X2 - y2 = 21.. (seules interviennent les A de valeur absolue « assez petite »). Sur les figures 23 et 24, on a regionne U et j/' d'apres sgn A (on a adopte 1..2 < A', < 0 < A, < 1..2),
FIG.
23.
FIG.
24.
b) L'etude s'etend au cas d'un point double mo de (F, 'Il) en lequei la forme <l>m est definie (rt - S2 > 0). Si r > 0 (resp. r < 0) on utilise un repere d'origine mo tel que: 0
<l>mo(xi
+ yj)
= x2
+ y2
(resp. <l>mJxi
+ yj)
= _ x2 _ y2).
II existe encore un voisinage j/' de mo sur lequel mo est Ie seul point de 'Il. Ici H A a pour equation X2 + y2 = 21.. (resp. - x2 - y2 = 21..) et rA > 0 est une condition necessaire pour que j/' n 'IlA ne soit pas vide; cet ensemble est alors diffeomorphe a un cercle (Ia figure est laissee au lecteur). 40 Cas ou <l>mn est degeneree Ici <l>mo est Ie carre d'une forme la forme [J;lj, avec j E E\{O}. Nous Nous nous limiterons au cas et non nulle (rt - S2 = 0, (r, s, t) # (0,0,0)). lineaire non nulle; I'ensemble de ses vecteurs isotropes est de supposons k ;;, 7. 011, pour un vecteur isotrope non nul j de <l>mo on a : (6) Nous allons montrer que, sous ces hypotheses, il existe un voisinage j/' de mo tel que j/' r. 'Il support d'un arc admettant en mo un point de rebroussement de 1re espece. Soit i ¢ [J;lj; en utilisant: d3F(mo).(i + exj).j2 = d3F(mo).i.j2 + exd3F(mo).j3, constatons que nous pouvons choisir i ¢ [J;lj pour que d3F (mo).i.j" = O. Notons f(x, y) = F(mo + xi + yj). En utilisant la formule de Taylor a I'ordre 2, avec reste integral, soit Ie nous alors nous
64
1.5.3
constatons, quitte it remplacer F par AF (A E ~*), ce qui n'altere pas <C, qu'il existe un voisinage "fI/" de rno sur lequel :
fix,
y) = x2
x3a(x, y)
x2yb(x,
y)
xy2 c(x, y) I
y3d(x, y)
verifient : a(O,O)
= -d3F(rno)'P'
etc... En particulier:
Par une nouvelle application de Taylor (quitte it restreindre "fI/"), c(O,O) = 0 nous per met d'ecrire : c(x, y) = xcdx, y) + yc2(x, y), oil ci et c2 sont de dasse Ck-4• II vient :
f(x,y)
=
x2[1 + xa(x,y)
yb(x,y)
y2CI(X,y)]
y3[XC2(X,y)
d(x,y)]
a,
+ xi +
yj
1--+
y)
d(x, y))1/3]
Le lecteur verifiera (en utilisant d(O, 0) oF 0) que a est un C -diffeomorphisme d'un voisinage ouvert 1/' de rno sur un voisinage ouvert U de (0,0) dans ~2. Or, par construction, a(1/' n <C) est Ie sous-ensemble de U d'equation X2 + y3 = 0 et il ad met donc un parametrage de la forme (1, g), oil q(t) = (t3, - t2) et I est un intervalle (I) ouvert contenant O. Notons pour simplifier ep = a - I; I'ensemble 1/' r. <c est ainsi parametre par (1, ep 0 g), et rno = (ep 0 g)(O). Etudions done les derivees successives de ep 0 9 :
(ep (ep (ep
0
0 0
+ dep(g(t)).g"(t)
+
3d2ep(g(t)).g'(t).g"(t)
dep(g(t)).g"'(t)
Or : g'(O) resulte :
(ep
g)'{O) = 0,
g)"{O), (ep
Ainsi (I, ep 0 g) presente en rno = (ep 0 g)(O) un point de rebroussement de Ire espece (plus precisement, la suite caracteristique en ce point est (0, 2, 3)).
REMARQUES. - a) Sous l'hypothese (6), l'equation d2 F(rno). rnO';;2 = 0 represente encore la gerbe des tangentes en rno it <C. b) I'hypothese (6) est necessaire dans l'etude qui precede, ainsi que Ie prouve : CONTRE-EXEMPLE I. - F(x, y) = y4 - x3y + x2 (8 = ~2). rno = 0 est bien un point double et <l>m est de rang 1. Mais (6) n'est pas verifiee (ici d3F(rno) = 0). 0
xy
En remarquant que <c r. Oy = {O}, et qu'en tout point de <C\{ Oy} on a: I + y4/X2 ;;, I, on constate que 0 est un point isole de <C. Oy n'est done pas tangente it <C.
II. -
F(x, y) = y4 - 2xy2 + x2 (8 = ~2). Ici <c est la parabole d'equation y2 - X = 0; rno = 0 est un point double, <l>m est de rang I mais (6) n'est pas verifiee (bien que d3F(rno) oF 0). 0 On remarque ici que Oy est tangent it <C, mais <c ne presente pas en rno I'allure d'un point de CONTRE-EXEMPLE
rebroussement. 4 Generalisation: Cas oil dF(rno) = d2F(rno) = ... = dq-1F(rno) = 0, dqF(rno) oF O. - Si Ie poly nome associe it dqF(rno) est defmi-positif ou defmi-negatif (ce qui exige q pair), alors on montre comme en 2 que rno est un point isole de <c (ef. 111.8.3.3,3 Dans Ie cas contraire, on peut seulement dire que s'il existe un arc geornetrique plonge T dont Ie support est indus dans <c et contient ~ alors la tangente it r au point d'image rno appartient it la gerbe ~ d'equation dqF(rno).rnornq = 0, qui est dite : gerbe des tangentes a <c en mo.
0 0 0 ).
(I) Pour cela il faut eventuellement remplacer U et done 1/' par des voisinages plus petits.
1.5.4
IMPLICITEMENT
65
+ ... + (-
1)·a.(t)
On suppose qu'iJ existe pEN. tel que, pour tout t e I, (et) ait exactement que I'on peut noter <p;(t), i E N P' avec :
'It
Alors les applications <p; : 1 -+ J);lsont de c1asse Soient to E 1 et i E Np; <p;(to), note x;, etant et
o.
racine iJh -(to, iJx simple de (et), on a : x;) #- 0
Par application du theoreme des fonctions implicites it h en (to, x.), il existe un intervalle ouvert V; tel que {to} c V; c 1, un voisinage ouvert V; de x, et une application Ijt; : V; -+ J);l,de classe c, tels que, pour tout t E V;, (et) admette Ijt;(t) pour solution unique dans V;; on a Ijt;(to) = x;. Quitte it modifier les V;, no us pouvons meme sup poser que les V; sont deux it deux disjoints. Considerons alors I'intervalle ouvert V=
n V; de J);l,qui contient
p j=l
V, d'une part
(erl admet (par hypothese) exactement p racines simples <p;(t) liees par (1), d'autre Ijt;(t) pour racines et, it cause du choix des V;, on a : Ijtdt) < ... < Ijtp(t). VtE V
ce qui montre que (to etant quelconque) les <p; sont de classe Ck sur V. Notons que Ie theoreme reste vrai si, J designant un intervalle ouvert de J);l,on considere comme une equation it l'inconnue x E J. PROPOSITION. XI
0 (et)
Soient
V I'ouvert de J);l. censtitue par les x = (XI' ... , x.) veritiant des Y = (YI' ... , yJ E J);l.tels que I'equation algebrique : ~. - YI
~.-I
+ ... + (-
II I'inconnue I'application
J);l admette n racines distinctes el (y) < ... < e.(y). (el, ... , e.) est un C"'-diffwmorphisme de V sur V.
Soit f: V -+ J);l.qui it x = (Xl> ... , xJ associe (crl(x), ... , cr. (x)), ou crp est symetrique elementaire (I, 6.10.2). En utilisant 18.1.2, 2°, on constate que f est part le lecteur verifiera que fest C'" et que pour tout x E V, Ie jacobien de f (- 1).(0-1)/2 pres, Ie determinant de Van der Monde de (XI' ... , x.), et, done, resulte (III.8.5.5, 3°) que W = f( V) est un ouvert de J);l.,et que la bijection! :V avec f sur Vest un C'" -diffeomorphisme. Reste it verifier que W = V et que
la p-ieme fonction injective. D'autre est, au coefficient est non nul. II en -+ W qui COIncide = I, ce qui est
~
Notons que, pour
t
.
p = n, Ie theoreme
I est un corollaire
de la proposition
• THEOREME II. - Soient <i la courhe d'equationf(x, y) = 0 (notations du 1.5.1, avec k ~ 2), et Pfi la droite A + J);lu00 A = 0 + ai + bj et u = lXi + ~j. On pose <p(p) = f(a + PIX, b + p~) et on dit que <p(p) = 0 est « I'equation aux p de <i n Pfi », Soient Po une racine de <p(p) = 0, et mo = A + PoU Ie point correspondant de <i n Pfi. i) Po est racine simple de <p(p) = 0 si, et seulement si mo est un point regulier de <i et Pfi distincte de la tangente en mo II <i.
66
1.5.4
si mo est un point singulier de <C,
ii) Po est racine au mains double de <pIp) = 0 si, et seulement ou un point regulier de <c en lequel la tangente est £0.
iii) Si mo est un point double de <c en lequel rt - S2 #- 0, alors Po est racine au moins triple de <pIp) = 0 si, et seulement si £0 est I'une des deux tangentes en mo a <c (ce qui implique rt - S2 < 0). On utilise: <p'(Po) = r:J.f~(xo, Yo) + ~f~(xo, Yo) <p"(Po) = r:J.2 f~2(XO' Yo) + 2r:J.~f~y(xo,
REMARQUE.
Yo)
~2
f~2(XO'
Yo).
- Le lecteur generalisera en remplacant £0 par Ie support d'un Ck-arc parametre fera alors intervenir la regularite de mo sur <c et Ie (ou les) tangentes en mo it <C, mais aussi la regularite du point de y d'image mo et la tangente en ce point.
y. La discussion
Les notations
de deqre p.
THEOREME ET DEFINITION. - Soit (F, '6) une courbe. S'i1 existe un repere (0; i, j) de r! pour lequel I'application f = F 0 tD est une fonction polynbme de degre p, il en est de meme pour tout repere (l'entier p etant independant du reperej ; on dit dans ce cas que (F, <C) est une courbe alqebrique
Verification aisee. 0 U ne etude detaillee des courbes algebriques releverait de la geometric algebrique ; no us no us limiterons ici it etudier quelques proprietes qui permettent de faciliter la construction de telles courbes.
i=q
L J;(x, y),
':§
1 ",; q < p.
i.
polynomiale
Om» =
des tangentes
en 0 admet l'equation :
j~(x, y) =
o.
dans
a) q = 1 : 0 est un point requlier, it tangente d'equation f1 (x, y) = 0; b) q = 2 et rs - t2 > 0 : 0 est point double isole ; c) q = 2 et rs - t2 < 0 : 0 est point double a branches distinctes, admettant en 0 les droites de la gerbe d'equation f2(X, y) = o.
pour tangentes
• Dans Ie cas general, on note £0, la droite d'equation y = tx (si c'est necessaire on transpose x et y). L'equation aux x de <c n £0t admet 0 pour racine d'ordre au moins egal it q, ce qui permet de la remplacer par l'equation : x-qf(x, tx) = 0, qui s'ecrit : (et) Soit c une racine simple de I'equation j'jfl , t) = O. En reprenant la demonstration du theoreme du 1°, on constate qu'il existe un intervalle ouvert U contenant c, un voisinage ouvert V de 0 et un Ck-arc parametre : y = (U, t >--->0 dont Ie support Y' est l'intersection {O de
",(t)i
tljl(t)j) de r! :
<c
et de la partie
xi
+ yjl(XE
V) /\ (y = tx) /\ (r s U)}
Y' admet visiblement la droite £0, pour tangente geometrique au point O. - Pour construire Y', on pose y = (c + u)x et on prend comme nouvelles variables x et u, ce
1.5.4
qui conduit
IMPLICITEMENT
:
67
etudier
la courbe
'6, du plan 0,
avec
[R2 d'equation
g(x, u)
g(x, u) = x=sft»,
cx + ux)
qui presente a l'origine, une singularite « plus simple» que celJe de '6. Si necessaire, on reitere. - Nous admettrons que Ie resultat subsiste lorsque c est racine multiple defil, r), a cela pres que l'on a alors plusieurs branches .'/", .'/'" ... de '6 tangentes £0c en O. EXEMPLE. - f(x, y) = 16xs + 2y2(y2 - x2) + (y - x)(y + X)2. Ici q = 3 et f3(I, t) = 0
admet
la racine
simple
I et la racine
double
I.
On a ici : avec
P(O,O)
=0
'6, admet une branche tangente en (0,0) a « l'axe des x », representee par u = cp(x), avec cp(x) - - 4x2• '6 admet done une branche [I' tangente en 0 a £0" sur laquelJe y - x - - 4xl, ce qui montre que £0, est tangente d'inflexion et que [I' est « au-des sus » de £0, pour x < O. Branches tanqentes
d £0 _, : y = - x. On a ici :
FIG.
25.
La courbe '6, d'equation g(x, u) = 0 possede deux branches admettant respectivement pour tangentes en (0, 0) les droites d'equations u = 2x et u = - 4x. La courbe '6 admet done deux branches tangentes en 0 a £0 _I' [1" et [1''' sur lesquelJes on a respectivement : et Sur la figure 25, [1''' a ete dessinee en trait ponctue . • Directions asymptotiques; asymptotes. - Nous ne ferons pas d'etude systematique et nous nous contenterons d'admettre que les directions asymptotiques eventuelles des arcs parametres dont la reunion des supports est '6 appartiennent d la gerbe dequation fp(x, y) = 0 (on pourrait etudier la transforrnee '6 co de '6 par (x, y) f--+(I/x, I/y), cf. exemple II du 3°). 3° Construction d'une courbe algebrique '6. - Apres avoir etudie les points singuliers et les directions asymptotiques, on « coupe» en general '6 par des droites (£0')'EI qui passent par un point fixe ou ont une direction fixe : cette etude est basee sur les theoremes I et II du 1°.
EXEMPLE I. - [ix,
y) =
X4
X + y) = - y4 ,,:; O. D'ou un 2x2 - X. b) Etude d l'origine. - Au voisinage du point double 0, on a deux branches /'/" et [1''' de '6 admettant des tangentes en 0 d'equations respectives x = 0 et x + y = O. Le regionnement donne l'allure de [1" . Pour [1''', on utilise la methode exposee ci-dessus : on pose y = - x + ux et on
a) Regionnement.
regionnement
utilisant
En Oy et '6' d'equation
68
etudie la courbe d'equation
1.5.4
0, ou :
2
= x (1 + (- I + U)4) + 2x +
2
FIG.
26.
=
c) Etude a
=
a-i.
l'infini.
fIJ\{O, a} est l'image par la transformation (x, y) f-+(1/x, l/y) de flJoo \{O},
d'equation :
D'apres 1.5.3,2° in fine, (0, 0) est point singulier isole de fIJ On en deduit que fIJ est borne (et done compact, car ferrne) : les arcs dont la reunion des supports est fIJ n'admettent pas de branche infmie.
00'
d) Construction.
L'etude du systeme : f(x, y) = f~(x, y) = f~(x, y) = 0 nous apprend que fIJ. Etudions fIJ n £0, ou £0, est la droite d'equation y = tx (on {a}). II vient, apres suppression de la racine connue x = 0 :
dont nous etudions Ie nombre et Ie signe des racines par la methode classique :
~'(t)
-OCJ
xdt)
pas de racine
xl=-1 x2 = 0
= x2 = - 1
1.5.4
IMPLICITEMENT
69
n-
D'apres Ie theoreme I les fonctions t f-+X,(t) et t f-+X2(t) sont de classe Coo sur chacun des intervalles ] - 00, - 1[ et ] - 1,0[. Pour t = 0, on obtient Ie point a en lequel la tangente est Ox (theoreme II, ou calcul de 1,0) et 1,0)). Pour t = - 1, on obtient outre a (contact) Ie point b de coordonnees (- 1, 1) en lequella tangente est dirigee par 3i - j (calcul de f; et f~). Nous sommes en mesure, apres cette etude, de donner une allure approximative de <fj (sachant que, en dehors de 0, il s'agit localement du support d'un arc plonge),
e)
n-
e) Precisions. -
ameliorer
en cherchant
tangentes y) = 0 y) = 0 approche, et et
paralleles et
des systemes
Le lecteur
trouvera, ((-
par un calcul
les points
- en determinant, par des methodes de calcul numerique, d'autres points de <fj et les tangentes correspondantes. * Notons qu'on peut en ces points calculer Ie rayon de courbure (en supposant 8 euc1idien) par derivation d'une fonction implicite, et obtenir alors grace aux cercles osculateurs un trace tres precis *.
FIG. 27.
EXEMPLE II. - [ix, y) = x3y3 - x6 - 3x2y + 1. On constate que <fj n'admet pas de point singulier. En tout point, support d'un COO-arc plonge, a) Coupons
<fj
<fj
Ie
suivant
Ie parametre
par les droites paralleles Oy. Comme <fj r. (Oy) = 0, i1 s'agit d'etudier, non nul x, l'equation incomplete du troisieme degre a l'inconnue y E [J;l gAy) = 0, avec
(ex)
(') Bien entendu, l'equation etant ici de degre 2, Ie theoreme I peut se verifier par resolution effective. On pourrait alors ramener la construction de <fj a celie des supports de deux arcs parametres. Plus rigoureuse, cette methode serait plus compliquee en pratique, et elle ne se generalise pas a des degres plus eleves.
70
1.5.4
On pourrait etudier sgn (4p3 + 27q2),avec p = - 3/x et q = (- x6 + 1)/x3.En fait, nous aurons des renseignements plus precis sur la position des racines en etudiant, pour x E IR* donne, les variations de 9" dont la derivee au point Y est 3x2(xy2 - 1). Cas x < O. - Ici 9x est strictement decroissante et 9xflR) = IR. Pour tout x E IR!, (ex) admet done une unique racine, que nous notons YI (x). Nous disposons ainsi de YI : IR! ---> IR, de classe Coo d'apres Ie theoreme I du 2°. En utilisant 9x(0) = - x6 + 1, on peut merne affirrner que YI est valeurs negatives sur] - co, - 1], positives sur [- 1,0[. On precise la tangente en (- 1,0) grace it f~( - 1,0) = 6, f~( - 1,0) = - 3. Notons que:
4X0
= - 4X0
- x6
1 entraine Ydx) > 1/0 au voisinage de 0-, et que: - x6 + 1 entraine YI (x) < - 1/0 au voisinage de - co.
de 9x apparaissent 1 dans Ie tableau: 1
Cas x > O. -
Les variations
Y 9~(Y)
-co + »
-0 Mx
0 1x6
+ co +
?
Jx
Jx
0
9x(Y) -co
On a:
'"
x6
'"
-
mx
+co
mx =
On calcule des valeurs
2x3/2
1, Mx
2x3/2
x6
1.
:
approchees
des racines
0 pour
"" 1,2819), x", avec x" "" 1,2487 (1/F' "" 0,8949).
D'ou
la discussion:
9x' a deux zeros, l'un double IIF', l'autre simple - 2/F'; 9x" a deux zeros, I'un double - liP, I'autre simple 2/P; Pour 0 < x < x', 9x a un unique zero, note YI(X),et Ydx) < - I/Jx; Pour x' < x < 1, 9x a trois zeros; on peut les noter de telle sorte que: Ydx) < - I/Jx,
91 a trois zeros - j3, 0, j3 (le lecteur deterrninera Pour 1 < x < x", 9x a trois zeros; 011 peut les noter les tangentes); de telle sorte que:
sont
Pour
< ydx).
des intervalles (ouverts) ou elles
Les fonctions
definies,
En chacun des points [x', IIF') et (x", - liP) la tangente est parallele it Oy. D'autres tangentes remarquables se deduisent du tableau suivant (ou * designe des valeurs approchees) :
(1,0)
(1,j3)
- 0,80 6
(x', - 2/F')
(x",2/P)
- 4,81 14,03
-6 -3
- 9,86 3,33
* *
1.5.4
IMPLICITEMENT
71
FIG.
28.
b) Branches i'lfinies. - On constate que C(j prive des points (x', 1/#) et (x", - l/P), est la reunion des supports de quatre COO-arcsplonges dont trois admettent des branches infmies. - Pour x E ]0, x'[, I'unique racine de gx(Y) = 0 verifie YI (x) < - l/Jx. D'OlI
x-+O,x>O
lim
YI (x) = -
00 :
C(j
admet Oy pour
asymptote; par abus de langage, nous dirons que Oy est une asymptote de C(j. - Pour x < 0 et [x] assez petit, I'unique racine de gx(Y) = 0 veritie YI(X) > 1/0. D'OlI
x-D. x<O
lim
ydx)
00;
3x2YI(x)
Pour x > x", I'unique racine de gx(Y) > 3xj-;_ > 1, si bien qu'en ecrivant :
ydx) - x= 3x2ydx) X (X2
3
0
-
verifie
1
et
done
---=-____=_----____=_-
xydx)
yi(x))
on en deduit, d'abord YI (x) > x, puis, en majorant Ie nurnerateur de la fraction par 3x2YI (x) et en minorant Ie denominateur par X4YI (x) :
x < Ydx)
<x
+2
x
(4)
La droite d, d'equation y - x = 0 est done asymptote it C(j; C(j se trouve au-dessus de I'asymptote pour x> x". - Pour x < x'", OlI x" < - 1 est choisi, de valeur absolue assez grande, I'unique racine de gx(Y) = 0 verifie ydx) < - 1/0. On retrouve ainsi l'encadrement (4) et on en deduit la merne conclusion. On peut meme affmer (4) en Ie rempla ..ant par:
ydx) 1 - x - 2' x
72
Autre methode. - On peut etudier, au voisinage de I'origine la courbe CfJ par (x, y) f-+(l/x, l/y), qui admet l'equation : xY
+ g(X,
Y) = 0
avec
X6y3 g(X, Y) = X2
3X4y2
xy
y2
-5 -6 -7
FIG.
29.
REMARQUE. - Etude de La concavite en un point. - L'etude systematique de la concavite de CfJ (i.e. de la concavite des arcs dont Ie support est indus dans CfJ) n'est pas facile. Cependant il est aise de chercher la concavite en un point donne de CfJ. Etudions l'exemple precedent : Considerons Ie point mo = 0 - i. Nous avons deja vu qu'au voisinage de mo, CfJ est Ie support d'un Coo-arc plonge (et meme cartesien) d'equation y = <p(x). La fonction <p est definie implicitement par: X3<p(X)3 - x6 - 3x2<p(x) + 1 = O. Par derivation on obtient :
et, en utilisant <p( - 1) = 0, on retrouve : <p'( - 1) = 2. Le lecteur verifiera que, par une nouvelle derivation, on trouve : <p"( - 1) = - 2. II en resulte qu'en mo la concavite est tournee « du cote des y < 0 ». On constate sur la figure que CfJ presente au moins deux points d'inflexion d'abscisse negative. (Cet exemple prouve Ie caractere approximatif de ce genre de trace : la presence de ces deux points d'inflexions n'etait absolument pas previsible), * Le lecteur pourra ca1culer, apres etude du chapitre 2, la valeur absolue du rayon de courbure en mo : R = 53/2/2 = 5,5902*.
1.5.4
EXEMPLE
COURBES PLANES
DEFINIES IMPLlCITEMENT
-
73
f(x,
y) = X2 - y2 - sin (xy).
Regionnement. - CfJ qui est conservee dans la partie du plan d'equation Ix2 (L')X2 - y2 = - 1 et contenant O.
par la syrnetrie So et par la rotation r( 0, rt/2), est incluse y21 ,,;;;1, limitee par les hyperboles (L)x2 - y2 = 1,
On en deduit que 0 est un point singulier et que : r = 2, s = - 1, t = - 2. Au voisinage de 0 on a deux arcs dont les pentes des tangentes en 0 sont donnees par 2~/(1 - ~2) = 2; les angles de Ox et de ces tangentes sont IX et IX + rt/2 avec IX = 1/2. Arc tg 2; it cause de so, il s'agit de tangentes d'inflexion. Construction. - CfJ est engendree, quand t varie, par H, n K" OU H, et K, sont les hyperboles d'equations respectives xy = t et x2 - y2 = sin t. K,,/2+ 2k" est Let, aux points L n H,,/2+2k,,' CfJ et L ont la merne tangente; en elTet aux points consideres les derivees partie lies du premier ordre sont, d'apres (5), les memes pour f et pour (x, y) f--+X2 _ y2.
FIG.
30.
On peut tracer une ebauche de la courbe que l'on peut preciser deduit par la syrnetrie So suivie de la rotation r(O, rt/2) du support ([0, + 00[, g) tel que:
oo[
g(t) ~ 0
P(t)U9(,)
=j
4t2
+ sin2
t,
29(t)
29(0) = Arc tg 2.
74
1.6.2
1.6. THEORIE
La theorie des enveloppes est difficile, et nous n'en aborderons que des aspects elementaires (Ie veritable cadre de cette theorie est celui de la qeometrie projective qui n'est pas etudiee dans ce cours). L'etude qui suit est essentiellement affine. (Iff, E) desiqne un espace affine norme de dimension 2 ou 3 (qui sera quelquefois suppose euclidien pour la commodite des calculs).
Dans tout le sous-chapitre, on se donne un intervalle I de IRet une famille, de droites affines de Iff; la direction de la droite £Ct est notee Ir;
DEFINITION. -
S'i1 existe un arc parametre de c1asse C1 au moins, defmi sur I et admettant, pour tout tEl, la droite £Ct pour tangente au point de parametre t, on dit que cet arc est une enveloppe de la famille (£Ct)tEI'
EXEMPLE. Si la famille est constante (i.e. si, pour tout t s t, ~t est une droite fixe ~), tout arc de support indus dans ~ et admettant une tangente en tout point est enveloppe de la famille. Nous aurons, bien entendu, a faire, lors de la recherche d'une enveloppe, des hypotheses de regularite sur I'application t r--+ ~t. Faute de structure con venable sur I'ensemble des droites de 8, nous ne pourrons pas exprimer ces hypotheses sous forme intrinseque ; nous aurons done recours a un repere de 8 (etant entendu que I'on pourrait, chaque fois, verifier I'invariance par changement de repere).
1.6.2. Cas oil les ~t sont donnees par des equations cartesiennes
~ Dans ce paragraphe, on suppose que C est un plan. ~ £Ct
Notation. - Iff est rap porte a un repere !7l est donnee par une equation:
u(t)x
+ v(t)y + w(t)
ou u, v, w sont des applications connues de I dans IR,de classe C" (k ~ 1),telles que u et v ne prennent pas simultanement le valeur O.Par abus de langage, on dit que l'on obtient ainsi une Ck-famille (£Ct)tEI defin;« cartesiennement. 1 Exhibition d'une condition necessaire. - Supposons qu'il existe une enveloppe (l,J), avec f(t) = 0 + <p(t)i + 'It(t)j, OU <p et 'It sont de classe C1 (au moins). La condition suivante est necessairement verifiee
0
"It
(f(t)
£Ct)
/\
(f'(t)
Dc)
(I)
1.6.2
75
vi
'rIt
1{ u(t)q>'(t)
U(t)q>(t)
(1) (2)
de (1), compte 1
E
u'(t)q>(t)
w'(t)
=0
du systeme :
(1')
v(t)y
(L,)
2° Etude de fa reciproque. - Nous supposons ici qu'il existe un couple (qi, 'It) d'applications de classe em, m ~ 1, verifiant (1) et (1'). En derivant (1), no us constatons, compte tenu de (1'), que (qi, 'It) verifie (1) et (2). Designons par y l'arc parametre (1,f), avecf(t) = 0 + q>(t)i + 'It(t) j, qui verifie la condition necessaire I, et cherchons s'il est enveloppe. Nous utiliserons les deux resultats suivants : IX) Soit M o(to) un point requlier de y. II existe une tangente a y en M 0 et, d'apres I, c'est :7)'0' ~) Soit Mo(to) un point stationnaire de y en lequel il existe une tangente. C'est qu'il existe un premier entier caracteristique non nul p, avec
A condition que (p - 1) ~ k, on peut deriver p - 1 fois l'egalite (2) par la formule de Leibniz et, compte tenu de (3) en deduire : i.e. Ici encore la tangente
ay
en M 0 est
:7)'0'
CONCLUSION.- Pour que l'arc y considere soit enveloppe, il suffit qu'en chacun de ses points il existe un premier entier caracteristiqne non nul et au plus egal a k + 1 (condition qui est verifu~e si y est regulier),
REMARQUE. II va de soi que si y admet un point stationnaire en lequel il n'existe pas de tangente (i.e. en lequel tous les entiers caracteristiques sont nuls), y n'est pas enveloppe (cette situation se produit dans Ie cas OU. sans etre fixes, les !l}, contiennent un point fixe),
PROPOSITION. Si 8 : 1 ~ IRne prend pas la valeur 0, il existe un unique couple- (q>, 'It) d'applications verifiant (1) et (1'). Elles s'ecrivent :
q>(t)
v(t)w'(t) u(t)v'(t)
- v'(t)w(t) _ u'(t)v(t) ,
'It(t)
w(t)u'(t) u(t)v'(t)
- w'(t)u(t) _ u'(t)v(t)
(4)
et sont de classe
1.
76
Comme ['application
1.6.2
si et seulement si
.1.(t) = ne prend pas la valeur O. Lorsque Pour tout t e l on a effet : U(t)CP'(t) { u'(t)cp'(t) cette
v'(t) v"(t)
est remplie,
+ v(t)IjI'(t) + v'(t)IjI'(t)
= - (u"(t)cp(t)
v"(t)ljI(t)
+ w"(t))
(Ia premiere de ces egalites est (2), l'autre est deduite de (1) par derivation). On en deduit que: s'ecrit : "It E 1 (cp'(t), 1jI'(t)) #- (0,0) "It E I u"(t)cp(t) + v"(t)ljI(t)
w"(t) #- 0
et aussi (compte tenu de la definition de cp et 1jI) : "It E 1 .1.(t) #- O. • L'etude systematique du cas ou I) prend la valeur 0 ne sera pas entreprise (nous verrons des exemples). Nous partagerons done en general I'intervalle I en sous intervalles sur lesquels I) ne s'annule pas 30 COMPLEMENTS. On reprend la Ck-famille (.@')'el definie cartesiennement au debut du 1.6.2, en se limitant au cas ou k ~ 2, ou I) = uv' - u'v ne prend pas la valeur 0, et ou l'arc (I, f), defini par Ie couple (cp, 1jI) donne par (4), est enveloppe unique. a) II est clair que toute Ck-famiUe (.@nel' definie cartesiennement et telle que .@~ = .@, pour tout tEl, s'obtient en rempla,ant (u, v, w) par (pu, pv, pw) ou p : 1 -+ IR,de classe Ck, ne prend pas la valeur O. On constate que, pour tout tEl, (L,) est remplace par:
U(t)X { u'(t)x
[u(t)x
v(t)y
w(t)] = 0
Bien que la seconde equation ait change, ce systeme admet (cp(t), "'(t)) pour solution unique; (.@neJ unique. Notons que p et A sont remplaces par pZI) et p3.1..
b) Changement de parametre. - Soit e un Ck-diffeomorphisme d'un intervalle J de IRsur I. Cherchons l'enveloppe de la famille de droites (.@~ = .@9(l.Yl.EJ' Nous avons a resoudre, pour tout A E J, un systeme L~ qui, compte tenu de la non nullite de' e'(A), s'ecrit : u(e(A))x { u'(e(A))x
On constate qu'il s'agit de Le().) et on en deduit que 4 admet la solution unique (cp (e (A), ",(e(A)); (.@A)AeJ admet done l'arc parametre (J, foe), Ck-1_ equivalent a (I, f), pour enveloppe unique. lei p et .1. sont rem places par e' . I) 0 e et e'3 . .1. 0 e. • Dans les deux cas, les deux families de droites jouent des roles symetriques. • Terminons par quelques exemples. EXEMPLEI. - On donne .@t, t E IR, par: 2tx - y ~ 2pt2 = 0 (p E IR";.). Ici L, est : (2tx - y - 2ptZ = 0) 1\ (2x - 4pt = 0). II est de Cramer pour toute valeur de t et donne la solution unique: 'Y= (IR,!), avecf(t) = 0 + 2pt i + est donc l'enveloppe unique de la famille. REMARQUE. L'equation cartesienne de sUPP'Ys'obtient en eliminant t E IRentre les deux equations-de Lt. Ceci revient a ecrire que 2tx - y - 2ptZ = 0, equation a l'inconnue t E IR,admet une racine double, ce que l'on peut faire ici en annulant un discriminant: on trouve XZ - 2py = 0 (supp 'Y est une parabole). Cette methode, souvent commode, pose des problernes de reciproque : elle fournit seulement une partie du plan a laquelle appartient Ie support de l'enveloppe si elle existe.
x = 2pt, Y = 2pt2 2ptZ j est un Cooarc-parametre qui est visiblement regulier, et
1.6.2
THEORIE ELEMENTAIRE
E
77
IR, par:
(3t2 - t6)x
ICI
(3t4
l)y - 2t3 = O.
t; est:
+ (3t4 + 2t3y
l)y - 2t3 = 0 - t2 = 0
-
= --,
t4+1
t3
-4--'
t+l
On constate que
(1R,f),ou f(t)
+ -4
t
t E IR(y compris t = 0). II est Coo et on constate qu'il est regulier ; il est donc enveloppe unique de la famille. Son support est une lemniscate de Bernoulli (cf. 1.2.1, 1 et fig. 3).
0
+1
+ -4
t
t3
+1
EXEMPLE III. - On donne E0t, t E IR, par: x sin t - y + cos t = O. Ici L, est: (x sin t - y + cos t = 0) /\ (x cos t - sin t) = O. - Pour t E Tt/2 + Ttl, L, n'a pas de solution: (E0t)tER n'a done pas d'enveloppe. - Pour t ¢ Tt/2 + Ttl, L, a la solution unique: x = tg t, Y = l/cos t. Pour tout k E l, notons I. = ] - Tt/2 + kn; Tt/2 + kTt[. On constate que chaque famille (E0t)tEI ad met I'enveloppe unique y. = (I., t f-+ 0 + tg t i + l/cos t .j) dont Ie support est, selon la pariie de k, l'une ou l'autre des branches d'une hyperbole $, dont les asymptotes sont precisement les droites E0"/2+k,, qu'il a fallu ecarter, REMARQUE. - L'etude des equations trigonornetriques apprend que l'equation x sin t - Y + cos t = 0, it I'inconnue t E IRa une racine double si et seulement si x2 + 1 = y2 : c'est une equation de $.
x cos 9
+ y sin 9 -
p(9)
=0
p' (9)
(1)
=0
(1')
equation normale d'une droite .@e orthogonale a ~a. Pour tout 9 E I, La est un systeme de Cramer. La seule solution possible est ainsi le Ck-1-arc parametre y = (I,f) avec:
f(9) = 0
p(9)ua
p'(9)va
Si y admet une tangente au point de parametre 9, il s'agit de .@a (et alors la normale). Comme :
~e est
f' (9)
= (p(9)
p" (9))va
(~a)aEI
on peut affirmer que y est enveloppe de la famille regulier, i.e si p + p" ne prend pas la valeur O.
REMARQUE. En derivant (1'), on obtient : x cos 9 + y sin 9 - (p"(9))
=0
(1")
En associant (1') et (1"), on obtient (en general) l'enveloppe de la famille des normales it y, i.e.
78
la developpee
1.6.3
9 est (en general) :
p"(9)ue
p'(9)ve
= 1(9)
:
p"(9))ue
IRel
= Ip(9)
+ p"(9)1.
it (1) l'equation
rt/2)
x cos (9 -
+y
sin (9 -
i) - L:
p(u) du = 0
on obtient
une developpante
EXEMPLE.
Astroi'de.
Deux points q et q' decrivent deux droites orthogonales de 82 euclidien de facon que d(q, q') garde une valeur constante a. On peut prendre les deux droites pour axes de coordonnees et reperer Ie couple (q, q') par des coordonnees polaires du point i de 82 se projetant orthogonalement en q sur Ox et en q' sur Oy, qu'il est commode d'ecrire (rt/2 - 9, a), avec 9 E [0, 2rt[. La droite qq' s'ecrit ainsi (.@e) x cos 9 L'enveloppe eventuelle
+y
+ a sin?
9i
+ a cos?
9j
(p + p")(9) = 0 s'ecrivant sin 9 cos 9 = 0, les seuls points stationnaires de Y sont ceux qui correspondent it 9 E {O, rt/2, rt, 3rt/2}. En calculantf"(9), on constate qu'en chacun de ces points y admet une tangente de rebroussement, qui est la droite .@e correspondante. On dit que y est une astroi'de. On constate similitude de centre 0 (attention cependant
y
que la developpee y' de y s'en deduit (fig. 31) par une aux points de y en lesquels R, = 0 i).
FIG. 31.
2 ou 3.
On donne deux applications a et b de classe Ck (k ~ 1) d'un intervalle I de IR,a valeurs dans rff et dans E\{O} respectivement. Pour
10 Notations.
1.6.3
THEORIE ELEMENTAIRE
79
chaque t e l, on designe par ~t la droite affine a(t) + IRb(t) de fff. On obtient ici une ek-famille (~t)tEI definie parametriquemeni. On cherche si elle admet une enveloppe. notations
20 Exhibition d'une condition necessaire. - THEOREME. - Avec les du 1 une condition necessalre d'existence d'une enveloppe est :
0 ,
'It
Ie systeme
est lie
em.
Supposons qu'il existe une enveloppe y = (1,1), arc parametre C'est qu'il existe une application "A: I ~ IR verifiant : 'It
E
f(t)
= a(t)
"A(t)b(t)
Cette munissant
application est de classe Cinf(k, m), ainsi qu'on le constate provisoirement fff d'une structure euclidienne et en calculant "A(t) = Ilb(t)II-2(~lb(t))
(1')
necessairement
IRb(t), on a (I).
REMARQUE. - Dans Ie cas de Iff 3' (I) n'est qu'exceptionnellement veriflt:e*. En anticipant sur 3, on constate que (I) equivaut it : La C'-nappe geomhrique reglee representee par (I x JR, F), ou
vb(u)
30 Etude de la reciproque. - Les notations etant celles du 10, no us supposons que la condition (I) du 2° est remplie. Une enveloppe ne peut etre que de la forme y = (1,1), avec f~(t) = a(t) + "A(t)b(t), ou "A: I ~ IR est de classe e1 au moins et verifie :
\:It
E
a'(t)
(2) orientee, on
(condition equivalente Ii : 'It E IR f~(t) E IRb(t)). En munissant provisoirement fff d'une structure constate que (2) s'ecrit : 'It
E
"A(t)b(t)
1\
b'(t) = a'(t)
b(t)
ce qui, compte tenu de ce que (I) implique que b(t) 1\ b'(t) et a'(t) 1\ b(t) sont colineaires, fournit un unique "A(t) pour tout t tel que b(t) 1\ b' (t) #- O. D'ou :
PROPOSITION. - Si la condition (I) est remplie, si I'application b 1\ b' ne prend pas la valeur 0 et si k ~ 2, alors il existe une unique solution possible, it savoir Ie ek-1_arc para metre (I, f) defmi sans ambiguite par:
(f
+ "Ab)1\
1\
b)
(3)
80
ETUDE
AFFINE
DES ARCS
Cet arc est effectivement enveloppe si et seulement s'i1admet une tangente en chacun de ses points, condition qui est remplie s'i1 est regulier,
b(t) II reste, dans chaque cas concret, it etudier les t E J tels que 1\ b'(t) = 0, et it eventuellement scinder J en sous-intervalles sur lesquels
(Vt E J)
f(t)
a(t)
+ [b(t),
(4)
est
4° EXEMPLE. - 83 est euclidien oriente, rapporte it (0; i, j, k) orthonormal direct. definie, avec les notations du 1°, par: a(t) = 0 {
b(t) = - sin ti
verifiera que I'arc parametre (IR, a) represente une developpante de cercle 2.2.3,7°). * On constate aisement que (I) est remplie et que, t 1-+ b(t) 1\ b'(t) ne prenant pas la valeur 0, (1) determine un unique arc parametre
y = (IR, t
1-+
* (le lecteur
k)
qui est visiblement un arc regulier (helice circulaire), et est ainsi I'enveloppe (unique) de la famille
(.@')'ER·
5° Compliments. - On reprend la Ck-famille (.@')'el ou .@, designe a(t) + IRb(t), en se limitant au cas ou (I) est verifie, ou k ;;;,2, ou b 1\ b' ne prend pas la valeur 0 et ou Ie Ck-1-arc parametre (I, f) defini par (3) est elTectivement enveloppe unique. Le lecteur verifiera que, dans ces conditions: a) Toute Ck_ famille (.@nel definie parametriquement et telle que .@~ = .@, pour tout tEl admet (I, f) pour enveloppe unique.
[On utilisera Ie fait qu'une telle famille s'obtient en remplacant (a, b) par (a + wb, pb), ou p ne prend pas la valeur 0, et que I'application b 1\ b' est multipliee par p2]. b) Si dim 8 = 2, toute Ck_famille (.@nel deftnie cartesiennement et telle que .@~ = .@, pour tout
t e l admet (I, f) pour enveloppe unique.
[On peut se limiter (grace it 1.6.2, 3°) au cas ou [X - a(t), bIt)] = 0, On obtient L, en adjoignant :
.@~
[X - a(t), b'(t)] - [a'(t), b'(t)] = 0 L, admet clairement la solution unique: X = a(t) A.[b(t), b'(t)] = [a'(t), b'(tn, c) Pour tout 9 E DilTk(J, I) metre (J, f 0 9), Ck-I equivalent
+ A.b(t)
i.e. X
avec
= fIt)].
a (I, f)
la
l'arc para-
En conclusion, on dispose d'une grande souplesse dans la recherche de l'enveloppe d'une C'<famille de droites d'un plan dont l'ensemble des elements est impose (par exemple I'ensemble des normales it un arc parametre).
EXERCICES
81
EXERCICES
• Nous considererons comme donnes un espace affine 8, de dimension 2 ou 3, et un repere f1l de 8. II sera commode (meme si ce n'est indispensable que dans des exercices que Ie lecteur reconnaitra aisernent) de supposer que 8 a ete muni d'une structure euclidienne et f1l choisi orthonormal. • Nous designerons souvent par la meme lettre un arc parametre et son support, un point de I'arc et son image; les invariants affines (et plus tard metriques) associes au point de I'arc seront consideres comme lies a I'image (quelques precautions sont a prendre dans Ie cas de points multiples). • La notion generate de «courbe » releve de l'etude des sous-varietes de 8. (cf. 3.3): une courbe apparaitra (sous certaines conditions) comme une reunion de supports d'arcs plonges. Nous conformant a la tradition, dans l'enonce des exercices nous designerons par «courbes » (et plus tard par «surfaces ») des sous-ensembles de 82 et de 83 que Ie contexte permettra d'identifier (en general Ie support d'un arc parametre ou une reunion fmie de tels supports) . • Le mot «lieu» doit etre compris au sens d'ensemble . • Ces conventions sont valables pour to us les exercices du cours.
COURBE DE PEANO
1.01. - Soit C Ie compact [0, IF de ~2. Pour tout entier n ~ 1, nous allons definir par recurrence une subdivision (C~)o.;u « 4" _ I de C en 4· carres egaux (de cote 1/2·) C est divise en quatre canis egaux (de cote 1/2) numerotes arbitrairement : C~, q, C~. La subdivision (C~)o.;k.; 4" _ I etant supposee construite on obtient la subdivision (C~+1)O';k';4"+I_1 en subdivisant chaque C~ en quatre carres egaux
Cr,
3 C~=
4k'+3
UC~+l""'C~'=
k=O
U
k=4k'
C~+"".
Soit alors t
K. et
n K. = {(x(t), y(t»)}.
1\1*
C~(4"t).
nE
et qu'elles se prolongent en des applications continues de [0, 1] dans [0, 1]. c) Verifier que t 1-+ (x(t), y(t» est surjective de [0, 1] dans C. En deduire que C est Ie support d'un arc continuo
GEOMETRIE PLANE
1.02. y=p-=i;
Jx
1»;
2
y=
~+
~;
y = ch x cos x 1, I}
+ 2 + E J(4x
X
- ---; y=x+ 2x - 1 x+1 y = (1 + x2 Arc sin x/(x + 1); y = x exp(Arc tgx); y = Xl + I/(Log x)'; y = (x + 1)1+I/Logx x-I
4x2
x2(X
2)
X)cothx
82
1.04. Symetries
ETUDE
AFFINE
de la « courbe»
b)/(ce
+ d).
1.05. - Etudier la deformation, quand Ie parametre A varie. de la « courbe » d'equation : 1- x a) y = Log--; b) y = (ch x + Ash x)l/x ; c) y = AWl. 1 - AX Pour la derniere, on deterrninera (quand A varie). 1.06. Construire les supports la nature du lieu des points d'inflexion eventuels des arcs parametres definis par :
cas:
etude
directe
au voisinage
Construire X=-t
les supports
1 - t2 t(1 - 2t2) 1 - t2
t2 + 3t - 2 x = _,------t2 - 3t + 2 y=
t2 t2
-
y= X=-y=
+
t-l
t-
I
X {
1- t
t
1- u
+ _1_
t-l
trois
o~
= te'
-1
x=--
t3
y =t
et
(concavite)
t2 -
y = t(t - 2)
X {
(alignement
X {
= cos
t.(J2 cos t + 1)
- 1) cos 2u sin u du x= y=
Jit+2f + JitI
= t Log t
{ X
y = sint.(J2cost
y=~
J:
I:
+
X {
=t-
2 ch t
sin 2u cos u du
y = t-1 Log t
y = 2/ch t
e'{co«
t {
y = et sin t
1) exp (1/(t2
1)
X {
= te2/t
y = (t - 1) exp (1/(t2
X {
1»
y = (t - 2)e-1/t
y = cos tl3
t4/(t - 6)
sin tl3
= tg t
sin t
y = l/cos t
= 5 Log
- 2)2
y = t2/(t
EXERCICES 1.08. - Etudier la deformation, quand Ie parametre des arcs parametres 't» ou YA.~ definis par: a) x = 1/2. tg2 t - A cos t, Y = tg t + A sin t; b) x = t(t - A)(t - 1)-2, Y = t-I(t - 1)-2; c) X = t rebroussement)
+
;
At2,
t2
la nature
de
d) x = t2 + A/t, y = (t + 1)2 + J.1/t (lieu des points I'asymptote passe par un point fixe ; para bole asymptote).
1.09. - Soit f une fonction valeurs dans IR, de classe C2 sur un voisinage de 0, telle que f(O) = 1'(0) = 0 et f"(0) > O. Pour A E IR";.assez petit la droite d'equation y = A coupe la « courbe» 'C d'equation y = f(x) en deux points m et m'. Soient P Ie milieu de mm' et q Ie point d'intersection des tan gentes en m et m' a 'C. Les droites ~ Op et ~Oq ont-elles des limites quand A tend vers 0 ? 1.10. Construire Ie support
y defini par:
En s'inspirant sur l'etude du 1.3.2, 2°, ecrire une condition necessaire et suffisante pour qu'il existe une droite ~ telle que l'equation aux t des points de ~ n 'C admette un systeme de racines donne (tl' t2, t3, t4). En deduire les points d'inflexion de y (justification l'appui).
1.11. -
Etudier
representes y=
par:
x'=
Construire leurs supports.
- 2t - t2
2 - 3t - t2 1- t
1- t
1.12. -
defini par:
at", y
at".
orthogonales.
ay
deux tangentes
b) Lieu des points d'ou I'on peut mener a y trois tangentes telles que Ie cercle circonscrit au triangle forme par les points de contact soit centre sur supp y. 1.13. Soit 'C la lemniscate de Bernoulli representee par:
a) Former, sous forme de relations entre les fonctions syrnetriques elementaires 0; de leurs parametres t;, une condition necessaire et suffisante pour que quatre points mi, i E N4, de ~ soient alignes,
b) Soit m un point de ~ tel que la tangente en m recoupe ~ en deux points ml et m2• Determiner Ie centre du cercle circonscrit au triangle Om1m2•
a~
c) Montrer que par un point m de ~ de parametre t # 0 pas sent deux tangentes ~ dont les points de contact PI et P2 sont distincts de m. Ecrire une equation de la droite :!tt qui contient PI et P2' • Trouver I'enveloppe des familles (:!tt)teR~ et (:!tt)teR!' •
84
ETUDE
AFFINE
DES ARCS
1.14. - Soit rc la « courbe » representee par: x = I/P(t), y = t/P(t), ou P est un poly nome de degre 3. Rechercher la limite eventuelle de la suite (mn)nEN de points de rc ainsi definie : ma E est donne, mn+ 1 est Ie point ou la tangente en mn it recoupe la « courbe ».
rc
rc
COORDONNEES
les supports
definis, en coordonnees
= th t = t/sh t
=t
2
+
-
l/t 4
P=t
8 = t - 2 sin t { p = tg t
8 {P
1.16. - Construire les supports des arcs parametres dermis en coordonnes par p = af(8), ou f(8) ad met successivement .les expressions: sin n8, ou cos n8, ou tg n8, n cos p8 --, cos q8 g(8) h(8)
E
polaires
{I, 2, 3,4,
(p, q) E
{2, 3} puis
{I I}
-,-
23
avec
cos 8, 2 cos 8 -
1, 1
2 cos 8
J 1 + sin 28 + J 1 1
J cos 28
sin 8/2
1.17. - Construire les « courbes» successivement les expressions: cos 28 sin 8; 1.18. Construire tg 8 cos 28 ;
d'equations
1 - tg 28;
tg -; 2
sin 8
+ cos 8
:
polaires
p2 cos 8 - 2ap + 4a sin 8 = 0; p2 cos 8 - 2ap cos 28 + a2 cos 8 = 0 p4 _ 4p + 6(1 - tg28) = 0; (p _1)2(p + 1)8 = p;8 = p(p + l)(p + 2) p2 _ 28p + 1 = 0; 82 = p(2 - p); sin 8 = (p2 - 3p)/(p + 1) 1.19. polaire: Etudier (p la deformation, lorsque A varie, de la « courbe » d'equation
l/p) cos 8
A; p
sin 28
A; p
= ----
I - A cos 28
p = a cos 8 a p = _cos 8
+ +
A (limacon
de Pascal) de droite)
A (conchoide
EXERCICES
85
(Dans les deux derniers cas, etudier Ie lieu des points d'inflexion quand A varie). 1.20. Soit
C(j).
donne.
et etudier sa deformation quand A varie; b) Pour A donne, lieu des milieux des segments em, m'] OU m et m' sont deux points distincts de C(j).\{O}, alignes avec O. c) Pour A donne, lieu des centres des cerc1esqui contiennent 0 et sont tangents it C(j). en un point distinct de O. 1.21. - Montrer que l'equation polaire p Pascal. 1.22.
=a
+ IX cos 8 + ~ sin 8)
1, (n EN).
Montrer que ces points sont alignes. 1.23. Asymptotes de la « courbe» d'equation :
p"(1X cos n8
+ ~sin n8)
1, (n EN).
1.24. - Montrer que l'on peut mener it la cardioide d'equation p = a(1 + cos 8) trois tangentes de direction donnee 8. Etudier, quand 8 varie, l'aire dI) du tnangle forme par les points de contact; lieu de l'isobarycentre ml) de ces points. 1.25. - Lieu du point d'intersection des tangentes (resp. des normales) it une cardioide en deux points alignes avec Ie point de rebroussement. 1.26. - Lieu des projections orthogonales de 0 sur les tangentes it la spirale logarithmique d'equation p = aema 1.27. - Lieu des pieds des norm ales menees par un point fixe it une spirale logarithmique de grandeur constante qui tourne autour de son point asymptote. 1.28. - Lieu, quand A varie, des points de contact des tangentes it la conique
(C(jJ
p(1
+ e cos 8) + ai.
A, (e fixe)
1.29. - Lieu des points par lesquels passent deux tangentes orthogonales it la
+ e cos 8) =
p
=
p;
c) p = a(1
C(j
+ cos 8)
l/ch 8]
d'equation polaire :
=
Crespop
C(j
Une droite contenant 0 coupe C(j en une infinite de points. Montrer que les tangentes it en ces points sont concourantes (resp. tangentes it une meme conique). 1.31. Montrer que les asymptotes de la courbe p(8 cos 8 - sin 8) = 1 sont tangentes it une courbe algebrique. d'equation
86
ETUDE AFFINE
DES ARCS
a~
1.32. - On considere celles des tangentes a une cardioide ~ qui recoupent la m1 et ml; lieu du point d'intersection des tangentes
DEFINIES IMPLICITEMENT
COURBES
y4 _ xlyl _ y3 = 0 + (x3 - 2)y - 1 = 0 X(yl - Xl) + Xl - 2yl = 0 (xl _ yl)l _ (Xl + yl) = 0 x5 + 2xy3 - 3yl = 0 xy(x - y) + xl + yl - X = 0 X4 - y4 _ (Xl + 2xy - yl) = 0 y4
+ 1)
+ (x + y)3 + Xl
(x Etudier
_ yl = 0 1)(x - 2)(x - 3)
1.34. a) (y b) X4
c) d) xAe
8Xl
yl = O.
= yAeY
1.35. -
Xl - Log X
= y2 - Log y; xY = yX; X sin y = y sin x; cos X ch Y = cos Y ch X Y + Log y = X + Log x + A (deformation quand A varie) x Log x + y Log y = A
=
(L'equation
± f(x) +
A, on utilisera la representation
graphique de la fonctionf). 1.36. - Etudier la deformation, quand A E IRt varie, de la courbe ~A ensemble des points dont Ie produit des distances aux sommets d'un carre donne est A4. 1.37. - Lieu, quand A varie, du point d'intersection de la courbe ~, d'equation
(y - AX) (Xl
+ i) -
a(xl
- yl) = 0,
(a
IRt donne)
+ yl)yl
2(j2
1)x(xl
yl)
Xl -
est une conchoide de conique (de foyer 0) i.e. admet une equation polaire de la forme:
p=
+ e cos e
+ k.
1.39. - La courbe d'equation xy4 - x3 + y = 0 admet une branche tangente l'origine a l'axe des x, representee par y = <p(x). Trouver un developpement limite l'ordre 25 de la fonction <p, au voisinage de o.
a a
EXERCICES
87
1.40. -
Construire la courbe
(x2 - y2)(X2
rc d'equation :
l - a2) - 2ax(x2
y2) = 0
a rc
1.41. - Soit rc la courbe d'equation f(x, y) = 0, ou fest definie sur un ouvert W de ~2, et de classe C2• Montrer que pour qu'un point regulier m de rc en soit un point d'inflexion, il faut et il suffit que les coordonnees (x, y) de m verifient htx, y) = 0, avec: (h est dite hessienne
de f)
ENVELOPPES.
1.42. -
+ y sin 8 -
a(2
+ cos 28) = 0
Que peut-on dire de la distance de deux tangentes par alleles a y? 1.43. - On donne un triangle abc. Trouver I'enveloppe des droites qui Ie partagent en un triangle de sommet a et en un quadrilatere dont Ie rapport des aires est donne. 1.44.
a) b)
(1 - 3t2)x
c)
+ Y sin t
1.45. Enveloppe des cordes d'une ellipse vues du centre sous un angle droit (resp. vues d'un foyer sous un angle donne). 1.46. - Enveloppe des cordes d'une parabole qui deterrninent avec la courbe des domaines d'aire donnee. 1.47. - Enveloppe du second cote d'un angle de mesure donnee dont Ie sommet decrit une droite fixe et dont Ie premier cote passe par un point fixe. 1.48. a) x(x2
l)
- al
= 0;
b) x3
+ y3
- 3axy
[0,21t]
Au point m de rc, de parametre t, on associe la droite S&, syrnetrique de la tangente en m a rc par rapport a la droite m + ~i. Enveloppe de la famiUe (S&'),e[O.2n]' 1.50. On donne la strophoide droite
x = a(1 - t2)/(1
rc representee par:
t2), y = tx
88
ETUDE
AFFINE
DES ARCS
D'un point m de l'asymptote d on mene deux tangentes a ~, dont les points de contact deterrninent une droite P}m' Enveloppe de la famille (P}m)meJII' 1.51. Soit 'Y la cissoide droite definie par:
x = at2/(1
t2),
y = at3/(1
t2)
Determiner un cerc1e C tel que la polaire par rapport soit une tangente a 'Y.
a C d'un
= a(1
tff 3'
1.53. - tff 3 est euc1idien et (0; i, j, k) est orthonormal. On appelle A l'ensemble des droites de tff qui ne sont pas paralleles au plan ~ d'equation z = O. Pour tout (P), P}') E A2 on dispose: - d'une part des traces m et m' de et done de : 01 (P),
P}
et
P}'
~J
de
P}
et
P}'
P}') =
11;;;;;'11 +
(y = bz (y
et
P}' :
(x
(x 02(P}, P}') =
az
a' z
+ p) + p')
A A
b' z
+ q) + q')
et done de:
a) Montrer que 01 et O2 sont des distances sur A, et qu'elles sont topologiquement equivalen tes. b) Montrer que le sous-ensemble de A forme par les elements con tenant un point donne de tff est un ferme, c) Montrer que le sous-ensemble de A forme par les elements rencontrant une sphere fixe en deux points est un ouvert d) L'espace metrique (A,OI) Crespo O2)] est-il complet ? (A,
e',
y
y = e-t,
z
1)2,
tj2
z
t/(t2
1),
=
ernS
t2/(t2
t/(t2
1)2
z 1.55. -
(coordonnees cylindriques).
t2,
t4
t,
t4
At3
Ilt2
peut-il admettre un point double? 1.56. Montrer que les arcs parametres definis par
x
(t
2)/(t2
1),
t/(t2
1),
t2/(t2
1)
EXERCICES
1.57. Etudier x
89
t/(t - 1),
tZ/(t -
1), z
t3/(t
1)
y = a sin t cos t,
a sin? t
=
a.
1.59. -
a) Ecrire, sous forme d'une relation entre les fonctions symetriques elementaires des ti, une condition necessaire et suffisante pour que trois points mi(ti), i E N3, de y soient coplanaires. En deduire (avec justification a l'appui) l'equation du plan osculateur a y au point m(t). b) Montrer que par un point donne P de tf passent trois plans osculateurs a y, et que leurs points de contact deterrninent un plan qui contient p. Soit [J>p ce plan; montrer que si p decrit une droite ~, alors [J>p pivote autour d'une droite ~'. Montrer que Pfi et Pfi' jouent des roles symetriques,
1.60. - Lieu des points p tels que deux des plans osculateurs
x
I'arc parametre
at,
btZ,
ct3
xOy.
=
y
t,
Y t
4
t3,
t4
=
b)
= ---, 4
t
2t
t(tZ
+ 1) ,z +1
tZ - t t
4
+
1
ecrire une condition necessaire et suffisante pour que les trois points mt(ti)' i E N3, de y soient alignes, Etudier I'ensemble des « secantes triples» a y. 1.62. Soit y l'arc parametre defini par :
x
t/(l
t4),
tZ/{l
t4),
= t3/(1 +
t4)
a y.
b) On donne deux points mdtl) et mz(tz) de y. Un plan variable contenant ml et mz recoupe y en deux points PI et PZ' Etudier I'ensemble des droites PfiPIP,'
1.63. -
t3,
tZ,
90
ETUDE
AFFINE
DES ARCS
1.64. - On reprend I'arc parametre y : x = t3, y = t2, Z = t. a) Montrer que par un point m(t) de y passent quatre normales it y dont les pieds sont distincts de m. Ces quatre pieds deterrninent une sphere S" qui recoupe y en deux points definissant une droite fifi,. Que peut-on dire de la puissance de 0 par rapport it
S, ?
Quelle est la nature de I'ensemble des droites fifi, ? b) Une sphere :E est tangente it y en trois points mi(tJ Etudier les ensembles respectivement engendres par Ie centre de :E et par Ie cercle determine par les points mi. 1.65. - Soit C(j la courbe (cubique de Chasles) defini par: x=--,
t-a
r:J.
Y=--'
t-b
Z=--
t- c
a) Si un tetraedre a ses sommets sur C(j et si deux couples d'aretes opposees sont orthogonales, alors il en est de meme du troisieme couple et i'orthocentre du tetraedre est un point de C(j. b) Soit S une sphere centree sur C(j. II existe une infinite de tetraedres dont les sommets appartiennent it C(j et sont deux it deux conjugues par rapport it S; les spheres circonscrits it ces tetraedres ont deux points communs; quel est Ie lieu de leurs centres?
f de classe
De
C(j2
+ f(9)k
admette au point de parametre 9 un plan osculateur qui fasse un angle de mesure donnee avec Ie vecteur De. Que devient l'arc y ainsi obtenu dans Ie developpement du cylindre d'equation x2 + y2 = 1 ?
2
ETUDE METRIQUE DES ARCS
Dans ce chapitre, (tS', E) desiqne un espace affine norme qui, a partir du 2.1.2 sera suppose euclidien. Moyennant quelques modifications de detail, on peut Ie remplacer, au debut, par un espace metrique (tS', d).
2.1. LONGUEUR
CURVILIGNE
d'une
ligne polygonale
inscrite)
L
i;
d[f(ti-1),
f(ti)].
-< o',
alors :
On envisage d'abord Ie cas ou rr' s'obtient en adjoignant un point A (o), On termine Ie raisonnement par recurrence.
• DEFINITION
l'image D y
I. -
On appelle longueur
+ 00.
"E:f
constante.