Vous êtes sur la page 1sur 327

cours de mathematiques specales

5
applications de I'analyse
E. RAMIS
2e edition

a la geometrie

C. DESCHAMPS

J. ODOUX

II MASSON

COURS
DE

MATHEMATIQUES
SPECIALES

APPLICATIONS DE L'ANALYSE A LA GEOMETRIE

CHEZ LE MEME EDITEUR

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

5 APPLICATIONS DE L'ANALYSE A LA GEOMETRIE


Classes Preparatoires et Enseignement Superieur (ler cycle) 2e edition revisee et completee

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

MASSONS.A. MASSON S.p.A. MASSONS.A.

DORR. und KESSLER

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

TABLE DES MATIERES

A VERTISSEMENT

•••••••••••••••••••••••••••••••••••••••••••••••••• ••••••

VII

1. Etude affine des arcs

. 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

TABLE DES MATIERES 290 290 298 305


313

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.

Toute autre a ete la difficulte en ce qui concerne les Applications de l'Analyse

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

1.1.1. Topologie fmale


10 THEOREME ET DE,FINITION. - Soient (E, 0') un espace topologique, F un ensemble, et cp : E -+ F une application. Alors 0'", = {V E &,(F)lcp - 1(V) E 0'} est une topologie sur F. C'est la plus tine parmi les topologies sur F qui rendent cp continue. On I'appelle topologie finale associee II rp.

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)

ETUDE AFFINE DES ARCS


7jj.

1.1.1

REMARQUE. Le lecteur verifiera que fait I'objet du theorerne precedent.


0

est la seule topologie sur F verifiant la propriete qui

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).

Verifions qu'avec les notations de la definition precedente nous avons


