Page:Œuvres de Blaise Pascal, IX.djvu/312

La bibliothèque libre.
Cette page n’a pas encore été corrigée

292 ŒUVRES

Principe 3. L'espace est infini selon toutes les dimensions. Princip. 3., et immobile en tout et en chacune de ses parties. — Définition du corps Géo- métrique de la surface, de la ligne, du poinct, prin- cip. ^. 5. 6. Princip. 7. Les points... ne dilTerent que de situation. 8. les lignes de situation, de gran- deur, de direction et de forme. Les droites par le plus court chemin. Princip. 9. La distance de deux poincts est la ligne droite. Princip. 10. Les surfaces peuvent différer de situation, de longueur, de lar- geur de contenu, de direction. Les surfaces planes sont bornées de toutes parts par des lignes droites, et qui s'étendent directement de l'une à l'autre* Avertissement, nous ne considérons icy que les pla- nes. Une ligne est égale aune autre quand l'étendue de l'une est égale à celle de l'autre. Théorèmes connus naturellement :

��d'une autre chose. L'espace d'une chose est donc l'étendue égale et semblable à celle de la chose, et chaque partie de l'une de ces étendues est apperceue avec chaque partie de l'autre. [Une chose est Dans une autre quand toutes les parties de la première ne peuvent être apperceues qu'avec autant de parties de l'autre. Ainsi une partie est dans un tout: le corps est dans un vase : on ne dira pas que l'espace est dans le corps qui le remplit. Estre dans une chose, c'est estre placé en sorte que pour estre à l'un il faut estre auparavant avec l'autre]. » Voir une semblable Table de définitions, apud Couturat, Opuscules et fragments inédits de Leibnitz, p. 438.

I. Ici se trouvent dans le manuscrit, entre parenthèses, ces lignes latines que nous croyons être des réflexions incidentes de Leibniz : an minima superficieruni inter datas lineas. An cujus partes quibuslibet congruere possunt, ut est recta... Il semble que l'on retrouve la trace de l'esprit leibnizien dans un double effort pour rendre la définition du plan symétrique de la définition de la droite conçue, soit comme plus courte distance entre deux points donnés, soit comme ayant tous ses points congruents entre eux.

�� �