DATISUSHC-LLE, N € ES 93 
c'eft uniquement par l'expérience, & non par la Théorie, 
qu'on peut prouver la faufieté de la loi dont il eft queftion. 
M. d’Alembert cherche, dans une dutre partie de fon 
Ouvrage, à déterminer certaines fonétions analytiques d'après 
des conditions données ; ces fonctions font de la nature de 
celles qui entrent dans l'intégrale des équations partielles, & 
qui par conféquent fe préfentent dans prefque toutes les folu- 
tions des problèmes relatifs au mouvement des corps flexibles 
& fluides. La Théorie de ces fonctions a une autre utilité; elle 
peut fervir à trouver quelle doit être la loi d’un phénomène 
qu'on fait feulement être aflujetti à certaines conditions. Telle 
eft, par exemple, la loi du parallélograme des forces, celle de 
l'équilibre du levier. Ces loix parurent fi fimples lorfqu'elles 
furent découvertes, qu'on les admit pour ainfi-dire fans 
démonftration; & ce qui eft pire, quoique plus commun 
dans l'Hifloire des Sciences, fur des preuves très - vagues. 
M. d'Alembert eft un des premiers qui ait obfervé que 
ces principes avoient befoin d’être démontrés. Depuis ce 
temps, plufieurs Géomètres ont propofé des démonftrations 
de différens genres. Quelques-uns ont cherché, comme il 
l'a fait ici, à déterminer a priori, par certaines conditions, à 
quelle fonétion du rapport des forces doit être égale la tangente 
de l'angle que forme avec une de ces forces, la force réful- 
tante, & de même à quelles fonétions du rapport des bras 
du levier , le rapport des poids doit être égal ; les démonf- 
trations dé ce genre font très-favantes & très-rigoureufes : 
on peut être étonné que des vérités fi fimples aient befoin, 
pour être prouvées, d’un fi grand appareil de calcul; mais 
cet étonnement feroit peu philofophique. Rien n'eft plus. 
commun dans les Sciences que la difficulté de prouver des 
chofes fimples, comme rien n'eft plus rare que de favoir 
diftinguer ce qui eft prouvé de ce qu'il paroït naturel de 
croire. 
M. d’'Alembert ajoute ici quelques réflexions fur les loga- 
rithmes des nombres négatifs. On fait qu'il a foutenu contre 
M. Euler, comme Bernoulli avoit foutenu contre Léibnitz, 
