AXIOMES

1. Les grandeurs égales à une même grandeur sont égales entre elles (^).

2. Si à des grandeurs égales on ajoute des grandeurs égales, les sommes seront égales ('*).

(a) Le mot trapèze qui se trouve dans le texte se prend maintenant dans un sens plus restreint.

(b) Nous traduisons ainsi les mois xoival êwoiai (notions communes), titre sous lequel Euclide réunit des énoncés de natures fort différentes et qui ne doit pas être pris dans le sens que Ton attache, dans nos traités modernes, au mot axiome. Les sept premiers énoncés expriment des vérités relatives à toute espèce de grandeurs, aussi bien qu'aux grandeurs géométriques; les énoncés 8 et 9 sont de simples définitions ; les trois derniers seuls sont des axiomes géométriques proprement dits. Nous ne saurions admettre Topinion de Peyrard , qui , d*après certains manuscrils, range ces trois derniers énoncés parmi les demandes. On voit aisément que ce sont là des propositions d*un tout autre caractère, et il est bien plus conforme ï Pesprit d'Euclide d'en faire, avec Barrow, R. Simson et Lorenz, les fondements expérimentaux de la science géométrique.

(c) A=B, A=C, donc B = C.

(d) A = B, A'=B', donc AH-A/= B+B'.

DES ÉLÉMENTS d'EUCLIDE. 13

3. Si de grandeurs égales on retranche des grandeurs égales, les restes seront égaux («).

4. Si à des grandeurs inégales on ajoute des grandeurs égales, les sommes seront inégales (dans le même sens) C*).

5. Si de grandeurs inégales on retranche des grandeurs égales, les restes seront inégaux (dans le même sens) ('^).

6. Les grandeurs qui sont doubles d'une même grandeur sont égales entre elles (**).

7. Les grandeurs qui sent les moitiés d'une même grandeur sont égales entre elles (•).

8. Les grandeurs que l'on peut faire coïncider l'une avec l'autre sont égales entre elles (0-