LES ORIGINES DE LA STATIQUE. 
l 47 
et, fort élégamment, il en a tiré la preuve de la loi d’équi- 
libre du levier. Galilée, dans la première journée des Dis- 
corsi, a exposé, postérieurement à Stevin, une déduction 
analogue. 
Or, dès l’antiquité peut-être, dès le xm e siècle à coup 
sûr, on savait que la loi d’équilibre du levier pouvait se 
justifier de la sorte. 
Une des nombreuses collections manuscrites (1) conser- 
vées à la Bibliothèque Nationale contient un fragment 
important dont l’élégante écriture gothique porte la marque 
du plus pur xm e siècle. On trouve, en ce fragment, une 
rédaction fort correcte du traité des poids spécifiques 
attribué à Archimède. Ce traité, nous l’avons dit, nous 
paraît apparenté au traité De ponderoso et levi attribué à 
Euclide et provenir, comme lui, de l’Ecole d’Alexandrie. 
A la suite de ce traité sur les poids spécifiques se 
trouvent réunies quelques propositions disparates qui 
pourraient bien avoir la même provenance. 
La première de ces propositions a pour objet d’établir 
par la géométrie l’égalité que l’algèbre moderne écrirait 
sous la forme 
[a — c) b = (a — b) c -\- {b — c) a. 
Aussitôt après cette proposition vient une démonstration 
originale et élégante de la règle du levier ; résumons-la en 
quelques lignes. 
On admet en principe que, quelles que soient leurs 
formes, deux poids égaux se font équilibre s’ils pendent 
aux extrémités de bras de leviers égaux. 
Aux deux points a, b, équidistants du point d’appui c 
(fig. 77) sont suspendus deux poids égaux ; l’un d’eux, /', 
pendu en a, a une forme quelconque ; l’autre est un cylindre 
eg dont les génératrices sont horizontales ; le centre de 
ce cylindre est sur le fil vertical qui part du point b ; 
(1) Bibliothèque Nationale (fonds latin), Ms 7577 B. 