PROPOSITION. Pour que (EjfJI, (9'",) soit separe, il est neeessaire que Ie graphe r de fJI soit ferme dans I'espace topologique (E, (9')2. C'est suffisant lorsque l'image par cp de tout ouvert de (E, (9') est un ouvert de (EjfJI, (9'",) ce que ron exprime en disant que la relation rH est ouverte. - Supposons que EjfJI est separe, D'apres la proposition III du III.2.U, la diagonale ~ de (EjfJI)2 est un ferme de (EjfJI)2. Or r n'est autre que $-1(~), ou $ est l'application (x, y) I---+(cp(x), cp(y)) de E2 dans (EjfJI)2, dont la continuite resulte de celle de cp; rest ainsi un ferme de E2. - Inversement, supposons que r est un ferme de E2 et que la relation fJI est ouverte. Soient X et Y des elements distincts de EjfJI; il existe des representants x et y de X et Y, et on a x # y; (x, y) est un element de E2\r, qui est un ouvert de E2. II existe done deux ouverts U et V de E, contenant respectivement x et y, tels que l'ouvert elementaire U x V soit disjoint de r. fJI etant ouverte, <p(U) et cp(V) sont des ouverts de EjfJI contenant respectivement X et Y; ces ouverts sont disjoints, sans quoi il existerait (x', y') E U X V tel que cp(x') = cp(y'), ce qui impliquerait (x', y') E r, et, done, une contradiction. On en deduit que EjfJI est separe. D

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

de IR qui s'ecrit cp - 1 (cp(X)), avec 0

= cp(

mEl

(X

2mlt)).

cp(X) est done un ouvert de E/fJil.

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

1.1.2. Espace topologique des droites d'un e.v.n.


Dans ce paragraphe (E, 11.11) designe un IR-e.v.n. non nul. On note f0 l'ensemble des droites (vectorielles) de E, rp l'application x ~ IRx de E\{O} dans f0, IjI la restriction de rp it la sphere unite, S, de E. E est muni de la topologie de la norme; E\{O} et S sont munis des topologies induites. 1 THEOREME ET NOTATION. - Sur f0, les topologies fmales 7i'l' et 7i IjI sont egales; on les note 7i.
0

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

L'espaee topologique (f0, 7i) est metrisable (et done

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')

= min {liv - v'll,v ED"

S, v' E D' "S}

ETUDE AFFINE DES ARCS

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.

Il est evident que :


d(D, D')

'V(D, D') E!!JJ2

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 -

u"ll ~ d(D, D')

+ d(D',

D"). : lid

o
=
li
>II.

~) Soit lid La topoLogie induite sur !!JJ par La distance d. Moturons

Dans Ie schema: continue; en effet :

S _,. (!!JJ, li

IjJ

>II)

IdfIJ
--+

(!!JJ, lid)'

l'application

IdfIJ0 \jI est

d(\jI(u),

\jI(v» ~ Ilu - vii.

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

= 2 min (sin 9/2, cos 9/2) et, comme 9/2


d(D, D') = 2 sin 9/2.

[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

(3(Cl, ~) E (R, \{0})2) ('v'x E E Soit (D, D')


E ~2.

ClN(x) ~ Ilxil ~ ~N(x)).

Notant

~ la sphere unite de (E, N), ecrivons :


11 ~

o(D, D') Comme u #

= N(u - u'), avec u E D

et u' D
11

ED'

Il~.

et u' # 0, nous disposons

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

Illull - Ilu'lll ~ 2 Ilu - u'll. lIuli '" lIuli

tenu de lIull ~ ClN(u) et N(u) = 1, on en deduit : d(D, D') ~ 2~/Cl. N (u - u')

= 2~/Cl. o(D, D')


0

En intervertissant

le role des normes

: o(D, D') ~ 2~/Cl. d(D, D').

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

5° Un resultat important. - Nous ne faisons pas d'hypothese sur dim E.

ETUDE AFFINE DES ARCS

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)

II existe une application u de A dans E\ {O} verifiant II la fois :


Ct.) { 'it
E

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

est i). Elle implique

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.

6° Complement. - On suppose ici que E est un plan vectoriel euclidien,


rapporte it une base (i, j). A tout reel ro on associe le vecteur :

u., = cos roi


Les notations donne: etant celles du theoreme

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

9 de A dans !R verffiant II la fois :

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

du 5°, le vecteur u(t) tel que d(D, ~(t))

= Ilu(t) - ue.ll.

1.1.2 Nous constatons (cf. 2°) : 9(t) - 90


• THI~OREME.

COMPLEMENTS

DE TOPOLOGIE
E[ -

que u(t) peut s'ecrire ue(tP avec 9(t) - 90

~'~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)

existe (dans !R). precedente.

La condition Inversement la proposition

est suffisante d'apres supposons


t-+to

la proposition

que lim d(t) existe et no tons la !Rue D'apres •. it la fois :

precedente, (1) 'it


E

il existe rp : I ~ !R verifiant I
Ucp(t)

d(t);

lim q>(t)

= 90

(2)
(3)

II existe done k : I ~ lL, telle que : 'it


E

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

Iq>(t') - q>(t")1 < 1t/4. : Ik(t') - k(t")1

Faisons k(t')

(H) II en resulte :

l'hypothese k(t"),

et donc

-;J.

1.

19(t') - 9(t")1 ~ 1tlk(t') - k(t")1 La continuite

Iq>(t') - q>(t")1 ~

1t E

1t -

de 9 sur [t', r"] assure alors l'existence 19('t) - 9(t')1 = 1t/2.

de 't

W tel que:

On en deduit :

2" et done :

1t

Iq>('t) -

q>(t')1 ~ 1tlk('t) - k(t')1 ~

2" +

1t

Iq>('t) - q>(t')1

1/4 ~ Ik('t) - k(t')1 ~ 3/4

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.

ETUDE AFFINE DES ARCS

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 :

C'est ainsi que (fiC, 7i), etudie au 1.1.2 est la grassmannienne

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§

p' 7i p) est separe.

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--->

Gram(e,xI""'Xp) Gram (Xl' ... , xp)

et est donc contmue ; d ou la

.,'

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§

p' 7i p) est compact.

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 =

<pp(L~) est un compact.

3° Etude de I'espace des hyperpians. - L'espace topologique des hyperplans ele E est abreviativement note Yf.
THEOREME

(~._

'0.-1)

I. - Les espaces Yf et g& des hyperplans et des droites de E sont

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.

En consider ant h-1


PROPOSITION. -

<PI' nous obtenons,

au passage: g :x
1---+ x.l

E etant euclidien, l'application

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

Ii I'espace g&* des droites de E*.


finale

associee

a:

'Y la bijection naturelle

de f0* sur JIt' (1.9.3.3, 3°); f0* etant muni de la topologie

<Pt : E*\{O} _. f0*

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

ETUDE AFFINE DES ARCS


,

1.1.4

COROLLAIRE II. - Soit e = (el, IRn\{(O, ... , O)} dans Yl' qui Ii (exl,

en) une base de E. L'application de

L
i= I

exn) associe I'hyperplan admettant

exi~i

= 0 pour equation dans e est continue.

On utilise Ie theoreme II et l'isomorphisme de IRn sur E* qui est associe

la base e.

1.1.4. Cas des espaces affmes normes


1 Nous aurons besoin par la suite du resultat suivant :
0

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)

Soit mE C. Nous avons :

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;

iii) Dans tout autre cas, Preuve. Dans chaque

~~~o,~EA

g;~ n'existe pas.


: 0 et done

cas, on utilise 1.1.2, 5°. Plus precisement lim Fx

i) De F x

= !R(i + Jl(A)j) on deduit

ii) II existe V E 1'"(1..0) tel que, pour tout A E V n A, Jl(A)


F~ = !R(l/Jl(A).i

~~~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

tout A E A, ~(A)i (~(A)i

11 (A)j est un vecteur

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;

on est dans le cas ii).


s'applique s'il existe WE j/'(1,,0) tel que j

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

ETUDE AFFINE DES ARCS (OU COURBES PARAMETREES)

1.2.1

1.2. ARCS PARAMETRES

(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. -

a) Tout sous-arc d'un arc simple est simple.

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

ETUDE AFFINE DES ARCS

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

F(IR), qui est aussi f([a,

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

ETUDE AFFINE DES ARCS

1.2.1

E Difl*(J,

Symetrie : si g J);

f =f

Id., avec Id,

DifTOO J); (I,

09

avec

9 E Difl*(J, J), alors

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

(1, f) est de elasse CO:> ;

9 est

+ u3/2)2, +

0);

(J, g) est de c1asse C2•

Tout 9 E DilT (J, I) tel que 9 = f 09 doit verifier: 'Vu


E

[0, 1]

9(u) E {u

u3/2,
U

(u

+ u3/2)}

n [0,2].

La seule solution possible est done u DiIT2(J, f) .

f-+

u3/2

qui appartient Ii Diff" (J, I), mais non Ii

• 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.

Voici des exemples :


PROPOSITION I. - Toutes les parametrisations d'un arc geometrique r ont un support commun, qui est dit support de r, et note supp r.

Avec les notations habituelles, g = foe

entraine g(J) = f[e(J)]

= 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 :

r:« {m} ) = e [g-1(

{m } )] ou

e est une bijection.

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.

Pour tout u E J : g'(u)

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.

ETUDE AFFINE DES ARCS

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

/;(t)e;, on a done f; (to) #- 0, ce qui permet

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

par son support

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

est evidemment orientes.

6° Arcs geometriques

~ et kEN

{+ oo} sont donnes,

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

ETUDE AFFINE DES ARCS

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

«dans le sens des t croissants».


PROPOSITION I. - Un arc geometrique I' admet soit une, soit deux orientations. Dans Ie second cas, on dit que I' est orientable; orienter F, c'est alors distinguer rune des deux orientations, notee I'+, dont les parametrisations sont dites parametrisations directes de r.

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°).

1.2.2. Etude locale des arcs


Dans toute la suite, on suppose ke(N \ {o} ) u { On commence par le cas des arcs geometriques.

+ 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

9 e Difi*(J, J) tel que g

= j 09
1'lJ\{O}.

= 9(uo).

(') Si k est

00,

alors pour

tout j

1'lJ, I'lJk-J designe

22 Verifions que:
g(i)

ETUDE AFFINE DES ARCS d'abord qu'est vraie pour


Cli,j :

1.2.2 :

tout i E Nk l'assertion
-+

II existe des applications


(JOti)

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

ARCS PARAM EIRES

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 :

i) l' contient ii) de to.


(5:

la variete affme fondamentale d(f(t),

0' Jr ; M0) ; (t - to)i au voisinage

t~

1') est negligeable devant 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

iei : 0'i c 1'. Soit (e l' e 1, eq)Jl/2

... ,

e)q une

<5(t)

=[

Gram

(muf(t),

...

Gram (e., ... ,eq)

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)

= Gram ((t - to)ic(t), ej, ... , eq) ... ,eq)JI/2


(e1,
...

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

'ii,+ l' alors () est

On Ie verifie en ecrivant, par Taylor-Young it l'ordre i


~ mof(t) = v(t)

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

ETUDE AFFINE DES ARCS Notons que le theoreme et euentuellemeni

1.2.2

la remarque s'appliquent lorsque

"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

dim Tj(r; Mo).

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 :

avec et qu'elles admettent done les equations respectives y

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 :

tang (I"; Mo)

= mo + ~f(P)(to)·

En particulier, si Mo est regulier, il existe tang (I"; Mo) = mo

+ ~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) =

! f(t) - f(to) (t - toY

(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).

qui n'est autre que (1) quand

on se place dans Ie vectorialise

• 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}

Aff (mo, m) qeometrique

alors cette droite est appelee la tangente

CIJ en mo.

L'adjonction de !'adjectif qeometrtque lorsqu'il n'y a pas d'ambiguite.

e)

est une precaution dont on peut se dispenser

26

ETUDE AFFINE DES ARCS

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

(1.1.4,3°) lim 8(t)


i:: to

: =W
(2)

t-to,l

On constate

:
(3)

Grace au theoreme de composition compte tenu de la continuite de

1-

des Iimites (III, 2.2.2, 3°), la proposition I en mo.

se deduit de (2) et (3), D

• 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

= tang (I', M 0) et qu'en outre f induit un homeomorphisme

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°).

en tout point d'un arc de Jordan

admettant

pas necessairement

en un point simple non stationnaire

(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)'

Par hypothese 0= Avec les notations

: lim <I>(m),

ou
~(t)

<I>(m)

= Aff (mo, m).


:

(3)

du.theoreme 'it
E

II, qui s'applique


0

U\{to}

= (<I> fHt)

1.2.2

ARCS PARAME1RES

27 de composition

Compte tenu de (3) et de la continuite de des limites donne : lim 0=


t~to,tE

en to, le theoreme t.\(t).

VI{to}

II suffit alors d'invoquer • L'exemple suivant

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

par (~, f), si t -:f- 0.

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)

= (9' (uoW J<p)(to)

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.

finie, '("f", V), est orientable,

et

28

ETUDE AFFINE DES ARCS

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

'<It E U\{ toJ et (Ia grassmannienne 7iP,.,


~i+l,f(to) = t-to,

f(t)

¢ 7i p,
habituelle) :

etant lim
tE

munie "f'"(t),

de sa topologie

oil

"f'"(t) = AIT (7i p, u f(t)).

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.'·'

(f(pd(to), ... , f(p')(to), de Taylor l'ordre

;;;:rw). Cornpte-tenu
1

de fU)(to)

E Tp, pour j E {1, ... , Pi+ 1 -

1}, la formule

Pi+

donne:

avec: V(t) admet done la base (f(P1)(tO), utilisant la topologie finale de


•••
~I

et
,

lim PI·,)(tO)

E(t) = O. en

f(P')(to),

+ 1 et Ie theoreme

+ E(t)). On acheve la demonstration de composition des limites.

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

I"; <I> 0 M) = <P[TI(r;

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

ETUDE AFFINE DES ARCS

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

10, w coincide avec l'application fmie n.

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

b) Le support d'un C3-arc bi-regulier dont aucun point n'est tri-reguller

est inclus dans un plan.

• 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

Ce paragraphe est un prolongement du debut du 1.2.2.

- 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

10 Recherche des varietes osculatrices de I' en Mo.

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

deux cas particulierement

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

lui-meme. nous assure qu'il existe un voisinage (t - t )q

W de to

mo

(t - t )P

p!

(Pp)(to)

E(t))

q!

Pq)(to)

o(t - to)q (1)

32

ETUDE AFFINE DES ARCS

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

_p_~~ '- :! £"i'


f'~ltol

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=

lip (r:J.=1= 0) : r:J.X(t)

= li p((r:J.,~) = (0,

1» :

+ ~Y(t) '" r:J.(t - to)Pjp ! r:J.X(t) + ~Y(t) '" (t - to)q/q !


que to est interieur

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-+

> 0 (ee qui s'ecrit y"(xo) > 0 lorsque


verifie : x'(to).Il'(to)

y'(t)/x'(t)

> O.

i) s'ecrit : avec

~ > O.

de i) et ii). Celie de ii) et iii) resulte de :

(x'(tO))-2(X'(tO)y"(t0)

- x" (to)Y' (to)).

A. - a) Une condition necessaire, non suffisante pour que M 0 soit un point


x'(to)y"(to) - x"(to)y'(to)
=

d'inflexion est:

o.

b) Par Taylor-Young, no us obtenons:

de!(; iM'(t), f"(t))


,

(t - t )p+q-3 (p - 1) ! (q - 2) !
0

de!(; i) (J!p)(to), j(q)(to)) '

34

ETUDE AFFINE DES ARCS

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).

Terminons par une autre serie de remarques.


REMARQUES

B. - a) Au voisinage de to, dU'(t), f) est:

- 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,

lRi; l'arc est moins proche de la

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)

(dans un repere quelconque) par:

et du plan osculateur metriquement par: x = x(to)

li2 = rno

+ Vect (!'(to),
y AZ' (to)

/,,(to}}

represente

para-

AX'(to)

IlX"(to),

= y(to) + Ay'(to) + Ily"(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

x - x(to) y - y(to) z - z(to) • Rapportons Iff K ¢ Tz. En procedant

=0

un repere de la forme qJ = (mo; !'(to), !"(to), K) ou comme au 2°, nous constatons :

x (t) '"

(t - to), qu'en mo l'arc :

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.

• THEOREME. M 0 etant un point blregulier de il existe un voisinage U de to pour 1 tel que:

r represente

par (1, f, to),

f(t)¢tang(r;Mo) et l'on a : lim


t--+to,tE U\{to}

'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

ETUDE AFFINE DES ARCS

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°.

1.2.4. Branches infmies


On travaille ici sur C'-arc parametre. Au terme de l'etude, le lecteur verifiera que la propriete avoir une branche infmie (resp. une direction asymptotique; resp une asymptote) est Ci-tnvartante. ce qui permet de la transferer de l'arc parametre l'arc geometrique qu'il represente.

Dans tout IR-e.a.n. (tt, E) bE iR verifiant n'appartenant

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

On suppose qu'il existe

tt veriflant:

lim

,_b

IIOf(t)11 0'
E tt:

-----+

00.

Alors, pour tout

lim
t-b

110'f(t)11 = +

00,

et on dit que Pare (1, f)

admet une branche infinie relative it b. Simple consequence V(O, 0')


E

de :

tt2

---+ 110'f(t)11 ~ II0f(t)ll-

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

= A et implique (1,1.2, 5°) l'existence d'une


E verifiant

application u de
VtE W

dans la sphere S de u(t) EDt;


----+

3v E 8\{0}
----+

lim u(t) = v,
t_b,teW

Pour t avec:

W nous avons 0 f(t) EDt et done : 0 f(t) Ir(t)1 =

= r(t)u(t);
=

110 f(t) II > 0,


1
----+

----+

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)

on dit que d est une asymptote

de l'arc, associee Ii la branche infmie consideree,

(L'indifference du choix de la norme resulte ici du theoreme du 1,1.4, 1°).


THEOREME. La direction A d'une asymptote asymptotique pour la branche infIDie consideree,

est direction

Pour t donne, on a : d(f(t),


d)

= 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)).

38 Ayant entraine choisi


t_b

ETUDE AFFINE DES ARCS

lim IIOg(t)11

0
E

d, nous

avons : IIOg(t)11 ~ IIOf(t)11

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

avec r(t) 0f(t)

r(t) #- 0 est un

et vecteur

lim 'Ir(t)1
t_b

= + 00.
de la droite

constatons

1-

directeur

AfT (O,f(t» Nous

qui s'ecrit v laissons

g(t)f(t), et done admet r(t) au lecteur Ie soin d'etablir :

+-

1-

la limite v.

COROLLAIRE

une asymptote remplies :

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) La droite f(t)

8 admet une limite quand t tend vers b.

II va de soi que i) peut etre verifie sans que ii) Ie soit (cf. 4°).
COROLLAIRE

II. - A une branche infmie est associee au plus une asymptote.

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

(1, 1, 1) on deduit I'existence

de la direction

asymptotique

1R(1, 1, 1).

Pour

> 1, la droite f(t)


X=--+A, t 1

0, qui admet

la representation

parametrique
t
3

t-

t2 Y=--+A,
t-

1 qui

Z=--+A t -1 correspond II t3 A = - --,


t-

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

ARCS PARAM EIRES

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

S'I I'trn y(t) = Il


Hb

x(t)

IT1l E 11\\,

1T1l(' a Iors 11\\ I

.) IlJ est diirection

. asymptotIque;
(1

:.) II

S'I I'im Iy(t) -Hb

x(t)

I= +

00,

a Iors 1Tll' est diirection lI\\J

. asymptotIque

),

iii) Dans tous les autres

cas, il n'y a pas de direction

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 :

= 0 + !Rj. Les droites ~

x=o

et

y - y(t)

= Il(X - x(t))

(1) P ar

. .. ,. . . I' raison d e connnuite, cecr ne se pro d uit que slim

y(t) t~bX(t)

00,

00 •

40 on obtient

ETUDE AFFINE DES ARCS <p(t) = y(t) - Ilx(t).

1.2.4

S'il existe lim (y(t) - Ilx(t))


t-b

= ex,exE !R, alors la droite

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). -

Ici 0 = !Rj. On peut choisir ~ = !Ri; on obtient ainsi

S'il existe lim x(t)


t-b

ex,exE !R, alors la droite d d'equation x

exest

asymptote, et sgn (x(t) - ex)fournit le « placement»;

FIG. 10.

FIG. 11. 00,

S'il existe lim x(t)


t_b

E {-

+ co}, il y a branche parabolique;

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 :

ly(t)1 ,;;; 211l1Ix(t)l, Comme lim (lx(t)1


t-b

et done
00,

(21111+ l)lx(t)1
=

;?; Ix(t)1

ly(t)1

ly(t)1) =

il vient lim Ix(t)1


t-b

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

DU SUPPORT D'UN ARC PLAN

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.

que chacun des arcs admet une branche

infinie relative it b, et que, si l'etude de I'une

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)

ou les vecteurs On dispose

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)

Dans la pratique, dans t~

c'est interessant

lorsque

Ie support

de (I, g) est indus

dans une droite

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

O'UN ARC PLAN

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

ETUDE AFFINE DES ARCS

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

supports d'arcs parametres.


2 lntervalle d'etude. - On cherche it determiner un intervalle I c IR, d'amplitude aussi petite que possible, tel que la construction de f(D) se deduise aisement de celIe de f(D n I). On utilise pour cela :
0

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)).

Une recurrence donne (dans les deux cas) :


'it ED 'in E A f(u"(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)).

avec On en deduit : m = vP(f(t)), tED

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

DU SUPPORT D'UN ARC PLAN

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

ETUDE AFFINE DES ARCS


a) Si ron sait que la tangente

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)

dans u;i. Si, en outre, Mo est stationnaire (x'(to) regie de l'Hopital :

- x(to)

0), on peut avoir I'occasion d'appJiquer la

( I.
,'0"

1m

# '0) x'(t)

y'(t) "") = ex E '"

=<>

(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

D'ou la figure 14. deduire la tangente en Mo de J.l(t) = 1/(6t2) et

Une autre methode

consiste

lim J.l(t) = 2/3,

a constater

que x et y passent par un minimum en to (d'ou Ie rebroussement), et

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

developpement limite de x et y au voisinage de


fIt) =a +

-Ii +
t

j) +"2j t

1 (1 )
+
0

et de "2 t

00

donne

D'ou la figure 15.

1.3.1

CONSTRUCTlON

DU SUPPORT D'UN ARC PLAN

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)

[x(t,) [y(tl) Le lecteur verifiera

= x(t2)] = y(t2)] aisement

-ee-

[(t2

- tl E 23 l") v (t2 (t2

1t

tl E 2;

z)]

-[(t2

- tl E1tl")

tl E ~

+ 1tl")]
:

que les solutions

de (1) sont

les 7 couples

51t 131t) ( 12' 12

(~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 :

(_ J2~) (_ J2 _~) (J2~)


2'2 2' 2 2'2

(J2 _~) 2' 2

(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\{ -

1,0, I} ; x(t) d'abord

Recherchons

t les points

2t

-2--'

(t + If y(t) = --2(suite de I'etude -1 t de multiplicite 2 en resolvant :


=

du 4° in fine).

((tl> t2) E D2) /\ (tl "# t2) /\

(-2-- -2-) /\((~)l


t, 1 t2 1 tl
f--+

= (t2

t2

1)2)

(2)

Compte tenu du caractere bijectif de t par (tl + 1)/tl = - (t2 + 1)/t2; (2) s'ecrit

(t + 1)/t, la derniere ainsi :

condition

peut etre rernplacee

46
Pour (tl, t2) solution

ETUDE AFFINE DES ARCS


de (2), tl et t2 verifient T2 - 2T 1 = 0, equation

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

qui admet deux

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

plus rapidement 2t/(t2 1)) /\ (y

en recherchant

(x, y) tel que l'equation (3)

I'inconnue deux

t: D) /\ (x solutions (t
E

(t + 1)2/t2)

admette

distinctes. D) /\ (xt2
-

En effet (3) s'ecrit : 2t - x

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}

des supports par :

rencontres

dans Ie paragraphe

ci-

de rf pararnetree

t3 x=----(t - 1}{t + 2)

t2 - 2t y=-t- 1 de trois arcs parametres, selon que

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

tl < t2 les deux racines tI = - 1 -

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

° - °+00 ,,0,,-00 ?o?+oo

°
X(~2) y(t2)

» »
+

+00

"

+00

-00

»
+

8 8 -- -3 3

-00

»
+

+00

dy/dr

1.3.2

CONSTRUCTION

DU SUPPORT D'UN ARC PLAN

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

b) II est utile de noter Branches

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

infinies. Au voisinage 8 d'equation y = - -. L'etude 3

d'etudier

des arcs par

it cette droite. On pourrait

arneliorer

l'equation

y(t) = - ~ (on trouve t' = ~ 3 3

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

it I'asymptote. 4 t" = - - est sur I'asymptote. 3 y(t


N ) '" -

que Ie point

de pararnetre

Le lecteur

constatera

xtr") '" 1,52

1,90.

FIG.

16.

48 Point double
(1)

ETUDE AFFINE DES ARCS

1.3.2
: (2) du premier

e). -

Ecrivons

que les deux equations et

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'2t". + t't"(t' + t") - 2((t' { t't" - (t' + r") + 2 = 0


qui conduit a:

t")2 - t't") = 0

t'

t" = 0,

t't" = -

2,

soit

t' =

j2

et

t"

=-

j2

20 Complement.

- Considerons

etudions son intersection d'intersection est Si u + v¥-O voisinages de + racines (distinctes

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 :

«.. t2, t3) un

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)

(en elTet si une

solution cherchee

de (5) verifie s'obtient donc

v = 0, alors

w=- w

+ 4v
:

= w = 0, et donc

u = v = w = 0).
La condition en annulant Ie determinant 1 1

crl cr2 cr3


soit :

crl cr2 + 4 cr3

-2
(6)

2crl

cr3 = 0

e)

Avec les reserves

deja faites au 1.3.1.5°.

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. -

a) Cette etude se generalise it toute cubique


