LE SEPTIÈME LIVRE DES ÉLÉMENTS DʼEUCLIDE. 385
|
ἐὰν ! ὁ λειπόμενος μηδέποτε καταμετρῇ τὸν πρὸς ἑαυτοῦ ἑως οὗ ληφθῇ μονάς οἱ εξ ἀρχῆς ἀριθμοὶ πρῶτοι πρὸς ἀλλήλους ἔσονται. |
relictus nunquam metiatur ipsum pre se ipso quoad assumpta fuerit unitas ; a principio numeri primi inter se erunt. |
|
Δύο γὰρ ἀνίσων" ἀριθμῶν τῶν ΑΒ, ΓΔ ἀνθυ- φαιρουμένου ἀεἰ τοῦ ἐλάσσονος ἀπὸ τοῦ μείζονος. ὃ λειπόμενος μηδέποτε κωταμετρείτω τὸν ’πρὄς ἑαυτοῦ ἐὡς οὐ ληφθῇ μονας" λέγω ὅτεέ οἱ ΑΒ, ΓΔ πρῶτοι πρὸς ἀλλήλους εἰσὶ. τουτέστιν, ὅτι τοὺς ΑΒ. ΓΔ μονὰς μόνη μετρεῖν. |
Duobus enim inzqualibus numeris AB, TA detracto semper minore de majore, relictus nunquam metiatur eum pre se ipso quoad assumpta fuerit unitas ; dico ipsos AB, lʼA primos inter se esse, hoc est, ipsos AB, TA unitate solà mensurari. |
|
Εἰ γὰρ μὴ εἰσὲν οἱ ΑΒ, ΓΔ πρῶτοι πρὃς ἀλ- λήλους, μετρήσει τις αὐτοὺς ἀριθμός, Μετρείτω, καὶ ἔστω ὃ Ἐ, καὶ ὃ μὲν ΓΔ τὸν ΑΒ μετρῶν λειπέτω ἑαυτοῦ ἐλάσσονα τὸν ΖΑ-. ὃ δὲ ΖΑ τὸν ΔΙ μετρῶν λειπέτω ἐἑαυτοῦ ἐλάσσονα τὸν ἩΓ, ὁ δὲ ΗΓ, τὸν ΖΑ μετρῶν λειπέτω μονάδα τὴν ΘΑ. |
Si enim non sunt AB, TʼA primi inter se, metietur aliquis ipsos numerus. Metiatur, et sit E, et TA quidem ipsum AB metiens relinquat se ipso minorem ZA, ipse vero ZA ipsum ATP metiens relinquat se ipso minorem HL, ipse HTʼ autem ipsum ZA metiens relinquat unitatem ΘΑ. |
|
Ἐπεὶ οὖν ὁ Ἑ τὸν ΤΔ μετρεῖ, ὁ δὲ ΤΔ τὸν ZB μετρεῖ" καὶ δὁ Ἑ ἄρα τὸῶν 1Β μετρεῖ. Μετρεῖ |
Quoniam et E ipsum TA metitur, ipse autem lʼA ipsum ZB metitur ; et ipse igitur E ipsum ZB |
du plus grand, si le reste ne mesure celui qui est avant lui que lorsque lʼon
a pris lʼunité, les nombres proposés seront premiers entrʼeux.
Soient les deux nombres inégaux AB, TA ; que le plus petit étant toujours retranché du plus grand, le nombre restant ne mesure celui qui est avant lui que lorsque l’on a pris lʼunité ; je dis que les nombres 4B, rA sont Premiers entr’eux, cʼest-à-dire que lʼunité seule les mesure.
Car si les nombres AB, TA ne sont pas premiers entrʼeux, quelque nombre les mesurera. Que quelque nombre les mesure, et que ce soit E ; que TA mesurant AB laisse ZA plus petit que lui-méme ; que ZzA mesurant ar laisse HT plus petit que lui-même ; et quʼenfin Hr mesurant ZA laisse lʼunité eA.
Puisque E mesure TA, et que T^ mesure ZB, le nombre E mesure ZP. Mais
