DES PLUS GRANDES ET DES MOINDRES VALEURS DES FONCTIONS D UNE VARIABLE

24. 11 y a un genre de questions qui, quoique indépendantes de la considération des tangentes, peuvent néanmoins s'y rapporter: ce sont celles qu'on appelle de maximis et minimis, et qui consistent à trouver, pour une fonction donnée d'une variable, la valeur de cette variable qui rend celle de la fonction la plus grande ou la plus petite. Comme les courbes ne sont que la représentation ou le tableau de toutes les valeurs de la fonction de l'abscisse, représentée par l'ordonnée, il est visible que la question de trouver la plus grande ou la plus petite valeur d'une fonction donnée d'une variable revient à déterminer la plus grande ou la plus petite ordonnée de la courbe dont cette variable serait l'abscisse et la fonction donnée serait l'ordonnée.

Or l'inspection seule de la courbe suffît pour faire voir que ces ordonnées ne peuvent être que celles qui répondent aux points dont les tangentes seront parallèles k l'axe des abscisses. Si la courbe est convexe à l'axe, l'ordonnée sera alors évidemment un minimum, et, si la courbe est concave, l'ordonnée est un maximum.

Nous avons vu (n° 7) que la tangente de l'angle que la tangente d'une courbe fait avec l'axe est exprimée en général par y', j étant l'ordonnée que l'on suppose fonction de l'abscisse x\ donc, pour que cette tangente devienne parallèle à l'axe, il faut que l'on ait j'=o; or, si l'on fait y'= o dans les expressions des coordonnées a el ^ (n° 9), qui déterminent le lieu du centre du cercle osculateur, on a

d'où l'on voit que, si y" est une quantité positive, ce centre tombera au delà de .la courbe, qui sera par conséquent convexe vers l'axe, et que, si y est une quantité négative, le même centre tombera en deçà de la courbe, c'est-à-dire du côté de l'axe, et que, par conséquent, la courbe sera alors concave vers l'axe. Donc, la fonction j sera un maximum ou un minimum lorsque sa fonction prime y sera nulle, et, en particulier, elle sera un minimum lorsque la fonction seconde y" sera en même temps une quantité positive, et un maximum lorsque j" sera une quantité négative : c'est en quoi consiste la méthode connue de maximis et minimis.

25. Mais il n'est pas inutile de faire voir comment cette méthode peut se déduire directement de l'analyse des fonctions sans la considération intermédiaire des courbes.

Soit f{oc) la fonction de x dont on demande le maximum ou le minimum. Soit a la valeur de x qui répond au maximum ou au minimum; il faudra que la valeur de /(a) soit toujours plus grande ou toujours moindre que la valeur de/(a + «), quelle que soit la quantité i, positive ou négative, et quelque petite qu'elle puisse être. Je dis quelque petite que la quantité i puisse être, car une quantité est censée devenir un maximum ou un minimum lorsqu'elle parvient au terme de son accroissement ou de sa diminution, de manière qu'en deçà et au delà de ce terme elle se trouve moindre dans le cas du maximum ou plus grande dans le cas du minimum que dans le même terme. Concevons a; à la place de a ; la condition du maximum sera

f(x + i)<f[x), ou f[x + i]-f[x)<o,

et celle du minimum sera

f{x + i]:>f[x), ou /(.r-f-/)-/(^)>o,

quelque petit que soit i, positif ou négatif.