X=-

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).

1.4. ~TUDE D'UN ARC PARAM~TR~ EN COORDONN~ES POLAIRES

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})

1.4.1. Resultats prelim ina ires


10 Rappel de notations. - Nous reprenons les notations
Ue =

(cos e)i
4

+ (sin e)j
4

et

En prenant tl

0, t2

3' t3 = - 3 (points

011les asymptotes recoupent

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

ETUDE AFFINE DES ARCS

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

--+

ICest ainsi de classe

~mR

mais, comme If(t)1 = 1, 9 prend ses valeurs

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;;,

{z E Clale(z) E ]2h1t, (2h + 2)1t[).

1.4.2

ARC PARA METRE EN COORDONNEES

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 :

"It E [a, ~l)

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),

Si f est de cJasse 9 est de cJasse Ck•

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

ETUDE AFFINE DES ARCS

1.4.2

1.4.2. Etude locale


Dans ce qui suit, nous nous donnons (k ;:: 1) par: un arc parametre (l,j) de classe Ck (1)

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 ~

Par derivation \:It


0

de (1), nous avons :


E

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.

2 Branches infinies. - a) L'arc parametre


0

(l,J) presente

une branche

infinie relative grace

a to E IV si et seulement
de p,

si : lim Ip(t)1
t ~ to

