La relation fondamentale

qui résulte immédiatement (n" 6, 3") de la définition de la dérivée, montre qu'une fonction f {./) est contimie pour toute valeur de la variable x pour laquelle la dérivée f (x) est déterminée.

Propriété ïoiiclaiiieiïtale des fonctions continues

lo. Si une fonction f [x] est continue dans un intervalle («, b) et si f [a] et f [b) ont des signes contraires^ il existe., entre a et 6, au moins une valeur c de x qui annule la fonction f [x).

En effet, posons - {a-\-b) = o). Si/(o>) est nul, le théorème

est démontré. Si / (o)) est différent de zéro, nous désignerons par («[ 6,) celui des doux intervalles égaux («, w) (o), b) pour lequel / [Ui) et /^ (6j) ont des signes opposés.

En raisonnant sur («j, 6j) comme on vient de le faire sur («, è), puis continuant de la sorte, on formera, si on ne rencontre aucun nombre annulant /' [x)^ une suite d'inter-

(') Conformément à un usage généralement adopté de nos jours, nous emploierons la notation | a \ pour désigner la valeur absolue d'une quantité quelconque a. Cette valeur absolue reçoit souvent le nom de module.

valles

[a, h), (rt,, i,), ..., («„, ba), ...,

tels que cliacmi soit la moitié du précédeut et que la fonction/(.r) prenne à ses extre'mités des valeurs de signes contraires.

Les quantités «, «[... a,,,.... étant inférieures à h et formant une suite croissante, tendront vers une limite c comprise entre a et b. Les quantités b^ b^,...b„ étant supérieures à rt et formant une suite décroissante, tendront à leur tour vers une limite ; et cette limite ne sera autre que c, puisque la diiférence

ha — a,, ==-(« — b)

tend vers zéro quand n croît indéfiniment.

Or, puisque /' {x) est continue dans l'intervalle [n, 6), la difterence

doit avoir pour limite zéro, pour n = oo ; et, comme cette diiférence a ses deux termes de signes contraires, on aura à la limite

2f [':) = O OU f ( c) — G,

ce qui démontre la proposition énoncée.

On peut ajouter que, si la fonction f 'j:^ est fonslanuncnt croissante ou constamment décroissante depuis x = a jusquà a; = 6, il n'existe entre ces limites quune seule imleur de X propre à vérifier F équation f [x) = o. Car, si / [x] croît sans cesse, par exemple, dans l'intervalle [a, b) et s'annule pour une valeur c comprise dans cet intervalle, / (.2) sera négatif tant que x n'aura pas atteint la valeur c, puis il deviendra et restera positif dès que x aura franchi cette valeur.

IG. D'après le n" 15 une fonction continue ne peut changer de signe sans s'annuler. IMais (il importe de l'obser-

ver) une fonction continue peut s'annuler sans changer de signe : témoin la fonction continue .2-, qui s'annule pour a? = 0 en restant toujours positive.

17. Voici enfui une conséquence inimédiale de la proposition qui fait l'objet du n° 15.

Si une fonction o (x) est continue dans un intervalle («, b), il existe clans cet intervalle au moins une valeur c de xyour laquelle © [x] acquiert une valeur donnée quelconque k comprise entre a (a) et 0 [b).

En effet la fonction / [j/) = o (x) — k est continue dans l'intervalle [a, b), et les deux nombres f {a) et /' [b] sont de signes contraires; donc il existe entre a et b au moins une valeur c telle que / [c] = 0 ou que ç [c] = k.

D'ailleurs, à toute valeur k de "o [x] comprise entre ç («) et ç (b) répondra une valeur unique de x, si 9 [x] est constamment croissante ou constamment décroissante dans l'intervalle (rt, b).

Fonctions inverses

18. Soit y = o [x:) une fonction bien définie et continue dans un intervalle («, b) ; désignons o {a) par a et 9 {b) par i3. Nous savons, d'après le n' 17, qu'à chaque valeur de y comprise entre y. et ,3 correspond au moins une valeur de j:: comprise entre a et b^ et qu'il n'en correspond qu'une si la variation de // ne change pas de sens lorsque x croit de a à b. (j'est à cette condition que x pourra être considérée comme une fonction bien définie de t/ dans l'intervalle considéré.

On donne à la fonction 3:-= 'b (y) ainsi définie le nom de fonction inverse de y =? {x).

19. Cette fonction inverse est continue lorsque f/ varie entre y. et 3. En effet, soient x^ etxQ-{- h deux valeurs prises dans l'intervalle («, b), h étant aussi petit qu'on le voudra en valeur absolue. Désignons par y^ et y^ + k les valeurs

correspondantes de ij . A toute valeur de y comprise entre yo ^^ yo + ^ répondra (n" 18) une valeur de x unique et comprise entre x^^ et x^ + h, c'est-à-dire une valeur aussi voisine de Xq que l'on voudra; ce qui démontre la continuité

de a: = ({; (y). *

Révision soiniiiaîre des i'oiictîoiis élémentaires

20. Les premières fonctions que l'on étudie dans les éléments d'algèbre sont les fonctions entières et les fractions rationnelles. Le type des premières est

y = A.cc"' -|- Ba;'" - ' -f ... -|- H.r + K,

oij A, B, ... K sont des constantes et m un nombre entier et positif; le type des deuxièmes est

v=qs

/ [x}) etç (r) étant des fonctions entières.

On démontre en algèbre élémentaire que la somme algébrique et le produit de plusieurs fonctions continues sont eux-mêmes continus, tandis que le rapport de deux fonctions continues cesse d'être continu pour les valeurs de x qui annulent le diviseur. Il suit de là que les fonctions entières sont continues "pour toute valeur de x et que les fractions rationnelles sont continues pour toutes les valeurs de X qui n'annulent pas le dénominateur.

21. Après les fonctions entières et les fractions rationnelles, on rencontre Xd, fonction exponentielle a'' et son inwcrse la fonction logarithmique.

On démontre que si a est un nombre positif, a"" est bien définie et continue pour toute valeur de x positive ou négative.

CALCUL INFLMTÉSIMAL. 2

Supposons « >■ 1 ; alors l'exponentielle y = «,. croît de o à + 00 lorsque x croît de — oo àH- oo , en prenant la valeur 1 lorsque la variable x passe par zéro. Cette fonction étant continue et croissante, la fonction inverse est bien définie et continue (n°' 18 et 19) pour toutes les valeurs positives de y ; on lui donne le nom de logarithme de y dans le système dont la base est a et l'on écrit :

X = log y.

Dès que la base est choisie (parmi les nombres supérieurs à 1), le logarithme x de tout nombre positif y est fixé; il est positif ou négatif suivant que y est supérieur ou inférieur à 1. D'ailleurs, dans tout système, le logarithme de la base est égal à l'unité et le logarithme de l'unité est égal k zéro ; on a, en effet, câ = a et «o = 1 .

Nous n'avons pas à revenir ici sur les propriétés des exponentielles et des logarithmes que nous supposons bien connues du lecteur. Nous rappellerons seulement que, pour passer d'un système de logarithmes à un autre, il faut diviser les logarithmes primitifs parle logarithme primitif de la nouvelle base.

22. Dans les calculs numériques, on emploie les logarithmes dont la base est le nombre 10, base de notre système de numération; on y trouve l'avantage de pouvoir, à simple vue, écrire la partie entière ou caractéristique du logarithme d'un nombre décimal donné quelconque (voir l'Algèbre). Ces logarithmes sont dits logarithmes vulgaires.

En analyse, on emploie au contraire presque exclusivement le système considéré d'abord par Neper, l'inventeur des logarithmes ; la base du système népérien est la limite vers laquelle tend l'expression

^- = ^ + î + 1^2 +^ 1:2:3 + - + Y:ïJZJn ^^^ lorsque le nombre entier et positif m croît indéfiniment.

LES FOAXTIOxNS CONTINUES 19

II est fort aisé d'ailleurs de prouver l'existence de cette limite.

Désignons par \j. un nombre entier et positif moindre que m ; on aura

Et comme la somme entre parenthèses est ésrale à -' on peut écrire

Il suit de là que, si, laissant ;j. fixe, on fait croître m indéfiniment, *^,„ croît sans cesse en restant inférieur à une quantité fixe; il a donc une limite déterminée (^).

En désignant, suivant un usage adopté depuis Euler, cette limite par la lettre e, on a les inégalités

qui, ayant lieu pour toute valeur entière et positive de [j., permettent de calculer e avec telle approximation qu'on voudra.

Par exemple en faisant [x = 1, on voit que e est compris entre 2 et 3.

Voici la valeur de e avec 13 décimales exactes :

(') Nous invoquons ici, comme au u" l'i, un axiome dont on l'ail un fréquent usage en Analyse.

Lorsqu'une grandeur croit sans cesse (ou du moins ne décroit jamais) et reste inférieure à une quantité lixe, elle a une limite égale (Ui inférieure à cette quantité. -

De même, lorsqu'une grandeur décroit sans cesse (ou du moins ne croit jamais) et reste supérieure à celte quantité lixe, elle a une limite égale (tu supérieure à cette quantité.

Si l'on se bornait à calculer les 9 premiers chiffres décimaux, le retour fortuit des quatre chiffres 1, 8, 2, 8 dans le même ordre pourrait faire croire que e s'exprime par une fraction périodique. Ce serait là une fausse induction; le nombre e est incommensurable. En effet, s'il était égal à une

fraction — à termes entiers, on aurait, en vertu des inéeraq

lités (9) :

d'où, en multipliant par 1, 2, 3..., q^

ce qui est absurde, puisqu'un nombre entier ne saurait être compris entre deux nombres dont l'un est entier et dont la différence est moindre que l'unité.

C'est Lambert qui, en 1761, a établi le premier l'incommensurabilité du nombre e ; en 1874, M. Hermite, dans son beau Mémoire sur la fonction exponentielle, a fait voir que e était un nombre transcendant, c'est-à-dire non susceptible d'être racine d'une équation algébrique à coefficients rationnels.

Dorénavant, pour éviter toute confusion, nous désignerons les logarithmes népériens par le symbole log et les logarithmes vulgaires par le symbole hog ; on aura donc, d'après la règle citée ci-dessus (n° 21)

\^^^ =Loo-e= — ^ = 0,43/i.29M8...

log y ^ log 10

23. Lorsque m est commensurable, d'ailleurs positif ou négatif, on sait, d'après l'algèbre, que .z'" a une valeur ;jo.s/tive unique pour chaque ysl^uv positive de x.

On a donc alors, en vertu des propriétés des logarithmes

log a;'" = m log.x"

et par suite

Celte égalité, démontrée ainsi pour m commensurable, est prise pour définition lorsque ?n est incommensurable ; elle montre que si tn est positif, .2'" est croissante et continue dans tout intervalle limité par deux nombres positifs. En effet, en premier lieu, quand ^ croît dans Tintervalle considéré, log x croît; par suite, il en est de même de m log x puisque m est positif, et enfin de l'exponentielle e'"'"» "", c'est-à-dire de x"\ En second lieu, lorsque x varie d'une manière continue dans l'intervalle susdit, il en est de même de log .2^ (n° 21) et, par suite, aussi de l'exponentielle p"' '"■' ^, c'est-à-dire de x"".

2i. Il nous reste à parler des fonctions élémentaires fournies par la trigonométrie.

Soit A un point fixe pris sur une circonférence de rayon 1, M un point quelconque de cette courbe et P la projection de M sur le diamètre OA ; PM = sin X et OP = cos x sont des fonctions bien définies de l'arc AM = x (^). Elles sont d'ailleurs continues; car, lorsque l'arc AM varie d'une quantité MM' aussi petite qu'on veut, les variations correspondantes Fio. 4.

IM', MI du sinus et du cosinus sont moindres en valeur absolue que la corde MM', laquelle tend vers zéro en même temps que l'arc MM'.

Les formules fondamentales :

sin X , 1

tff ar = sec x = >

^ cos a; cos a?

cos X , 1

cota' X = —. cosec x

sui X sin a?

(1) La longueur d'un arc de courbe a été définie en géométrie: c'est la limite vers laquelle tend le périmèlre d'une ligne brisée inscrite dans cet arc, lorsque les côtés de cette ligne brisée tendent vers zéro ; on a démontré, d'ailleurs, que cette limite existe et ne dépend pas de la loi suivant laquelle les côtés de la ligjie brisée tendent vers zéro. Enfin, on a déduit de là que le rapport d'un arc à sa corde a poiu- limite l'unité lorsque cet arc tend vers zéro. (Voir le Tradé de Géométrie de MM. Rcuudié et De Comberousse).

montrent que tg x et sec x sont continues, sauf pour les valeurs de x qui annulent cos j, et que cotg.i" et coséc x sont continues excepté pour les valeurs qui annulent sin y.

Les six fonctions sin x, cos .2', tg x^ cotg x^ séc .y, coséc X, portent le nom de fonctions circulaires directes. L'étude de leurs propriétés constitue l'objet principal de la trigonométrie que nous supposons connue des lecteurs.

Nous devons cependant ajouter quelques mots sur les fonctions circulaires inverses.

La fonction x =siny étant continue et croissante lorsque

la variable indépendante y croît de — ^ à ^i l'inversion est

permise (n" 18); et si l'on désigne par y^ l'arc compris

entre — 5 ct^ dont le sinus est égal à x, y y est une fonction

bien défmie et continue de x lorsque cette variable reste comprise entre — 1 et +1. Cette fonction y y ne représente qu'une branche de la fonction ambiguë y qui serait astreinte uniquement à satisfaire à la relation x: = sin y et que l'on désigne habituellement par arc sinj^ ; on a, en etlet, par la trigonométrie,

arc sin x =i kiz -\- ( — 1)'^" y

li étant un nombre entier quelconque positif ou négatif. A chacune des valeurs en nombre infmi de l'entier k répond une détermination spéciale de arc siuj', laquelle reste bien défmie et continue en même temps que y y lorsque x varie de — 1 à H- 1 .

Des raisonnements analogues conduisent aux conclusions suivantes :

L'arc compris entre 0 et 7: dont le cosinus est égal à x est une fonction bien définie et continue de x, lorsque cette variable reste comprise entre -j- 1 et — 1 ; en désignant cette fonction par y y, on a

arc cos a? = SAtt =h y ^ ,

et, à chaque valeur entière positive ou négative de k

répondent deux déterminations de arc cos x qui sont bien définies et continues, en même temps que yj, c'est-à-dire lorsque x est compris entre — 1 et + 1.

L'arc compris entre — %^^ i^ dont la tangente est égale

à X est une fonction bien définie et continue pour toute valeur déterminée de x. En désignant cette fonction par y^, on a

arc tgo? =: y^TT -}- y,,

et à chaque valeur positive ou négative de l'entier /: répond une détermination de arc tg x qui est bien définie et continue en même temps que v/j, c'est-àdire pour toutes les valeurs déterminées de x.

Pour éviter des redites fastidieuses, nous laisserons au lecteur le soin de fixer lui-même d'une manière analogue le sens des fonctions inverses.

arc séc a-, arc coséc a?, arc cotg a:,

qui sont d'ailleurs peu usitées.

Fonction de Fonctions

25. Lorsque plusieurs variables y, z^ u, x sont telles que chacune d'elles soit une fonction bien définie de la suivante, la première y est évidemment une fonction bien déterminée de la dernière .r ; on lui donne le nom de fonction de fonctions.

Telle est, par exemple, la fonction

y = sin [x^], qui est définie par les relations

?/ = sin «, u = x^

Il est aisé de voir que si les fonctions

sont continues^ y est une fonction continue de x.

En effet, désignons par x^^ une valeur déterminée parmi celles que peut prendre la variable indépendante x^ et par î^Q, ;ïq, î/q, les valeurs de i:,de u et dey qui lui correspondent en vertu des relations (11). Lorsque x tendvers Xç^^ u tend vers Wq puisque (^ [x) est continue; par suite ;:; tend vers z^ puisque 9 [u) est aussi continue, et enfin y tend vers j^q» ^"^ vertu de la continuité de / [z],

26. Il résulte de là que si u désigne une fonction continue dej:, les fonctions sinw, ç.o'àu, arc sinz^, arc cosm sont des fonctions continues de la variable x ; il en est de même pour rt" si a est positif, et aussi pour logz< et 10^=^ ^^logu gj ^^ g^ ^ sont des fonctions continues de^ et si de plus u est positive; la fonction iC contient d'ailleurs comme cas particulier z<"', m étant une constante quelconque.

Fonction de plusieurs vai'iables

27. Soient a:, y,... plusieurs variables indépendantes qui peuvent prendre, la première toutes les valeurs comprises dans un intervalle («, d)^ la seconde toutes les valeurs appartenant à un intervalle (è, 6'),... L'ensemble de ces intervalles constitue ce qu'on nomme le champ dans lequel se meuvent les variables j:, y, ...

Une fonction u = f(x^y^ ...) de plusieurs variables indépendantes est bien définie dans un certain champ, si, à chaque système de valeurs de x^ y, -•• comprises dans ce champ, répond une valeur déterminée de ii et une seule.

Une telle fonction est dite continue pour x = x^^ y = yo' ••• si/'(^, y,-") a pour limite /' [xq, y^ --Ode quelque manière que x^ y, ••• tendent vers x^^ y^ ... ou,. en termes

plus précis, lorsque à tout nombre positif donné e aussi petit qu'il soit répondent des nombres positifs a, (B, ... tels que les inégalités

entraînent

\ûC -CG^l < V. \l/ — l/o\<

Les propositions énoncées dans le dernier alinéa du n° 20 subsistent quel que soit le nombre des variables indépendantes. Ainsi, les fonctions de plusieurs variables qu'on obtient en exécutant sur ces variables et sur des constantes des additions, soustractions, multiplications ou divisions, sont continues pour tout système de valeurs des variables qui n'annule pas le dénominateur.

Fonction composée