GEO
Définition dix-septiéme. Unediagonale est une ligne droitetirée d’un angle d’un quadri-latère régulier à l’angle quilui est directement opposé.Telle est la ligne EF. Hg. 16
P 1 - 3- t
Définition dix-huitième. Ondonne le nom de proposition àtoute vérité qui a besoin d’êtredémontrée. II en est de diffé-rente espèce. Les vérités pure-ment spéculatives s’appellentthéorèmes ; les problèmes nousapprennent à faire quelque opé-ration ; un lemme est une véritéprise feulement pour en démon-trer une autre ; un corollaireest comme le fruit qu’on doitrecueillir d’une proposition dé-montrée.
Définition dix-neuviéme. Lesaxiomes font des vérités con-nues de tout le monde.Axiomes principaux.
i°. Le tout est plus grandqu’aucune de ses parties.
2 0 . deux grandeurs égales àune troisième, font égales en-tre-elles.
3°. Si on augmente ou si ondiminue également deux choseségales , elles resteront égales ;mais si on les augmente ou si onles diminue inégalement, ellesdeviendront inégales.
4°. Les quantités doubles ,triples , quadruples ëcc. deTome II.
GEO 1 8 $quantités égales, font égalesentre-elles.
5°. Les quantités qui fontles moitiés , les tiers, les quartsde quantités égales, font égalesentre-elles.
6°. Deux lignes , deux figu-res Lee. font égales , lorfqu’é-tant mises l’unefur l'autre,ellesconviennentparfaitement,c’est-à-dire , lorsque celle qui estpar dessus couvre exactementcelle qui est par dessous.
7°. Deux lignes droites ne fçau-roient renfermer un espace.
Suppositions.
i°. D’un point quelconque àun point quelconque on peuttirer une ligne droite.
i°. d’un centre quelconqueà un intervalle quelconque onpeut décrire un cercle.
3°. II n’est point de lignedroite fur laquelle on ne puiílctirer une ligne perpendiculaire.
4°. 11 n’est point de lignedroite à laquelle on ne puiíïètirer une ligne parallèle.
5 °. Toute ligne , tout angle ,tout arc , Lee. peuvent fe divi-ser en deux parties égales.
PROPOSITIONS
Du premier Livre d’Euclide
nécessaires a un Physicien.
Sept Propositions Le quelquesCorollaires renfermeront tout
G â