=+

00

(ce qui equivaut,

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).

c) Recherche d'une asymptote. - Nous supposons


lim !p(t)!
tto

que simultanement
E

=+

00,

lim 9(t)
t ......to

90

(90

!R).

Dans Ie repere (0; ua.' va), Ie point f(t) X(t)

a pour coordonnees Y(t) = p(t) sin (9(t) - 90),

p(t) cos (9(t) - 90)

et
00.

et on cons tate : lim !X(t)! Si lim Y(t)

=+
E

II en resulte : admet pour asymptote la droite

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

Dans tous les autres cas, il n'y a ni asymptote,

ni branche parabolique.

3 Spirales et cercles asymptotes.


0

a) Lorsque

lim !p(t)! =
t ..... to

00

et lim 9(t)
t - to

E {-

00,

co], il y a branche

infinie mais pas de direction asymptotique.


EXEMPLES. -

L'arc presente une allure de spirale.


(fig. 18).

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.

54 b) Lorsque lim p(t)

ETUDE AFFINE DES ARCS

1.4.2

= Po et lim 9(t)
l-tlO

E {-

00,

+ co},

l'arc ne presente pas de centre 0 et de

de branche infinie, mais on parle de «cercle rayon IPol.


EXEMPLE. -

asymptote»

1= Ihl*, 9(t) = t, p(t) = 1

