Beruflich Dokumente
Kultur Dokumente
-^-TA
.11^-
4^^^-*f
-.
v-n
"'
REFLEXIONS
MTAPHYSIQUE
CALCUL INFINITSIMAL.
52-3
PARiS.
IMPRIMERIE DE GALTHIER-VILLARS,
Qt'AI
RFLEXIONS
MTAPHYSIQUE
CALCUL INFINITSIMAL,
Par
Membre de
la
ARNOT,
Lgion d'honneur, de
CINQUIME DITION.
PARIS,
GAUTHIER-VILLARS, IMPRIMEUR-LIBRAIRE
DE l'cole polytechnique, DU BUREAU DES LONGITUDES,
5.5.
1881
(Tous droits rserrs.)
503
A
io
^(4
'V
% \'\
^l
RFLEXIONS
3ITAPHYSIQUE
CALCUL INFINITESIMAL.
le
vritable esprit
que je propose ce sujet sont distribues en trois Chapitres dans le premier j'expose les principes gnraux de l'Analyse infiinfinitsimal; les rflexions
:
du Calcul
nitsimale
dans
le
analyse a t rduite en algorithme par l'invention des Calculs diflerentielet intgral; dans
le
comcelle
mthode d'exhaustion,
CHAPITRE PREMIER.
PRINCIPES
GNRAUX DE L'ANALYSE
INFINITSIMALE.
1.
Il
n'est
ait
prompte que
de l'Analyse infinitsimale
de
au-
efficaces
la
connaissance des
lois
la
nature-
En dcomposant, pour
jusque dans
comme
et l'imagination,
on n'a ja-
mais pu se former qu'une ide imparfaite de ces lments, espces d'tres singuliers, qui tantt jouent le rle
de vritables quantits, tantt doivent tre traits
comme
absolument nuls
voques, tenir
le
et semblent,
entre l'existence et
nant
['].
(') Je parle ici conformment aux ides vagues qu'on nment des quantits dites injinitsimales, lorsqu'on
se fait
commula
la
le vrai,
rien
n'est plus
effet,
qu'une quantit dite infiniment petite on Mathmatiques? Rien autre chose qu'e quantit que l'on peut rendre aussi petite qu'on le veut,
sans qu'on soit oblige pour cela de faire varier celles dont on
la relation.
cherche
Quelles sont dans une courbe, par exemple, les quantits dont on veut obtenir la relation? Ce sont, indpendamment des paramlres, les
coordonnes,
bien, les
les
Eh
dx
et
CHAPITRE
I.
Heureusement
de
la
dcouverte
il
laissent toujours
les
mais dont
fois tires,
ouvrent un
les
regarde en
effet
parce qu'on
les
considre
des autres quantits dont nous venons de dont on cherche la relation. Or il suit de cette seule dfinition que toute quantit infiniment petite peut se ngliger dans le cours du calcul, vis--vis de ces mmes quantits dont on cherche la relation, sans que le rsultat du calcul puisse en aucune manire s'en trouver affect. En effet, en ngligeant, par exemple, dans le cours du calcul dx ou tf)', par comparaison l'une quelconque des quantits dont on cherche la relation, comme x owy, l'erreur que l'on commet est aussi petite qu'on le veut, puisqu'on est toujours matre de rendre dx et dy aussi petites qu'on le veut. Donc, si le rsultat demeurait affect de cette erreur, on pourrait y attnuer cette mme erreur autant qu'on le voudrait en diminuant de plus en plus les valeurs de dx et dj donc ce rsultat contiendrait ncessairement ifa: ou dj, ou quelques-unes de leurs fonctions, ce qui n'est pas, comme on le sait, et ce qui ne saurait tre, puisque ces quantits ne font point partie de celles dont on veut obtenir elles n'entrent dans le calcul que comme auxiliaires, et ce la relation calcul n'est regard comme fini que du moment o ces auxiliaires en sont toutes limines. C'est donc dans cette double proprit, ide pouparler, et qui sont celles
;
:
voir toujours tre rendues aussi petites qu'on le veut, a" de pouvoir
l'tre
mme temps
la
valeur des
quantits dont on veut trouver la relation, que consiste le vritable caractre des quantits infiniment petites. C'est faute d'avoir fait attention la seconde de ces proprits qu'on a laiss
si
longtemps sans
r-
ponse directe et satisfaisante les objections captieuses qui ont t si souvent renouveles contre l'exactitude de la mthode leibnitzienne, car
ce n'est pas rpondre directement que de
se borner faire voir dans chaque cas particulier la conformit des rsultats de cette mthode avec ceux des autres mthodes rigoureuses, telles que celle d'exhaustion,
ou l'Algbre ordinaire c'est luder la difficult et pour ainsi dire, parmi les mthodes secondaires celle qui doit tenir le premier rang, autant par la rigueur mme de sa doctrine, qui sous ce rapport ne le cde aucune autre, que par la simplicit de sa marche, par o elle l'emporte incontestablement sur tous les autres procds connus jusqu' ce jour.
celle des limites,
:
rejeter,
PRINCIPES GNRAUX.
paru celle de
vague
se
ils
principes,
mais
sont trouvs
eux-mmes
di-
d'envisager les
ou plutt dans leur manire objets. Mon but dans cet crit est de
2.
La
difficult
conditions
du Calcul
effet,
infinitsimal. Lors-
en
il
de trouver la solution
est naturel
de chercher au
moins
sons,
en approcher
l'on prvoit
le
les
comme
inscrit
effet, si l'on
dans un cercle,
est visible
et
nombre des
du polygone augles
solides
les
sinon
lO
CHAPITRE
I.
respectivement gaux, au moins d'autant plus approchants de l'galit, que ce nombre de cts de^ient plus grand, d'o
trs g^rand
il
suit que,
effet,
en
En
xdemment de grandeur
que
le
mesure que
le
si
nombre de
l'on
suppose
polygone
soit rellement
compos d'un trs grand on pourra dire aussi que chacun d'eux
par hasard dans
le
se trouvait
cours d'un
l'on pt simpli-
beaucoup les oprations, en ngligeant, par exemple, un de cespetitsctsparcomparaison une lignedonne, telle que le rayon, c'est--dire employant dans le calcul cette ligne donne au lieu d'une quantit qui serait gale la somme faite de cette ligne et du petit ct en
question,
il
est clair
qu'on pourrait
le faire
sans incon-
Par exemple,
soit
au point donn
Soient
l'abscisse et soit
de
la
MBD
l'axe
;
[Jig.
i ).
le
centre du cercle,
DCB
supposons
DP = x^
la
l'ordonne correspondante
MP = j,
TP
sous-tangente cherche.
Pour
la trouver,
considrons
le cercle
comme un poSoitMN un de
ce sera videm-
ment
la
PRINCIPES GNRAUX.
1 I
plus
la
perpendiculaire
MO
Fig.
sur
NQ,
parallle
MP,
et
noiniiious a le ra\oii
du cercle;
cela pos,
nous aurons
videmment
MO NO
:
TP
mp,
ou
MO _
D'une autre
le
part, l'quation de la
point M-,
yy=: lax
rx,
la
elle sera,
pour
le
point N,
(v-hNO)2
= 2(,/;H-MO) = (.r-+-MO)2;
premire, trouve pour
le
point
M,
et rduisant,
on
MO
NO
2rt
NO
2.f MO'
12
-
CHAPITRE
I.
11
II
a ete
trouve
il
vient
Tp^
Si
donc
MO et NO taient connues,
on auraitla valeur
sont trs
MO, NO
trs petit.
Donc
(2)
on peut ngliger sans erreur sensible ces quantits par comparaison aux quantits ij et ix ^a auxquelles
elles
sont ajoutes.
Donc
l'quation se rduit
a:
il
est
au
pratique
il
puisque
;
les quantits
MO, NO
tites
tonn
si
on
que l'quation
TP = -^
mais
est
proche beaucoup du
parfaite exactitude
:
vrai,
plus
il
c'est
MP
TP, d'o
l'on
5.
Pour second
la
exenij^le,
supposons
qu'il soit
ques-
tion de trouver
PRINCIPES GXRVUX.
l3
comme un polygone
rgulier d'un grand nombre de cts; l'aire d'un polygone rgulier quelconque est gale au produit de son
primtre par
dr
la
moiti de
la
perpendiculaire
le cercle
mene du
tant consi-
comme un polygone
moiti du ravon
:
par
la
Quelque vagues et peu prcises que puissent donc deux expressions de trs grand et de trs petit, on autres quivalentes, on voit, par les deux exemples prcdents, que ce n'est pas sans utilit qu'on les
6.
paratre ces
emploie
dans
les
combinaisons mathmatiques
et
que
solution des diverses questions qui peuvent tre proposes, car, leurnotion
une
fois
le
admise, toutes
cercle, tre
les
courbes
considres
cts
;
comme
nombre de
une mul-
mme
espce qu'elles.
De
l nais-
combinaisons,
et l'on
les
exem-
7.
est
bien
plus
n'avait t
exemples rapports que ce qui lieu que comme une simple mthode d'approximation conduit, au moins en
il
regard en premier
CHAPITRE
I.
Il
se-
donc intressant de savoir distinguer ceux o cela arrive, d'y ramener les autres autant qu'il est possible,
changer ainsi cette mthode d'approximation en
calcul parfaitement exact et rigoureux.
et de
un
Or
tel
est
8.
l'quation
.r(2.r
+ N0)
MO
on
etlNO trouve (3), il a pu se faire qu'en ngligeant n'ait point altr la justesse du rsultat, ou plutt
rsultat est
MO
commente
vant.
la
suppression
ne
l'tait
point aupara-
Or on peut
est arriv
dans
du problme
trait ci-dessus
comme un
vrai polygone,
le
nombre de
ses cts,
l'quation
TP
r (2r
+ N0)
MO
certaine-
et
que '
le rsultat
ment
exact,
NO
dans
la
comme on le prouve par la comparaison CPM, MPT, on a pu ngliger MO et premire quation, et mme on a d le faire
calcul et dtruire l'erreur laquelle
lieu la
pour
avait
rectifier le
donn
l'on
tait
>r{IN(:ll'ES
(iKNKRWV.
parti.
Ngliger
les
le faut, et
les
condi-
tions
du problme.
9.
Le
rsultat exact
TP =
n'a
.'
donc
et
obtenu
que par
pensation
une
compensation d'erreurs,
cette
com-
manire un
le
peu
diffrente,
c'est--dire
en considrant
et
ceixle
comme
lygone.
Pour
un point R,
et
pris arbitrairement
M,
soit
mene
la ligne
RS
parallle
MP,
par
les points
et
soit tire la
T'P:MP::MZ:RZ,
et partant
T'P ou
rP-^T'T
= MP^. KZ
Cela pos, si nous imaginons que RS se meuve paralllement elle-mme en s'approchant continuellement de
MP,
il est visible que le point T' s'approchera en mme temps de plus en plus du point T et qu'on pourra par consquent rendre la ligne T'T aussi petite qu'on voudra
tion
donc je nglige cette quantit T'T dans l'quaque je viens de trouver, il en rsultera la vrit
TP = MP-
;
laquelle la
RS
MP,
c'est--dire
que
iC)
CHAPITRE
I.
le
membres de
aussi
MZ = 2.4-RZ 2 RZ
2.r
iMZ
la
quation
est
MZ
et
RS
approchera de
et partant,
MP,
si
,,
MZ et RZ seront petites;
,
on
,,,
1
quation '
MZ
RZ
le
= ;-^,
1-
laquelle
pourra,
comme
la
jugera
propos.
je serai
voudrai, je
deux quations
_ AIZ ^ TP=MP RZ
que je viens de trouver
et
MZ = ^ RZ
V
./
comme
;
.
si
ment exactes
dernire
tat
1
l'une et l'autre
1
sul,stituant
donc dans
.
la
,
-.
la
valeur
'
de
1
i^iz
RZ
tire
de
,,
.,
autre,
ai
pour
resul-
TP
=a
>
comme
ci-dessus.
.r
Ce
forme celui qu'on a obtenu par la comparaison des et cependant les triangles CPM, MPT, quations
TP = 7'^;r7;
RZ
nement
MZ
MZ
et
-;rT7
=ax BZ^
-^
d'o
il
a t tir,
sont certai-
RS
MP
mme
que
trs petite,
Il
erreurs
PRINCIPES Gli.NEUAUX.
I7
se soient
compenses bien
il
s'agit
maintenant de l'expliquer,
de rechercher
le
com-
moyens de
il
la
culier.
Or
suffit
commises dans
pouvant
tre
11.les
s'il
)
-
MZ
RZ
et
--
j\iZ
RZ
r = a
^^
.r
le
veut, celle
TP=
-^
X M
pourrait ^
MP,
P.S.
puisque,
le
point
tangente tant
,
il
donn,
il
ne
se trouve
.r,
-)
TP
donc
ne peut y
se
de
que
,
la
,
1P=)
et
-- et -^rn^^
MZ
MZ
V
-
dans
le rsultat
quantits dans
calcul
pour
conditions
tits
comme
n'y a
mmes
Mtaphys.
i8
ciui'iTHi:
I,
un
r-
11. L'inventeur a
sa
dcouverte
si
la place d'une
pu dire, j'emploie dans le une autre quantit qui ne lui soit point gale, il en rsultera une erreur quelconque mais si la diffrence des quantits employes l'une pour l'autre est arbitraire, et que je sois matre de la rendre aussi petite que je
;
voudrai,
cette
erreur ne
sera
point dangereuse; je
plusieurs erreurs
pourrais
mme commettre
qu'il
la fois
semblables sans
s'ensuivit
aucun inconvnient,
puisque je demeurerai toujours matre du degr de prcision que je voudrai donner mes rsultats. Il y a
plus encore
se
:
compensassent mutuellement
et qu'ainsi
cette compensation et dans tous les cas? C'est ce qu'un peu de rflexion aura pu faire dcouvrir en effet, aura pu dire l'inventeur, supposons pour un instant que la compensation dsire ait lieu, et voyons par quel signe elle doit se manifester dans le rsultat du calcul. Or, ce
;
telles
que MZ,
elles
RZ
ne
ne
tion,
la
volont du cal-
on
s'tait
propos de trouver
Donc
a lieu
le
est l'absence
l'IU.NCIPES
GNIRALX.
il
ly
ne
s'agit,
pour oprer
arbi-
DFIMTIOINS.
12. Les
quantits
se
distinguent
gnralement en
dtermines
et
nomme cojistantes ou
qu'on
nomme
on
celles auxquelles
au contraire, d'attribuer
Mais
il
faut observer
la
quantit
en
l'analyse, et
particulirement cette
infinitsimale.
branche
qu'on
nomme
analyse
un
i celles
la
mines
et invariables
par
nature
mme
de
la
question;
hypothses
par des conventions ou des subsquentes; 3" enfin celles qui doivent
De
la
premire de ces
les constantes
trois
classes sont
telles
ce qu'on
les
les
nomme
ou donnes,
que
pava-
De
la
deuxime sont
20
CHAPITRE
I.
que
les
veut en dcouvrir
les
proprits ou relations.
De
la
ou moins
arbitraires, jusqu' ce
que
le calcul
pour
celte
raison
Mais, quoique les quantits de cette troisime classe demeurent toujours variables, elles ne sont pas pour cela entirement arbitraires, et, de mme que les simples variables qui composent la deuxime classe sont lies avec les constantes qui composent la premire par
des quations ou conditions quelconques, en vertu desquelles elles ne peuvent varierque suivant certaines lois,
variables sont
par
les
conditions
mmes
de
la
le calcul est
de sorte
modes.
\.on\,e
quan-
qui
est
considre
comme
continuellement d-
croissante,
pour cela de
dont on cherche
la relation.
la relation
de certaines quan-
comme parvenu un comme fixe puis on compare ce systme fixe avec d'autres tats du mme svst T:i, esquels sont considrs comme se rapprochant
on considre
tat
systme gnral
PIUXCII'ES GENliRVUX.
21
continuellement du premier, jusqu' en diffrer aussi peu qu'on le veut. Ces autres tats du systme ne
sont donc proprement parler eux-mmes que des systmes auxiliaires que l'on fait intervenir pour faciliter la comparaison entre les parties du premier. Les
diffrences
tous
donc
petites
qu'on
le
qui composent
cherche
la relation.
la
na-
dcroissantes et
qu'on
tion.
le
changer
nomme On comprend
(jaantit infinie
ou infiniment grande.
qui sont infiniment
sous
le
nom
de quantits infinitsi-
males
petites.
d'employer auxiliairement
pour dcouvrir
tits
des quan-
proposes.
4o.
On
i-sultats,
Donc
les
2i
CHAPITRE
I.
On ne
que
au
commencement du
calcul
une
fois rempli, elles ne sauraient demeurer dans les formules et doivent par consquent en tre ncessaire-
ment limines. Il est d'ailleurs de leur essence de ne pouvoir tre employes qu'auxiliairement, car, leur nature tant d'tre toujours variables,
mme
lorsqu'on a
le
donn des valeurs dtermines aux quantits dont rsultat du calcul doit exprimer la relation, si elles
trouvaient dans ce rsultat, elles
qu'il doit rester fixe
;
se
et,
en
de cette
il faut bien que celles qui peuvent tre admises dans l'autre finissent toujours par
de quantits infinitsimales,
tre limines.
16.
On
voit par ce
mme
des
le
en-
oblig
de changer en
mme temps
la relation.
de
celles
quement que
l'RINCIPFS GNiRALX
'23
la
notion,
comme
on
le voit,
en
est parfaiteuient
17.
Pour
comprendrai
classes
dans
la suite
sous
le
nom
les
de
c/na/itits
dsignes toutes
celles qui
composent
deux premires
dont
nous avons parl (13), c'est--dire toutes celles qui font le sujet de l'analyse ordinaire et dont on veut obtenir
la relation,
le rsultat
du calnon dsignes
composent la troisime classe, c'estdemeurent toujours variables et sont par consquent plus ou moins indpendantes de celles qui composent les deux premires classes. Ainsi, c'est parmi les quantits non dsignes que l'on doit compter
donnes ci-dessus,
il
que
les
quantits
18.
dit l'exemple
dj trait.
Le rayon
MC
tant
donn
le
[fig-
i)
se trouve tre
une
quantit dtermine ds
mme
de la question
premire classe de
et
dont nous avons parl (13). Les lignes DP, MP, TP, MT sont d'abord variables ne deviennent dtermines que par l'hypothse subscelles
la
quente que
le
point
comme
j;4
ClIU'lTKi:
:
I.
du calcul ainsi, elles sont aussi des quanlils dsignes et de la deuxime classe de celles dont nous avons parl
(13). Ces
mmes
la
tangente et
M,
en
constante
MC et
le
celles qui
quelconques,
systme gnral
celles
des quantits
dsignes, c'est--dire
dont on
le
cherche
rsultat naire.
la relation et
du calcul ou
de l'Algbre ordi-
Au
la
car,
MZ
ger
et
la
RZ
que nous
MZ, RZ
,
que nous nommons injniment petites et les autres DQ, NQ, TQ, 'P, T'Q, qui sont videmment fonctions de ces quantits infiniment petites, demeurent galement toujours variables et par consquent sont de celles que
nous
nommons
Deux
\S).
infini-
ment peu diffrentes l'une de l'autre lorsque le quotient de Tune par l'autre ne diffre de l'unit que par une
quantit infiniment petite.
On
nient
dit
qu'une quantit
une autre quantit lorsque le quotient de la premire par la seconde est une quantit infiniment
petite, et
rciproquement alors
par
l
la
infinie
premire.
On
voit
qu'une quantit,
mme
infiniment
PRIXCIl'ES
GENERAUX.
'ly
petite,
telle
tit,
une quan-
Car
si
X, par exemple, soit une quantit infiniment petite, xsera une quantit infiniment petite relativement la
elle-mme, puisque
le
rapport de la seconde
la
pre-
ment
petite.
si
Pareillement,
infiniment
grande,
elle
vement
infinie.
X-, puisque
la
pre-
20. Cette observation donne lieu de distinguer les quantits infinitsimales en diffrents ordres. Si x, par
ment petite du premier ordre, x- sera une quantit infiniment petite du second ordre, x^ une quantit infiniment
petite
du troisime ordre
si
ainsi de suite.
Pareillement,
est prise
X- sera X^ une
ainsi
de
du
mme
ordre lorsque leur rapport est une quanque, de deux quantits quelconques
tit finie.
Toutes
les fois
se
et l'autre
quantit
2(>
ciAi'iTiir:
i.
(iccessoire. Ainsi,
la
somme
dans
la
X-f-a'
X
et,
est la quantit
la
somme
or-f-x-,
x-
est la quantit
accessoire.
21. Comme il est important que les diverses notions donnes ci-dessus deviennent familires, nous entrerons
mais
difficult
pos, mais qui par leur liaison avec les premires peu-
vent servir
comme
d'intermdiaires
On
ont
comme
s'en trouve
qu'on
soit matre
de
les
rendre toutes
mme temps
donne
les quantits
impor-
nomme Ana-
de faire choix de semblables auxiliaires, les plus convenables suivant les diffrents cas, de s'en servir de la
manire
la
l'limination de ces
mmes
PRfXClPES GNRAI X.
pliis
0.-
dans
les
formules que
dont on
de trouver
les
commenons par
les diverses
ce svstme fixe
Considrons maintenant
le
puisque
les relations
premier,
nommons
ce
auxiliaire s'approche
premier s'appro-
systme
fixe,
en
mme
temps aussi
ces diff-
rences respectives seront ce que nous avons appel quantits injininient petites
(
i4).
Comme
ment
tat
les quantits
auxiliaires, elles
calcul,
du
2S
CHAPITRE
il
I.
premier, d'o
suit
que
les
mme
23. Maintenant je
riv
si
me demande
ce
qui
serait ar-
dans
le
cours du calcul
on et rencontr une
que celte
le
veut
nglige, pour
comme
de
la
premire.
naturelle serait sans doute que l'eri-eur
La conclusion
pour cela
il
mme
ou quelques-unes de
;
dans
le
rsultat de ce calcul
autrement,
sur lui
aucune intluence
le rectifier
et
Donc,
si elle
ne
s'y
que l'erreur
se sera rectifie
la
marche du
rait tre
ne pour-
qu'infiniment petite
le
cours du cal-
cul a d disparatre d'une manire quelconque, et c'est ce que les propositions suivantes dmontreront rigou-
reusement.
PRINCIPES GEMRALX.
29
l'RINCIPE
FONDAMENTAL.
24.
Deux
Dmojistration.
l'une ni l'autre
Ce
COROLLAIRE PREMIER.
25.
Deux
seniejit
moment que
leur diff-
En
effet,
soient
;
et
les
traires
proposes
contre l'hypothse.
n'existe pas.
Donc
les
cette prtendue
Donc
COUOLLAIUK
26.
II.
Pour
il suffit
une quan-
En
non
effet,
arbitraires
;
tre
arbitraire
donc
une
quantit dsigne
3(>
CHAPITRE
1.
les
quantits
suffit
de prouver que,
si elle
existait, elle
111.
Toute valeur qu on peut rendre aussi approxide la vritable (pianlit qu'elle reprsente, sans qu'il soit besoin pour cela de rien chani^ei- ni V une ni l'autre, est ncessairement et rigoumaii'^e qu'on le veut
reusement exacte.
En
effet,
l'autre aussi
peu
par
elles se trouvent
dans
le cas
du
corollaire II.
Donc
elles
COROLLAIRE
^
IV.
comme
absolu-
ment
nulle, encomparaisoji
ne peut tre, comme la premire, suppose aussi petite qu'on le veut, sans que les erreurs qui peuvent natre ainsi dans le cours du calcul puissent en affecter le
rsultat,
du moment q ue toutes
en ngligeant
les
quantits arbitraires
en seront limines.
En
effet,
comme absolument
nulles les
ne peuvent de
le veut,
mme
qu'on
ou qu'elles
est vi-
!>IUXCIPES GliNKAlX.
3l
le
dent que
les erreurs
cours
du calcul ou en afFecler le rsultat pourront tre pareillement supposes aussi petites qu'on le voudra; donc il restera dans ce rsultat quelque chose d'arbitraire, ce
qui est contre l'hypothse, puisque toutes les quantits
ai'bitraires
COROLLAIKE
29.
V.
le
peut tre nglige coimne absolument nulle en comparaison de cette dernire, sans que les erreurs auxquelles
cela peut donner lieu dans le cours
du calcul puissent
les
en affecter les rsultats, du moment que toutes tits arbitraires en sont limines.
quan-
Ce Dans
corollaire n'est
le corollaire
IV,
tait
suppos que
les
quantits
les autres
le corollaire
V, on suppose que
rapport des unes
les autres
que
aux autres
qu'on veut
unes
et les autres
dmonstration est
il
la
le
corollaire IV,
car
s'il
autant qu'on
soit
le
celui-ci,
puisque alors
il
jU
CHAPITRK
d' arbitra ire,
I.
chose
supposes tre
limines.
ment
que
les autres
quantits du
dans
le
cours du calcul,
comme on
donna
l'a
vu ci-dessus, sans
duCalcul infi-
que
le rsultat
pour
ne diffrent entre
petite.
elles
Ce principe
plicit et
comme une
tits
comme
des quan-
celles qui
cies
ou
saisies
de laisser douter,
en quelque sorte,
proximation.
L'illustre
s'il
comme
abso-
hommes
par
la
fcondit
PRINCIPES GKNKAlt.
3'i
manire directe,
nud de
la
des vrits dont tous les esprits justes sont frapps d'a-
dmonstration rigoureuse
M.
que
Calcul dif
ses
(pii
infiniment petits
ruinerait l'exacti-
Mais,
si
en formant des doutes sur l'exactitude de sa propre analyse, si tant est qu'il eut
pouvait rpondre
Vous me demandez
quantits infinitsimales
je vous dclare
que
je
n'en-
comme
que je veux, sans que je sois oblig pour mme temps les quantits dont je
que je
suis
parvenu en liminer
les
quantits infinitl'ai
ramen
ne plus renfermer que des quantits algbriques ordinaires. Jusque-l je ne regarde mon calcul que comme
Mctaphys.
'.
I
ii\i'rri',i:
i.
cuncilici' la
le
cours des
oprations, avec
simplicit
les
de
mon
algorithme, ont
imagin de considrer
comme absolument
nulles, ne se
dispensent point de
et,
sans contester
qu'ils
la
ne ga-
mmes,
qu'ils
les
rencon-
une autre
difiicult
c'est
que tous
termes de
mme
temps, de sorte
les rapports in-
les avais
d'abord
considres
comme moindres
sont-ils
En
chimriques, ne pourraient-elles pas que ces zros purs tre compares l'une l'autre? Concevez-vous mieux ce qu'est une quantit qu'une quantit inapprciable? i imaginaire, telles y Et cependant hsitez-vous dire que le rapport de
comme
\^
\J
est
elles
ne sont-elles pas ce qui distingue essentiellement l'anaIvse de la svnthse, et mme ce qui fournit la premire
ces ressources prcieuses dont
je vous
manque
demande
il
ce que
signifie
laquelle
imaginaires,
dans
le cas
comme me r-
pondez que
cette quation
connatre les
PIllXr.ll'KS r.KNKRVlN..
S'
<"liose
je ne les
emcal-
ploie
que comme
auxiliaires. Je conviens
que
mon
venu
jusqu'alors
il
n'est
point
achev, et
l'est-il
Le vtre
vos zros?
visager
davantage avant que vous l'ayez purg de tous Au surplus, dans ma nouvelle manire d'enla
question,
c'est--dire en considrant
mes
quantits auxiliaires,
petites ab-
comme
indfiniment petites, je
mets
mon
c'est--dire
mthode, non d'approximation, mais de compensation, une mthode qui runit la facilit d'un simple
mthodes
les
que
la
mthode
mme
rithme. Je sais qu'on peut y suppler par la mthode d''exhaustion elle-mme, par celle des limites, ou mme
par
la
mais
il
faut savoir
si
ces
la
autres
mthodes runissent
au.
mme
degr
que
mienne la simplicit la fcondit. Je m'en rapporte sur cela aux illustres gomtres qui proposent bien d'autres mthodes en thorie, mais qui dans la pratique se servent
de
la
mienne.
Mais
est
31
s'il
bon
-seraient plus
propres entraver
n'en faut'pas
moins
tablir
solidement
et
d'tre
cioieiil avoir
U)
s
II
rnvi'iTRK
I.
Misa ni ment
t'-labli le
fait
il
est vident,
les erreurs
avou de tout
monde que
auxquelles
les
neraient lieu,
V en avait, pourraient
le
toujours tre
il
voudrait;
est vident
car,
puisqu'on peut
la
suppo-
ser o
donc
les rsultats
rij^oureusement exacts.
aspect, n'est
est faux
dedireque,
veut,
on puisse pour
1
/
(
nulle, l'ar
exemple
'
/
.'
\
.
//i' <^
).
j\2
= n
.1-
ve (9) est une quation toujours fausse, quoiqu'on puisse en rendre l'eiTcur aussi petite qu'on le veut, en
diminuant de plus en plus les quantits MZ, RZ car, pour que cette erreur dispart entirement, il faudrait mais alors rduire ces quantits MZ, RZ au o absolu
,
;
1.
1
eouation se rduirait 1
j)eut
,!,<> - =
a
oc/
y
'-
>
quation qu on ne ^
est insigni-
fiante,
On
la
se
ou de comsuprien,
prcisment
nud
de
la
difficult
dans l'A-
nalyse infinitsimale.
S'a.
tits
comme
des
incompd-
l>Rl.\CII>liS
GIJNIALX.
3;
rables, dans
est
la
le
incomparable par
Terre,
le rsultat
mthode d'approximation
la
utile
cependant pourlaciliterrexpresslon
mme
subsister. Elle a
par cela
mme
qu'elle a t
le
seulement dans
opr une
indique d'une
par l'limi-
finales,
des principes de l'Analyse infinitsimale leibnilzienne: mais, pour en rendre l'application plus facile, je crois devoir les prsenter encore sous un jour un peu diffrent.
J'appelle quation
on
sait
cependant que
s'il
tre
telle
il
le
c'est--dire
suffit
seulement
tits
quelques-unes d'entre
elles, d'autres
quan-
est
clair
CHAITIIIK
f.
sans
leur
ter le
caractre
d'quations imparfaites,
comme, par exemple, de transposer les termes d'un membre dans Taulre de multiplier ou diviser ces deux membres par des quantits gales, de les lever aux
,
mmes
les
lmes racines.
les
pales, sans
peuvent enfin
qu'il est
tion d'erreurs.
Mais ce
important de remarquer,
c'est
que
absolue,
comme
le
il
chemin
plus court, et
])lus
commodes, avec
ler les quations
la seule
dont
il
pal,
considration de
la
thorie
h'
de
l'infini
peut tre
regarde
comme
renferme dans
thorme suivant.
noiiiiMi:,
<jii' uik-
3i.
Pour
iHie certain
tjiKiliiMi
est
iirrcs-
l'IUNCII'KS
(iKNUAVX.
il '<nfjit
'<.)
suucntcnl
surer
i"
:
cl
tigoiLicuseineni exacte,
de
as-
Qu'elle a t (teduife
i/)i/>ai/'aites, ])ar
(l't/nalio/is
vr(des
ou du
moins
faites:
2"
ont point te
le
dont on
Dmonstration.
Ibrmalions qu'on
les Irans-
pu
l'aire
d'quase
tions au
que
j'ai
nommes
le
on
s'est
propos de trouver
les
la
relation.
Donc
lument fausses, c'est--dire afectes d'erreurs qui ne puissent tre rendues aussi petites qu'on le veut, ni de
celles
que
j'ai
nommes
et
imparfaites.
ncessairement
lait
rigoureusement exactes.
dmontrer.
COnOLLAIRE P1\EMIEU.
35.
Que
les
quations dont
il
par des
4o
CHAPITRE
I.
eli lang-ag'e
ordi-
pour arriver la solution d'une cpieslion on tablit ses raisonnements sur des propositions
que
les erreurs qui
Donc, quelconque
telles
des proposi-
ai^bitraire,
ces
reusement exactes.
t;UltOLLAIl!E
II.
36.
11
suit
du tborme
et
du corollaire prcdents
Exprimer
les
conditions de
la cjuestion
propose
soit
soit
2"
verses manires, sans jamais leur faire perdre leur caractre primitif d'quations au
transformations,
37.
En terminant
le
com-
grand
homme
dont
le
monde
savant
PRINCIPKS GKMiuALV.
4l
il
dplore
la
me
semble que,
comme
dans
et
le
Calcul diflerenliel
effet
on calcule en
les quantits
mtapbysique de ce
Calcul consiste en ce que l'erreur rsultant de cette fausse supposition est redresse ou compense par celle qui
nat des procds
mmes du
calcul, suivantlesquels on ne
du
courbe
chacun infiniment
tangente de
la
dont
courbe,
;
est clair
qu'on
sition errone
mais l'erreur
se trouve corrige
ment
ficile
petites. C'est ce
qu'on peut
il
faire voir
aisment
ma
mtaphysique de l'Analyse
et
telle
infiniles
tsimale,
telle
qu'on l'emploie
que tous
gomtres conviennent
cilit
pour
la fa-
auteur
mme que
je
viens de citer,
et je crois
le
principe des
com-
pensations d'erreurs,
au surplus qu'il ne
manque
dmonstration que
38.
donne.
les prin-
^^
ClIAPITltlL
I.
exemples pai
licullers,
avanlde
imprim
dit n'appartient
encore qu'
la
synthse et l'analyse
mme trs
importante
et trs
lumineuse,
et, si les
anciens
mthode d'exhaustion qu'elle supple, ils eussent grandement simplifi leurs travaux et ils eussent probablement pouss leurs dcouvertes beaucoup plus loin qu'ils ne l'ont fait, car ils
l'eussent possde, au lieu de la
cjui se
seule notion de
Quant
l'usage
la
peut faire de
mme
l'al-
gorithme qui
duction
lui est
propre,
tonn de
main
habile.
PROBLIiME
1.
une cyclode ordinaire, dont le La proprit principale de cette cyclode est que, pour un point quelconque m, la portion mp de l'ordonne comprise entre la courbe et
Soit
[jig- ^)
AEB
la
circonfrence.
Cela pos,
menons au point /^ de
cette
mme
circon-
point
la
de
cvclndc.
PRINCIPES GENEU.VLX.
Pour
cela, je
//</
inlini-
iienl proclie
de
cL
par
le
point
je
Fig.
mne mr
que nin,
pai'allle
comme une
alors
11 est clair
que
les
deux
mr
ni-
'.'.
Tp
'.
m/). Mais,
puisque par
E/7
la
proprit de
la
cyclode on a Kf/
ju/ et
en retranpremire,
chant
E(/
la
Ep =z
ncj
seconde de ces
1)1
quations
p, ou p<j
/?/,
ou
= nr. Donc,
on aura
sous-tanla
cause de
la
T /)
= nip
ou
T f)
= Ep,
c'est--dire
l'arc
que
correspondantE/7. Or,
comme
ment
exacte.
;OBLEME
40. Pruin'er tpic
11.
deux p) raniides de
ninies hases et
de
mme
en voliuiie.
(concevons
44
CHAPITRE
I.
paral-
ces pyramides.
Or
je dis
En
effet,
est
elle-mme une
la
pyramide tronque,
petite de ces
plus
avant
et
pour paisseur
la
pour base
l'autre
la
mme
tronc
la
rence entre
la
mme
se rappro-
leur diffrence
le
veut
Donc
mme
quelle
tranche la-
appartient.
Cela pos,
nommons T
et T'
les
tranches correspondantes dans les deux pyramides, et// les portions prismatiques, q et
(f
les
onglets; nous
aurons
les
T=:;/^-t-(7,
= /j'+^',
a
/>
ou
y;=T
(j,
p'=:T
q'
[Mais
/>
mmes
bases et de
mme
hauteur; tionc on
//;
:
on
aui'a
-\-
= T'+
=: T',
q'
ngligeant q et
que nous
on aura
PRINCIPES (iKNERAl\.
^>
si elle
est exacte
ou seu
comme on
peut appliquer
composent les pyramides entires ce que nous venons de dire de deux d'entre elles, il suit qu'en nommant P et P' les volumes entiers des deux pyramides on aura P P'. Or ces deux volumes des py-
= P'
est
de
l'infini.
Donc
elle
sement exacte.
XRE DMO ^ STU AIOlV
Al
t\
Il
est vident
mme
La tranche
des
est
est
deux prismes
et plus
l'autre.
Donc
la
somme
moindre que
il
somme
que
des
la
somme
de
est clair
la dif-
mides, moins
la
somme
mmes
la
somme
Or,
grandes et
tion
la
de toutes
mme
de
ciivi'iTiu-
1.
Ijase.
quivaut
la
]a
base
mme
de
la
la
Or cette somme
somme
la
mme
pyramide.
compare les prismes inscrits et circonscrits dans chaque pyramide aux prismes correspondants de l'autre, on trouvera qu'ils ont tous respectivement mmes bases et mme hauteur. Donc ils sont
Maintenant,
l'on
respectivement yaux.
Donc
la
est
moindre que
la
la
somme somme
des prismes circonscrits et plus grande que des prismes inscrits. Donc, puisque ces
sommes
infini-
les
ment peu
diffrentes
Tune de
l'autre.
Donc, en
faisant
comme
rement dgage de toute considration de l'infini, elle est ncessairement et rigoureusement exacte. Donc deux p\Tamides de mmes bases et de mme hauteur sont
gales entre elles.
rioiLMF.
-42.
m.
est
Pi-oin'cr
(jiir
l'aiie
^alc
du
c}
lindre cpd
Soient
AGB
ifii^'
la
demi-circonfrence gnratrice
i\ le
de
la
centre,
\B
le dia-
nilre,
ADEB
le
cii-
conscrit,
mr une
la
demi-
circonfrence gnratrice, sinjK irq des perpendiculaires sur le diamtre AB. prolonges jusqu' sa parallle DE,
mn
le
la
une perpendiculaire mene du point m sur //y/, dm rayon men au point m. Je vais d'abord prouver que zone engendre par le petit arc nir est gale Taire de
Pour
ts.
polygone
de ces c-
les triangles
:
mn mr
les
ms me,
mn
'.
/)(/
et
que
7//\,
mC
sont entre
elles
cire.
comme
777.?
'.
mrW
cire,
ms
circ./j/C,
ou
X nir =
il
C.
jxj
Mais
est vident
que
le
convexe du pela
le
trapze mstr ou de
77/7-
petite
l'arc
considr
est l'aire
comme
de l'an-
membre
4S
iicau cvlliuliiqiic
(|iii
riiM'iTiiK
r.
lui
correspond.
Donc
Taire de
la
du petit anneau. Cette galit n'tant point dgage de l'infini, nous ne pouvons encore savoir si elle est exacte ou seulement imparfaite; mais, comme nous pouvons appliquer toutes les zones infiniment petites ce que nous avons dit del premire, nous en conclurons que gnralement une zone quelconque de grandeur dtermine est gale
la portion
lui
correspond,
l'infini,
'UOBLEME
43.
Prouver que
le
moiti du cylindre de
Soient [Jig. 4)
son axe.
mme
\p
l'abscisse
pm
l'or-
PRINCIPES GNRAUX.
;//, Il
49
inr jus-
mt
le
prolongement de
qu'
rencontre de
la
cjn.
Je considre
finit
courbe
de cts, et vin
la figure
comme un polygone d'une incomme l'un de ces cts. En imale petit tra-
ginant
pzey77n/iy
le petit
et
trapze
qui
fait le
quadrilatre
A ^/z^. Or je dis
que ces deux lments sont gaux entre eux. En effet, il est clair que le premier, c'est--dire celui du parabolode,
est,
tites
en ngligeant
les
et
que
cire. A/'.
Mais on
a rs
et
comme
dans
la
para-
= j/>T.
devient
Donc le second lment indiqu ci-dessus nt^pT c\vc.pjn. Or les triangles semblables mnt,
'.
Tnip donnent tn
prcdente,
elle
rnt
: :
pm Tp
'.
donc Tn. Tp
cire.
= mt.pm.
est la
deviendra mt.pm. ^
les
pm, qui
mme
que
comme
j'imagine tout
mme
rai-
sonnement que
ci-dessus, je conclus
que
la
somme de
volume
moiti
mme
la
somme
des lments du
la
volume complmentaire,
de toute considration de
parfaitement rigoureuse.
C.
et par
consquent
ncessairement
A
et
Mtaphjs.
5o
CHAPITRE
I.
PROBLEME V
44. Dmontrer que dans le mouvement uniformment acclr les espaces parcourus sont comme les carrs des temps, compter de l'instant oii la 'vitesse
tait o.
est celui
dans
mme
poque. Si donc on
nomme
et
t'
v^
cette vitesse,
le
temps et stant on
l'espace,
temps coul
'.
et E'
on aura, par hypothse, v v' :: t t' et il s'agit ti'-. de prouver qu'on a E E' Considrons la vitesse comme croissant par des degrs
,
p l'augmentation
fois.
infini-
ment
chaque
le
commencement
termes de
le la
de suite, selon
les
progression
est o et
premier terme
raison p.
Nommons
vitesse l'autre.
les
mme,
la vitesse tant
regarde
comme
uniforme,
^pq,- -, aussi selon les termes d'une progression par diffrence. Donc l'espace total parcouru,
o, pq, "i-pq,
c'est--dire la
instant, sera la
gression.
Or
la
somme
DE l'algorithme.
5i
multipliant
le
la
moiti du
est
au petit temps q multipli par le nombre des termes moins un si donc on nomme n ce nombre de termes, on
;
aura
t
=1 q[n
ou
=:
q
(jr
comme
donc
la
infini-
ment petit
finale est
l'gard
de
t,
on aura
/;
= -;
vitesse
pin
la
ou /;- Donc
la
somme
des termes
>
c est-a-dn-e
i' q .q
ou on aura ^
:=
lq-
Par
mme
-:
donc
9.q-
E:E'::
V-'.l'-,
proportion
l'infini,
considration de
est
ncessairement
rigou-
reusement exacte.
45. Ces exemples suffisent pour montrer
comment on
;
le
raisonnement
est
et l'Algbre ordi-
nous
al-
comment on
parvenu
rduire
52
Cd.VPITRE
II.
CHAPITRE
II.
46.
Une
gnraux de
la
nouvelle
nomil
que parmi
en est d'une classe particulire qui s'offrent beaucoup plus frquemment que toutes les autres ce sont celles
:
qu'on a
nommes
diffrentielles
On entend par le mot diffrentielle la diffrence de deux valeurs successives d'une mme variable, lorsque l'on considre le systme auquel elle appartient dans
deux ou plusieurs
tats conscutifs,
dont l'un
est
regard
comme
comme
le veut.
se rapprocliant conti-
nuellemept
et
diffrer avissi
peu qu'on
indique tout
la fois
que
la
une
diffrence, et
que
une quantit
La diffrentielle d'une quantit s'exprime ordinairement dans le calcul par la lettre d mise au devant de
celle qui
exprime
la variable
ainsi
dx
signifie diffren-
DE l'algorithmp:.
tielle
53
f?- signifie
difTrentielle de la fraction -i
c'est--dire la
quantit
a:
augmente e dx c\j de dy. La lettre d ne reprsente donc point une quantit, mais elle est employe comme simple indice; ce n'est qu'une abrviation de ces mots
diffrentielle de, et elle porte dans le calcul
cafact?'isti(fne.
le
nom
de
diffrentielles,
considr
comme
cond.
qu'on a
fait
et
que
la variable
dont
il
s'agit,
comme on
le
l'avait
changement gnral de l'tat du systme. Ainsi, par exemple, un arc de cercle moindre que le quart de la
circonfrence tant reprsent par
s,
sa diffrentielle
sera ds, celle de son sinus sera dsins et celle de son co-
mais que
le calcul
comme on
mentant ou en diminuant, on entend toujours par sa diffrentielle la diffrence de sa seconde valeur la pre-
54
CHAPITRE
la
II.
mire, et on
tique d,
la
caiactris-
suivie
de
la
variable et prise
positivement,
lui-mme
faites.
les fausses
loi
Lorsque plusieurs quantits variables sontlies par une quelconque, comme le sont par exemple l'abscisse et
l'ordonne d'une courbe, l'accroissement de l'une dtermine ncessairement l'accroissement de l'autre. Ainsi,
et l'ordonne. par
j,
il
dx et dj une
de de
X ele j elles-mmes. Et rciproquement, la relation X et j^ dpend de celles qu'elles ont elles-mmes avec
dx, dj. De
l les
leurs diffrentielles
deux branches de
de plusieurs
les diffrentielles
Ton con-
la relation
49.
Or
il
est ais
de concevoir combien
les rgles
de
je
ne puis aperce-
ment
y parvenir par l'entremise de quelques quantits Mais de toutes les quantits auxiliaires, l'usage apprend qu'aucune ne donne lieu plus de sim
auxiliaires.
plifications
est
que celles qu'on nomme ijinitsirnales il donc naturel de les introduire autant que possible dans les combinaisons. Alors il arrive, ou qu'elles s'b',
DK l'algorithmi:.
55
minent d'elles-mmes
briques ordinaires,
la
et,
procds
qu'on
nomme
Calcul diffrentiel, ou
il
faudra recourir
sont de
gral.
comptence de ce qu'on
ces calculs est
nomme
Calcul int-
Le premier de
le secojid,
beaucoup plus
facile
que
aucun procd qui ne lui soit commun avec l'ancienne analyse mais le Calcul intgral exige des procds fort
;
sont occups.
l'esprit
Mon
objet
ici
n'est
que de
la
faire connatre
de ces mthodes
et
d'indiquer
marche gnle
rale
Calcul diffindispensable
rentiel,
comme
le
plus simple, et
comme
pour parvenir
en
la
DU CALCUL DIFFREiTIEL.
50.
tit
Nous avons
dit
que
la diffrentielle
d'une quan-
cond
premier
il
s'agit
du sedonc
de trouver cette
c'est--dire
pour tous
pour toutes
dz,....
Il
faut d'abord
56
CHAPITRE
II.
finie el celle
par laquelle on
le
systme
tats
mme
ment dtermine
rait rien
serait
ainsi l'on ne pourle voudra y ngliger sans commettre des erreurs qu'on ne plus mme de rectifier. Mais si les deux S3'slmes
mme
le
va-
voudra;
deviendra ce qu'on
nomme
une
diffrentielle et
ne
que
la diffrence
ordinaire simplifie
parla suppression des quantits qui, dans son expression, pourraient se trouver infiniment petites relative-
ment aux
le
principe gnral de
51.
Il
suit
videmment de
pour diffi^entier une quantit ou une fonction quelconque de cette quantit ou de plusieurs quantits combines, que j'exprimerai par o(jr, t
Ja
j",
,
z,
), il
n'y a qu'
considrer dans
le
second
x -+- dx, y
. . .
-f-
dj,
-{-
dz,
elle-mme
,
(j)
H- dr,
-i-
d\\ z
-\-
dz,
d'abord, c'est--dire
la
cp
(j^,
}, c,
.),
d.r,
-f-
dy, z
-\-
dz,
.\
(^[ .r,
j, z,.
.],
i)K
l'algorithme.
57
et alors
tielle, il
pour passer de
les
gligeant
infiniment
ou dentelles seraient retranches. Il ne nous reste donc plus qu' appliquer cette formule gnrale chaque cas
particulier.
la
somme
4- z
a-,
-h
/>
-4- .r -f-
les
unes
h sont constantes
-\-
h -^
x -^ y -^
z^.
les
con-
aucune
X,
jn^
-f-
-4- .r
4- j
-f- z)
=:
H-
rt
-I-
4^/z
)
(.r -+-
<r/.r
-<j
-+-
dy]
z
)
H-
+ H- + j -f
.r
H- 6
.r-
4- j
-+-
rf.r
H-
dy
4- dz
c'est--dire (^weladiffventifiLle
d'une
de constantes construites
et
de iHiriahles variables
est scile a
x j\
on aura,
d'a-
r]
[-^
(i-^)
[.r
+ dy] -
[x
- j)
OU, en rduisant,
d[x
c'est--dire
y) z^ dx dy,
de la di^erence de
que
la diffrentielle
58
CHAPITRE
II.
ax -\-bj
cz\ on aura,
par
la
formule gnrale,
d[ax
S3.
-\-
by
cr.
z=:i
a dx
^ h dy c dz.
le
produit xy\ on
formule gnrale,
-^
dx][y
^ dy] .ry
-4-
ou, rduisant,
X djMais,
-h
y dx
dx
d)
comme ils'agitnond'une
la diffrentielle,
diffrence quelconque,
le
mais de
on remarquera que
le
dernier
terme
dx dy
chacun
il
donneX
et
par
^
le
second
^i
)
qui
sont videmment
Donc
donc
la
formule se rduit
-\-
dxy
= X dy
y dr.
On
trouverait pareillement
dxyz
et
= xy dz H- xz dy
plus grand
:
-i-
);
dx
de
mme pour un
nombre de
le
facteurs,
Pour dijjrener
il faut
produit de
prendre la somme
cune par
le
produit de toutes
les
autres variables.
la
fraction-'
DE l'algorithme.
5f)
Suivant
la
formule gnrale,
.r -}- ri r
la
.V
diffrence sera
ou, en rduisant au
mme
tv/.r
dnominateur,
.rr/)_
or,
comme
faut effacer
terme j>
-.
Donc on aura
cl
X r
"
yrt.r
.vdv
:
pli
au dnonnnateur de cette fraction uiultipar la diffrentielle du numrateur, moins le numrateur multipli par la diffrentielle du dnominateur, le tout divis par le carr du dnominateur.
55. Soit propos de diffrentier x'"
Si l'on fait successivement
m =r
o.,m=
?>,
m = 4,
;
on pourra regarder .r'" comme le produit de x multiplie par elle-mme une fois, deux fois, trois fois, etc. ainsi on pourra y appliquer
rera en gnral
d.i'"^^. nix"'-^d.r.
la
ti-
Si l'on suppose
successivement
m^=
m = 3.
i,
si
m = 2,
l'on veut
mme,
,1
il
pour diffren-
6o
CHAPITRE H.
galement
la for-
mule
(/./'"=: w.i-"'^'c/.r.
Si l'on
soit
une fraction
--
on fera x*? 3 levant chaque memljre la puissance on auraa:^=: z^, et, diffrentiant chaque membre par
;
^,
la
rgle ci-dessus,
on aura
p.'P-^
dx
qzl-^ dz,
^
;
d'o je
tire
dz
substituant dans
x'i
.
le
second
membre pour
z sa valeur
on aura
dz
'-
'-x'i
qa''-''
'l
d.i:
=m
./^"-' d.r,
mme
puissajice
ou fractionnaire, est le produit de V exposant de la par la variable leve une puissance moindre d'une unit que la puissance donne, le tout
06.
Mais
les
cependant
elles
DE l'algorithme.
6i
auxquelles on a donn
le
nom
de transcendantes
telles
que
cela.
les quantits
logarithmiques et angulaires.
Nous
pour
a-'-',
a tant une
cherche
I
quantit constante et
x un
exposant variable.
la diffrentielle
Suivant
sera
fii-^dx
le
principe gnral,
^,.r^
^^^^
n" d'^''
a''
nu
a'
'a''"^
),
c'est--dire
qu'on aura
(Jfi^
(A)
a^ [a^^
\)
il
faut faire en
soit point
Pour
cela je fais
a^^
-+-
h\ j'aurai
donc
binme de Newton,
n"^'
-'^
d xb -\
la
flxb-
[cl.r'
"1
I
1
d.r b^
{dx
i
'
(chr
':>]
'
'1.6
et,
comme
les
le
dx
disparat de-
vant
nombres
posant
/,
V
/;2
b^
/;V
4
a'^'^
mule (A)
(B)
et
dans
i,
la
for-
on aura
.
da^= a-dx[{a
La
.].
58.
69.
CHAPITRE
II.
le
base a du systme,
x=
log^-^
donc dx
= dlo^a''.
. .
<fj:
on
tire
Supposant donc, pour abrger, que ce dernier facteur, qui est constant, soit re|)rcsent par m, on aura, pour
m dy ,nogr=L.
Le nombre m, qui est, comme l'on voit, une foncconnue de la base n du systme logarithmique, est ce que l'on nomme module de ce svstnie. i Le cas le plus simple est celui o l'on suppose m
tion
nom de leur clbre inventeur, le baron de Neper, ou encore logarithmes hyperboliques, cause de leur connexion avec la quadrature des portions de la surface comprise entre l'hyperbole quilatre et ses asymptotes.
59. Puisque nous avons fait en gnral
[a
i
I
)
)^ -I- -j
<7
I }3
DE l'algorithme.
63
pour
le
cas o 77*1=1,
(
r/
<-; (
)- -+- -j
<7
1 )'
I ,
ce qui
= 2,7i828i8?.8459o45...,
i
que la base des logarithmes naturels, ou le dans ce systme, est nombre dont le logarithme est trs peu prs le nombre prcdent, qu'on est convenu
c'est--dire
la lettre
x=
loge*
9.,
1828 18-^8459045....
faites
cal-
= logio-*
1
=
G
'''
O* =:
=2
G'
....
et les valeurs
de
a:
4>
En
(''
')}( i)'-h
;("
ij'
on
par approximation
777-G, 4 34 '294 48.
.
.
c'est--dire
que ce nombre
est
le
ordinaires.
60.
Tous
les
64
CHAPITRE
II.
suffit
de
les
mme nombre
pour
le lo-
passer
un
autre.
En
effet,
soient
la
logarithme du
la
mme nombre
a'
.
base soit
Nous
aurons donc
Donc
Prenant
est ,
les
logarithmes dans
le
systme
dont
la
base
on aura
ou
l.)gK.log=r()gK.l<)grt'.
Donc
logKil'ogK
Mais par
la
::
l()g' :logr/.
mme
logK'
:
nombre
K',
l'ogK'
l<)g
log^.
Donc
logR;l'(,gK::l..glv':l'ogK'
ou enfin
logK:
log-K'
::
l'og K:l'()gK'.
Donc
des
les
le
comme
les
logarithmes
mmes nombres
.
61
il
faut
mul-
DE LALGORITIIMf:.
li
C) )
(l'un
ve ci-dessus
loi^K:lWK::lo"./:iot
donne
i,
c'est--dire
que
la
il
pour avoir
premier.
62.
le
md^
K
""
"^'"
'ni
c'est-c-dire
par
le
module de ce systme.
Or nous avons
ce
le
module
m =^ 0,4342944^-
nombre
ou npriens pour avoir les logarithmes tabulaires. Donc, rciproquement, si l'on a les Tables ordinaires calcules, il faudra diviser chacun des logarithmes de ces Tables par 0,43429448 pour retrouver les logarithmes naturels, ou, ce qui revient au
C.
mme,
les
multi5
Mtaphrs.
GG
iilier
CHAPITRE
II.
ffal
t~>
,,,
0,43429448
et,
1 ce
dernier
les
nombre
Tables npriennes.
63.
/i'
exprimant
et
la liase
d'un
son module,
le lo<?a-
on a
loo^rt'
= ou m = logr/ m
a'.
-^
losa' exprimant
Cl
Donc, dans fout sysLeuie, le module n'est autre chose que l' unit divise par le logarithme nprien ou naturel de la base logarithmicpie
rithme nprien de
de ce systme. Si donc nous reprenons les dnominations de l'article 58, c'est--dire que nous exprimions par a la base
d'un svstme quelconque de logarithmes et par
son
m =.
logrt
loff ^
dsienant ^
le
locao
le
et
non
le
la
base
et/7i le
module.
lement entre
Mais nous avons vu (39) qu'on a aussi gnrale module et la base d'un svstme quel-
conque
Donc, en gnral, on
(D)
logrt
a
1)2
iog
= ;>-,)-!(le
+ i(-.:^-...,
exprimant toujours
logarithme nprien de a, ce
rithmes de ce svstme.
DE l'algorithme.
(j;
H- b
+ )= ^_^/,2 +
on
fait
L^^_
h
ngatif,
elle
de-
viendra
la
prcdente et observant
que
og(i-f-^)
le
moyen de
construire
soit
exponen_
qu'on
soit
les
emploie en Algbre,
la lettre e est
comme
nombre dont
est i, j
le loga-
rithme est
trs
1 ,
et qu'enfin ce
nombre
:
1828 182845,
peu prs (59). Cela pos Soit propose de diffrentier loga-; nous aurons
f/logx=z
dx X
d\x
r=.
fi8
CHVPITRE
l.
On
trouvera de
mme
^
^l(r/
,r)
d.r
,
d.r
d\
X
" "^ a
'"
a -^
^^'^
X
'^'^
y
d\ \aa
dx X
-\-
dy'
y
,
"'
,r
+x
IX dx
au H- XX
<?^;
nous aurons
= e^dx.
\
= a^dx\n.
'''''^
'
Pareillement on trouvera
dxf z= X? dy I X
/
-4-
d'aa -^ x.xY^=^
'
[(tu
^
+ xxVdxX
r L
-y.x^dx
\\aa-\- xx\ H
'
iia-V-
"I U XX \
les
quantits
exponentielles et logarithmiques, on voit que leur diffrentiation se rduit aux deux rglessuivantes, qui drivent
La
diffrentielle
du logarithme d'une
quantit.
ijuantit
divise
par
cette
mme
La
Je passe
la diffrentiation
nx^ X
es! i.
lani un arc
DE LALGORITIlMi:.
G9
Suivant
doit avoir
le
principe gnral de
la clillrentialion,
on
d s.inx
d.r)
.r
Mais
il
niment petit ne
diffre
que i" le cosinus d'un arc infidu rayon que d'une quantit infini:
du sinus
moins
le
mme
une quantit
poser cosdx
I,
et
2" la circonfrence
infinit
comme un dx diffrent
dx
est l'hypot-
donc un des
du second ordre.
l'quation trouve ci-dessus se rduit
Donc
d sin.r
d.v cosj:.
Suivant
doit avoir
le
r/cosa;
^.r
sin.rsin?.r
cos.r,
les
observations ci-dessus, se r-
d cos .r =r
dx
sin.r.
On
= cos.r'
sin X
JO
DH h AI.GOUITHME.
(hx-
71
multipli par les puissances suprieures de dx, parce que ces termes, tant iniiniment petits relativement aux autres, ont d tre ngligs.
().
se trouver
Par
la
mme
.r,
raison,
si
la
variables
que
premire
puissance seulement, et
qui
ait
il
Lasomme
compose
commun djseul
la diffrentielle
do
la
comme
mme
pour
la
somme
de
la
Donc
tielles
la diffrentielle totale
fonction propose
que
la
somme
....
La diffrentielle
port a
exprime
de
ainsi
la
- dx de mme
,
;
'/P
dP
-y-
aj exprime
la diffrentielle
fonction
P par
f/P
i-apport
ainsi
des autres
de sorte qu'on a
dP dx
68.
r/P
(ly
"
(Iz
Au
lieu de considrer le
variables
dans deux
tats
conscutifs,
comme nous
le
pouvons
considrer
-2
CllAPlTKE
II.
trois,
quatre ou un plus
grand nombre d'tats conscutifs, tous infiniment peu diffrents les uns des autres. Alors, mesure que le pre-
auxiliaires se
rapproche du svstme
avec
le
mme temps
de l'un de ces
mmes que
du second svstme auxiliaire celles du premier, et de mme elles varieront du second au troisime, du troisime au quatrime, ainsi de suite;
comme
et,
en conservant
la
toujours
tielle
la
caractristique
d pour exprimer
diffrenla
ddx
exprimera
quantit dont
liaire
dx augmente du premier
systme auxi-
au second, de
la
quantit dont
exprime
systme
en
dddx
exprimera
la
quantit dont
ddx augmente
de suite.
se
nomment
etc.,
...
difla
de
dddj,
sont les
de 7;
crit
Au
lieu d'crire
.,
on
DE
L AI.GOltlil.Mi:.
. .
JJ
..
abrviations et signifient
r/j?<fj?,
dxdxdx, dxdxdxdx,
encore en supprimant
la
.
ment dx-,
dx'-',
dx'^,
.,
galement distinqui
.
dix)-, d{xy',
...,
sont les
...
de x,
tandis
que
les autres
des diffrentielles de x.
69.
tielles
Il suit
les diffren-
de tous
ordres se diffrentient
comme
toute
tiant
pour cela. Ainsi, par exemple, eu diffrenXV, on trouve xdy -\-jdx', diffrcntions cette diffrentielle, et nous aurons
dx cl) 4diffrcntions de
.rchJv +cl Y
cl.
t -h ydcl.r;
nouveau
-f-
celle-ci, et
.rcPj
nous aurons
->r
3d.i'clcly
3dfdd.r 4-
JcP.r;
ainsi de suite.
70.
Il
est
d'-x et
dx- ne
par
soient pas la
tits
mme
infiniment petites
la
du second ordre,
car,
exemple,
= 2.r .rx
adr
est
dx'-
est
J dy
et la diffrentielle
:=
xd.r
seconde
y cl-y 4- dy-
= ad-x x.d-x
l'on voit
<;HAPfTHK
les
li.
termes ne soient du
mme
ordre,
71.
Il
faut
encore
observer que,
quand
diverses
de l'une quel-
conque de ces variables, laquelle est alors prise pour terme de comparaison et sert rgler toutes les autres. Car, par exemple, dans une courbe, nous pouvons bien supposer que les accroissements successifs.de l'abscisse se font par degrs gaux infiniment petits alors tous les dx seront gaux, et par consquent on aurarf(ix o; mais ces degrs gaux d'accroissement de l'abscisse rpondront des accroissements de l'ordonne qui ne seront point gaux ainsi ddj ne sera pas zro, et la loi
;
dven
prcis-
ment
^7,
ddy, dddy, ... de la variable dsigne y. Appliquons ces rgles gnrales du Calcul
diffrentiel
quelques exemples.
7. Soit. proj)os('.
de trouver la sons-tangente de
la
.r)''
Considrons
la
courbe propose
comme un poljgone
(/% i); courbe en T.
MN un de ces cts
l'axe de la
ce
scisses
TB;
M,
du
petit ct
MN
soient
menes
D!:
L AL(j()KrTTrr.-...
jj soit
lune de raulrc,
droite
et
tlii
point
mene
la
petite
ne
MO. parallle l'axe et termine TordonMQ. La ligne TP est donc la sous-tangente cherche.
il
Or
est clair
qu'on
MO = dx, NO = dy
MNO, TMP
et
que
les triangles
semblables
squent,
dy.dxWy.T?.
Donc nous avons
(A!
l'quation imparfaite
TP=,-;|.
de
(Iv
et la
substiluerdansl'quation ( A).
.
'
me donne
(l.r
H- n
rtj'"'-H'' 1 cJy
:=
ni [a
.T
"
x"'~^
n.r'"
(^
.r\
"-' dx,
dy
" ,/-"'^'
ii.i:'" \(i
''~'
),
j'aurai
<
-{-
TP
n){ax mX
,rx]
iix
est
rigoureusement exacte
et
me donne
la
73. Soit
les
iiuaiion
rj
-f- J7J:
=3
ri
'1
(ta
H- 2 h y
hh
">
[fi'j;.
7fi
ciAi'iTiu:
11.
11
est clair
que
la
les plus
grandes et
les
plus petites
ordonnes de
celles qui r-
mme, en considrant
courbe
comme un polygone
ce sont les
parallles
la
suit
mme
ininimume
cette
ordonne
l'abscisse
quoique celle de
ne
le
soit
pas,
et
l = ;
Applic[uons ce principe
diffrent! an t, elle
l'quation propose
en
la
I.T
c'est
donc
qui donne
3a
2x = o
ou
.r
=: ~a.
DE
et
ALGORITHME.
77
par consquent
74-.
maximum ou
-+-
le mini'f^-''
mum
fonction
ax'-^
hxv-
f- z-
g^J'^
maxiinuiii.
d'augmenter pour diminuer ensuite, soit que variables particulires qui y entrent continuent
soit qu'elles
d'augmenter,
diminuent,
elle cesse
et,
lorsqu'elle est
ncessairement de
soit
que
les variables
des
maxinm
et des
minima^
ne
la dilrentielle
soient pas.
Pour appliquer
d'abord qu'on
ait
z qui satisfont
condition propose
celle
la
il
ne restera
consquent, en diffrentiant
par dx^
br'
gy = o.
z
En appliquant
et z,
ce
mme
lh.rY
9./ -3
on aura pareillement
gxz =
i,'-.r>
O,
=0,
la
consid-
78
cii.vi'iTni:
H.
exactes. Telles
il
sont donc
les trois
quations finies
la
auxquelles
laut
satisfaire, ce qui
ramne
lyse ordinaire.
Ces
reviennent vifonction
demment au mme
par rapport
c[ue
si
Ton
diffrentiait la
qu'on galt
combe
a un.
Soit
t/iii
a pour
(i
nation b'-j
= ax-
x^
si elle
en
ABMN {fii^.
(J
la
AP
soit
l'abscisse
et
MP
l'ordonne,
correspondant au point
d'inflexion cherch
M.
il
Soit
MK
ce point d'inflexion;
\\n
est visible
KMP
est
maximum,
que
l'angle
LNQ,
form par une autre tangente quelconque NL et Fordonne correspondante NQ; donc la tangente trigonomtrique de l'angle
cette
RMP
est aussi
,
.
un maximum. Mais
dx
,
,
.
tangente trigonometriquc
e>t :donc
on doit
DE L ALGOaiTHMn:
Or,
la
(Ir (ly
la.i-
3./-
ce qui
donne X
=:z -^a,
rigoureusement exacte.
irouver
(jui
(le
lateur
(le
la coiirhe
oscil-
= ax
par
fil
fix
des points
elle, et
M.
Si l'on conoit
maintenant que ce
et
restant
trace
cette nouvelle
courbe s'appremire
dveloppanie de
la
premire, et cette
s'appelle la ds'eloppe.
La portion du
dveloppe
la droite
fil
la
la.
et la
dveloppante
le
nomme
la
rayoii
de
point ^I de
le
dveloppante,
la
nomme
la
rayon de
dve///
loppe,
me
est le
rayon de
dveloppe au point
ainsi de suite.
comme un
polygone
j)or-
les petites
Mut. luu/,
de
la
dveloppan'e dcviendronl
8o
CHAPITRE
II.
...
c'est
pourquoi
.
les cercles
con-
nomment ce/-c/e.v
ils
lieux o
se
con-
fondent
ainsi les
pour
cette raison
on
nomme
aussi
rayons de courbure,
Il s'agit donc de trouver le rayon de la dveloppe de la dveloppante. Or, la pour un point quelconque grandeur d'un angle tant estime par l'arc qui en donne la mesure lorsque le rayon est i, il est clair que (A)
rarcM/7/
= Mc.Mc77i.
7?7,
Me,
7??<^
tant
Mm,
et
aux points M,
DE l'algorithme.
le
8i
que formeraient ces tangentes. Or, il est vident que dans une courbe quelconque l'angle form par deux tangentes est gal l'accroissement que reoit, en passant de l'une l'autre, Fangle form par
celui
mme que
l'ordonne avec
les
la
si
deux tangentes sont infiniment proches l'une de l'autre, l'angle qu'elles formeront, et par consqueni
aussi l'angle
M cm que
formeront
les
rayons de cour-
bure correspondants ]Mc, md^ sera la diffrentielle de l'angle form par la tangente de la courbe et l'ordonne.
MT
si
soit la
ligne tangente
le
au
M et MP
l'ordonne,
l'on
nomme R
rayon de
courbure, s l'arc correspondant, x eVy les coordonnes, on aura, par l'quation (A) trouve ci-dessus,
(li)
ds
la
= K.dl:M?.
TMP est
la diffrentielle
Mais dr
(72),
par
le
et l'on sait
d'un angle
multiplie
de sa tangente,
carr
du cosinus
donc
89.
CHAPITRE H.
a
pour quation
<7jr.
En
dv
(ly
9.r
et
par consquent
clx
i(ly
('
dy
ainsi
ou, cause de
ds
y d.v- -\-
dy-
<.d)
"(S-)^
1,
rigoureusement exacte.
DU CALCIL INTGRAL.
77.
Il
les
quantits
infi-
!:
l'aujoiutiimi:.
la
83
relation, et
que
le
but
Lorsque
les
pour
tre ex-
nomme
Calcul
fait
pour
nomme
Calcul intgral.
cile
Mais cette opration inverse est beaucoup plus diffique l'opration directe, de mme que la division est
dant que l'opration inverse, que l'extraction des racines est plus complique que l'lvation des puissances,
la
rsolu-
beaucoup plus
difficile
que leur
que pour les degrs infrieurs. Il y a d'ailleurs un grand nombre d'expressions diffrentielles, telles (\viejdx^ qui ne peuvent rellement
rsulter d'aucune diffrentiation et qui, par consquent,
ne sauraient s'intgrer;
il
y en
mais
moyen
d'y par-
78.
La quantit
diffrentielle
frentielle,
me par
8i
(iivpiTru:
n.
une
fraction, et la
somme
son l'on
par cette
appelle intgrer ou
sommer une diffrentielle chercher l'intgrale ou la somme de tous les accroissements successifs infiniment
petits qui
est,
79.
Une
la
comme
la
somme
con-
nomme
dijfrentielles,
on
est
venu de
dsigner dans
le calcul
par
la
caractristique/,
comme
l'abrviation des
dtruit l'effet
nire que
/f/X
que
elle-
mme.
Il est vident que deux quantits variables qui demeurent constamment gales entre elles augmentent chaque instant autant l'une que l'autre et que, par con-
la
mme
deux quantits eussent diffr entre elles d'une autre quantit quelconque lorsqu'elles ont commenc varier; pourvu que cette diffchose aurait lieu quand
ces
mme
la
mme,
leurs diffren-
Rciproquement,
est clair
ou
diffrer toujours de
la
mme
Par
la
mme
raison,
si
Dic
i.'a!,(;()iutii.mi:.
85
ment peu;
rciproquement,
si
deux quantits
diffrentielles sont
infiniment peu diffrentes l'une de l'autre, leurs intgrales, abstraction faite de la constante,
ne peuvent aussi
8),
AMNR
une courbe
dont on veuille
trouver
l'arc
l'aire,
c'est--dire la surface
AMP,
comprise entre
et
AM
de
AP
Fig. 8.
^
/
Si l'on conoit
^^
que
l'abscisse
AP
ou
augmente de
la
PQ
ou
de
de
(A)
AMP=/MNQP.
le petit
triangle
petit
IMNO, qui
est
videmment infiniment
l'aire
de ce trapze,
7
r/x
de sa base y par sa hauteur r/a donc ydx diffre infiniment peu de la diffrentielle de l'aire cherche. Donc
8(
CHAPITRE
11.
(79)
KM?=fjd.r^C
que j'ai appel une quation imparfaite. Supposons, par exemple, que la courbe soit une parabole ordinaire dont le paramtre soit />; nous aurons
yj = px et, en
diffrentiant,
lydj
= pdx
donc
lydr
P
Siil)stituant cette valeur
AMP
Mais(o5)
'
J
9, V
+ C.
P
2.>"<'^1
~~
3/j
donc, rciproquement,
^J
'
'^P
'^P
DE L ALUOrUTllME.
87
si
nous
supposons jg=^
o,
nous cherchons
aurons aussi
l'aire totale
AMP= o.
Donc
l'quation
A:\IP = fxr-i-C,
la
valeur de
J?,
donne
= o H- C
ou
= o.
la
parabole se r-
AMP = |.rr.
conoit par cet exemple l'usage qvi'on peut faire
intgral et
On
du Calcul
chercher
tielles
les
peuvent en driver.
81. Les rgles du Calcul intgral drivent ncessaire-
ment de celles du Calcul diffrentiel, qui en est l'inverse. Le dtail de ces rgles ne peut tre l'objet d'un Ouvrage
tel
que
celui-ci.
Considrons d'abord
il
monme
ax"'^dx\ je dis
qu'on aura
I
a.i:'"dx
=
'" -t'
J
pour plus de simplicit.
En
effet,
si
l'on diffrentie
suivant
la r^le
prescrite (o5),
88 l'inlgrale
)
CHAPITRE
II.
de ax"^dx
est,
comme nous
l'avons
dit,
c'est--dire
-+-
'Variable,
dijjcrenticlle monme une seule faut : i augmenter V exposant de la variable d'une unit ; 2" diviser par cet exposant ainsi augment de l' unit et par la diffrentielle de la va-
riable.
ou fractionnaire.
un radical, il faudrait,
la rgle
pour appliquer
prcdente,
exception dans
le cas
l'on a
m =^
puisque alors
Dans
ce cas,
I~
puisque, en
effet,
atlx -
l\Iais
il
faut
l'intgrale
f
qu'on a
a (l.r. a los.T
-+-
C.
Si l'on veutmaintcnantquel'intgrale
commence
que
lors-
= o,
c'est--dire
si
l'on veut
l'intgrale
DE
soit o
l'algohitii.mi:.
89
quand x
est o,
on aura
G
r:=
= a logo + G
ad.r
ou
a logo
donc
l'intgrale
complte sera
/
=
= a log.r a logo =
la rgle
io^
complte sera
infinie, ce
o l'on
VL
7}i
un monme quel-
monmes,
telle
que
c
car
ces
il
monmes en
faite
/(
Il
il
+
que
la
<l.r\
= - + -f.r.
est vident
mme
nominateur
et positif,
et
soit
un nombre
entier
puisque alors
monmes.
o
la
84.
La mme
fonction
trouverait
go
cavi'iTRE
II.
pourvu que
la totalit
cette quantit
complexe
ft la diffrentielle de ce qui
il
la quantit dif-
frentielle
qui contient
sant
la fonction complexe [a+ hx)"\ l'expopouvant tre ngatif ou fractionnaire je vois que
:
que le facteur
(fo:
complexe qui
est sous
En
effet, soit
+ bx)=y;
on
bdx =: dy
dx
= -^ h
'
Donc
la
formule
yin-l
intgrer devient
>
dont
l'int-
pour r ^ ^
sa valeur
[a
^ x),
on aura
[a
-+-
/'
bx]"'dxz=i
DE Soit, par
L AU.OlilTllMK.
gi
la
quanti l dif-
frenlielle
dans
le
binme,
que
le
quotient est un
la diffrentielle
nombre
conclus que
propose
n'y a qu'
binme a
-{-
bx-
En
effet, si l'on
suppose a
-+-
constante,
{a-hb.T'-Y x^ d.r
-4-
2 b-
'
__ L'4
rt
^
b.r-'-\
'
a\-
.1
comme on vient
de
le voir,
sries, qui
forment
ainsi
monmes,
et l'on intgre
par approximation.
Soit maintenant propos d'intgrer dz cosz.
Je dis que l'on aura
Jdz COS3
sin ;
+ C.
la rgle
En
effet,
92
CHAPITHE
II.
donc, rciproquement,
C.
fdz
((
= ^inmz m
-+-
C.
On
aura
f
car,
dz sin
NI
cos
r/iz -i-
C,
(60),
on retombe sur
remarque que
z". Je
dzcosz
donc
cette intgration
sia3"+.
-f-
comme
comme
variable,
intgrer par
consquent
comme
si
on
la
la diffrentie
si
par rapport
la diffrentielle ainsi
propose. Si
DK I.AI.SORITIIMR.
93
la
constante;
celle
si elle
ne
l'est pas,
il
en tant de
propose
l'on
qu'on a trouve,
restera
intgrera,
pour
la
Zx-yd.r
-\-
x^dj -^ S.rj^dr
-i-y'^dx.
J'intgre en regardant
seule
comme
variable, et par
consquent
gale o;
comme
par ce
si j' tait
constant et que
dj
ft
j'ai
Cette quantit,
x et
me donne
-j-
x^dy 4- 5xy*dy,
la
mme
chose que
est rellement
.r')- -+-
y"x.
-\-
Q.xzdx 4-
xdx
-\-
y-dy.
seule
comme
variable, et par
consquent dj
et
dz comme
x^
>
nulles. J'aurai
-h
.r^
z, et j'ai
Zx^ydx
-1-
x^
dy
-f-
o.xzd.r
-f-
x^ dz
+ xdx.
il
me
^
l'intgrale
_^
^
de cette dernire
j'ai
^-3
dj
9i
CilAPITRI-
M.
redonne en
effet la
quantit
mmes
lesquelles
se
secondes,
troisimes, etc., peuvent se trouver susceptibles d'intgration. Soit, par exemple, propos d'intgrer la quantit
diffrentielle
du second ordre
dx"' -!-
jd d.r
H- add.r
c() -,
dans laquelle dj
intgrant
soit
considre
comme
constante.
En
comme
,
si
ddx
constante
de
la
J'dj
-\-
Cdy,
-h a,r
{y- + Cj +
G'.
cipes
Nous ne nous tendrons pas davantage sur les prindu Calcul intgral; ce que nous venons de dire suffit notre objet. Nous nous bornerons donc un petit nombre d'applications, renvoyant pour le surplus
de cette vaste science aux Ouvrages des savants auteurs
qui en ont trait
e.r pj-ofesso.
DR
L'Ai.(;nnrnii\rf:.
95
les
coordonnes
la considx'ons
comme forme
Nommant donc Z
Or, d'un
valeur du
nous ngligeons
le
petit
visiblement infini-
ment
kjdx.
et
(A)
Z=/j./.r.
le cas
Mais dans
aurons
la
cn.~[.r
laquelle, tant intgre,
-f a\"' d.v,
donne
in-\-\
Z=
.r-f- rt)
C,
gG
CHAPITRE
II.
rigoureusement exacte.
pour
quation
y^ax\
en supposant
les
coordonnes rectangulaires.
une courbe, nous
la
Pour
rectifier
considrons
comme
un polygone d'une
infinit de cts, et
nous la supposons
forme en croissant continuellement par l'addition successive de ces petits cts, mesure que l'abscisse
augmente elle-mme, de
ci l'intgrale
sorte
que
l'arc
le
dernier de ces
de
cherch, et celui-
de cette diffrentielle.
s l'arc
Nommant donc
petits cts
cherch, ds sera
le
dernier des
du polygone, et, comme ce petit ct est l'hypotnuse du triangle qui a dx et dj pour ses autres cts, on aura pour toute courbe l'quation imparfaite
cls^=i
y f/.r- -I-
cl)-;
je dis quation imparfaite, parce qu'en considrant la courbe comme un polygone d'une infinit de cts on
commet une
(A)
Mais dans
le
d'o l'on
tire
OE L ALGOKITIIME.
et.
97
en dilTrentiant,
ax
donc
la
("orniule
(A),
nous aurons
=.A-(!^-)
excutant l'opration indique
stante,
et
on aura
rigoureusement exacte.
du paraho-
form par
la rotation
r^ px,
p exprimant
le paramtre. Pour trouver le volume d'un corps, nous le considrons comme form en croissant continuellement par
l'addition
successive des
les
comprises entre
de sorte que
la
dernire de ces
cl
volume cherch,
Mtaphys.
,)8
CH.VPITRF
II.
Nommant donc V
le
volume cherch,
d\
sera
la
va-
entre
Or, d'un autre ct, en ngligeant les onglets compris la surface extrieure du corps propos et le petit
la
ia
videmment infiniment
petit l'gard
de cette tranche, celle-ci se rduira cette plus petite base multiplie par sa hauteur dx. Donc, en nommant A cette base, on a pour tous les corps cette quation imparfaite
et
par consquent
iA)
y-^fU.r.
le
cas prsent,
il
s'agit
d'un solide de
-)
est
un cercle qui
la
pour ravon
donc,
en
nommant
ny le
rapport de
circonfrence au dia-
mtre, on aura
(A) devient
= px:
donc
V :^ f p X fl.>\
T7!
ou
parfaitement rigoureuse.
Pour dterminer C, il faut fixer le point d'o l'on veut partir pour le volume cherch. Si l'on veut partir du
i)K
I.
Ai-coRiTinii:
a?
99
sommet de
donc
alors
l'axe
= o et \=
,>
= o,
le
formule se rduira
c'est--dire
que
-
de
la
hase
tj
par
moiti
\.i-
de
la
hauteur.
distances ou centre de gravit d'une p} rainide. Pour avoir la dislance du centre de gravit de plusieurs corps
un plan donn,
il
sa distance
au plan donn
et
somme
des masses.
la
pyramide au
est clair
que
le
movennes
:
il
reste
la
donc
principe tabli
la
ci
-dessus.
la
Pour
cela, je
nomme H
distance
hauteur de
cette
pyramide.
sa base et
x la
du sommet
l'une
quelconque
base.
venant
rpondra
Or,
volume de
la
comme
hauteur
sera TTi-^'i ^^ le
volume de
la
consquent,
loo
CHAPITRE
II.
la
hase sera
^(H-.r),rV/^.
Donc
c'est la
somme
lume de
centre des
pvramide pour avoir la distance cherche du moyennes distances de la pvramide la base, c'est--dire que, si l'on nomme \ cette distance, on aura
la
l'quation imparfaite
^' H x)x-dx / El
.
Y=
Pour achever
stantes C,
tire,
il
la solution,
il
C;
or,
comme
il
s'agit
de
la
= o\
;
deux
on
donc C
= o,
C'=
o.
Donc
l'quation se rduit
et,
faisant
x=
l,
on
pour
la
pyramide entire
c'est--dire
que
le
DE l'algorithme.
lOI
au centre des moyennes distances de la base de cette ligne partir de cette mme base.
94. Soit pi'oposf^ de trouver
et
au quart
V quation de
la courbe
donn,
c' est--dire
que,
est
gente
soit
mx,
oii
suppose constante.
la
L'expression gnrale de
les
coordonnes sont
et
j,
dr
diffre infiniment
le
peu de
la
sous-tangente.
cas pisent
l'quation imparfaite
d'o je
tire
\0>.
CIlAl'ITltE
H.
mnxwiis
et niininiis
qui occuprent
si
longtemps
trait ces
les
premiers gomtres de
Euler avait dj
deur
et sa clart ordinaires
dans un Ouvrage
lint^as
part,
intitul
iMethodus im'eniendi
curi^as
maxinia Lagrange
un caractre propre et une maixhe uniforme et simple autant que possible. Dans les questions ordinaires de maximis et minimis,
il
s'agit
ou telle fonction finie propose de ces mmes variables, pour que cette fonction obtienne la plus grande ou la
plus petite valeur possible.
Dans
s'agit
le
relations
mmes
du maxiinuin ou du niininiuin.
tre
De
plus, la fonction
qui doit
un
comme
dans
les
maximum
pose de quantits
mais
fonctiou
diffrentielle
qui
96.
hi'il
un plan
telle
{jig. 9
que,
AK
tant l'axe et
DK
point
entre
D
la
perpendiculairement
comprise
soit
courbe
et les
coordonnes AK,
les
DK
un
maximum
parmi toutes
courbes de
mme
longueur.
DE l'algorithme.
I03
Quoique ce problme appartienne la thorie gnrale des maximis et miniinis, on voit cependant qu'il est
d'une nature bien diffrente de ceux dont nous avons
parl
(73), car
il
ne
s'agit
point
ici
de trouver
les
valeurs dtermines
AK,
DK
de
el
qui satisfassent
donnes; mais
il
s'agit
de trouver
la
nature
mme
de
l'''S-
9-
V PO O
quelle
qu'elle
puisse
est
tre,
et
les
coordonnes
extrmes
AR,
DK
fj
dx
c'est
donc cette intgrale simplement indique un maximum. Ainsi, dans cette espce de
c'est,
comme nous
certaine
l'avons
dit
ci-dessus,
d'une
un inlnimnm,
s'agit
de
trouver
la relation
pour
97. Cependant
le
le
mme
que pour
maximis
<[ui
et
minimis, c'est--dire
ipiand
la
quantit
doit
I04
CHAPITRE
If.
devenir un
terme,
elle
maximum,
En approchant de
ce terme, elle
comme
la
station
dimi-
nuer
quantit
comme
le
quoique
dont
elle est
fonction ne
soient pas.
Donc,
si
la
forme
A.M'N'D,
parx',j^,
gale
et
qu'on dsignt
les
nouvelles coordonnes
Vsiive
jy dx'
comme
fjdx,
mme,
l'accrois-
sement que prend fjdx pour devenir ^j^f/x' doit tre suppos gal o lorsque la relation de x k j' est celle
qui convient au
sement qu'on
va
le dire.
98. Soit donc AM'N'R'D une courbe quelconque infiniment peu diffrente de la premire si l'on considre
;
comme
la
courbe
mme AMNRD,
la
transforme
comme un
point
M de
eu M',
nouvelle courbe a
la
nomme
variation de
M'F
MP;
MP
de
est
la
celle
est
NQ
est
N'Q' NQ;
A"\L\RD;
celle
courbe entire
AMIS R'D
DE LALG0U1T11.ME.
celle
to5
de sa surface est
99.
Quoique
quantit,
,
la
la diffla
mme
il
ne faut pas
est
la
la
confondre avec
diffrence
sa
diffi^entielle
car celle-ci
la
de
deux
mme
courbe, au lieu
que
ainsi,
de l'abscisse est
NQ MP,
on dsigne
par
la
est
AP'
AP;
la
AQ AP,
par exemple,
la
diffrentielle
de
l'ordonne
est
etc.
MP,
caractristique d. Ainsi
ox
NQ MP =
seconde
:
(^r,
MP= oj,
au point
etc.
sur la prela
PQ
-dire la quantit
dont
x augmente
lorsqu'on passe de
M
la
;
N, P'Q' sera
la diffrentielle
de AP', c'est--dire
de
mme
N'Q'
dej-t-Jj.
comme
la
de simples auxiqui
doit
pour aider
dcouvrir
les
relation
la
coordonnes de
premire
loG
CHAPITRE
Il
II.
coiirhc.
laiidra
donc s'altacher
plus que
ou,
si
la
Ion
entre
ces
coordonnes d'abord
et
ou
autrement, entre
qui composent
le
les seules
ordonnes
et les constantes
101.
Nous avons
de l'Analyse en gnral
sont fondes
quantits
ici
mme
calcul.
On
en a
un
les variations
les diffrentielles, dj
comme
on
l'a
simples variables.
effet,
En
jours
la
la
nature d'une
moven
des varia-
que subissent
qu'on
les
coordonnes
et autres quantits
du systme,
petites
et ces variations
le veut,
un systme
du premier, jusqu' en
Les
la relation
loi
qui
lie
il
coordonnes
unes
est arbitraire,
d'o
suit que,
quoique
les
de simples
indtermines que
comme
fixes.
Dli
LALGOniTlIMli.
IO7
pond dans
tit
le
nouveau systme,
x) sera
lui corresla
quanla
donc vident que pour trouver la variation d'une fonction quelconque de x, il n'y aura qu' y substituer (x -f- x) au lieu de x, puis en retrancher la premire fonction procd qui, tant
ou dx.
Il
est
absolument
le
mme que
celui
de
la
diffrentiation,
et la
montre
la
diffrentielle
que dans
la caractristique,
premire
et
d pour
la
seconde.
deux
il
que
la
variation de
rentielle de
dx
x
est ^
dx
et
que, rciproquement,
la diff-
est
nous reconnatrons facilement que ces deux quantits dx et ddx sont les mmes et ne diffrent que par leurs
formes, c'est--dire qu'on a ncessairement
rjd.v
i/o.r.
En
effet,
comparer, savoir
nous avons quatre systmes de quantits i" le systme qui rpond au point M;
:
2 le systme qui
rpond au point
;
et
auquel on passe
au point M' et auquel on passe du premier par variation rpond au point N' et auquel on passe
soit
du troisime, rpondant
valeur de
du deuxime, rpondant au point N par variation, iin point M' par dilfrentiavariable qui rpond au premier
d<'
tujn.
Or
la
la
!'><>
CflAl'ITl
II.
rpond au troisime est (x + ox), rpond au quatrime est, suivant la route qu'on prend pour y parvenir, ou
(.r
+ dx);
celle qui
(.r
H- dr)
-\- ^.v)
a (jc
-h ch:),
-+- .r).
ou
[x
(
H- (Ifx
'es
la
le
mme
quagales,
dans
trime systme
c'est--dire
(.r
ces
a
qu'on
-h dx) -h o(,r
les
-r-
d.r)
= [x
j;-
-\-
x) H-
[x 4-
rjx)
excutant
./
3x -~ Sdx =1
-|-
ox
-+-
dx
-f-
dox,
et,
rduisant,
dx
c'est--dire
-.
d ox,
diff'entielle
que la vaiiation de la
d'une
des
de la variation
proposition
qui
est
l'un
104.
est
Un
galement fondamental
que la variation de
l'in-
P exprimant une
diffrentielles.
z.
....
et
de leurs
ni-:
I.
a;.(j()iut!i\ii:.
109
En
effet, soil
en diffrentiant, on aura
P
et,
= dlh
prenant
les variations,
o^P
= c7dV
= drJU
_--
ou, d'aprs
le
/^P
ou, remettant pour
rW,
sa valeur,
/^;P == rjfp.
la
variation
f\c1x^ c'est--dire de trouver dj\dx, ou plutt de donner cette expression une forme qui la dispose tre dgage du signe
auxiliaire , lequel est toujours celui qu'on doit tendre
faire disparatre le premier.
d'une formule
intgrale indfinie
D'aprs
le
+ /\VMr,
SjNdx =fdxo\
-h fWdrlx-
mais
d[yrjx) z=dYrJx-+- YdSx,
jYdS.r
= V^.r fdW^x.
lO
CIIVPITIIK
11.
f\ clojc
deviendra
r)fVd.r
^.i
OU
(B)
rl/Ych-
<'quation que,
suivant
nature de
la
la
fonction \
on
des
variation, ce qui
ramnera
le
ordinaires
ciiapitrf:
iit.
CHAPITRE
III.
106.
Il
est plusieurs
manires de rsoudre
les
queset,
quoiqu'il
n'y
les
mmes
avantages,
sags
c'est
pourquoi je
qui
mme
pourraient
la
DE LA MTHODE d'XHAUSTION
107.
La mthode d'exhaustion
la
tait
celle
dont
se
cl
particulirement dans
Comme
ils
ne croyaient
courbes
cts
:
considrer les
comme
nombre de
de
fixe
Tune d'entre
dont
les
elles, ils la
regardaient
comme
le
terme
polygones inscrits
et circonscrits
approchent
12
CHAPITRE
III.
le veut,
mesure qu'on
l
ils
augmente
saient
le
nombre de
leurs cts.
Par
pui-
en
polygones
cette
donner
marche
nom
Comme
nuel de
la
courbe donnait de
et, la loi
celle-ci
en plus prcise,
ses proprits.
connaissance exacte de
ne
suffisait
comme
il
fallait les
vrifier
en
l'existence
mmes
proprits
conduisait ncessairement
quelque contradiction:
c'est
pourquoi
ils
nommaient
ce
V ahsurde.
les aires
comme
les
comme
con-
de ces ravons
tion du
mme nombre
de
comme, en augmentant
ces cts,
leurs
aires
nombre de
entre elles
conscrits,
demeurent toujours
la
comme
ils
les carrs
dont ces polygones approchent de plus en plus, jusqu' en diffrer aussi peu qu'on le veut mais cela ne suffisait
;
-MTIIODK d'exIIAUSTIOX.
i3
pas
il
fallait
la
chose
tait
en nion-
ncessairement
tomber dans une absurdit. Les anciens ont dmontr de la mme manire que les volumes des sphres sont entre eux comme les cubes de leurs diamtres, que les pyramides de mme hauteur sont comme leurs bases, que le cne est le tiers d'un
cylindre de
mme
base et de
mme
hauteur.
les
anciens
comme
l ils
auxiliaires,
polygones
inscrits et les
les
comparaient
de plus en plus
109.
Ils
en usaient de
mme
l'gard
Ils
des surfaces
courbes
et
les
imaginaient
manire
unes
propose. La
les
loi
de con-
encore
proprits de cette
figure
moyenne,
par
la
rduction
une dmonstration rigoureuse que toute supposition contraire menait infailliblement quelque contradiction.
l'absurde, en s'assurant par
cercle qui a
entre le
que
l'aire totale
de
et
la
grands cercles,
C.
que
Mtaphrs.
ciivpiUE
la
m.
que
les
anles
quantits
incommensurables
est
certainement trs
elle le
elle
porte avec
caractre
de
la
c'tait la
elle
est
le
exerce
jugement, qu'elle
la
germe
de l'Analyse infinitsimale. 11 est vrai qu'elle exige quelque contention d'esprit mais la mditation n'est-elle
;
connaissance des
lois
de
la
nature,
et
n'est-il
pas
bonne heure,
sacrifie
110.
celte
En observant avec attention les procds de mthode d'exhaustion, on voit qu'ils se rduisent
comme
les
les
procher continuellement, et
de continuit qu'elles
par lesquelles on peut passer des proprits connues de ces auxiliaires aux proprits jusqu'alors inconnues des
quantits proposes.
C'est ainsi qu'on applique la
la
mthode d'exhaustion
moyen des
METHODE
auxiliaires
D EXHAiSTION.
chant graduellement de
rapprochement
et
pro-
mme but et suit dans sa marche les mmes principes que l'Analyse infinitsimale. C'est toujours le mme systme auxiliaire de quantits connues, li d'une part celui que l'on cherche connatre, tandiscjue, d'une autre part, il reste ce systme assez d'arbitraire pour qu'on
le
puisse volont
le
propos, ce qui
cherches.
11
fait
la r-
112.
Newton
ft
un grand pas
que
fait
vers la perfection au
moyen de
sa thorie ds premires
connatre
la
loi
de continuit dans
le
le
rapprochement
systme dsign.
procds, en
il
mthode d'exhaustion
et simplifia ses
dbarrassant de
la ncessit qu'elle
s'tait
impose de
l'absurde l'exacti-
prouvant que ces relations sont suffisamment tablies par le mode mme employ pour les obtenir. C'est ce
qu'annonce en
cette thorie
effet
J'ai
l6
CHAPITRE
la
III.
Ce grand homme
fil
faire
dans
la suite
un second pas
Au moven
de ce calcul,
il
lyse algbrique,
numrateur
et'le
dnominateur
de
la fraction
nouveaux
moyens de transformation
nous reviendrons plus
cette gloire;
il
loin.
la
mme
eut
dans
mme
temps,
le calcul
des fluxions.
Cavalerius fut
le
nous devons l'Analyse infinitsimale; il leur ouvrit carrire par sa Gomtrie des indivisibles.
Dans
lignes
la
mthode des
lignes, les
indivisibles,
on considre
les
comme composes
comme
de
composes de
surfaces.
volumes
comme composs
Ces hypothses sont absurdes certainement, et l'on les employer qu'avec circonspection, mais il faut les regarder comme des moyens d'abrviation, au
ne doit
moyen desquels on
obtient
promptement
et facilement,
MTHODE DES
INDIVISIBLES.
117
que par des procds longs et pnibles en suivant strictement la mthode d'exhaustion. S'agit-il, par exemple, de montrer que deux pyramides de mme base et de
mme
garde
hauteur sont aussi de mme volume, on les recomme composes Tune et l'autre d'une infinit
les
comme
les
chacun
chacun,
et
on en conclut que
les
sommes respectives de
eux.
114. Soit
AGB
soient
\i^
aiAPiTKE
m.
triangle isoscle rectangle
les lignes gales
dire ajaut
mme diamtre
le
GGD
CG, DGponr
iig,
pg en-
centre sera au
troisime du cne.
De
comme
le
carr
former l'hypotnuse
triangle rectangle,
il
deux petits cts d'un que le premier de ces somme des deux autres, c'est--dire
et
les
est clair
que l'lment du cylindre est gal la somme des lments correspondants de la demi-sphre et du cne, et,
comme
il
il
en est de
mme
total
de Ions
total
la
les
autres lments,
la
s'ensuit
que
le
volume
somme du volume
lume
tiers
les
de
du vo-
total
du cue.
sait d'ailleurs
;
Mais on
de celui du cylindre
;
les
deux tiers donc le volume de la sphre entire est deux tiers du volume du cylindre circonscrit, ainsi que l'a dcouvert Arcdiimde.
115. (]avalerius
avertit
bien positivement
que sa
la
mthode
qu'un corollaire de
il
m-
avoue
qu'il
ne sainait en
dcouverte de
Ber-
nouveaux
METHODE DES
l.NDlVlSIBLEri.
Iiy
que Pascal
et
Roberval durent
le
succs de
com ce
ment
sujet
:
le
J'ai
dmontrera aussi
la
la
rigueur et
la
et qu'ainsi l'une
de ces mthodes
manire de parler, ce
>
on
Et
les a
c est
une
fois averties
l.
pourquoi je ne
ferai
aucune
difficult
dans
la
somme
aucune
))
des lignes ou la
difficult d'user
je ne ferai
la
que
c'est
pcher contre
la
Gom-
que d'exprimer un plan par un nombre indfini de lignes ce qui ne vient que de leur manque d'in:
un
du diamtre, dont la somme est certainement De sorte que, quand on parle de la somme d'une multitude indfinie de lignes, on a toujours gard une certaine droite par les portions gales et
plan.
indfinies de laquelle elles soient multiplies.
En
pour
entendre que
le
etc.,
"
que de
trs
conforme
pure Gomtrie.
J'20
CHAPITRE
m.
H6. Ce
apprcier
ce qu'il prouve
le
que
les
la
gomtres savaient
trs
bien
mrite de
mthode des
la
indivisibles,
l'infini
mais
notion de
maaucar
;
sens
mme
qu'on
lui attribue
tachait au
attachons au
mot indfini la mme signification que nous mot infini, qu'il appelait simplement pe?/t
comme
de simples
Pascal son
Roberval emploie
continuellement
les
le
expressions
sens qu'on
mmes
leur
dans
donne aujourd'hui,
dit
On
rait
savait
pour luder les longueurs de la mthode d'exhaustion sans nuire en aucune manire
brviation, trs utiles
l'exactitude de ses rsultats.
mme
n'est
que Leibnitz ne
MTHODE DES
INDIVISIBLES.
121
reusement un principe qui tait gnralement reconnu comme un axiome. Les objections ne se sont leves contre ce principe que quand il a t rduit en algorithme,
comme
si
que
les
routes scien-
eussent t
tout le
tout d'un
coup aplanies
et
rendues accessibles
monde. Je termine
exemples.
un ou deux
la
somme
des
la srie
nombres
naturels, la
somme
le
Go-
moyen
grand nombre de figures rectilignes et curvilignes et les volumes d'un grand nombre de corps. Soit par exemple un triangle abaissons de son som:
met sur
la
nons par chacun des points de division une droite parallle la base et qui soit termine par les deux autres
cts du triangle.
Suivant
les
principes de
la
Gomtrie des
indivisibles,
l'aire
du
triangle
comme
la
lments
or,
par
la
proprit du triangle,
distances du
sommet^ donc,
la
premier terme
est
le
zi'o, la
somme
de tous
les
termes est
du nombre de ces
fJtl
CHAPITRE m.
ici,
la
termes. Or,
somme
la
par
l'aire
du
triangle, le dernier
terme par
la
base
et le
hauteur.
Donc
l'aire
de tout
hauteur.
la
pasi*er
un plan parallle
Suivant
les
chacun de ces plans par le volume de la pyramide sera un des lments de ce volume, et celui-ci ne sera autre chose que la somme de tous ces lments.
l'intersection de
Mais, par
les
proprits de
la
comme les carrs de leurs distances au sommet. Nommant donc B la base de la pyramide, H sa
sont entre eux
et
V le
volume
pyramide, on aura
B
:
^^
H-^
h^;
donc
Donc V,
^ale
qui est la
la
somme
B
somme
des
Je
premier terme
les
est zro et
dernier H, c'est--dire
comme
nombres naturels
les
quantits /-reprsenteront
ti
Or
somme
H-
inclusivement est
-iH^+3[P 4-H
6
Mais
ici, le
nombre
H tant
le
:
termes qui
vis-
numrateur disparaissent
donc
cette
somme
des car-
la
constante
le
volume cherch,
c'est--dire
que
le
volume de
la
pyramide
est le tiers
du
On
l'aire
pour quation
aj'"
est
172
.t"
-h "
XY, Y
reprsentant
la
dernire ordonne,
des exposants quel-
///, Ji
mthode des
regarder
comme
rpondant
lerius.
Tintgralion des
monmes,
ce qui tait
me
ou plutt
il
me semble que
l'Analyse infini-
I'i4
CIIAPITHR
m.
de
indtei'-
mines ou des coefficients indtermins consiste en ce que, si l'on a une quation de cette forme,
A
dans laquelle
constantes, et
-f-
B.r -h
C^-
-t-
Dj7* -h
= G,
les
coefficients A, B, C, ... soient des une quantit variable qui puisse tre
le
sparment
A=
quation.
o,
= o,
le
o,
...,
nombre des
ternies de cette
En
qu'on
le
efi"et,
aussi petite
le veut,
la
on pourra
voudra
somme de
x pour
facteur, c'est--dire la
suivent le premier.
aussi
peu qu'on
le
que zro
donc on
a dj
A=
Bx^-C.r2+Dx^-l-..
Je divise tout par
.r,
.=
o.
et j'ai
C.r H-D.r^-f-.
la
.
B-h
d'o l'on
tire
= o,
= o, par
avait
mme
o.
A =:^
D
Le mme raisonnement
a pareillement
o,
(),
I2;j
une quation
deux termes
seulement
A
dans laquelle
le
+ B.r = o,
soit
premier terme
constant et
le
second
:
cette
moins que
les
termes
A et Bx
ne soient chacun en
tablir en
la
principe gnral et
comme
immdiat de
mthode des indtermines que, si la somme ou ladijfrence de deux prtendues ijuantits est gale zi-o, et que V une des deux puisse tre suppose aussi petite qu'on le veut, tandis (pie l' autre ne renferme aucune
arbitraire, ces
Ce principe
suffit seul
mthode, simplifis
comme
:
ils
doivent
l'tre,
mmes;
la
manire d'envisager
dans l'une
question
quantits que
l'on nglige
comme
comme
s'li-
miner d'elles-mmes,
par
les autres
effet,
il
unes
dans
le rsultat
du
calcul.
En
d'avance dans
le
rapportent
celle
\j6
12!2.
CHAPITIIE
111.
Reprenons
celui
(
trait (9).
fg. i)
RIZ + T'T = r - RZ
et
MZ -RZ
la
2J-H-RZ
"^
i-TMZ
;
que soient
les valeurs
de
MZ
et
de
RZ
tirant
-
donc de
la
la
la valeur de
RZ
et
substi-
seconde,
j'ai
TP
-+-
TT
2
If
-hQ.
RZ
j"
MZ
la
les
lignes
RS
et
MP. Or
sous
il
la
forme suivante,
Y
\
/TP
\
["T'T
\
.Tj
le
[a
"1
__
dans laquelle
tits
conditions du
arbiti'aires et
problme
dont
le
changer aux quantits qui sont contenues dans le premier terme, puisqu'on est matre de supposer RS aussi proche qu'on le veut de MP. Donc, suivant la thorie
des indtermines, chacun des termes de cette quation,
pris
zro,
c'est--dire
TP
TT
iJi;T110UE
DES INDETEKMKNEES.
I27
desquelles
la
dsignes et
nous donne
la
nous l'avons dj trouve ci-dessus. Donc, quand mme nous aurions commis des erreurs dans le cours du calcul,
pourvu que ces erreurs ne fussent tombes que sur la dernire quation, l'exactitude du rsultat cherch n'en
aurait point souffert, et c'est effectivement ce qui serait
arriv
si
nous eussions
trait
MZ, RZ
et
T'T comme
y
la
dans
rit,
les
v-
commis des
tions
rsultat dont
altr.
prement
nulle
;
parler,
que
la
sous-entendie
exactes
rp
+ T'T 3
IMZ
I2H
CUAPITRf:
III.
et je les
RZ
^ et
cp'
RZ
X
de
ces quations
mme, dans
Tquation
TP
MP
r _ ~h
j:'
sous-entends
la
quantit
'J'
telle
que
TP
MP
soit
j ~ V^
ment
nitsimale dans
sparment ne
qu'on a exactement
TP
Y a
MP
et,
X
ont
t,
,(ji'et d'
primes
comme nulles,
pour
simplifier le calcul.
que
l'aire
nom-
mant
ce rayon,
vs le
rapport de
la
circonfrence ce
mume
rag
la
surface
du
cercle,
on doit avoir
S
inTR2.
le
Pour
cela, j'inscris
nombre de
ses cts
jusqu' ce que
l'aire
qu'on
le
voudra de
la
l'aire
du
cercle.
En mme temps,
le
le
primtre du
voudra de
aussi
peu qu'on le vou,dra du rayon R. Donc l'aire S diffrera aussi peu qu'on le voudra de ^htR-; donc, si nous faisons
S=|rTR2
la quantit 9, si elle n'est
forme
(S i-niRS)
aucune
dont
petit
<,= o,
le
premier ne renferme
le
qu'on
veut
donc, par
la
-T
CI P--
=o
ou
S :=
w R-
ce c/u
ilfallait
dmontre/-.
a:
ax
a:x
cas
pour que
lieu
sa fonction
soit
un maxiiniun.
Le
l'augmentation correspondante de
propose
C.
ax
xx pourra
fonction
tre
Mcaphys.
i3()
ciiAPiTnn
m. en diminuant celle-ci de
x', j'aurai
le
x',
plus en plus.
Or,
si
j'ajoulexla quantit
pour l'augmen-
x')
[a
(.>
-h
x'Y
[ax
.rr)
ou, en rduisant,
-+-
2x]x'
x'^\
c'est
donc
le
IX
.i',
le
veut.
=
a
cp;
9.
x'
:=(ji
ou
^a
'2x]-{x'-^'f)=o,
le
premier ne renferme
aucune arbitraire et dont le second peut tre suppos donc, par la thorie des aussi petit qu'on le veut indtermines, chacun de ces termes pris sparment est gal zro. Donc nous avons
;
7.x =z o
ou
.r
|rt,
ce qiiilfallait trouver.
de
mme
base et de
mme
elles.
Concevons ces pyramides partages en un mme tranches, toutes de mme hauteur. Chacune de ces tranches pourra videmment tre regarde comme compose de deux parties, dont l'une sera un prisme
nombre de
l3l
la
entoure
Vies volumes
respectives des
les
des deux
pyramides, P, P'
les
sommes
prismes
sommes
respectives
V
mais
il
= P-f-r/,
V'=rP'-f-<7';
:
est clair
que P
= P'
ou
donc
V 7 = V' 7'
Mais
le
(V
V')
(<7
fy')
=0.
aucune arbitraire, et le second peut videmment tre suppos aussi petit qu'on le veut. Donc, par la thorie
des indtermines, chacun de ces termes en particulier
est gal
zro.
Donc on
V V'=:o
ou
V = V,
ce
qu'il fallait
dmontrer.
127. Soit propos de trouver le volume d'une pyramide dont la base est B et la hauteur H. Concevons cette pyramide partage en une infinit
de tranches de
mme
paisseur; soient
la
distance de
mide
mide,
sont
et x' l'paisseur
les aires des
de cette
faites
coupes
base
;
comme
la
les carrs
de leurs distances
au sommet
la
T>
donc
tranche
-
loigne du
sommet de
la
distance
est tt^x^
faite
Donc le
volume de
est
de l'onglet,
a:*x';
donc
le
volume
total
de
la
pyramide, abstrac-
somme
|3%
le
CilAPITHK
m.
veut,
cliaque onglet
volume de
la
tranche,
aussi
la
somme
de tous
les
lments
rTi-T^-r'
diffre
peu qu'on le veut du volume cherch de la pyramide. Nommons donc V ce volume, nous aurons exactement
V
= som X- +
.V
y,
petite
qu'on
le
veut.
Mais, puisque B,
c'est--dire les
clair
mmes pour
B
est
que
est la
mme
chose que
IP
Or
-^ est
videmment
le
prises depuis le
la
pour
pyramide entire
'
somme H
a
Mais on
naturels est
sait
/2II'
3 H-
Substituant cette
somme dans
l'quation trouve
ci-
6P
MTHODK DES
.XUKTEIIJIINES.
l33
de ceux qui ne
le
sont pas,
le
premier ne contient que des quantits dsignes ou non arbitraires, et dont le second peut tre rendu aussi petit
qu'on le veut. Donc chacun de ces termes rment est gal zro donc nous avons par
:
pris spale
premier
V iBH = o
ce qu'il fallait trouver.
ou
= ^BH,
La solution qu'on vient de donner est analogue la mthode des indivisibles, ou plutt c'est la mthode
mme
lgres modifications, au
moyen de
la
mme
infinitsimale,
pour
comment toutes ces mcomment elles ne sont et mme mhode envisage sous diffaire voir
En
conservant les
dnominations ci-dessus,
la
nous nous
pyramide.
De
plus,
mme
H"
o exprimant
une quantit
r|iii
l34
CHAPITRE
III.
termes.
Prenant de part
et d'autre la
somme
= som
:,
x^dx H- som.
Or
l'intgrale ordinaire
est
^^'
mais
la diffrentielle
C exprimant une
constante
exacte
B
^<,^^dx.
elle est
c'est--dire
^( 3|i
+ c) == |,.r^rfx
-I-
(3.../,-^-+-./,r3);
la
somme
exacte,
nous aurons
f
^
^
\J
''
+C
r=:
)
som
il
^
il
.T'^dx -h
som
~ [Zxdx^ +
11
"R
dx^)
ou, en transposant,
iom
T>
.T-dx -~
R -
a;^
~ som [Zxdx'^
-\~
dx^].
l35
V^
^
3H^
.v^
H- C
fsom
le
qu'on
le veut.
(f';
les
principes de
la
donne
V=
il
x = o;
alors
on
donc l'quation
se rduit
V
c'est--dire
j:^
que
le la
volume de
la
pyramide depuis
le
sommet jusqu'
le
hauteur
la
est ttyi'i
il
volume
total
de
pyramide,
poser
X = H,
comme on
le voit,
n'est aijtre
les
procds de
qu'une abrviation de
les
ces
procds,
puisqu'elle
ne
nglige que
quan-
l3()
CilAi^lTHIi
(p, 'j',
III.
tits
le rsultat
du calcul que
sur celle des quations dont on n'a pas besoin, entre les
deux dans
le
lescjuelles
il
se
dcompose.
(3r, ce
que l'Ana-
nom
le
ment
que
la
la
:
rigueur go-
cours du calcul
on voit donc
moyen
il
d'y suppler,
si
l'on
et t dsirer peutdiff-
rentiel et intgral;
chemin qu'on
ficults.
prvenu toutes
les dif-
ou DES LIMITES.
129. La mthode des premires et dernires raisons
la
mthode
dveloppement et une simplification de celle-ci. C'est Newton que l'on doit cet utile perfectionnement, et
c'est
struire
il
suffit,
une
ide succincte.
Lorsque deux quantits quelconques sont supposes rapprocher continuellement l'une de l'autre, de manire que leur rapport ou quotient diffre de
se
moins en moins et aussi peu qu'on le veut de l'unit, ces deux quantits sont dites avoir pour dernire raison une raison d'galit.
En
quan-
'7
s'approchent
respectivement
et
simultanment
comme
fixes,
mme
qu'on lvent,
tits fixes
les l'apports
ment,
ainsi.
comme
s'approchant ou
comme
seraient,
comme
les
par exemple,
qu'elles
c'est--dire
conditions
les
de
la
question, mais
calcul est
les
coordonnes
qu'on
les quantits
nomme
sur
la
nombre
des donnes,
je
courbe dont
il
question rsoudre
celle
une tangente,
et
mon
calcul,
que je continue
de
les
comme
que
fixes
mon
calcul.
l38
CHAPITRE
III.
on cherche la relation celles qui sont supposes s'en approcher graduellement ne sont que des quantits auxiliaires que l'on fait intervenir pour faciliter l'expression des conditions du problme, mais qui ne peuvent
;
pour obtenir
les rsultats
nommes
quantits
non dsignes,
et
limites
ou dernires
On
voit
ainsi
l'analogie
mthode
que dans
celle-ci
on
nomme quan-
d'aprs la dfinition que nous en avons donne (14), que la diffrence d'une quantit quelconque sa limite,
ou,
les
si
l'on veut,
la limite est
et
dans l'Ana-
nommes
quantits injiniment
peu
de l'autre.
132.
On
que
la
notion de quantit
claire
la
moins
que
celle
de
diffrence de
cette
mme
dont
elle
exprime
la
et celle
qu'on
mthode
premire on n'admet en
dans
le calcul
que
les
limites elles-mmes,
admet
MTHODE DES
LIMITES.
iSg
leurs limites
ce qui
donne
la
mthode
infinitsimale plus de
moyens de
133.
La
facult
que
se
procure ainsi
la
mthode
infi-
nitsimale la rend
susceptible encore
:
d'un nouveau
un algorithme particulier, car ces diffrences entre les quantits non dsignes et leurs limites
tre rduite en
le
nom
de diffrentielles
auxquelles
de ces
mmes
donne
de
si
puissants moyens.
la
Nanmoins
par
la facult
mthode des
elle
limites,
quoique restreinte
dont
se
que
les
des calculs
l'absurde
pour
que
tandis
l'galit
de deux
suffit
mme
134.
Il
m-
Newton n'en
le
fait
aucune
il
emploie indiff-
remment
nom
l4<>
CHAI'ITRK
m.
du rapport de deux
y a des personnes qui vaguement qu'il existe quelque diffrence entre la mthode des limites, telle que d'Alembert l'a explique l'article Diffrentiel de l'Encyclopdie, et la mthode des premires et dernires raisons, telle que
fais
croient
Newton
l'a
explique dans
la
le
absolument
mme
trs
connue,
il
nous
donner un exemple.
par ce qui a t dit (9), que, quoique
,
13o.
Il est clair,
. .
MZ -ne
soit
TP
la la
premire de
seconde que
.,
moins de
RS
est plus
_ TP
P
1Z~
est
MZ
RZ
est
_ TP ~MP
De mme, on
MZ
est aussi
L ^t
il
vient
TP
r4l
OU
a
OT
comme
nou-
veau calcul,
,,,,-,,
mme
MZ et RZ
MZ
MZ
leur rapport
> ui RZ q
une quantit finie. mthode tait toujours aussi facile mettre en usage que l'Analyse infinitsimale ordinaire, elle
Si cette
pouri-ait paratre prfrable, car elle aurait l'avantage
de conduire aux
et toujours
mmes
rsultats par
lumineuse.
l'a
Mais
il
dessus, que la
mthode des
une
difficult considrable
infinitsimale ordinaire
c'est que,
ne pouvant y sparer,
comme
lies
dans celle-ci,
deux,
les
deux
on ne peut
faire entrer
dans
les
com-
par
le
Newton considre une courbe comme engendre mouvement uniforme d'un point; il dcompose
la vitesse
chaque instant
autres,
l42
CHAPITRE
m.
la
la
appelle fluxions de
vitesse
arbitraire
ces
courbe est
vitesse avec
laquelle
il
est dcrit
par
le
point
le
sens de cette
de
cemme point
Puisque
la
estime dans
le
ne
se fasse en ligne
la
nature de
la
courbe, c'est-
mme
la
de ces coordonnes.
Rciproquement,
les fluxions
dpend
quel est le
moyen de dcouvrir
qui existe
de dcouvrir
la
les
coordonentre les
connat celle
qui existe
mmes. La premire
partie de ce
problme
la
est ce
qu'on
nomme
seconde mthode
mesure que
le
de courbure,
etc., c'est--dire
l43
coordonnes elles-mmes. Toutes ces quantits ont donc des fluxions, dont les rapports sont galement
dtermins par
le
dcrit uni-
formment
la
mmes
fluxions employes
comme
auxiliaires,
que l'on
nomme
mthode directe
Juxions
et inverse
et fluentes.
et
aux volumes
les
corps en
;
mouvement
et
aux
produisent
on en
fait l'objet
que
la
mthode d'exhaustion
calcul qui en drivent.
elle-
mme
138.
voit,
et tous les
modes de
La mthode des
le calcul
fluxions n'admet,
comme on le
puisque
dans
finies,
ces fluxions ne
On
peut
d'une
mme
les
prendre ces
respectives
avec lesquelles
coordonnes
courbe,
croissent pour
coordonnes
nouvelle
finies, et celles-ci
pourront encore
que jamais
il
139.
Il
est
choisie
l44
CHAPITRE
[I!.
c'tait la vitesse
absolue du point
comme
uniforme
la vitesse
forme
iO.
et
chemin un temps donn, divis par ce temps, mais la premire ou dernire raison de ce rapport,
car la vitesse variable d'un point n'est pas le
dcrit par ce point dans
c'est--dire la quantit
41
Cette observation a t
introduire dans
le
mthode des
la
est
Nous plaons
de
la
sement que nous faisons des sciences est assez arbitraire. la Gomtrie avant la Mcanique dans
premire sont bien plus abstraites que
la
lmentaires de
((
seconde,
et,
comme
le dit
Lagrange,
chacun a ou croit avoir une ide nette de la vitesse ; ce n'est donc pas prendre une marche contraire l'esprit des Mathmatiques que de dfinir les fluxions par les
vitesses.
r4)
Nous venons de
et des
vitesses qu'on
nomme fluxions
parcoumis
l'on
temps employs
si
compare ensemble deux de ces vitesses ou fluxions, par exemple la fluxion de l'abscisse avec celle de l'ordonne, ces fluxions auront elles-mmes entre elles une raison, qui n'est autre chose que la limite du rapport des diffrentielles de ces coordonnes. Ainsi la
mthode des fluxions n'est encore, comme on le voit, que la mthode infinitsimale, et par consquent la mthode d'exhaustion envisage sous un nouveau point de
vue, et l'on aperoit facilement
ces
le lien
mthodes
les
dif-
Au
lieu
de
la caractristique d^
se sert
dans
celle-ci,
on pointe
les lettres
la
fluxions, c'est--dire
que
que x repi'sente une quantit finie qui du point dcrivant dans le sens des abdans
le
mme
abscisse.
De mme,
les
-)',
si
l'on conoit
coordonnes soient
les fluxions
et
le
calcul par x,
et ces
x,y
diffrentielles
secondes ddx,
la
s.
ddj
qui
leur corres-
pondent
C.
dans
Mtaplij
mthode infinitsimale,
sont
lO
des
ij(')
ciivpiTnE ni.
f[uantil(''S
ainsi
de
suile.
114.
Il
me semble
est telle-
que
la
ment
que pro-
sciences mathmatiques est remplie de semblables rencontres, parce que, la vrit -tant une,
il
faut toujours
que ce
sentie,
fray.
soit elle
qu'on arrive,
chacun
Il
s'y prcipite
par
chemin
qu'il s'est
Newton
et
deux grands hommes peraient de toutes parts dans les crits des savants. C'tait rellement un fruit mr. Cavalerius. Fermt, Pascal avaient soumis au calcul les
quantits infiniment petites
;
la
mthode des indtermines Roberval avait imagin de dcomposer la vitesse du point qui dcrit une courbe en deux autres respectivement parallles aux deux coordonnes Barrow avait considr les courbes comme
;
des polygones d'une infmit de cts; Wallis avait enseign calculer les sries.
Il
mme
genre un
mode
n'est-il
tant
i:ALcn. i)E>
Kv\NonssAXTns.
147
La plupart des
la
de
gom-
infiniment petites
comme absolument
nulles.
La mta-
la
Prface du
Calcul diffrentiel d'Euler Le Calcul diffrentiel, dit ce grand gomtre, est l'art de trouver le rapport des
accroissements vanouissants que prennent des fonctions quelconques, lorsqu'on attribue la quantit variable dont elles sont fonctions
un accroissement va-
nouissant.
Newton
la
Il
faut, dit-il,
entendre par
diminuent, non
qu'elles sont
pas avant de
s'vanouir,
ni
aprs
vanouies, mais au
moment mme o
elles s'vanouissent.
D'Alembert rejette cette explication, quoiqu'il adopte compltement d'ailleurs la doctrine de Newton sur les limites ou premires et dernires raisons des quantits. Cette mthode, dit Lagi'ange, a le grand inconvnient de considrer les quantits dans l'tat o elles
cessent, pour ainsi dire, d'tre quantits; car, quoique
l'on conoive toujours bien le rapport de
tits, tant qu'elles
deux quan-
demeurent
finies, ce
rapport n'offre
sem.ble
nanmoins que,
les quantits
infiniment pe-
i4'S
cHVPiTRi:
m.
tites tant
leur attribuer
est vrai
il
qu
ment suppos n ou
lit
aussi bien
quelconque.
donc
dans
:
peu prs
inutile, si l'on
se bornait les
traiter
le calcul
comme
nulles
o,
quantit; mais
tits
nulles ont
ici
comme
donne
dernires valeurs des quantits indfiniment dcroissantes dont elles sont les limites, et qu'on ne leur
la
dnomination particulire
d'avertir
que de tous
les
les
combinaisons
de conti-
que
par
la loi
du sys-
et c'est l
prcisment
Newton,
lorsqu'il dit
que
les
quantits va-
non aprs
cju'elles se
sont va-
mme
elles s'vanouissent.
(9), par
RS
'
la fraction
grande que
^
TP
(iu"au
J moment o ^1/
ces
RZ
CALCUL
,
UiLi
.
LVAXOUISS.VXTES.
,
. ,
l49
vrai
qu
,,
RIZ
alors
lite
qu a- puisque ,
TP
est
-,
arat-
bitraire; mais,
parmi
tribuer -,
MZ TP
KZ
)
de continuit
et dtermine par
car, si l'on
con-
struisait
finiment petite
MZ,
et
l'ordonne proportionnelle
-^
par,
TP
et
. :
arbitraire
or, c est ce
qui distingue
quantits que je
nomme
vanouis-
= 2X0=3X0 = 4x0=...,
on ne peut pas que MZ,
dire d'une quantit vanouissante, telle
MZ = 2 MZ = 3 MZ
= 4MZ =
MZ
et
MZ
tion
que
celle d'identit.
147.
le calcul
quations deve-
le rsultat
cher-
ch.
d'inconvnient, par
moyen
l5o
lits
CllAl'ITUE
111.
peuvent,
comme
attribues
se ngliger lors-
que
le
reux.
148.
On
peu!;
en considrant les
des quantits
ef-
comme
ou comme des quantits absolument nulles. Dans le premier cas, l'Analyse infinitsimale n'est autre chose qu'un calcul d'erreurs compenses et dans le se;
cond, c'est
l'art
comqui
Comme
trou-
elles
comme on
le
aisment cette
loi
que
elles n'offriraient
;
que
le
rapport indfini
IJI
comme absolument
les quantits
nulles,
qui ne
nommes indfniment
entrer
il
petites,
le
elles-mmes dans
s'agit
dans
aider l'ima-
la
MZ RZ
:
TP MP [fg. ), les quantits reprsentes parMZ et RZ sont bien supposes absolument gales
: :
zro
il
mais,
comme
c'est
faut,
TP -
considrer
les quantits
quantits nulles,
non
et
afin
de
les introduire
elles-mmes
dans
le calcul,
dno-
mination de
cjui
MZ
les quantits
vanouissantes
en sont
les
dernires valeurs.
MZ, RZ
la
reprsentent donc
ici
MZ, RZ,
que,
si
forme commune
effet
o,
que parce
on
employait en
forme, on ne pourrait plus distinguer, dans les oprations o elles se trouveraient mles, leurs diverses origines, c'est--dire quelles sontles diverses quantits ind-
le
rapport cherch
consquent
il
est essentiel
de ne pas
les
perdre de
Yi
CII.VPITKE
m.
vue et de
pchent de
confondre.
le sujet
du
vue sont,
la vrit, des tres de raison mais cela n'empche pas qu'elles n'aient des proprits mathmatiques et qu'on ne puisse les comparer tout aussi bien que
;
pas davantage. Or, personne ne i-voque en doute l'exactitude des rsultats qu'on obtient par le calcul des imaginaires,
quoiqu'elles ne soient
quantits effectives et touchent pour ainsi dire l'existence. Qu'importe, en effet, que ces quantits soient ou
non des
pas, et
tres chimriques,
si
que ces rapports soient la seule chose qui nous intresse? On est donc entirement matre, en soumettant au calcul les quantits que nous avons
nommes
in-
comme
efiectives
ou comme absolument nulles et la diffrence qui se trouve entre ces deux manires d'envisager la question
consiste en ce que, en regardant ces quantits
nulles, les propositions, quations
et
comme
le
rsultats quel-
et
mais se rapportent
sont des
tres de raison, et
au lieu
comme
quelque chose
rsultats
(juantits
quations et
et rsultats
l53
ils
est
une
suite ncessaire et
du
calcul.
151.
La mtaphysique qui
faites
qui
ont t
d'induire en erreur
mais
par
ils
ont t accabls,
si
l'on
peut s'exprimer
ainsi,
la
par
l'clat
cipe.
se rduire celle-ci
Ou
les
nomme
ment
est ridicule de
supposer qu'il
Or,
si
elles
com-
paraison ne
n'est
conque
et si elles sont
les traiter
comme
nulles, ainsi
que
le
La rponse
est simple
comme
dire,
quelque chose de
contraire,
rel, ni
comme
volont
rien,
les
on peut
regarder
;
au
qu'on peut
comme
nulles
ou
comme
les
de vritables quantits
voudront
regarder
que ce
qu'ils
en dtermine
la
relation
les
rapports
ils
comme
zro,
ne
IM
(le
CilM'lT!;!::
lil.
conlinult
ne sont point
de continuit
de l'abscisse et de l'ordonne
est celui de la
sous-tangente l'ordonles
D'un autre
cot,
quantits
infiniment petites
comme
rpondre que ce
aux
on peut cependant la
reur,
tit
si elle
traiter
comme
telle,
suive aucune erreur dans le rsultat, puisque cette eravait lieu, serait arbitraire
il
comme
la
quanqu'une
lors-
est vident
pareille erreur
Donc,
les
quan-
donnes
ditions du problme,
dtermines par
du
se
tre commises en exprimant ces conditions ont pu compenser et disparatre par une suite ncessaire et
du
calcul.
apparemment
limites,
simplement
les
prouver que
la
mthode des
dont
les
mmes
r-
iMais,
en convenant
rilKOUlli
I)!;S
FONCTIONS.
l55
que
le
ne peut
ne font qu'luder
la
la diffi-
que
mthode des
limites ne
mne aux rsultats de l'Analyse infinitsimale que par une route difficile et dtourne et qu'enfin cette mthode, loin d'tre la mme que celle du calcul de l'infini, n'est, au contraire, que l'art de s'en passer et d'y sup;
en quoi l'on
qu'il
me
semble, par
153.
Il
la
suit
peutvolont considrer
ou
comme absolument
nulles ou
comme
quantits;
un motif cependant me
la
considrent ainsi
me
semblent
traiter la question
autres.
ceux-ci, en attribuant
ment
comme
nces-
elle ils
ne pourraient obtenir ce
puisque ces
conditions,
s'liminer
sans
aucune valeur dtermine, et pas plus celle qui est o qu'aucune autre. La question parat donc rsolue d'une manire gnrale
sans
154.
pratiques ou proposes
la
mthode d'exhauslion
>6
cnAi'rnu
la
m.
dans
les
sciences math-
matiques.
Il
pens nanmoins
impos-
sible d'atteindre ce
but important,
recherches
qu'il a publi
Ouvrage
sous
le titre
tenant
les
principes
du Calcul
dijjcrentiel,
dgags de
de
sur
limites et
de Jluxions,
.
et rduits
l'
analyse alg-
mme
sujet,
un
\nl\\.\Ait
Leons sur
le calcul
un commentaire et un supplment pour le premier. Ces crits sont marqus au coin du gnie original et profond auquel nous devions dj le Calcul des variations et la Mcanique analytique; mais, comme ils doivent se trouver entre les mains de tous ceux qui veulent approfondir la science du calcul, je n'en dirai
ici
qu'un mot.
Afin de conserver, dans tout
tions, l'exactitude rigoureuse
le
dont
de
fait aussi
usage des
et sous
une
considre
comme
indtermines.
En consquence,
ses diffrentielles
il
ne nglige aucun
fait
terme
par
le
et
prend
comme on le
dans
le calcul
aux diffrences finies. C'est quoi il parvient thorme de Tavlor, dont il fait la base de sa
directement par l'analyse
tandis
qu'avant lui
le
on ne
l'avait
encore
secours
mme du
Calcul diff-
TiiKORir;
i)(:s
foxctions.
iSj
rigoureusement exacles,
tion
les condilioiis
de toute ques-
propose.
que
celles
procds ordinaires de
l'Analyse infinitsimale, c'esl--dire lorsqu'on se permet de ngliger les quantits infiniment petites vis--vis des
comme
les
unes et
les autres
de
mmes
qui les
:
on sent
qu'il doit
ramnent aux autres. C'est ce qui a lieu en effet l'auteur, par une suite de transformations ingnieuses,
parvient dgager son calcul de tout ce qui l'embarrassait inutilement. C'est ainsi
de rien
la simplicit
de
les
ses
diffrentielles
comme
c'est
c'tait
sorte
demeurent toujours indtermines de qu'on reste matre, pendant tout le cours du calcul,
rendre aussi petites qu'on
la
le
de
les
veut,
sans rien
la
changer
1S6.
Il
est facile
En
effet, les
diOe-
38
(liAinruF.
m.
comme on comme
le lait
dans
formule
l'observe
la
La-
les
problmes dont
solution
mthodes nont d'autre but que de dtacher et d'isoler, pour ainsi dire, ce premier terme du reste de la si-ie. Le Calcul diffrentiel ordinaire remplit immdiatement son objet, en ngh"geant, ds le premier moment, tous
les
autres,
comme
s'ils
mthode
comme
les
uns par
les autres
du
enfin,
on
les fait
commun un
accroissement de
mthode
l'adoption d'une
mthode
lequel
il
faudrait
abandonner
Ouvrages originaux qui ont paru depuis un ainsi, par exemple, il faudrait refondre toutes
lections acadmiques, tous les crits d'Euler et
sicle;
les col-
ceux de
tait la
sa.
sienne lors-
lu
nouvelle dition de
3Iccani(jue ann-
TiiKoniK
i)i:s
roxcTioxs.
iig
lytique;
il
comment
qu'il a
il
s'exprime ce
la tte
mis
de ce dernier Ouvrage
On
ment
conu
de ce systme et qu'on
la
convaincu
mthode gomtrique des premires et dernires raisons ou par la mthode analvtique des fonctions drives, on peut employer les infiniment petits comme un instrument sr et commode pour abrger et simplifier les dmonstrade l'exactitude de ses rsultats par
tions.
gomtre
anglais,
le
avait
tent,
ramener
comment
il
s'exprime ce sujet
difficvdts
qu'un habile
la
une autre mthode purement analytique et analogue la mthode diffrentielle, mais dans laquelle, au lieu de n'employer que les diffrences infiniment petites ou nulles des quantits variables, on emploie d'abord
les valeurs diffrentes
f-ait
l(')0
CHAPITRE
III.
('vanoiiissanles,
mais
les
procds
et les applicalions et
du
peu naturels,
le
Ion
doit
convenir
cpie cette
manire de rendre
calcul plus
paux avantages,
des oprations.
la
simplicit de la
mthode
et la facilit
La
nients
c'est
accpiis l'habitude
de s'en
COMCLUSIOJN GNRALE.
seule et
mme mthode
la
mthode d'exhaustion des anciens, plus ou moins simplifie, plus ou moins heureusement approprie aux hesoins du calcul, et enfin rduite en un
algorithme rgulier.
est
il
pour
la
mthode d'exhaustion
;
les
anciens ne connais-
synthse
les
mo-
immenses.
C'est
ils
abrgent et facilitent
de l'esprit, en le l'duisant, pour ainsi dire, en mcanique. Les symboles algbriques ne sont pas seulement ce qu'est l'criture la pense, un moyen
le travail
travail
de
de
la
peindre et de
ils la
la fixer
ils
mme,
les
suffit
dplacer sur
CONCIAi^ION {JKNhJUALK.
l(l
160. Les symboles algbriques font plus sent dans les combinaisons des formes
naires, des tres fictifs qui ne
ils
introdui-
purement imagi-
peuvent exister ni
mme tre
compris,
et
On
les
emploie auxiliairement
le
comme
termes de com-
rapprochement des vritables quantits dont on veut obtenir la relation, et on les limine ensuite par des transformations qui ne sont ellesmmes, pour ainsi dire, que l'ouvrage de la main. Cet admirable instrument des sciences exactes n'a pu tre que le produit des recherches accumules des plus
paraison, pour faciliter
profonds gnies
et peut-tre
Mais
et
il
fait pour seconder les efforts de l'imagination non pour en dtendre les ressorts c'est toujours un m03xn indirect invent pour suppler la faiblesse de notre esprit; on ne doit l'employer qu' regret et pour vaincre les difficults ou gnraliser les questions, et c'est un abus que d'y recourir sans aucun besoin, comme
strument
dans
les
il
cause plus
d'embarras
nous devons
les
les
nous empche de
apercevoir
plus distinctement
Ceux qui russissent nous faire voir presque intuitivement des rsultats auxquels on n'tait parvenu avant eux que par le secours d'une analyse complique ne nous
procurent-ils pas toujours autant de plaisir que de surprise,
simple
C.
pourvu que ce ne soit jamais que d'une manire et sans augmenter les difficults ?
Mtaphys.
I
iC)7.
(;ii.vi>iTr.K
ni.
coup moins
clairs et
moins bien
(jtablis
que ceux de
l'Ala
premire (*); la mtaphysique de la rgle des signes, lorsqu'on veut l'approfondir, est bien autrement difficile
que
ne
jamais
;
dmontre d'unemanire
satisfaisante
pas
mme
dant
elle sert
que gagne-t-on
infinitsimale,
donc
substituer
les
l'Analyse
puisque
procds de
coup plus compliqus que ceux de la seconde, pour objets qui sont du ressort natui^el de celle-ci ?
aussi nette
Jamais l'expression analytique d'un objet ne peut tre que la perception immdiate de cet objet lui:
mme
c'est
em-
dfinir
un objet
sensible par de
moyen
une chose
claire
beaucoup moins. Je citerai ce sujet un passage bien remarquable d'Euler, l'analyste par excellence du sicle dernier (Mnioiies de V Acadmie de Beidin, anne
1754):
11 y a des personnes, dit-il, qui prtendent que la Gomtrie et l'Analyse ne demandent pas beaucoup de raisonnements ils s'imaginent que les rgles que ces
((
;
i-jj,
la
Note qui
lro|) lon{;ue
cet Oiivrajje,
CONCLUSION GKXUALF.
ifiS
les
raisonnements sur
opinion,
si
lesquels
elle
ces
rgles
tait
Gomtrie
et l'A-
comme
les
moyens
les
l'esprit et
mettre en exercice
de raisonner.
Quoique
tiques
,
faut pourtant
se
soient
peu applidifficiles,
qus
car
la rsolution des
problmes un peu
ils
que
la seul
eappli-
pour rsoudre ces sortes de problmes, et qu'il faut auparavant examiner bien srieusement toutes les circonstances du problme, et faire l-dessus quantit de
l'on a ce
calcul
mme, quoique
en prescrive
les
ments qui le doivent conduire dans la solution de tous problmes difficiles qu'il entreprend, et, moins
qu'il
ne
il
i64
(:!i\i'iTHK
11!.
me
semble, de prendre
aucun moyen ne doit tre pour en revenir notre objet, parmi les mthodes dont nous avons parl, il faut, pour Tusage habituel, choisir celle fjui mne en gnral au but par
prendre
plus lumineuse
;
exclusif. Ainsi,
la
la
aucune des autres, parce que ce sont d'abord en ellesmmes de belles spculations pour l'esprit, et ensuite
ter
parce
cju'il
conduire
commune
dans
la
l'usage habituel?
Il
me
semble
convenu que
Les travaux de Descartes, de Pascal, de Fermt, d'Huygens, de Barrow, de Roberval, de AVallis, de JNewton surtout, prouvent que l'on touchait depuis long-
temps
cette
me par
illustres
<ju'il
gomtres qui ne
s'il
et souponn
faire
,
un d'entre eux qui n'et trouv un moyen pour rduire en algorithme la mthode
c'est--dire qu'il n'y en a pas
d'cxhaustion,
qu'il et
si
Fide
lui ft
la
venue de
la
chercher, et
prvu toute
mme
que,
parmi
obtenu
les divers
il
originaux,
la
CONCLUSION GNKALE.
16)
donna, en
considre la
;
courbe comme un polygf)ne d'une infinit de cts mais ce calcul n'tait encore qu'bauch, car il ne s'appliquait qu'aux expressions rationnelles.
Il
restait
donc
trouver
un algorithme simple
et
que Leibnitz
taitparvenu,
donn dix ans aprs. Il parat que Newton danslememe temps ou un peu auparavant,
les diffrentiations.
la
c'est
dans
grand mrite et
la force
il
me semble que la gloire de l'invention est presque uniquement due Leibnitz, et surtout aux Bernoulli.
G6.
la
Il
maintenant de quitter
une nouvelle notation, de nouvelleslocutions.Lagrange lui-mme reconnat, comme nous l'avonsdjdit (157), que la mthode infinitsimale, telle qu'on l'emploie aujourd'hui, est un moyen sr d'abrviation et de simplification, et
il
la
nouvelle
ibb
cil
vpiTKi:
III.
propre
Il est donc prsumer qu'il Ouvrage que comme un cadre rassembler sous un mme point de vue une
dans
le
sion de dvelopper
mthodiquement
le calcul.
les
prodigieuses
167.
J'ai
que
de
le
de Descartes
la
comme
le
mthode d'exhaustion.
En
effet,
dans toutes
les
les divers
qu'elle
compare.
Un nombre
le
abstrait est
moins
encore
tits
combien du nombre, mais les quanalgbriques sont plus indtermines que les nombres
non seulement
la qualit
parce qu'elles ne spcifient pas mme le parmi ces dernires les variables sont plus indtermines que les constantes, parce que celles-ci
abstraits,
combien
sont considres
comme
les
fixes
priode de
plus
calcul;
quantits infinitsimales
les
indtermines
que
qu'elles
lors
mme qu'on est dj convenu de considrer les autres comme fixes enfin les variations sont plus ind;
CONCLUSION
(iKNl'Mi.VLi;.
1G7
termines que
les
une
fait
loi
donne,
les
au lieu que
on
changer
dans cet assemblage de quantits plus ou moins dfinies, plus ou moins arbitraires, qu'est le principe fcond de
la
le
Calcul
lies l'tat
de
la
demeure libre de leur attribuer des valeurs plus ou moins grandes, ces quantits, dis-je,
non dsignes,
mme
que
dont on cherche
le rsultat
la relation
ou qui sont
que les
du
calcul, tandis
auxiliaires;
annonce toulors
jours,
quand
domaine de
l'Algbi'C ordinaire.
168.
La mthode des
limites
ou des premires
la distinction,
et
au
l68
CHAPITRE m.
tacite,
moins
le
de ces quantits dsignes et non dsid'une quantit n'est autre chose que
gnes, car
la limite
terme dont cette autre quantit est suppose s'approCelte limite est donc considre
par consquent
l'autre,
le
du
calcul.
On
voit par l
ni plus ni
moins
difficile dfinir
n'est
celle
une erreur de croire que la mthode des limites que celle de l'Analyse infinitsimale
;
ordinaire
car,
il
:
la
mthode
que c'est qu'une limite or la diffrence d'une quantit quelconque sa limite est prcisment ce qu'on nomme ou ce qu'on
des limites,
faut pralablement dfinir ce
nommer une quantit infiniment petite. L'une n'est donc pas plus difficile comprendre que l'autre, et si la mthode des limites est exacte, comme on ne saurait en douter, il n'y a aucune raison pour que l'Analyse
doit
infinitsimale ne le soit pas.
avantages
se
c'est
que, dans
la
mthode des
limiles,
on ne
le
permet point de
faire entrer
sparment dans
mme
l
leurs
dsignes.
et
Par
on
est
priv des
moyens de combinaison
de transformation
la
que procure
l'Analyse infinitsimale
facult qu'elle
CONCLLSION GNKVLE.
69
se donne, et qu'elle
dmontre avoir
le droit
de se donner,
son
fectionnement de
ni
la
mthode des
limites; c'est
un perun usage
moins exact
171.
ni
moins lumineux.
dans l'expos
Au
mme
des
peu
mais
il
n'est
La principale
dans
ralement
mthode
infinitsimale,
dans
le
avons
nommes
se
trouvent restreints
on
est
mme
briques et dans
Un
exemple
suffira
supriorit de la
pour mthode
infinitsimale.
Proposons-nous d'noncer
vitesses virtuelles.
le
Le
voici, d'aprs
Mcanique analytique : Si un systme quelconque de tajit de corps ou points que l'on veut, tirs chacun par des puissances quelconques, est en quilibre, et qu'on donne ce systme un petit mouvement quelconque, en vertu duquel chaque
IJO
CIIAPITHE
iir.
point
o. elle est
applique
comme
positijs les
parcourus dans
le sens
des puissances et
comme
oppos.
Maintenant je demande comment ceux qui rejettent les expressions admises dans le Calcul infinitsimal
pourront noncer cette proposition aussi clairement que nous venons de le faire d'aprs le clbre auteur de la Mcanique analytique ? Or toutes les Mathmatiques
ne sont, proprement parler, qu'une suite de locutions semblables ce serait donc se jeter dans des longueurs
;
que de
les
abandonner:
faudrait,
pour
la
s'y
Or
tout le
monde
mthode
est infaillible
les quantits
appeles
non sur les limites de leurs rapports. Si l'on me demande 1^ volume d'un corps termin par une surface courbe, j'imagine rellement ce volume jjartag en un grand nombre de tranches ou mme de particules. Ce
et
non
les divers
rapports.
Mon
particules m'offre
CONCLUSION Gi;XK\LK.
IJl
guide, et facilite
particules
la
comme
considre en effet
je cherche
comme
la
somme de
donc l'expression
du calcul m'autorisent
omettre.
J'applique alors
connues du
tel
de
mthode d'exhaustion
ou de toute autre dans laquelle on ne pourrait faire usage des moyens d'abrviation et de simplification que
fournit la
mthode
est
infinitsimale.
173.
Il
permis de considrer
ou comme de vritables quantits, ou comme absolument nulles; mais l'imagination s'accommode encore mieux, ce me semble, de la mthode qui
ment
petites,
comme
effectifs
que de
loi la
celle qui
regarde
comme
rduits zro.
La
de continuit
valeur de
mme, qui
chaque cas
indtermines, oblige
les
comparer avant
et
qu'elles
peuvent
:
c'est
donc au moins
;
'de les
quand on peut
la
s'en dis-
le
sublime, on peut
le dire,
de
la
mthode
!->.
CHAPITRE
III.
Cet
modes
inventeurs. Si cette
comme
jours
moins conformes la marche prol3able des mthode est exacte dans les rsultats, personne n'en doute aujourd'hui, si c'est touelle qu'il
faut
en revenir dans
les
le
questions
difficiles,
comme
il
parat encore
que tout
monde en
et
moyens dtourns
la
compliqus pour
ses rsultats avec
la
conformit de
les autres
met
dmontrer directement
l'on a
sition,
commises dans
le
cours du calcul
sont
le rsultat
qu'on
les
l'liminaest
tion les
et
il
sin-
indispensable de l'limination
le vritable caractre
des
173
NOTE REUTIYE AU
N''
162.
Il
la thorie
infi-
qu'auxiliairement, et
disparatre
qu'elles
ne
2.
Il
parat
beaucoup plus
difficile
d'expliquer nette-
ment
que de com-
comme on
l'autre
est
l'a
l'obtenir
un
qu'une quantit ngative isole est 3. Avancer moindre que zro, c'est couvrir la science des mathmatiques, qui doit tre celle de l'vidence, d'un nuage impntrable, et s'engager dans un labyrinthe de paradoxes tous plus bizarres les uns que les autres dire que ce n'est qu'une quantit oppose aux quantits positives,
;
c'est
174
NO ri:.
de nouvelles ides premires
de
la
qu'on regarde
l'orient et
pour exemple de quantits opposes un mouvement vers un mouvement vers l'occident, ou un moule
vement vers
est,
nord
et
un mouvement
vers le sud, je
le
demanderai ce que
c'est
nord-
La ressource des ides premires est sans doute commode pour luder les difficults, mais elle est peu philosophique lorsqu'elle n'est pas indispensable. La mta-
physique des sciences peut ne pas contribuer beaucoup au progrs des mthodes, mais
s'en font
il
une tude
l'infini
favorite, et c'est
pour
elles
que
j'ai
compos
la
cet Opuscule.
On
notion de
moins susceptibles de toutes les applications qu'on en fait. Cependant, dit d'Alembert, cette mtaphysique, dont on a tant crit, est encore plus importante et peuttre plus difficile dvelopper que les rgles mmes de
ce calcul
Il
me
la
mme
chose des
plus
les
4.
J'ai
la vri-
La
seule
NOTI.
175
paratre
tait
la
serait considrable
PRINCIPE FOINDAMENTL.
5.
par
faite du signe de cette ^>aleur, la dijjrence de deux autres quantits, dont la plus grande a t prise pour
la plus petite, et la plus petite pour la plus grande,
Dmonstration.
tions,
on commence toujours par procder comme dans la synthse, c'est--dire que toutes les quantits sur lesquelles on tablit le raisonnement sont considres comme absolues. Donc, si la solution du problme est
possible, et qu'on n'ait point fait de fausses supposi-
tions,
on doit
aussi trouver
si
nomme x
donc trouv
x=
:
soit
/r,
on a
est
quantit absolue
met n
m , p Nous aurons,
une
par consquent,
m^n\
176
la
\OTE.
a considr
mise en quation on
x comme une
quan-
tit
tait
une quantit absolue, c'est--dire qu'on a regard Ji) on [n /w) comme une quantit absolue. [m
donc suppos n'^m, tandis qu'au contraire on a rellement, comme on l'a vu ci-dessus, in'^n. Donc la
a
On
deux quantits
grande
/;/,
Ji,
dont p est
la
diffrence, la
plus
a t prise
pour la plus
et,
pour
la
plus grande,
que
la
valeur
il
s'ensuit
que toute
dire prcisment
que l'quation
exactement
puisqu'elle exprime
mmes ou
elles,
empchent que
les
s'agit
sont
modiilcations
propres rendre
cela,
ou des oprations inexcutables qu'il indique. Or, pour la premire consiste il y a deux corrections faire
:
les
expressions
la
seconde
est
de
aux conditions et hypothses sur lesquelles le calcul est tabli un changement analogue, afin que les expressions algbriques se trouvent tre toujours exactement
traduction de ces conditions et hypothses. C'est sur
il
la
quoi
xoTi:.
177
mais
de ces modifi-
l'aire
la
correction ncessaire
dans
la
prendre
c'est ce
qu'on
sens contraire
anciens procds
fait
quen rendre
raison et en
7.
quelle est
Supposons, par exemple, que, voulant connatre la valeur d'un gain prsum, on ait reprsent
= p
tout le
monde en
il
gain prsum
y
le
une perte
p;
mais
il
s'agit
de
les principes
Puisque
est
la
problme aura
mis en
et
r=p,
on
a
suppos aussi
m
C.
^rr.
on
Mtaphrs.
m =p
,2
178
NOTK.
/;
donc,
On a donc suppos d'une part ni'^ji et de l'autre n'^-m donc on a fait tout ensenble deux hypothses contradictoires.
Mais, puisque
ii
est la fortune
du joueur avant
l'v-
nement
et
n'^m annonce
que
le
joueur
perdu au
lieu de gagner,
c'est--dire que,
comme
reprsenaltrer
tant
une perte
le
et
non un
pour ne pas
par
l l'exactitude
du calcul,
faut en
mme
temps
changer
signe, ce qui
donnera alors
ou
rz=zp
8.
.r=yA
tout autre cas,
mais
chaque
la
fois
fois,
de en
mme
fait
;
de rpter
dmonsqu'on
quelconque chaque
qu'on puisse
la
usage;
il
suffit
il
donner au
est
besoin
de
mme
principe fonplus
damental,
qu'il
que
x k x et changer en dnomination de gain en celle de perte, mais uniquement parce qu'on s'tait tromp dans la mise
ngatif qu'il a fallu substituer
mme temps
la
tait perte.. Il a
donc
en
de
la
dnomination
et rectifier
mme temps
premire supposition.
On
la
perte est
figures v
un gain
ngatif, parce
;
que
les
expressions
sont admises
mais
elles sont
absolument
NOTE.
179
inintelligibles
les
pau-
la fin
du jeu, vienprtexte
il
tronc,
sous
qu'avant
doit retirer
du tronc autant
positif?
y aurait mis
:
si
son gain et t
Nous comprenons tous que vous avez perdu 100 cus, et nous en sommes
lui dirait-on pas
Ne
il
celui dont
le calcul,
il
on
quand
il
s'agit
de compter
? Dans nom.
9.
vons
un systme quelconque variable de quantits. Supposons que les rapports ou relations quelconques
qui existent entre ces quantits soient exprims par des formules explicites, c'est--dire qui ne renferment
et des oprations
immdiate-
ment excutables. Soient m et n deux quelconques de ces quantits, dont Tune au moins soit suppose variable, et que ces deux quantits, par reffet des changements qu'prouve
le
la
plus
les
formules
demeurent
les
mmes pour
valeurs
;
qu'on
attribuera aux
deux quantits
et
cela pos, je
nomme p
jii,
la
diffrence variable de
ces
deux quantits
la
n, c'est--dire la plus
grande moins
plus petite.
alternativement chacune
il
suit
que
la
quantit p sera
l8o
XOTE.
aussi toujours
et
que
l'on aura
suivant qu'on
Reprsentons par// la quantit p pour le cas o Ton a ni'^n et par/;" pour le cas o l'on a 7i"j>in. Cela pos,
les valeurs
les
unes
valeurs de
entre elles
mais
les valeurs
rciproquement.
tits
Ces quantits n'en sont pas moins toutes des quanabsolues, puisqu'elles n'expriment jamais que la plus
7/?, 7i,
moins
la
plus
du
systme.
tat quel-
les
formules qui
s'y
rapportent se
quantit
p'.
Voyons comment
je pourrais
en
la
liminer cette quantit // et y faire entrer sa place quantit p", inverse Tgard de l'autre.
Je
(
/7i
lieu de // la
quantit
777
et
77,
lesquelles peuvent
le
que
effet
77
entre
n^in\in
je la
(77
777), et,
puisque nous
p' k substituer
(777
n),
(77
stituer
immdiatement
p" au
Donc
le
de
p',
ou, ce qui
NOTE.
ISI
n'y a qu' mettre partout p, et, lorsqu'on voudra passer d'un tat du systme l'autre,
il
revient au
mme,
il
faudra
changer
en
le
2**
lui attribuer
mme temps
d'une
avait
quantit inverse
lui
le
gain et la perte.
gni^al
:
De l
les
fois
cjion
un autre et rejidre immdiatement applicables celui-ci les formules qui taient immdiatement applicablesau premier, il faut changer le signe de toutes les quantits qui se trouvent respectivement inverses de l un l'autre de ces tats diffrejits
(juelconque
sjstnie
du
du mme systme.
Et rciproquement
Si,
:
qui sojit immdiatement appli un tat quelconque du systme, on 'vient changer le signe d'une ou de plusieurs quantits qui y
les formules
dans
cables
plus au
mme
les quantits
respectivement
dantes dans
11.
le
Si l'on
ne changeait pas
le
le
premier,
il
est vident
la
rsolution
des
quations
seraient ngatives,
parce
ordinairement cet
tat de
choses en disant
l82
NOTE.
;
impropre, et capable d'induire en erreur, car ce ne sont point ces quantits elles-mmes qui deviennent
ngatives, mais ce sont seulement les valeurs que leur
Or
les
que quand
changement de signe
du systme quant
est fait.
Jusque-l l'opration
absolues et
leurs valeurs
les quantits
dites inverses
sont jamais
mme
svstme,
que l'on
fait sul)ir
aux quations o
la
elles
et qu'enfin
prcde transitoire-
ment dans les expressions algbriques. Le signe plus marque l'addition, le signe 77iOi7z.y marque la soustraction,
rien au del
l'effet
;
dans
le calcul
immdiatement applicable
les
ce
premier. Tout le monde, par exemple, aperoit que, quand on veut appliquer les formules trouves pour le cosinus d'un arc moindre que le quart de la circonfrence au cosinus d'un arc plus grand que le (juart et
NOTE.
l83
moindre que
il
comme on le suppose ordinairement, que ce cosinus devienne ngatif; il peut tre tantt
mais ce n'est pas,
ngatif et tantt positif,
suivant qu'on
le
fera passer
il
d'un
membre de
;
l'quation l'autre, o
pourra se
trouver
tit
c'est toujours
mme
changer
du premier quart de circonfrence Autrement ces formules, qui taient exactes pour ce premier quadrant, ne le seraient pas pour le second, comme cela se prouve videmment en cherchant directement par la
primitif, c'est--dire
En supposant
rement, que
d'une part,
comme on
le fait
ordinai-
les
le
on
si
fait
tout
la fois
mais ces
car,
nomme a
cos
ainsi,
=
I
si
n verse
<7
en supposant que
la
mme
formule s'applique
le
l'angle obtus,
cosinus de
il
celui-ci est
sinversert,
est
rellement sinversea
1
au lieu de
i.
On met
donc
clans
le calcul
la
seconde supposition,
le
comme
ngatif,
devant changer de signe dans le on remet dans ce rsultat cosa au de cosa. De sorte que par les deux oprations suc-
comme
du
calcul,
l84
XOTE.
met d'aboixl cos a au lieu de -cosrr, et ensuite cos a au lieu de cosa, ce qui revient au mme que si l'on n'avait rien chang. Mais on y a trouv ainsi l'avantage de n'employer dans le cours du calcul c[u'une mme formule pour l'angle aigu et pour l'angle obtus,
cessives on
13. De mme pour les courbes, en regardant comme immdiatement applicable aux quatre rgions l'quation qui n'est immdiatement applicable qu' une seule, on fait dans le cours du calcul une fausse supposition, mais on corrige cette fausse supposition dans le rsultat
de ce calcul en y regardant
comme
ngative, c'est--
dire
comme
portant
le
immdiatement
appli-
Tout
chaque
est inutile de
recommencer
pothses
comme
des
mme
qui,
formule tous
les
mme
genre, ou
ont cependant
14.
[
On
la
formule
;
rt
H-
'^ )
^f^s
a cos h
sin a sin b
se rai)porte
immdiatement
([u'au
NOTE.
l85
cas
o
le
les
trois arcs a,
la
b,
que
quart de
circonfrence
car
si
on voulait
l'ap-
la
que l'on
fait
On
la
considre
fausse supposition,
pour corriger dans le rsultat l'effet de cette on y regarde comme ngatifs les co-
que
le
quart de circonfrence
moins grands que les trois quarts, c'est--dire comme devant changer de signe pour le second et le troisime quadrant; et quant aux sinus, on les regarde comme ngatifs, c'est--dire comme devant changer de signe pour
le
on
l'avait
le
quart de circonil
faudra don-
ner dra
ou
(B)
:=sinflsini
cosrtcos
formule qui
est
en
effet celle
ment dans
par cov
le
sinus
l86
NOTE.
et cette
les
points de la circonfrence
servir
pour donner
la gnralit
toute
dont
si
l'on
limine les sinus et les cosinus pour y faire entrer les sinus verse et cosinus verse, on aura
, .
siv + 6 =
(
)
siv
s'iv
b)
)
cov a
cov b
Pour
siv {
le
premier quadrant,
<C
' j
comme on
i
,
a
i ,
+^
siv
rt
<^
s\vb <^
cov a <^
cov b <^i,
la for-
la
formule entre
les sinus et
cosinus redeviendra
Pour le second quadrant, en supposant [a-+-b) plus grand que le quart de circonfrence, mais a et b chacun moindre, on aura mule
(A) elle-mme.
siv
(rt -t-
^
)
>
)
siv
a <^
siv b
<^
...
donc
la
formule deviendra
[
siv
rt
+^
I ]
= cov
(
siv
siv i
I
fl
)
cov b
-i-
=
la
sin
rt
sin
/'
cns a cos b,
comme
;
quation conforme
formule (B).
les
On mme
la
doit
donc regai'der
comme
drives d'une
toutes
c'est
les
comprend
formule (C), et lorsque, dans l'usage habituel, on emploie l'une de cc^s formules p;iiiiculires, telles que (A),
(^omme gnrale, on ne
NOTt:.
187
moment
soit
c'tait elle,
il
n'y aurait
15.
tre
les
nous formerons
le
les
va-
exprimes en va-
i88
<3
.t
o
I I I
NOTE.
I.S)
16.
Ce Tableau, dont
la
la
se trouvent immdiatement un tat quelconque du systme pour les rendre immdiatement applicables un autre, par
les forle
fait
mules
relatives au
premier quadrant,
comme on
et
pour
le
siv a
le
i ;
donc, dans
le
second quadrant,
Donc,
qui se
il
au second quadrant
signe
les
formules
faut
du cosinus.
Comme
cnsrt=siva
ou
cos
7=
(i sivo),
cosaz=
siv),
on
est
c'est
comme nous
l'avons dj remarqu
le
cosinus n'est n-
gatif ni dans le
premier ni dans
;
le
second quadrant ni
dans
le
pour
qu'il ft ngatif
il
second
comme on
vient de
UJU
NOTi;.
ft rellement ngative
comme
elle
en a l'apparence
suit
que
siv a
est
et
quent
siv a
\1
l'usage de ce
les
rendre immdiala
SIV a
et
dans
le
troisime
Or, pour ramener cette dernire quation la mme forme que la premire, il faudrait changer le signe j'en conclus que la scante du troisime quadrant est inverse l'gard de celle du premier, et qu'il faut par consquent changer en effet le signe dans les formules. Pour
;
du premier quadrant,
le
numrateur
et le
dnominateur
'9'
de
la
fraction par le
dnominateur
I
siva,
siv
j'
i
et
nous aurons
I
sec
a
I
siv
siv
|-
Faisons
la
mme
transformation sur
la
formule
sec
du troisime quadrant,
et
nous aurons
siv
j-
(siv
)-
mais (siv a
chose que (i i )- est la mme siva)* donc les valeurs de sca dans le premier et le troisime quadrant sont les diffrences des mmes variables
:
sivrt"
et
(I
-.,
SlVC^
j-
S1V
d'o il suit que les scantes du troisime quadrant, quoiqu'elles se confondent, tant pour leur grandeur que pour leur direction, n'en sont pas moins des quantits opposes, dans le sens que les analystes attachent ce mot ce qui prouve que ce mot ne prsente pas toujours l'esprit
,
du premier
et
et
les
18.
Il
quanim-
comme
on
le dit
])-).
xoTi:.
l'ois
que
du systme
et
doivent changer de signe. Mais ordinairement on n'excute point ces changements de signe chaque mutation
de
le
l'tat
du systme
on
pendant tout
pas
cours du calcul,
sorti
du systme
mise en
terme de comparaiautres
:
les
le rsultat
mme,
les
on se rchange-
ments qui
de
la
se
D'o
il
il
suit qu'
mesure que
l'tat
du systme change,
lions. L'Analyse,
;
du systme cet tat dtermin est le systme primitif qu'elle prend pour terme de comparaison, et sur lequel
elle tablit
ditions
du problme. Dans ce raisonnement pour la mise en quation, elle procde absolument comme la synthse,
comme
pour indiquer des additions et des soustractions relles. Mais ensuite, au lieu de modifier comme la synthse ses formules primitives mesure qu'elle passe d'un tat
l'autre
du systme,
elle
comme
cessifs
elle se
dispense d'exa-
NOTi:.
i()3
miner sparment cliacun des cas particuliers, laissant au calcul lui-mme le soin de redresser l'effet des fausses
hypothses, et renvoyant
la fin
du calcul
les
modifica-
peuvent
peuvent
en
et
les
satisfaire
tandis que-
elle fait
l'Algbre,
comme
ainsi
et sans
si
ramne
ses
dsires,
lesquelles
ne
serait point
qu'il faut
en
effet,
dans
le
une foncpar
l les
tion ngative
ou imaginaire,
afin de corriger
elle-mme qui
est ngative
ou imaginaire,
est oblig
c'est la
de
lui
des formules.
Ainsi, en
nommant a un
tt il
a) qui
l'angle droit,
est tout aussi
que cos;
mais ce qui
,
est
3
n-
Mtaphys.
I()
ii,iilil",
NOTK.
c'esl la lonclion alghritjue
cos(2 a),
7r
qu'il
laiil
le
calcul
ou dans son
rsultat
pour corriger
les
les
que pour
De mme,
tre
-+-
ngative,
;
parfaitement identique
c'est
avec sc a
qu'il faut
rectifier
sc(2rf-f-)
absolument substituer sc(2<7 a), pour dans le rsultat du calcul la premire fausse
faite,
en regai^dant
les for-
mules qui ne sont immdiatement applicables qu'au premier quadrant comme indistinctement applicables
tous les points
de
la
circonfrence.
Et l'on ne peut
a) est gale
que
sc( 27:--f-/7)
ou que
sc
[-271 -\~
i
,
est gal
trop absurde.
De mme
encore, en
nommant y
l'ordonne d'une
qui devient n-
reste toujours
Mais ce qui
lue
y,
Y lorsqu'on pass(' d'un ct l'autre de l'axe des pour con^iger la fausse supposition que l'on avait faite en regardant mal propos l'quation de la
abscisses,
courbe
comme immdiatement
la
relle-
ment qu'
Il
premire.
que
telles
ou
telles quantits
rsultat
du
NOTE.
igS
ou imaginaires, afin de corriger la fausse supposition que Ton a laite dans la mise en quations, en regardant ces quations comme immdiatement applicables tous les cas. Ce n'est donc l qu'un langage fictif, mais d'ailleurs trs utile, puisqu'il
donne
les
le
moyen d'embrasser
par une
mme
formule tous
problme, en
tirement
fait
dans
Il
le
cours du calcul.
la fois
cette ex-
dveloppement
la
valeur ab-
ainsi,
en
cos
nommant tt
(arr
a)
serait
simplement, non,
comme
il
est
absurde de
de a, ou
la
le dire, la
les
rendre
de
mme
sa
y ne
valeur
imm-
gauche de
la partie
de corrlation,
immdiatement
vienne
^la
seconde
et
la troisime.
Alors on pourrait
196
NOTE.
valeur de coi-
imaginaire.
Les valeurs de corrlation des (jiianlits (jui appartiennent un tat quelconque du systme ne sont donc
autre chose que les fonctions algbriques qui doivent
tre substitues
du systme primitif, dans les formules qui s'y rapportent, pour que ces formules deviennent immdiatement applicables ce nouvel tat du
mme systme.
Ces fonctions algbriqties peuvent tre des expressions positives, ngatives ou imaginaires, suivant la manire d'tre du nouvel tat du systme l'gard du premier ou
systme primitif, c'est--dire de celui sur lequel
:
les rai-
sonnements ont t tablis ce sont les valeurs qui satisfont aux quations primitives, lorsqu'on veut les appli(juer immdiatement au nouvel tat du systme, ou, ce qui revient au mme, ce sont les valeurs que l'on tire de
ces quations primitives lorsqu'on les applique
imm-
diatement
diffrents,
ce
il
nouvel
tat.
Comme
ces
deux
tats sont
ou
mme imaginaires,
l les vraies
;
valeurs, ce ne
les
le
c'est ce
quand
la valeur
que nous pouvons exprimer en disant que, de corrlation d' une quantit devient
NOTK.
197
les valeurs
qu'on
de corrlation,
en
effet
sont
le
alors inverses
svstnie primitif.
On peut
mme
don-
ner
la
dmonstration par
les seuls
principes
ma thmaou
telle
tiques.
dit,
telle
ou
il
tel
autre tal
du systme,
faut
prendre
cette quantit
dans
le
sens oppos
du problme,
la
que de
valeur
absolue, qui en effet doit tre prise sous une autre accep-
dans
que celle qu'on lui avait donne, tellement que si la mise en quation on lui avait donn l'acception d'une quantit (ru 71), dans laquelle on aurait suption
pos iji'^n,
il
la
pi^endre
dans l'acception de
quantit inverse {n
m), dans
comme
l'on
lequelle on supposera
^ m.
valeur absolue prise collective-
Une
voit, autre
chose que
le
la
ment avec
tit
une quan-
une opration
faire
ration
mme
cette expression
purement
les
transformations:
d'abort! iui
le-
formides
prinili\<'S.
cjui
n'taiciil
mdialcnirnt ajiplirabli^
(jn';!
l'lal
du sNstcmc sur
IcjS
NOTE.
par ces
mmes
mme
systme succes-
sivement.
19.
11
me
les difficults
chang dans
marche
on prouve
seulement qu'on
tiques.
tion,
a droit
de
la
On
le
met
l'ordinaire
les
en regardant toutes
tablit
raisonnement
comme
abso-
lues.
regarde
comme immdiatement
se rservant
de faire dans
le rsultat
mme du
calcul les
Lorsqu'on
est enfin
parvenu ce
ments ont d
tre faits
le
on s'occupe donc
alors de re-
nouvel tat du
les
svstme auquel
doivent se rapporter
n'y a que
du calcul
cjui
l'on indique
tives
nga-
sitives.
Descaries, et
fjue
en cartant
ou
NCTE.
les
199
naire de l'Analyse.
20.
On
ne diffre point de
synthse,
comme on le suppose
les
or-
quan-
inconnues
comme
si
elles taient
connues, mais
comme
si
que ne fait jamais la svnthse, quoiqu'elle opre aussi bien que l'autre sur les quantits inconnues. C'est prcisment cette diffrence qui donne l'Analyse un si
grand avantage sur
sous une
il
la
mme
culires, celle-ci
les vritables
au contraire,
les .v-
formes
algbriques;
moyen de
en
le
quelles
il
resterait inutile,
comme un
calcul
,
non achev.
On
comme nous
une grande
l'avons dit au
commencement de
cette Note,
analogie entre ces procds et ceux de l'Analyse infinitsimale. Celle-ci parvient son but par des erreurs qui se
premii'e, les
200
liaires qu'il faut
NOTE.
les rsultats
cherchs; dans
mme
qu'auxiliairement et
comme
une
fois qu'il
FIN.
1
Pages
Rilkxions sur
la
CHAPITRE
I.
Principe fondamental
y 29
Thorme sur
les
quaiions imparfaites
38
t\i
CHAPITRE
De
II.
53
55
. .
Du
Des
Calcul diffrentiel
diffrentielles exponentielles et logarithmiques
61
68
70
74
Du
Du
Calcul intgral
82
87
101
CHAPITRE
simale
III.
De De
la
la
ifj
XO.I
TMl.i:
1)1-
WriERKS.
Pages
De De De Du De
la
la
la
mthode des indtermines mthode des premires et dernires raisons ou des mthode des fluxions
laS
limites..
i36
i^
i
l'^'J
i55
Conclusion gnbalf.
i6o
Note
178
IIE
l.A
l'AUlS
'i
- IMIMHMEUIE DE
GA
TH
F,
LLA H
ji.
A
"3
-s
yi
1881
Physkal
^\pplie<l Sci.
PLEASE
DO NOT REMOVE
FROM
THIS
CARDS OR
SLIPS
UNIVERSITY
OF TORONTO
LIBRARY
.^v.lK
^:;
^...':-^
k4v
w^
'^jsr