Développons la fonction /(^+«) en série par nos formules (n" 40, V Partie), et arrêtons-nous d'abord aux deux premiers termes; on IX. 3o

234 THÉOIUE DES FONCTIONS.

aura ainsi

f[x + i) =f[x) + if'[x] H- '\f'\x-yj),

j étant une quantité renfermée entre les limites o et i. Il faudra donc que l'on ait

if'[x) -\ f"\X +7) <Co pour le maximum el >> o pour le minimum.

Or nous avons déjà vu (n° 3) que l'on peut prendre / assez petit

pour que la valeur absolue du terme if'{x) soit plus grande (jue celle

du terme —/"{^ -^j), ce qui étant vrai pour une valeur de i aura

lieu aussi pour toutes les valeurs de / plus petites; donc la quantité

deviendra alors positive ou négative, suivant que la quantité i/'{x) le sera. Mais celle-ci change de signe avec la quantité i\ donc il sera impossible que la condition du maximum ou du minimum ait lieu, à moins que l'on n'ait/'(x) — o.

Prenons maintenant dans le développement de /(o^ 4- i) un terme de plus; nous aurons

f[x + i] =f[x) H- if'[x) -+- '-/"[x] + 7;^/"'i-^^./);

donc, à cause dey"'(^)=:o, il faudra que l'on ait

—f"[x) H ô/"(-^ ^-y X " pour le maximum el >> o pour le minimu

Oii [)eut aussi prendre i assez |)('lit pour que la valeur absolue du

terme —f"[x) soit plus grande (jue celle de - — r:f"\x-\-j); alors la

(|uanlilé

sera positive ou négative, suivant que celle de —f"[x) le sera. Donc,

puisijue la valeur de r est toujours positive, il faudra (jue l'on ait

f"[x)<io pour le maximum el/"(a:)>o pour le minimum.

Si l'on fait /"(jr) = G, alors, reprenant le développement de/(.r-f-r et employant un terme de plus, on aurait

f[x + i) =f[x] + if'[x) + '-j"[x] + .^/"'(^) + -'^/'M^+y);

donc, puisqu'on suppose /"'(j") = o et y"(.r) = o, on aurait pour le maximum la condition

et pour le minimum la condition opposée. Or on peut prendre i assez petit pour que la valeur absolue du terme — \f"[^) surpasse celle du terme — 5— ^/^l-^+yj; alors la valeur de

sera positive ou négative, suivant celle de — T:f"'{x). Mais celle-ci

change de signe avec la quantité i ; donc il sera impossible que la condition du maximum ou du minimum ait lieu, à moins qu'on n'ait /"(^) = o.

Employons encore le terme suivant dans le développement de f[.x + i) ; on aura

/(^ + /) = f[x) + if'[x) + '-If'ix) + ^/»+ ^/'M^) + ^:3^/'(^ +./■)'

et les conditions du minimum ou du maximum deviendront

-^/-n^) + — g'f^/i^+yxo ou >0,

à cause de/'(a7) = o,/"(a7) = o ety"(^) = 0. On prouvera ici, comme

plus haut, que l'on pourra prendre i assez petit pour que le terme af-i f'ecté de i'' , pris absolument, c'est-k-dire abstraction faite du signe, devienne plus grand que l'autre terme affecté de i^, et que, par conséquent, la somme des deux termes soit nécessairement positive ou

négative, selon que le terme — 7-7 /"'(•^) le sera. D'où il est aisé de

conclure, à cause que i'' est toujours une quantité positive, qu'il faudra que l'on ait

/"■(jt) <^o pour le maximum et /"'(^)>o pour le minimum,

et ainsi de suite.

26. Donc, en général, si r est une fonction quelconque de oc, on aura d'abord, pour le maximum ou le minimum, la condition r'=o, laquelle donnera la valeur de x, ensuite y<o ou >o, ce qui s'accorde avec ce que nous avons trouvé ci-dessus (u° 24). Mais nous venons de trouver de plus que, si y= o, il faudra que l'on ait aussi en même temps y"=o, ensuite

J'*<Co pour le maximum el j-"'^ o pour le minimum;

et ainsi de suite. Eu général, si une fonction dérivée d'un ordre quelconque pair disparaît, il faudra que la fonction de l'ordre impair suivant disparaisse aussi, et que la suivante de l'ordre pair soit négative pour le maximum et positive pour le minimum. Si la fonction y n'est donnée que par une équation

il n'y aura qu'à prendre l'équation prime

et faire y =0, ce qui la réduira à celle-ci,

Y{x) = o, laquelle, combinée avec F(a:', r) — o, servira à déterminer les valeurs

de X et j répondant au maximum ou au minimum. Ensuite on prendra l'équation seconde, et, faisant de même y'= o, on aura la valeur dey, dans laquelle on substituera les valeurs trouvées de x et y, et l'on pourra juger, par cette valeur, du maximum ou du minimum; et ainsi de suite.

Si la foncliony ou/"(.r) devenait infinie, c'est-à-dire si -j,—- o, ce

serait une marque que le développement àef{x-\-i) contiendrait, pour la valeur trouvée de x, un terme de la forme Ai'", m étant entre i et 2 [n° 30, I'^ Partie); et, en considérant la courbe de l'équation j=/( a;), on pourrait connaître, par la forme de son cours dans le point donné, si la fonction y est un maximum ou un minimum (n° 24). On pourrait même donner pour cela des règles générales, mais qui nous écarteraient trop de notre objet.

Nous ne nous arrêterons pas à donner des exemples des règles précédentes pour la détermination des maxima et minima; comme elles s'accordent en tout avec celles que l'on connaît d'après le Calcul différentiel, on pourra en faire les mêmes applications. Il n'y aura qu'à changer les symboles

y, y ,y , ... en ^, -^^^. ^, .•••