l/t

(frg, 19).

FIG. 19.

40 Cas particulier

9(t)

= t. - lei l'arc parametre


1(9)

(I,f)

est defini par:

V9 E I

= 0 + p(9)ue

ou p : I ~ !R est de classe Ck(k ~ 2). On a par derivations:


1'(9)

= p'(9)ue + p(9)ve;

1"(9)

= (p"(9) - p(9))ue + 2p'(9)ve

et Ie determinant p' (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

--

= p(9)jp'(9) ou cotg V = p'(9)jp(9)

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 »).

b) M(9) est bi-requlier si et seulement si (1'(9),f"(9))


(p2

est libre ce qui s'ecrit

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

necessaire, non suffisante pour que M(9) so it point


(p2

2p'2 - pp")(9)

=0

REMARQUE. -

Pour tout 8 E I tel que p(8) "# 0, on eonstate :

sgn (p2

+ 2p'2

pp")(e)

= sgn (00(00 + 00"))(8),

ou

00 = l/p

d) Un point stationnaire (p(9) et s'etudie comme au 10 c).

= p'(9) = 0) a necessairement

pour image

1.4.3. Construction du support


La theorie generale du 1.3 s'applique. Nous exposerons sur des exemples les particularites propres aux coordonnees polaires. L'une d'elles est que, s'il est necessaire de discuter sgn p, dans un trace approximatif on peut parfois se passer de l'etude des variations de p. Dans le cas d'un arc (1R,f) avecf(9) = 0 + p(9)ue. oujadmet une periode 2m1t, m E 7l.., Ie lecteur s'inspirera de l'exemple II ci-dessous.
EXEMPLE I. - 8(t) = 2t - tg t, Defmie sur ~\(1t/2 + 1tZ),fadmet parametre (] - 1t/2, 1t/2[,f). De p( - t) = - p(t) et 8( - t) = du support relative a r s [0, 1t/2 [ et

p(t)

= tg t. la periode rr, II s'agit done de eonstruire Ie support de l'are


Nous traeerons la partie

- 8(t) on deduitf( - t) = Sy(f(t)). nous completerons par Sy.

56 En uti lisant 9'(t)


=

ETUDE AFFINE DES ARCS


1 - tg2 t, nous avons (sans qu'il soit necessaire
t 9'(t) 9(t) 0 0 0

1.4.3 d'utiliser 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)
=

sin (29/3). (lei t

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

8 p(8) p'(8) = 1/2. (1 + tg2~)

-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) =

sin h - 2 cos? h/2

=- 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

ETUDE AFFINE DES ARCS

1.4.3
ici h e ]0, 21tL permet de placer I'intersection du support

+ h) +

2 = 2j2

tout Ie support par rapport et de I'asymptote.

it I'asymptote,

sin ~ sin (~ + 224 et, en particulier,

~) 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)

amenes it chercher p(8') = p(8)

deux valeurs 8 et 8'

8'

8' = 8

+ 2k1t (k E Z*) + 1t + Lkt: (k E Z)

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

]0, 1tD /\ (8'

8 - 1t) /\ (1 - cotg (8/2)

=-

1 - tg (8/2))

]0, 1tD /\ (8'

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

2p'2 - pp") (8)


2 -

3t - 3 =

s'ecrit, en posant

tg 8/2 :

Cette derniere equation les valeurs approchees

n'admet

qu'une racine reelle, dont une valeur approchee

est 3,951 37; d'ou d'inflexion.

x ~ - 4,355 3 et y ~ 2,355 3 des coordonnees

du point

Autres points remarquables. tangente est dirigee par j ou

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

au cas OIl Ie parametre

n'est pas 8.

1.5.1
9
f--+

COURBES PLANES DEFINIES


(1

IMP'LICITEMENT

59

tg (9/2)) cos 9 ou de 9 (1

f--+

(1

tg (9/2)) sin 9 est nulle. Le second calcul conduit

a:

tg~)

cos 9

+ ~ sin

9 (1

tg2~)

=0

ce qui s'ecrit tg 9 tangentes

=-

1 (en passant Ox;

par l'intermediaire sont

de t

tg~).

On obtient

deux points

paralleles

leurs images

sur la deuxieme,

bissectrice.

1.5. COURBES

PLANES DEFINIES

IMPLICITEMENT

1.5.1. Notations et definition


1 Notations. - Dans Ie present chapitre, on se donne un plan affine (C, E) et une application F de classe Ck(k ~ 1) d'un ouvert "fII de C dans IR;on note C(j = F-1 (0). On dit que Ie couple (F, C(j) est la courbe d'equation F(m) = 0 (ou encore la courbe definie implicitement par F(m) = 0).
0

II se peut que I'ensemble

<{f

soit vide (il en est ainsi si Fest

une con stante

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

DEFINITION.

point singulier de la courbe (F, dF(mo), est non nulle ou nulle.

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)

dF(mo) s'ecrivant hi + kj ~hf~(xo, Yo) singulier de (F, C(j) si, et seulement si :

+ kf~(xo, Yo), mo E C est point


(1)

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.

au 3.3.1 que lorsqu'il

n'existe pas

60

ETUDE AFFINE DES ARCS

1.5.3

1.5.2. Etude d'une courbe au voisinage d'un point regulier


THEOREME. Avec les notations du 1.5.1, 1°, on suppose que mo est un point reguller de la courbe (F, ~). Alors it existe un voisinage "f/' de mo dans r! tel que "f/' (\ ~ soit Ie support d'un Ck-arc geometrlque plonge. La tangente a cet

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

= 0, qui s'ecrit (quel que


Yo)

(y - Yo)f~(xo,

=0
Yo) #- O.

(1)

= 0,

et, pour fixer les idees : f~(xo,

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,

1.5.3. Etude d'une courbe au voisinage d'un point singulier


1° Les notations sont celles de 1.5.1, 1°, it cela pres qu'ici k ~ 3 (k ~ 2 suffirait au 2°), et que mo est un point singulier de la courbe (F, ~ : et Si, en outre, d2 F(mo) #- 0, on dit que mo est un point double de la courbe. Nous aurons it utiliser la forme quadratique sur E, <l>mo' definie par:

1.5.3 Le repere flI

COURBES PLANES DEFlNIES

IMPLlCITEMENT l'hypothese s'ecrit : Yo) = 0

61

=
f(xo,

(0; i, j) etant Yo)

quelconque, f~(xo, Yo)

= 0;
<l>mo(hi

= 0,

f~(xo,

et d'apres

111.8.3.3, 4° nous avons, pour tout (h, k)

E 1R2 :

kj)

= rh2 + 2shk + tk2

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

F(m) On a done : f(x, y)

=
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)

ou u, v, w sont les applications u(x, y) En particulier u(O, 0)

de W dans IR defmies par: et ainsi de suite.

=2

=2

i
o

(1 - t)

ax

(tx, ty) dt,

(1 - t)r dt

= 1; de meme : v(O, 0) = 0; w(O,O) = - 1. (3)

62
Par continuite,

ETUDE AFFINE DES ARCS

1.5.3

{(O, O)}

W"

strictement dans IR : avec: <p(x, y) et : En utilisant

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

W sur lequel les fonctions 21 =


<p2 _ 1j12

et y);

1=11.12
ljI(x, y)

(x

y ~~:: :~) Ju(x,

11 = 1/)2.(<p
encore

- 1jI);

12 =

1/)2. (<p +

v2(X, y)
u(x, y) 1jI)

- w(x, y)

(3), on calcule sans difficulte : [ <p~(0, 1jI~(0, 0)

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

ce qui permet d'en obtenir

A titre de complement, remarquons que I'application de classe Ck-Z


(cp, IjI) : W -+ II\lz (x, y) f--+(X = cp(x, y), Y = Ij/(x, y)) (cp, Ij/)(O, 0) = (0,0) et d(cp, Ij/)(O,O) = [dR,.

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

de cette etude, enoncons

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

mo admet l'equation : d2F(mo).Y2

O.

1.5.3

COURBES PLANES DEFINIES

IMPLICITEMENT s'ecrit : rt S2

63

Dans un repere quelconque (0; i, j) l'hypothese

<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

ETUDE AFFINE DES ARCS

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)

oil a, b, c et d sont de dasse Ck-3


c(O, 0) = 0 et d(O,O) oF O.

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)]

Soit alors I'application


rno

a,

defmie au voisinage de rno, par :


y(xc2(x,
k-4

+ xi +

yj

1--+

[x(1 + xa(x, y) + yb(x, y) + y2CI(X, y))1/2,

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

g)'{t) = dep(g(t)).g'(t) g)"{t) = d2ep(g(t)).g'W g)'''(t) = d3ep(g(t)).g'W

+ dep(g(t)).g"(t)
+

3d2ep(g(t)).g'(t).g"(t)

dep(g(t)).g"'(t)

Or : g'(O) resulte :
(ep

0, g"(O) oF 0 et Ie systeme (g"(O), g'''(O)) est libre; dep(g(O)) etant un isomorphisme, il en


(ep
0

g)'{O) = 0,

g)"{O) oF 0 et Ie systeme «ep

g)"{O), (ep

g)'''(O)) est libre.

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

COURBES PLANES DEFINIES

IMPLICITEMENT

65

1.5.4. Complements et exemples


1 ° THEOREME 1 - Soient ai' ... , a. des applications de c1asse C", k ~ 1, d'un intervalle ouvert 1 de J);ldans J);l.A tout t e l on associe I'equation II I'inconnue x E J);l: (et) h(t, x) = 0, 00 h(t, x) = x" - al (t)x·I

+ ... + (-

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 :

p racines, toutes simples,


(1)

'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

to. Pour tout t

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

part (et) admet les II en resulte :

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

< ... < x. et VI'ensemble

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

+ ... + (-

1)·y. = 0 Alors Vest ouvert et

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

ETUDE AFFINE DES ARCS

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

20 Notions sur les courbes algebriques. -

Les notations

sont celles du 1.5.1, 1°.

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.

• Etude au voisinage d'un point mo. - On peut se ramener it mo


Ie cas, trivial, d'une gerbe de droites) [ix, y) = ou J; est une fonction On a : dqF(O). • L'etude :

= O. On a ainsi (en eliminant

i=q

L J;(x, y),
':§

1 ",; q < p.
i.

polynomiale

homo gene de degre

Om» =

q !j~(x, y); la gerbe

des tangentes

en 0 admet l'equation :

j~(x, y) =

o.

du 1.5.3 per met de conclure

dans

les cas suivants

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

COURBES PLANES DEFINIES

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.

Branche tangente d £0, : y = x. g(x, y)


= 16x2

On a ici : avec

+ u(4 + P(x, u)),

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

+ y4 + 2x3 + x(x + y). tout point de '6 : x(x3 + 2x2 +


y = - x3
-

68
etudie la courbe d'equation

ETUDE AFFINE DES ARCS


g(x, u) = g(x, u)

1.5.4

0, ou :
2

= x (1 + (- I + U)4) + 2x +
2

On en deduit que, sur Y", on a : y + x ~ - 2x (fig. 26).

FIG.

26.
=

c) Etude a
=

a-i.

l'infini.

Nous avons d'apres a) : fIJ n (Oy)

{a} et fIJ n (Ox)

{a, a}, avec

fIJ\{O, a} est l'image par la transformation (x, y) f-+(1/x, l/y) de flJoo \{O},

ou flJoo est la courbe

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'

a est Ie seul point singulier de


rappelle fIJ n (Oy)

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)

= - t(t4 + t3 + 1); s(t) = - 2/(1 + t4); p(t) = (1 + t)/(1 + t4) -1 0


xdt)
+OCJ

-OCJ

xdt)

deux racines : < 0 < X2(t)

deux racines < x2(t) < 0


Xl

pas de racine

xl=-1 x2 = 0

= x2 = - 1

1.5.4

COURBES PLANES DEFINIES

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. -

On peut encore les points fIx, { f~(x,

ameliorer

Ie trace : aux axes, par resolution f(X,Y) {


=0

en cherchant

tangentes y) = 0 y) = 0 approche, et et

paralleles et

des systemes

f~(x, y) = o. de coordonnees (tangente (tangente dirigee dirigee par j) par i)

Le lecteur

trouvera, ((-

par un calcul

les points

1,59; 0,74) 0,15; - 0,43)

(0,19; - 0,36) (- 0,33; 0,15)

- 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

est done localement

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

ETUDE AFFINE DES ARCS

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:

9x(1/0) 9x( - 1/0)

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

de (x" - 1)2 - 4x3 = 0 et on constate

que mx = 0 pour que Mx

x = x', avec x' "" 0,6085 (1/F' x

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

x" < x, 9x a un unique zero, note ydx), et I/Jx


YI' Y2'Y3 ainsi introduits sont Coo sur chacun

< 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) :

(x,y) f~(x, y) f~(x, y)

(1, - j3) 11,20 6

(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

COURBES PLANES DEFlNIES

IMPLICITEMENT

71

Les resultats seront resumes sur la figure 28 par un regionnement :

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 :

I'un des arcs parametres de support "inclus dans

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;

Oy est encore asymptote.


=

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

YI (x) > l/Jx,

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

ETUDE AFFINE DES ARCS


00

1.5.4 transforrnee de CfJ

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

(On prolonge par : g(O, 0) = (0,0)).

-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

DE COURBE NON ALGEBRIQUE.

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,

Etude au voisinage f~(x,

de O. On calcule y) = 2x - y cos (xy);

: f~(x, y) = - 2y - x cos (xy)


(5)

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:

en remarquant que CfJ se CfJ' du COO-arc parametre

"It E [0, OU:


p(t) et

oo[

g(t) ~ 0

P(t)U9(,)

=j

4t2

+ sin2

t,

29(t)

sin t rt/2 - Arc tg -si t > 0 2t

29(0) = Arc tg 2.

74

ETUDE AFFINE DES ARCS ELEMENTAIRE DES ENVELOPPES DE DROITES

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).

1.6.1. Position du probleme


(£Ct)tEI'

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

= (0 .. i, j) et, pour chaque t e I,


=0

+ 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

THEORIE ELEMENTAIRE Elle s'ecrit :

DES ENVELOPPES DE DROITES

75

vi
'rIt

1{ u(t)q>'(t)

U(t)q>(t)

+ v(t)'It(t) + w(t) = 0 + v(t)'It'(t) = 0


tenu de (2), on a encore: v'(t)'It(t)

(1) (2)

Or, par derivation


E

de (1), compte 1
E

u'(t)q>(t)

w'(t)

=0
du systeme :

(1')

Ainsi, pour chaque t (u(t)x

1, (q>(t), 'It(t)) est solution w(t)

v(t)y

= 0) /\ (u'(t)x + v'(t)y + w'(t) = 0)

(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),

Pratique. 8 : t 1--+ u(t)v'(t) Cramer:

On suppose k ~ 2. On introduit I'application - u'(t)v(t), et on constate, par application des formules de

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.

II y a, dans ce cas, au plus une enveloppe.

76
Comme ['application

ETUDE AFFINE DES ARCS


I) ne prend pas la valeur 0, ['arc 'Y defini l'aide de (4) est regulier .1. deftnie par: u(t) v(t) w(t)

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

u'(t) u"(t) condition


=

v'(t) v"(t)

w'(t) w"(t) 'Y est enveloppe unique.

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

+ v(t)y + w(t) = 0 + v'(t)y + w'(t) + p'(t)/p(t).

[u(t)x

v(t)y

w(t)] = 0

admet done (I, f) pour enveloppe

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

+ v(e(A))Y + w(e(A)) = 0 + v'(e(A))Y + w'(e(A)) = 0

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

DES ENVELOPPES DE DROITES

77

EXEMPLE - On donne E0t, t II.

IR, par:

(3t2 - t6)x
ICI

(3t4

l)y - 2t3 = O.

t; est:

{(3t2 - t6)x t(l - t )x


4

+ (3t4 + 2t3y

l)y - 2t3 = 0 - t2 = 0
-

Pour t #- 0, il est de Cramer, de solution unique: x


y=

= --,

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

j est Ie seul arc de classe CI qui verifie L, pour tout

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 $.

4° Cas particulier. - lei le plan est euclidien et rapporte Ii un repere


(0; i, j) orthonormal. On donne une Ck-famille de droites (.@~)aEI' par leurs equations normales :

x cos 9

+ y sin 9 -

p(9)

=0
p' (9)

(1)

ou p : I ~ IR est de classe Ck(k ~ 1). On a ici : x cos (9

+ rt/2) + y sin (9 + rt/2) -

=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))

au moins s'il est

=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

ETUDE AFFINE DES ARCS


de y (cr. 2.2.1, 5°); Ie centre de courbure de y au point de parametre - (p(9)

1.6.3
9 est (en general) :

oet on a : De meme, en associant

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

~ao de y (cf. 2.2.1, 7°).

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

sin 9 - a sin 9 cos 9 = 0 ([0, 2rt[,J), avec

est ainsi l'arc pararnetre 1(9) = 0

+ 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.

1.6.3. Cas d'une famille defmie parametrlquement


~ Dans ce paragraphe, rff est de dimension

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

DES ENVELOPPES DE DROITES

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

(a'(t), b(t), b'(t))

est lie

(I) de classe (1) en :

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))

On a par derivation 'It et comme


E

de (1) : f'(t) : f'(t)

= a'(t) + "A'(t)b(t) + "A(t)b'(t)


E

(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

F(u, v) = a(u) est deoeloppable.

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)

"A(t)b'(t)E IRb(t) euclidienne


1\

(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\

("Ab1\ b') = a'

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

on peut appliquer Ie result at precedent.


Cas oil dim lff = 2. - L'enonce precedent se simplifie en ce sens que (I) est automatiquement remplie et que (3) prend la forme, d'un emploi plus aise :

(Vt E J)

f(t)

a(t)

+ [b(t),

[a'(t), b(t)] b'(t)] b(t)


(.@')'eUi

(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

+ (cos t + t sin t)i + (sin t - t cos t)j + cos t j + «k (ot E IR)

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

+ cos t i + sin t j + ott

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 :

.@~

est donnee par l'equation cartesienne : de 8.

ou X est Ie point generique

[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

C'<famille de droites (.@~ = .@O().)heJ admet pour enveloppe unique.

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

[0,1[, A tout n E N* associons Ie carre K.


C

a) Montrer que K.+ 1

K. et

n K. = {(x(t), y(t»)}.
1\1*

C~(4"t).

nE

b) Montrer que les applications x et y ainsi obtenues sont uniformement continues

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;

Construire la « courbe » definie par I'une des equations : y


-

y = x exp (2x/(x2 y 1.03. equations: y


=

Jx

1»;
2

p-=i-x; y = el/x J(x(x y = x-3 Log(1 + x

y=

~+

~;
y = ch x cos x 1, I}

+ 2 + E J(4x
X

+ 2) + x2/2) - x-2; + 1)/(x + 2), EE {-

Etudier les branches infmies de la « courbe»


Y = Arctg--

dermie par I'une des

- ---; 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

DES ARCS d'equation : y = (ae


X

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 :

(dans chaque 1.07. -

cas:

etude

directe

au voisinage

de l'origine). definis par:

Construire X=-t

les supports

des arcs parametres

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 2 X=-+--+-t t+l du y = ~ + _3_ t t+l

1- u

+ _1_
t-l

iasymptotes; alignement de points .. inflexions)

trois

o~

= te'
-1

x=--

t3

y =t

et

(concavite)

t2 -

y = t(t - 2)
X {

(alignement

de trois points) x=sint { y = tg t (1 - sin t)

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

X = (1'+ 2tJ1=t2)1/2 { X = (t { y = (1 - 2tJ1=t2)1/2


{

e'{co«

t {

X = ch tlsh t y = cos tlsh t X=cost {


X {

y = et sin t

1) exp (1/(t2

1)

X {

= te2/t

y = (t - 1) exp (1/(t2
X {

y = (t - 2)e-1/t

y = cos tl3
t4/(t - 6)

sin tl3

= tg t

sin t

y = l/cos t

X = l/cos 3t { y = I/sin- 2t sin 2 3t

= 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)

83 A ou (A, J.1) varie, des supports

+
;

At2,

t2

4J.1/t (on deterrninera

la nature

du lieu des points de rebroussement;

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

'C de I'arc parametre

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

les arcs parametres

representes y=

par:

x'=
Construire leurs supports.

- 2t - t2

2 - 3t - t2 1- t

1- t

1.12. -

Soit y I'arc parametre

defini par:

at", y

at".
orthogonales.

a) Lieu des points

d'ou on peut mener

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

POLAIRES (REPERES ORTHONORMAUX)

1.15. - Construire polaires, par :

les supports

des arcs parametres

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,

1/2, 1/3, 2/3}


(p, q) E

cos p8 ou -.--' sin q8

(p, q) E

{2, 3} puis

{I I}
-,-

23

avec

{g(8) = sin 8, sin 28, sin? 8, tg 8


h(8) = sin 8 -

cos 8, 2 cos 8 -

1, 1

2 cos 8

J 1 + sin 28 + J 1 1

sin 28 ; cos 8 - cos 28; sin 8/2 sin (28 - 1t/4)

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

polaires p2 = a2 f(8), ouf(8) admet

1 - tg 28;

tg -; 2

sin 8

+ cos 8
:

les « courbes » d'equations


2

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).

la « courbe» d'equation polaire


a
E ~":-

p2 _ 2ap cos 8 - Aa2 sin? 8 = 0, a) Construire


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

sin 8/3 represente un limacon de d'equation :

Nombre des points d'inflexion de la « courbe» p (cos n8

+ 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)

qui contiennent le point donne 0


« courbe» d'equation : a) p = aema b) p(1

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]

1.30. - Construire la « courbe» cos 8/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

« courbe » en deux points distincts en m1 et ml•

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

1.33. (x" - 1)yl

Construire la courbe definie par l'une des equations:


(y _ x)(xl + yl - 1) = (y + x + 1)(x 4x5 - 5x4y - y3 + 2yl = 0 Xl(X - y) + 4Xl _ yl = 0 X4 _ y4 + x3 _ y3 - xy = 0 (y - Xl)(y - 2Xl) - x8 = 0 xlyl + xly + xy - 1 = 0 X4 + y4 - Y(Xl + 2yl) + i = 0 xlyl _ x3 + y3 = 0 (y 1)(y - 2)(y - 3) = 0 :

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

+ 2x)l(y + X) + y4 _ J..xlyl _ (4x2 - yl)2 + A(2x


X

la deformation, quand A varie de la courbe ~ A d'equation A(X - y) = 0 A(Xl + yl) + 1 = 0


- Y)Xl

8Xl

yl = O.

= yAeY

1.35. -

Construire les courbes definies par les equations:

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

etant ecrite j'(j') = f(x), ouf(y)

± 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)

avec son asymptote. 1.38. Montrer que la courbe d'equation :


(Xl

+ 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

Trouver Ie lieu des centres des cercles tangents

a rc

en deux points alignes avec O.

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. -

Construire l'enveloppe y de la famille (s&e)eeu;!' avec:


(s&e) x cos 8

+ 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)

Enveloppe de la famille des droites (s&')iel une equation de s&, etant :


x ch? t x cos t

(1 - 3t2)x

Y sh? t - a ch? 2t = 0 + t(3 - t2)y - a = 0 - a~


=

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

Enveloppe des cordes de la courbe :

l)

- al

= 0;

b) x3

+ y3

- 3axy

= 0; c) p (cos 8 + cos 38) =

vues de 0 sous un angle droit : 1.49. On considere I'arche


x = a(t - sint);

rc de cycloide representee par:


y = a (1 - sin t); t
E

[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

point que1conque de 'Y

1.52. - Caustique par reflexion d'une cardioide p lumineux etant O.


GEOMETRIE DANS L'ESPACE

= a(1

+ cos 8), le point

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}'

sur ~, de l'angle 8 E [0, 8


P}

~J

de

P}

et

P}'

P}') =

11;;;;;'11 +
(y = bz (y

- d'autre part des equations, uniques caracterisant


(P}) (P}')

et

P}' :

(x
(x 02(P}, P}') =

az

a' z

+ p) + p')

A A

b' z

+ q) + q')

et done de:

la - a'i + Ib - b'l + Ip - p'l + Iq - q'l

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,

1.54. - Equation du plan osculateur en un point de l'arc parametre defmi par: x


x
=

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).

L'arc parametre 'Y~,I' defmi par:


x

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)

sont plans; determiner leurs asymptotes.

EXERCICES
1.57. Etudier x

89

les branches infinies des arcs parametres dermis par:

t/(t - 1),

tZ/(t -

1), z

t3/(t

1)

(asymptote, parabole asymptote). 1.58. Soit y I'arc parametre defini par:


x = a cos? t, a)

y = a sin t cos t,

a sin? t
=

Lieu des traces des tan gentes

b) Enveloppe des traces des plans normaux

a y sur Ie plan xOy. a y sur Ie plan d'equation x

a.

1.59. -

Soit y l'arc parametre dciini par:

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.

qui contiennent p aient des traces orthogonales sur 1.61. a)

Pour chacun des arcs parametres dermis par:


x

=
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) Trouver les plans bitangents

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. -

Nature de I'ensemble des droites qui rencontrent l'arc parametre y :


x

t3,

tZ,

en deux points en lesquels les plans osculateurs sont orthogonaux

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?

1.66. - Determiner une application represente par:


9
I-->

f de classe
De

C(j2

pour que l'arc parametre y

+ 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

D'UN ARC; ABSCISSE

CURVILIGNE

2.1.1. Longueur d'un arc parametre


1 Notion d'arc rectifiable. - On considere un CO-arc parametre y = (/, f); pour tout (t, t') E 12 tel que t < t', Y t' designe Ie sous-arc compact r, ([t, t'], fl [t, t']) de y. Sauf avis contraire, on suppose que y est compact, c'est-adire que I est un segment [a, b], a < b. A toute subdivision o e S de [a, b], avec (cf. notations du 111.6.2-1) :
0

on associe Ie reel positif (appele longueur


I,,(y)
PROPOSITION. -

d'une

ligne polygonale

inscrite)

L
i;

d[f(ti-1),

f(ti)].

Si deux elements rr et cr' de S veriflent o

-< 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

de l'are parametre compact

l'element I(y) = sup I,,(y) de


I(y) <

1R +. On dit que y est

rectifiable si, et seulement si

+ 00.

"E:f

Notons qu'en considerant la subdivision cr = (a, b) on obtient :


I(y) ~ d[f(a), f(b)]

et que I(y) est nulle si, et seulement si fest

constante.