Page:Euclide - Les Œuvres, Peyrard, 1814, I.djvu/484

Cette page n’a pas encore été corrigée

43, LE SEPTIÈME LIVRE DES ÉLÉMENTS DʼEUCLIDE.

Συγκείσθωσαν γὰρ δύο ἀριθμοὶ πρῶτοι πρὸς ἀλλήλους, οἱ ΑΒ. ΒΓ" λέγω ὁτι καὶ συναμφό- τέρος ΑΤ πρὃς ἐχάτερον τῶν ! ΑΒ. ΒΓ πρῶτός ἐστιν.

Componantur duo numeri primi inter se AB, BT ; dico et utrumque simul AT ad utrumque eorum AB, BIʼ primum esse.

Εἰ γὰρ μή εἶσιν οἱ ΤΑ ΑΒ πρῶτο ; πρὸς ἀλ- λήλους. μετρᾗσει τίὶς τοὺς ΤΑ. ΑΒ᾽ οἷριθμὄς. Μετρείτω, καὶ ἔστω ὃ Δ. Ἐπεὶ οὖν ὃ Δ τοῦς ΓΑ. ΑΒ μετρεῖ" καὶ λοιπὸν ἄρα τὸν ΒΤ᾽ μετρήσεις Μετρεῖ δὲ καὶ τὸν ΒΑ’ ὃ Δ ἄρα τοὺς ΑΒ. ΒΓ μετρεΐ, πρὧτους ὄντως ʼπρὄς ἀλλήλους. ς ὗ’περ ἐστὶν ἀδύνατον" οὐκ ἆἶρω τοῦς ΤΑ. ΑΒ ο’ιμθμοὖς ἀριθβμός τις μετρήσει" οἷ ΤΑ. ΑΒ ἄρα πρῶτοι πρὸς ἀλλήλους εἰσίν, Διὰ τὰ αὐτὰ δὴ καὶ οἱ ΑΓ. ΓΒ σρῶτοι ʼπρὄς ἀλλήλους εἰσίν"" ὃ ΤΑ ο’ι’ρα ʼπρὄς ἑκότερον τῶν ΑΒ, ΒΓ πρῶτός ἐστιν.

Si enim non sint TA, AB primi inier se, mceletur aliquis ipsos A, AB numcrus, Moetia- tur, ctsit A. Et quoniam A ipsos TA, AB meli. tur ; ct reliquum igitur BTʼ metietur. Melitur aulem cet ipsum BA ; ipse A igitur ipsos AB, Bp metitur, primos existentes inter se, quod est impossibile ; non igitur A, AB numeros nume. rus aliquis meüietur ; ipsi lʼA, AB igitur primi inter se sunt. Propter cadem utique et Ar, rs primi inter se sunt ; ipse TA igilur ad utrumque Ipsorum AB, BIʼ primus est.

Ἕστωσαν δὴ πάλιν οἱ ΤΑ. ΑΒ πρῶτοι πρὸς ἀλλήλους " λέγω ὅτι καὶ οἱ ΑΒ, ΒΓ πρῶτοι ’πρὄς ἀλλήλους εἶἰσίν.

Sint et L A, AB primi inter se ; dico et AB, sr primos inter se esse.

Εἰ γὲρ μή εἰσι πρῶτοι οἱ ΑΒ. ΒΓ πρὸς ἀλ- λᾗλευςΞ, μετρἧσει τις τοὺς ΑΒ, ΒΓὥ οἶριθμο’ς.

Si enim non sint primi AB, 3Tʼ inler se, me- tetur aliquis ipsos AB, BP numerus. Metiatur, et sit A, Et quoniam A utrumque eorum AB,

Ajoutons les deux nombres premiers entr’eux AB, Br ; Je dis que leur somme AT est un nombre premier avec chacun des nombres 48, Br.

Car si les nombres rA, 4Bne sont pas premiers entr’eux, quelque nombre mesu- rera TA, AB. Que quelque nombre les mesure, et que ce soit A. Puisque A mesure TA, AB, il mesurera le reste Br ; mais il mesure BA ; donc A mesure AB, Er qu sont deux nombres premiers entr’eux, ce qui est impossible ; donc quelque nombre ne mesurera pas les nombres rA, AB ; donc TA, AB sont premiers ent’eux. Par la même raison AT, TB sont premiers entr’eux ; donc le nombre rA est premier avec chacun des nombres AB, Br.

De plus, que ΓA, AB soient premiers entr’eux ; je dis que AB, Br sont premiers entrʼeux.

Car si AB, BT ne sont pas premiers entr’eux, quelque nombre les mesurera. Que quelque nombre les mesure, et que ce soit A. Puisque A mesure chacun