LES ORIGINES DE LA STATIQUE. 4g5 
semblable que ce même manuscrit eût été connu de 
Roberval. 
Le passage que nous avons cité résume la démonstration 
de Roberval ; il ne l’expose pas en entier ; Roberval nous 
apprend que l’on trouve la démonstration complète dans 
ses « Méchaniques *. De cette indication, d’une indication 
analogue insérée en l’exposé de la proposition III, nous 
devons conclure que le Traité de Mêchanique inséré en 
1 636, par Roberval, dans Y Harmonie universelle de Mer- 
senne est un extrait d’un traité plus étendu qu’il avait 
publié auparavant. 
Mersenne, d’ailleurs, en la première partie àeY Harmo- 
nie universelle , à laquelle est accolé le Traité de Mécha- 
nique de Roberval, étudie ( 1 ), d’après le Dialogue de 
Galilée sur les grands systèmes du monde, les lois de la 
chute accélérée des corps pesants. La proposition X delà 
théorie qu’il expose est ainsi formulée : Le plan estant incliné 
à l'horizon d’un angle donné, déterminer la force qui peut 
soutenir le poids donné sur ledit plan. La démonstration 
donnée par Mersenne est exactement celle que Roberval 
donnera dans le même volume, un peu plus loin ; les 
figures employées sont les mêmes. Or, Mersenne fait 
suivre l’énoncé que nous venons de rapporter de cette 
remarque : « Je n’eusse pas ici mis cette proposition si 
elle eust esté en français, et si le livret où elle est eust 
esté commun ; quoiqu’elle mérite d’estre en plusieurs lieux 
pour la grande utilité qu’on en peut tirer ». 
Nous recevons de là confirmation que les démonstra- 
tions mécaniques de Roberval avaient été déjà publiées 
avant l’impression de Y Harmonie universelle ; mais nous 
(1) Marin Mersenne, Harmonie universelle . A. Traitez de la nature 
des sons, et des mouvements de toutes sortes de corps. Livre second. 
Des mouvements de toutes sortes de corps. Paris, MDCXXXM. Cette propo- 
sition, et le livre de V Harmonie universelle qui la renferme, sont cités 
par Mersenne à la dernière page des Méchaniques de Galilée , c’est-à-dire 
dès 1634. 
