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

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

30 LE PREMIER LIVRE DES ÉLÉMENTS DʼEUCLIDE.

ἡ ἐκτὸς γωνία, ἡ ὑπὸ ΑΓΔ. μείζων ἐστὶν ἐκα- τερᾶς τῶν ἐντὸς καὶ ἀἸΓΕΨΑΥΤΙΟΥ, πῶὼν ὑπὸ ΓΒΑ, ΒΑΓ γωνιῶν.

ATʼA majorem esse utroque interiorum et opposi- torum TBA, BATʼ angulorum.

Ἰετμήσθω ἡ ΑΙ δῖχα κατὰ τὸ Ἐ. καὶ ἐπι- ζευχθεῖσα ἡ ΒῈ ἐκ εξλήσθω ἐπ᾿ εὐθείας ἐπὶ τὸ Z καὶ κείσθω τῇ ΒΕ ἴση ἡ ἘΖ, καὶ ἐπεζεύχθω 3 ZΤ, καὶ διήχθω ἡ ΑΤ ἐπὶ τὸ Η.

Secetur AT bifariam in E, et juncta BE producatur in directum ad Z, et ponatur ipsi BE equalis EZ, et jungatur ZP, et producatur AT ad H,

Ἐπεὶ οὖν ἴσὴ ἐστὶν ἡ μὲν ΔῈ τῇ ΕΓ ; ἢ δῈ ΒΕ τῇ ΕΖ. δὺο δὴ αἱ ΑἙ, ἘΒ δυσὶ ταῖς ΤῈ. ἘΖ ἴσαι εἰσὶν. , ἑκατέρα ἑκατέρᾳ, καὶ γωνίῶ Ἡ ὑπὸ ΑΕΒ γωνίᾳ τῇ ὑπὸ ΖΕΓ ἰσὴ ἐστὶ. κατὰ κορυφῆν γάρ" βάσις ἄρα ἥ ΑΒ βάσει τῇ 2Γ ἰσὴ ἐστιί. -καὶ τὸ ΑΒῈ τρίγωνον τῷ ΖῈΙ τριγῶνῷῳ ΕΠὄτΤιν ἐσῸν 5 καὶ αἱ λοιπαὶ γωνίαι ταῖς λοιπαῖς γωνίαις ἴσαι εἰσὶν. ἐκατέρα ἐκατερᾷ. υῷ ἂς αἱ ἰσαι σλευραὶ ὑποτείνουσιν" ἴση ἄρα ἐστὶν ἡ ὑπὸ ΒΑῈ τῇ ὑπὸ ΕΓΖ. Μείζων δὲ ἐστιν ἡ ὑπὸ ἘΓΔ τῆς ὑπὸ ἘΓΖ’

Quoniam igitur zqualis est quidem AE ipsi ECT, BE vero ipsi EZ, due AE, EB duabus TE, EZ » quales sunt, utraque utrique, et an- gulus AEB angulo ZET equals est, ad verti- cem enim est ; basis igitur AB basi ZTʼ : qualis est, et ABE triangulàm ZETʼ triangulo aequale est, et reliqui anguli reliquis angulis equales sunt, uterque utrique, quos aequalia latera subtendunt ; equalis igitur est BAE ipsi ETZ. Major autem est ELTA ipso ETZ ; major est

extérieur ArA est plus grand que chacun des angles intérieurs et opposés TBA, BAT.

Partageons la droite AT en deux parties égales en E (10) ; et ayant joint la droite BE, prolongeons-la vers Z, faisons EZ égal à BE (3) , joignons la droite zr, et prolongeons AT vers H.

Puisque 4E est égal à Er, et BE égal à EZ, les deux droites AE, EB sont égales aux deux droites TE, EZ, chacune à chacune ; mais l’angle ABB est égal à l’angle ZEr (15) , puisquʼils sont au sommet ; donc la base AB est égale à la base zr (4) ; le triangle ABE est égal au triangle ZEr, et les angles restans, soutendus par les côtés égaux, sont égaux chacun à chacun ; donc l’angle BAE est égal à l’angle Erz (not. 9) ; mais l’angle ErA est plus grand que l’angle Erz ; donc l’angle ArA est plus grand