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

La bibliothèque libre.
Cette page n’a pas encore été corrigée

LE PREMIER LIVRE DES ELÉMENTS DʼEUCLIDE. 51

Αλλὰ ἡ ὑπὸ ΑΗΘ τή υπὸ δῚΒ εστιν ισῆη" καὶ ἡ ὑπὸ ΒΗΒ ἀρά τῃ υπὸ ΗΘΔἂ εστιν Ισῆ. Κοινὴ προσχείσθω ἡ υπὸ ΒΗΘʼ αἰ ἀρὼὰ υποὸ ΕΗΒ, ΒΗΘ ταῖς ὑπὸ ΒΗΘ, ΗΘΔ ἰίἰσαι εἰσίν. Αλλὰ αἱ ὑπὸ EῈΗΒ, ΒΗΘ δυσὶν ορθαῖς ἴσαι εἰσί-. καὶ αἱ ὑπὸ ΒΗΘ, ΗΘΔ ἀρὰα δυσὶν ὀρθαῖς ἴσαι εἰσίν, Η ἀρὰ εἰς τάς παραλλήλους, καὶ τὰ ἐξῆς.

Sed AHO ipsi EHB est æqualis ; et EHB igitur ipsi HOA est æqualis. Communis addatur BHO ; ergo EHB, BHO lpsis BHO, HOA : æquales sunt. Scd EHB, BHO duobus recüs squales sunt ; et BHO, HOGA Igitur duobus rectis ; æquales sunt. Ergo in parallelas, etc.

ΠΡΟΤΑΣΙΣ λ΄. PROPOSITIO XXX.

Αἱ τῇ αὐτὴ εὐθείᾳ παράλληλοι καὶ ἀλλήλαις εἰσὶ παράλληλοι.

Quæ eidem rectæ parallele sunt, etinter se sunt parallela.

Εστω ἐκατέρα τῶν ΑΒ, ΓΔ τῇ ΕΖ παραλ- λήλος. λέγω ὁτι καὶ ἡ ΑΒ τῇ ΓΔ ἐστὶ παράλ- ληλος.

Sit utraque ipsarum AB, TʼA ipsi EZ paral- lela ; dico et AB ipsi TʼA esse parallelam.

Eμπιπτέτω γὰρ εἰς αὐτὰς εὐθεῖα ἡ ΗΚ,

Incidat cnim in ipsas rccta HK.

Καὶ ἐτεὶ εἰς παραλλήλους ευθειίας τάς ΑΒ, ΕΖ εὐθεῖα ἐμπέπτωκεν ἡ ΗΚ, ἰἴσή ἀρὰ ἡ ὑπὸ ΑΗΘ τῇ ὑπὸ ΗΘΖ. Πάλιν. ἐπεὶ εἰς τὰς ἶ πὰρ-

Et quoniam in parallelas rectas A5, EZ recta incidit HK, æqualis est AHO ipsi HOZ. Rursus quoniam in parallelas rectas EZ, TʼA recta in-

ΗΘΔ ne sont point inégaux ; donc 115 sont égaux. Mais l’angle AH® est égal à l’angle EHB (15) ; donc l’angle EHB est égal à l’angle HΘa.

Ajoutons l’angle commun BHΘ, les angles EHB, , ΒΗΘ scront égaux aux angles BHΘ, ΗΘΔ ; mais les angles EHB, BHΘ sont égaux à deux droits (15) ; donc les angles BHΘ, ΗΘΔ sont égaux à deux droits. Donc, etc.

PROPOSITION XXX.

Les droites parallèles à une même droite sont parallèles entr’elles. Que chacune des droites AB, TA soit parallèle à EZ ; je dis que AB est paralléle à ΓΔ. Que la droite HK tombe sur les droites AB, ΓΔ.