I. — DÉRIVÉES

33. Définitions. — Comme, en Analyse, nous indiquons par f{t) une forme géométrique /, fonction d'une variable numérique /, nous supposerons toujours, sans le répéter dans chaque cas particulier, que/(0 est une fonction bien définie dans l'intervalle considéré.

Soit donc f{t) une forme du premier ordre, une forme du deuxième, ordre à invariant nul, ou une forme du troisième ordre : avec la restriction que cette forme f(t) ne s'annule pour aucune valeur de t dans l'intervalle de variation pour /, posit/(^) est un point, une droite ou un plan projectif, fonction de t.

Quand il n'y aura pas d'équivoque possible, nous écrirons simplement/au lieu de /(^), et posit/, aulieu de posit/(^).

34. Limite d'une forme.— Soit/(^) une forme géométrique et ^o ^^ ï^ombre quelconque, fini ou infini; considérons une forme fixe/o de même ordre que/: lorsque t tend vers la valeur t^ nous dirons que /o est la limite de /(^), et nous écrirons

lim/(0=/o, ou lim/=/o, ou lim/=/o;

quand on a toujours, quels que soient les points P, Q, R,

lim/(OPyu=/oPQR,

FORMES VARIABLES. 6l

lim/(OPQ=/oPQ,

lim/(OP=/oP,

suivant que f(t) est une forme du premier, du deuxième ou du troisième ordre. Il reste implicitement entendu que les variations de t ne doivent s'effectuer que dans un intervalle tel que la fonction/ reste constamment définie, et la connaissance de la limite d'une forme est ainsi ramenée à celle de la limite d'un nombre variable, ce qui nous conduit à supposer connue la théorie des limites pour les fonctions numériques.

Exemple, — Dans un plan donné considérons un point fixe 0, un vecteur I et les points Ai, A2, A3, . . . , dont la suite est déterminée par la loi suivante

A2 = Ai-^i(Ai — 0),

A3 = As -H - « ( A2 — Al ), At = A3-H - «(As— "A2),

On voit aisément que

Ai= 0-f-I,

A2 = Ai-Hd,

A4 = A3— — il,

A6 = Ai-h -tI,

d'où

La connaissance des développements en séries de sinj? et coso? permet alors d'écrire

limAîrt = -+-(cosi-i-«sini)I = -+- e'I,

ce qui prouve que le point variable A2«, ou A„ (fonction du nombre entier n), a pour position limite, lorsque n croît indéfiniment, un certain point A dont la distance au point est modl, telle que le vecteur I fasse, avec le vecteur A — - 0, Tangle d'un radiant. Cette suite A,, Aj, . . . permet donc de construire, par approximation, l'angle d'un radiant.

35. Supposons maintenant que A(^),B(^) soient des formes qui, pour t^=to, ont des limites bien déterminées (*).

a. Si A, B sont des formes du même ordre nous aurons lim(A -h B) = limA 4- limB [car (A -h B)PQR = APQR -+- BPQR].

b. Si a: est un nombre, fonction lui-même de la variable numérique t, et que limor soit bien déterminée, alors

lim(a:A) = (lima:)(limA); avec la restriction que ce nombre œ ne s'annule pour aucune

(*) Suivant Tacceptioa moderne delà notion de limite (G. Peano, Rivista di Matematlca, vol. II), lim/(f) est un ensemble de nombres [lorsque /(<) est

une fonction numérique]; si cet ensemble ne contient qu'un seul élément nous disons que lim/(r) est bien déterminé; ce qui concorde avec la signification

ordinaire de limite. [Pour la limite d'un ensemble variable, i;oir C. Burali- FORTI, Snl limite di una classe variabile [Atti Ace, Se. Torino, vol. XXX), Sur quelques propriétés 'des ensembles d'ensembles [Mathem, Ann.^ B.47)]. La condition que « A(0) B(f) aient une limite bien déterminée » est nécessaire. La proposition d, par exemple, exprime que la limite d'un produit est le produit des limites : ainsi, en posant A = rl, B=:(--hsin-jJ,

où I, J sont, par exemple, des vecteurs, AB = ( i -f- ^ sin - ) IJ ; on voit donc que limAB = IJ, tandis que lim A = et que limB na aucune signification.

valeur considérée de ty même à la limite, on aura

,. A limA

lim- = rr: .

X \\mx

c. Les coordonnées de limA sont les limites des coordonnées de A; en effet, si, par exemple, A = a? Al H- yAî où œ, y sont des nombres fonctions de /, et Ai, A2 des formes constantes, on a

limA = lim(j:Ai)-hlim(7A2) = (limj:) Ai-t- (limj)Aî.

d. lim(AB) = (limA)(limB).

e. Si A est un vecteur (ou un bivecteur, ou un trivecleur), alors limA est un vecteur (ou un bivecteur, ou un trivecteur), car Aût) =0, et lim(Aût)) = (limA) = 0, ce qui démontre le théorème.

f. Si A est vecteur d'un plan donné, alors

lim(iA) = i(liniA).

De même, si A est un vecteur ou un bivecteur, on a

lim(|A) = |(limA).

g. Si modA a été défini, on aura

lim(modA) = mod(limA).

36. Limite d'un élément projectif. — Soit f{t) une forme géométrique, telle que dans l'intervalle de variation pour t, l'élément projectif posit/(^) soit bien défini et que, pour /z=^o> I21 fonction f{t) ait une limite déterminée non nulle : nous poserons

lim [posit/(/)] = positriim/(f)~|;

ce qui revient à dire que la limite de la position de / est la position de la limite de /. .

Pour les formes A(^), a{t), a(0 respectivement des pre-

lïiier, deuxième et troisième ordres, admettant, au reste, les mêmes propriétés que /(^), nous poserons

limA = Ao, lima = «o> lima = ao;

en ces hypothèses, on a les propositions suivantes :

a. Si A et Aq ne sont pas des vecteurs, la limite de la distance entre le point A et le point A© est zéro. Soit, en effet, d cette distance, on a -

d = mod ( -j— -r-^ ) ; \Aa> AoW/

limAAo = AoAo= o, lim(Aa).Aow) = (Aow)^,

et, par conséquent,

' Wmd = o. ■

b. Si un point A de la droite a a une limite déterminée ( * ), cette limite ne peut être qu'un point de la droite a^, car de

Aa = o résulte

lim(A«) = Ao«o= O'

G. Si la droite a^ n'est pas entièrement à l'infini et que Ai, à distance finie et situé sur la droite a, ait une limite déterminée, la distance du point A à la droite a^ tend vers zéro. Car, si d est précisément cette distance, on a

(modao)|^= mod(Aao);

mais

lim(A«o) = (liniA)ao= o (prop. b),

et, par suite,

lim^=o.

d. Si un point ou une droite du plan a a une limite déterminée, cette limite est un point ou une droite du plan «o-

e. Si plan «o n'est pas le plan de l'infini et que A, à dis-

(*) Voir la note à la page 62, pour les conditions restrictives que nous imposons aux propositions c, b,

FORMES YARIABLES. 65

tance finie dans le plan a, ail une limite déterminée; la distance du point A au plan olq a pour limite zéro.

37. Dérivées. — Soit /(/) une forme géométrique; si, pour A =: o, la fonction

a une limite déterminée, nous poserons

pour appeler, suivant le langage de l'Analyse, r^ la dérivée de la forme /{t)- Nous indiquerons encore l'expression — —^ fou -4t]> avec

les notations -ji f{^)> /'(^)«

En écrivant

df(t) = f{t)dt

au lieu de

dm .

dt -J^^^'

on peut dire également que df{t) est le différentiel de/(^); ainsi le différentiel de /(t) est le produit de la dérivée de /(t) par le nombre infinitésimal dt.

La dérivée de la dérivée est encore appelée dérivée seconde, la dérivée de la dérivée seconde s'appellera dérivée troisième et ainsi de suite; on pose

dt^ ~ df^^ ~ ^ ^ dt'

/7« f fin d-f^^—^^

dt"^ rff« «^ «^ dt

Supposons maintenant que A(^), B(^) soient des formes

géométriques ayant des dérivées pour toute valeur de t considérée.

a (*). Si A, B sont des formes de même ordre, on a d(A-\-B) = dA-{-dB ou (A -+- B)' = A'-+- B'.

b. Si a? est un nombre réel fonction de /, on a

d{xk) = {djc)k -+- x{dk),

et, pour un nombre constant /w,

d{mk) — m{dk).

G. <i(AB) — (t/A)B H- A((iB), mais il n'est, en général, pas permis de changer Tordre des facteurs; plus généralement pour n entier, différent de zéro, on peut écrire

(ABy«J = Aî«JB -4- rt A^^-iJB' -h "^^^7'^ A^^-î^B'-h. . .

^ n{n- I) ^.gt^a) ■!, /?A'Bt^->)-i- AB(").

d. La dérivée d'une forme constante est nulle; réciproquement, A(0 est constante dans un intervalle, quand sa dérivée est nulle pour toute valeur de t comprise dans l'intervalJe considéré.

e. La dérivée d'un point est un vecteur; car, si A est un point, on a Aco == i, d'où A'w = o, c'est-à-dire que A' est un vecteur.

f. La dérivée d'un vecteur est un vecteur, et, par conséquent, la dérivée d'un bivecteur ou d'un trivecteur est un bivecteur ou un trivecteur {voir prop. c).

Soient A un vecteur d'un plan donné et <p un nombre réel, fonction de t :

d{ei^k) = e^^dk -H ie^fkdrf;

(*) Les règles de dérivation, que nous donnons aux propositions a-d, sont analogues à celles du Calcul différentiel.

en particulier,

d(iA) = i{dA).

Dans le cas où A est un vecteur conslanl, on a

et d{e^^k) est un vecteur perpendiculaire au vecteur e'?A. De même, si A est un vecteur ou un bivecteur, on aura

rf(|A) = |(«?A).

g. Si A est un vecteur à module constant non nul, la dérivée de A est un vecteur nul ou perpendiculaire au vecteur A,

puisque

A I A = const.,

d'où

A|A'-hA'|A = 2A|A'=o.

h. Si A est un vecteur qui ne s'annule jamais dans l'intervalle de la variation de t^ la condition nécessaire et suffisante pour que la direction de A soit constante, est précisément A{dA) =0 ou, plus simplement, AA' = o pour toutes les va-

leurs de t. En effet, si l'on pose B = — -r-ry on a également

A = (raodA)B,

d'où

A' = (modAyB-+-(modA)B'

AA'=(modA)îBB'.

Or, modA^o par hypothèse, et la condition nécessaire et suffisante pour que AA'==o est bien BB'=o; mais, puisque B est un vecteur unité, la condition BB'=o (prop. g) équivaut à B' = o ou B = const., c'est-à-dire à positA = const.

Dans la même hypothèse que précédemment, la condition nécessaire et suffisante pour que le vecteur A soit parallèle à un plan fixe est AA'A" = o pour toutes les valeurs de t.

Si A était un bivecteur non nul, AA'=o (produit régressif) serait la condition nécessaire et suffisante pour que A soit parallèle à un plan fixe, tandis que AA'A"=o serait la con-

dition nécessaire et suffisante pour que A soit parallèle à une droite fixe.

(modAy= — vT ' modA

k. Si A est un vecteur non nul

lllUU A

en efifet,

(modA)2 = A|A,

et, par suite,

(modA)(modAy=A|A,

et sur un plan

qui démontre la proposition énoncée, puisque mod A ^ o.

Exemples. — i" Soit A(^) un point tel que A'(0 7^0, pour toutes les valeurs de t\ nous démontrerons (§ 2) que la droite A A' est précisément la tangente au point A à la courbe décrite par ce point.

Si donc, dans un plan donné, un point P décrit un cercle dont le centre est en 0, (P — 0) /(P — 0) = const. : on peut d'autre part, considérer P comme une fonction d'une variable numérique ^, en sorte que

expression qui prouve que la tangente est normale au rayon au point de contact. On trouve encore le môme résultat en posant P=:0-hre'?I.

2« Le point P r= -4- r(^\ -\- ri\ — re-^^il {voir n*» 17) décrit une cycloïde; nous avons alors

iP' = ril — re-i9il = M — P.

Donc la normale en un point P d'une cycloïde est la droite qui joint le point P au point de contact de la circonférence mobile avec la droite fixe.

3« Soient, dans un plan, un point fixe {fig- 3) et un point P(^); représentons par Q(^) le pied de la perpendicu-

Fig. 3.

Jaire menée de à la droite PP' ; le point Q décrit une podaire du lieu de P : cela étant, on a

(Q - P)i^'(Q - 0) = o ou (Q'- P')i(Q - 0) -t- (Q - P)iQ'= o;

mais

par suite,

Q'i(Q — 0) + (Q - P) iQ'= o ou

ce qui démontre que la normale, au point Q de la courbe décrite par Q, passe par le milieu du segment OP.

Fig. 4.

4® Avec les mêmes points, fixe et P(^) {fig. 4), consi-

dérons le point Pi(^) = 4- .p.. (P — 0), dans l'expression duquel a figure un nombre réel positif : Pj engendre alors la courbe inverse de celle décrite par P, dans la Irans- Cormation par rayons vecteurs réciproques dont le cercle d'inversion a pour centre et pour rayon a. On a

(P-0)(Pi-0) = o, (P 0)f(Pi-0) = a2, ou, en dérivant,

p'(Pi - 0) = p;(P - 0), p'/(Pi- 0) =— p; i(P- 0) ;

et, divisant ces deux égalités membre à membre, il vient

tang(F,P-0)=-tang(P;,P-0),

ce qui prouve que les tangentes aux points P et Pi et la perpendiculaire à la droite OP, menée par le milieu de PPj, concourent en un même point.

5° Soient, dans un plan, P(0 et Q(0 deux points tels que,

pour chaque valeur de t, la droite PQ soit parallèle à une

droite fixe; m Qi n deux nombres réels tels que m-\-n^o;

en posant

mP-h/zQ

m-\- n on aura

(m -h /i)2RR'= /w«PP'-f- /22QQ'-4- mnP0'-4- /w/£QP'.

O'ailleurs, si le vecteur P — Q a une direction constante, on peut écrire

(P-Q)(F — Q') = o, d'où PF -f- QQ' = PQ' -f- QF, et, par suite,

(m -4-/^)îRR'= m{m -t- //) PF-H n(/w + n) QQ',

OU enfin

j^j^,^mPFH-^OQ:.

Ainsi : les tangentes aux points P, Q, R à leurs courbes respectives passent en un même point.

6« Si P(^) est un point et que la variable t figure le temps, P' et P" seront respectivement la vitesse et l'accélération du point P représentées en grandeur, direction et sens; si m est la masse (constante) du point P supposé libre, m^" figure la force en grandeur, direction et sens, tandis que le produit interne /nP"|t/P fournit le travail élémentaire de la force; d'autre part, le produit interne P'|P'=(P')2 est le

carré de la vitesse, et -/n(P')* sera la force vive. Or, nous

avons d -/n(P')' =/nP''|cfP, et cette formule exprime que

V accroissement de la force vive est égal au travail élémentaire.

Dans le cas d'une force centrale, l'accélération P'' passe par un point fixe 0, c'est-à-dire que OPP''=:o; cependant (OPP')'=OPP'' d'où OPP'=const., ce qui montre que le mouvement, sous l'action d'une force centrale, est toujours un mouvement plan. Si nous posons a =:(P— 0, P'), (^= mod P' et si d est la distance du point à la droite PP', nous avons alors

rf=[mod(P — 0)]sina, OPF= i[pmod(P — 0)] sina,

d'où

(^ûf=2 0PP'=const.,

ce qui démontre la propriété bien connue : dans le mouvement résultant de l'action d*une force centrale, le produit de la grandeur de la vitesse par la distance du centre à la tangente au point variable est constant,

7" Soient Fi, Fa les foyers d'une ellipse ou d'une hyperbole, et P un point de la courbe :

mod(P — Fi) ± mod(P — Fa) = const.;

on peut considérer P comme fonction d'une variable numérique tf et, en prenant la dérivée (prop. k), on a

Lmod(P — F,) ~n>od(P — Fj)J '

7ÎÎ CHAPITRE n.

qui exprime que la tangente en P est l'une des bissectrices des angles formés par les deux droites PFi, PFj. Pour un ovale de Cassini, nous aurions

mod(P — Fi)mod(P — F2) = const., d'où

rmod(P — Fa) l^^\. , -Mnod(P — Fi) ^~^\. J /P'=o, L ^ ^mod(P — Fi) ^ ^mod(P — F2)J

qui fournit une conslruciion très simple de la normale en P. Le lecteur n'aura aucune difficulté à résoudre une foule de questions par la méthode que nous venons d'exposer.

38. Formes moyennes . — Si m est un ensemble de nombres réels, nous disons que le nombre x est moyen parmi les nombres de u quand œ sera égal au plus petit de la limite supérieure des u et égal au plus grand de la limite inférieure des u.

Soient U un ensemble de formes du premier ordre et a une forme du troisième ordre; par la notation Ua nous désignerons l'ensemble des nombres qui sont le produit de chaque forme de U par la forme a; convenons également de dire que la forme du premier ordre X est moyenne parmi les formes de l'ensemble U, lorsque, quelle que soit la forme a, le nombre Xa est moyen parmi les nombres de l'ensemble Ua. Nous définirons d'une manière toute semblable les formes des deuxième et troisième ordre, moyens parmi les formes du deuxième ou troisième ordre d'un ensemble donné.

a. Si Aj, A2, ..., An sont des formes de même ordre et m,, /ns, . . ., /n„ des nombres positifs, la forme

WiAi-h W2A2-i-. . .-hrrinkn mi-h rrii-h, . .-h mn

est moyenne parmi les formes Ai, Aj, . . ., A„. En effet, supposons que cCi, x^y , , .^ œ^ soient des nombres tels que

alors on aurait

par suite, le nombre —^—^ ^— ^ ^— ^ serait bien

moyen parmi les nombres ^i, o^j, . . ., ^».

b. Si I et J sont des vecleurs et que K soit une forme du premier ordre moyen parmi les vecteurs I, J, alors K est un vecteur, et les vecteurs I, J, K sont complanaires (ou IJK=o). Nous savons, en effet, que Kco est moyen parmi Iw et Jw, et, puisque Iw =r Jco =io, on aura Ka) = o, c'est-à-dire queK est un vecteur; d'ailleurs, si a est un triangle, le nombre Ka est moyen parmi les nombres la et Ja; et si Ia = Ja = o, soit que 1, J sont parallèles au plan a, Ka=:o et K est aussi parallèle au plan a.

c. Si Al, . . . , A« sont des points, une forme moyenne parmi Al, . . ., A„ a pour position un point qui appartient au plus petit champ convexe renfermant les points Ai, . . ., A;^.

39. Formule de Taylor. — Théorème I. — Si f(t) est une forme géométrique qui, pour une valeur de t, ait les dérivées jusqu'à la n^^^^, on aura pour cette valeur de t

où F est une forme de même ordre que f, fonction de h {et de la valeur considérée de t), satisfaisant en outre à limF = o.

Dém, — Soient, par exemple, une forme du premier ordre f{t) et une forme du troisième ordre a; posons

9(^) est une fonction numérique de t ayant les dérivées

jusqu'à la n^^™" [car 9<»)(^) ==/("> (^) a]; pour celte fonction la formule de Taylor (*) donne

(2) (p(f-4-;/)=cp(o + //?'(0+.-.H-;rr[?^"^(0-^^4]'

où Fi est un nombre fonction de h tel que limFi = o. Rem-

plaçons dans la formule (2) 9(^) par/(^)a et posons Fi = Fa, il vient la formule (i) où F satisfait bien à IimF = o.

Théorème II. — Si f{t) est une forme géométrique ayant n dérivées successives dans l'intervalle de ta t -h h, on peut écrire

où F est une forme de même ordre que f, moyenne parmi les f ormes f^^^ {t) qu'on obtient en faisant varier t de t à t -\- h.

Dém. — Soient, par exemple, une forme du premier ordre f{t) et une forme du troisième ordre a; posons encore

Alors (p(^) est une fonction numérique de t qui, dans Tintervalle de ^ à ^ -h /<, a les dérivées jusqu'à la w»*™*', et la formule de Taylor, avec le reste de Lagrange, donne

OÙ ^ est un nombre moyen parmi les valeurs de 9^'*J(^) ou de/('*^(^)a. En conséquence, le nombre Fa est moyen parmi les nombres f^"'^{t)(x, quelle que soit la forme du troisième ordre a, c'est-à-dire que F est une forme moyenne parmi les formes /^«^(O.

(*) Voir Lezioni di Analisi infinitésimale del Prof. G. Peano, Torino, 1893, e Calcolo geometricoj I. c.

40. Formes continues. — Soit /(^) une forme géométrique; nous disons que /( ^ ) est continue dans l'intervalle de variation pour t lorsque, quel que soit le nombre ^o de cet intervalle,

on a

lim/(0=/(fo) ou lim/(fo + /0=/(/o).

Soient, par exemple, ^i, t^ deux valeurs de t dans Tintervalle considéré, et 9(^1,^2) une forme ou un nombre fonction de ^1 et de t^; si nous faisons tendre t^ et t^ vers une même valeur t de Tintervalle, et cela d'une manière quelconque, sans imaginer, par exemple, que Ton ait ^1= t^ et que la fonction \ ^' /^ ait une limite déterminée, nous indiquons cette limite par la notation

lim îi^i^

OU, plus simplement.

Nous définirions d'une manière entièrement analogue

lim

(h — ti){h — ti){h — t2)

Théorème I. — Si f{t) est une forme à dérivée bien déterminée dans Vintervalle de variation pour tj f{t) est une fonction continue.

Dém. — Le théorème de Taylor nous apprend que

où F est une forme telle que lim F =0. Par conséquent

lim/(« + /0 = /(O,

ce qui démontre le théorème.

Théorème II. — Si f{t) est une forme géométrique telle que la forme dérivée f (t) soit une fonction continue dans

r intervalle de variation pour t, on a

lim ^(y-f^-) =/'(0.

Dém. — Si, dans la formule deTaylor (théorème II), nous posons nz=zi, tz=z t^^ hz::zt^ — ^i, il vient

/(^2)=/(^l) + (^2-^l)F OU

ti — tl

Mais/' est supposée fonction continue, c'est-à-dire que

limF=/'(0, car F est forme moyenne parmi les valeurs de/'(^).

Théorème III. — Si f{t) est une forme du premier ordre, ou du deuœième ordre à invariant nul, ou du troisième ordre, et si, dans Vintervalle de variation de t^f {t) est une fonction continue, on a

Dém. — Nous savons que

f 2 — ti tz — ^1

mais

lim/(r,)=/(0, lim=Û£tlziil£!i =/'(,),

ce qu'il fallait démontrer.

Théorèue IV. — Sif{t) est une forme du premier ou troisième ordre, que f et f" soient des formes déterm^inées et f"{t) elle-même continue, pour les valeurs de t considérées, on aura

lim - — /('')/(^ )/(/») — ^ =mf\t)r(t).

Dém. — Soient t^', t^y t^ des valeurs de t telles que

^3 > ^1 > h- Posons

La formule de Taylor nous donne

où /'1,2> /i.s s^*^^ ^^ formes moyennes entre les formes /"{t) lorsque t varie de ^j à ti ou de ^i à t^. De plus, lorsque /est une forme du premier ou du troisième ordre, nous savons que /i/a/a^/i (/a —/i) (/s— /i) et, par suite, que

/1/2/3 f fi — /i fs — /l

(^2 — ^i)(^3 — '1) '2-^1 h — il

Comparée aux formules (i), cette dernière devient /1/2/3

^ (f2-fl)(^3 — ^l)(f3-^2)'

D'ailleurs ^3 > ^i > t^, et le dernier facteur du second membre de Téquation (2), est une forme moyenne entre /î,2 et/ï^3. A la limite, en vertu du théorème 111 et de l'hypothèse de continuité pour la forme /"(^), on a bien le théorème IV.