L'algorithme d'Euclide est un algorithme permettant de déterminer le plus grand commun diviseur (P.G.C.D.) de deux entiers dont on ne connaît pas la factorisation. Il est déjà décrit dans le livre VII ...
Les deux premières définitions opposent les notions commensurables/incommensurables. La déf.1 énonce qu'on appelle grandeurs commensurables celles qui sont ...