Euclid, Elements
J. L. Heiberg, Ed.

Ἐκκείσθωσαν δύο ἀριθμοὶ οἱ ΑΓ, ΓΒ, ὥστε τὸν ΑΒ πρὸς ἑκάτερον αὐτῶν λόγον μὴ ἔχειν, ὃν τετράγωνος ἀριθμὸς πρὸς τετράγωνον ἀριθμόν: ἔστω δὲ καὶ ἕτερος
5ἀριθμὸς ὁ Δ μὴ τετράγωνος ὢν μηδὲ πρὸς ἑκάτερον τῶν ΒΑ, ΑΓ λόγον ἔχων, ὃν τετράγωνος ἀριθμὸς πρὸς τετράγωνον ἀριθμόν: καὶ ἐκκείσθω τις ῥητὴ εὐθεῖα ἡ Ε, καὶ γεγονέτω ὡς ὁ Δ πρὸς τὸν ΑΒ, οὕτως τὸ ἀπὸ τῆς Ε πρὸς τὸ ἀπὸ τῆς ΖΗ:
10σύμμετρον ἄρα τὸ ἀπὸ τῆς Ε τῷ ἀπὸ τῆς ΖΗ. καί ἐστι ῥητὴ ἡ Ε: ῥητὴ ἄρα καὶ ἡ ΖΗ. καὶ ἐπεὶ οὐκ ἔχει ὁ Δ πρὸς τὸν ΑΒ λόγον, ὃν τετράγωνος ἀριθμὸς πρὸς τετράγωνον ἀριθμόν, οὐδὲ τὸ ἀπὸ τῆς Ε ἄρα
15πρὸς τὸ ἀπὸ τῆς ΖΗ λόγον ἔχει, ὃν τετράγωνος ἀριθμὸς πρὸς τετράγωνον ἀριθμόν: ἀσύμμετρος ἄρα ἡ Ε τῇ ΖΗ μήκει. γεγονέτω δὴ πάλιν ὡς ὁ ΒΑ πρὸς τὸν ΑΓ, οὕτως τὸ ἀπὸ τῆς ΖΗ πρὸς τὸ ἀπὸ τῆς ΗΘ. σύμμετρον ἄρα τὸ ἀπὸ
20τῆς ΖΗ τῷ ἀπὸ τῆς ΘΗ. ῥητὸν ἄρα τὸ ἀπὸ τῆς ΘΗ: ῥητὴ ἄρα ἡ ΘΗ. καὶ ἐπεὶ ὁ ΒΑ πρὸς τὸν ΑΓ λόγον οὐκ ἔχει, ὃν τετράγωνος ἀριθμὸς πρὸς τετράγωνον ἀριθμόν, οὐδὲ τὸ ἀπὸ τῆς ΖΗ πρὸς τὸ ἀπὸ τῆς ΗΘ λόγον ἔχει, ὃν τετράγωνος ἀριθμὸς πρὸς τετράγωνον ἀριθμόν:
25ἀσύμμετρος ἄρα ἐστὶν ἡ ΖΗ τῇ ΗΘ μήκει. αἱ ΖΗ, ΗΘ ἄρα ῥηταί εἰσι δυνάμει μόνον σύμμετροι: ἐκ δύο ἄρα ὀνομάτων ἐστὶν ἡ ΖΘ.

δεικτέον δή, ὅτι καὶ ἕκτη.

ἐπεὶ γάρ ἐστιν ὡς ὁ Δ πρὸς τὸν ΑΒ, οὕτως τὸ ἀπὸ
30τῆς Ε πρὸς τὸ ἀπὸ τῆς ΖΗ, ἔστι δὲ καὶ ὡς ὁ ΒΑ πρὸς τὸν ΑΓ, οὕτως τὸ ἀπὸ τῆς ΖΗ πρὸς τὸ ἀπὸ τῆς ΗΘ, δι᾽ ἴσου ἄρα ἐστὶν ὡς ὁ Δ πρὸς τὸν ΑΓ, οὕτως τὸ ἀπὸ τῆς Ε πρὸς τὸ ἀπὸ τῆς ΗΘ. ὁ δὲ Δ πρὸς τὸν ΑΓ λόγον οὐκ ἔχει, ὃν τετράγωνος ἀριθμὸς πρὸς τετράγωνον
35ἀριθμόν: οὐδὲ τὸ ἀπὸ τῆς Ε ἄρα πρὸς τὸ ἀπὸ τῆς ΗΘ λόγον ἔχει, ὃν τετράγωνος ἀριθμὸς πρὸς τετράγωνον ἀριθμόν: ἀσύμμετρος ἄρα ἐστὶν ἡ Ε τῇ ΗΘ μήκει. ἐδείχθη δὲ καὶ τῇ ΖΗ ἀσύμμετρος: ἑκατέρα ἄρα τῶν ΖΗ, ΗΘ ἀσύμμετρός ἐστι τῇ Ε μήκει. καὶ ἐπεί ἐστιν ὡς
40ὁ ΒΑ πρὸς τὸν ΑΓ, οὕτως τὸ ἀπὸ τῆς ΖΗ πρὸς τὸ ἀπὸ τῆς ΗΘ, μεῖζον ἄρα τὸ ἀπὸ τῆς ΖΗ τοῦ ἀπὸ τῆς ΗΘ. ἔστω οὖν τῷ ἀπὸ τῆς ΖΗ ἴσα τὰ ἀπὸ τῶν ΗΘ, Κ: ἀναστρέψαντι ἄρα ὡς ὁ ΑΒ πρὸς ΒΓ, οὕτως τὸ ἀπὸ ΖΗ πρὸς τὸ ἀπὸ τῆς Κ. ὁ δὲ ΑΒ πρὸς τὸν ΒΓ λόγον οὐκ ἔχει,
40ὃν τετράγωνος ἀριθμὸς πρὸς τετράγωνον ἀριθμόν: ὥστε οὐδὲ τὸ ἀπὸ ΖΗ πρὸς τὸ ἀπὸ τῆς Κ λόγον ἔχει, ὃν τετράγωνος ἀριθμὸς πρὸς τετράγωνον ἀριθμόν. ἀσύμμετρος ἄρα ἐστὶν ἡ ΖΗ τῇ Κ μήκει: ἡ ΖΗ ἄρα τῆς ΗΘ μεῖζον δύναται τῷ ἀπὸ ἀσυμμέτρου ἑαυτῇ. καί εἰσιν
50αἱ ΖΗ, ΗΘ ῥηταὶ δυνάμει μόνον σύμμετροι, καὶ οὐδετέρα αὐτῶν σύμμετρός ἐστι μήκει τῇ ἐκκειμένῃ ῥητῇ τῇ Ε.

ἡ ΖΘ ἄρα ἐκ δύο ὀνομάτων ἐστὶν ἕκτη: ὅπερ ἔδει δεῖξαι.

λῆμμα
55

ἔστω δύο τετράγωνα τὰ ΑΒ, ΒΓ καὶ κείσθωσαν ὥστε ἐπ᾽ εὐθείας εἶναι τὴν ΔΒ τῇ ΒΕ: ἐπ᾽ εὐθείας ἄρα ἐστὶ καὶ ἡ ΖΒ τῇ ΒΗ. καὶ συμπεπληρώσθω τὸ ΑΓ παραλληλόγραμμον: λέγω, ὅτι τετράγωνόν ἐστι τὸ ΑΓ, καὶ ὅτι τῶν
60ΑΒ, ΒΓ μέσον ἀνάλογόν ἐστι τὸ ΔΗ, καὶ ἔτι τῶν ΑΓ, ΓΒ μέσον ἀνάλογόν ἐστι τὸ ΔΓ.

ἐπεὶ γὰρ ἴση ἐστὶν ἡ μὲν ΔΒ τῇ ΒΖ, ἡ δὲ ΒΕ τῇ ΒΗ, ὅλη ἄρα ἡ ΔΕ ὅλῃ τῇ ΖΗ ἐστιν ἴση. ἀλλ᾽ ἡ μὲν
65ΔΕ ἑκατέρᾳ τῶν ΑΘ, ΚΓ ἐστιν ἴση, ἡ δὲ ΖΗ ἑκατέρᾳ τῶν ΑΚ, ΘΓ ἐστιν ἴση: καὶ ἑκατέρα ἄρα τῶν ΑΘ, ΚΓ ἑκατέρᾳ τῶν ΑΚ, ΘΓ ἐστιν ἴση. ἰσόπλευρον ἄρα ἐστὶ τὸ ΑΓ παραλληλόγραμμον: ἔστι δὲ καὶ ὀρθογώνιον: τετράγωνον ἄρα ἐστὶ τὸ ΑΓ.
70

καὶ ἐπεί ἐστιν ὡς ἡ ΖΒ πρὸς τὴν ΒΗ, οὕτως ἡ ΔΒ πρὸς τὴν ΒΕ, ἀλλ᾽ ὡς μὲν ἡ ΖΒ πρὸς τὴν ΒΗ, οὕτως τὸ ΑΒ πρὸς τὸ ΔΗ, ὡς δὲ ἡ ΔΒ πρὸς τὴν ΒΕ, οὕτως τὸ ΔΗ πρὸς τὸ ΒΓ, καὶ ὡς ἄρα τὸ ΑΒ πρὸς τὸ ΔΗ, οὕτως τὸ ΔΗ πρὸς τὸ ΒΓ. τῶν ΑΒ, ΒΓ ἄρα μέσον
75ἀνάλογόν ἐστι τὸ ΔΗ.

λέγω δή, ὅτι καὶ τῶν ΑΓ, ΓΒ μέσον ἀνάλογόν ἐστι τὸ ΔΓ.

ἐπεὶ γάρ ἐστιν ὡς ἡ ΑΔ πρὸς τὴν ΔΚ, οὕτως ἡ ΚΗ πρὸς τὴν ΗΓ: ἴση γάρ ἐστιν ἑκατέρα ἑκατέρᾳ: καὶ
80συνθέντι ὡς ἡ ΑΚ πρὸς ΚΔ, οὕτως ἡ ΚΓ πρὸς ΓΗ, ἀλλ᾽ ὡς μὲν ἡ ΑΚ πρὸς ΚΔ, οὕτως τὸ ΑΓ πρὸς τὸ ΓΔ, ὡς δὲ ἡ ΚΓ πρὸς ΓΗ, οὕτως τὸ ΔΓ πρὸς ΓΒ, καὶ ὡς ἄρα τὸ ΑΓ πρὸς ΔΓ, οὕτως τὸ ΔΓ πρὸς τὸ ΒΓ. τῶν ΑΓ, ΓΒ ἄρα μέσον ἀνάλογόν ἐστι τὸ ΔΓ: ἃ προέκειτο
85δεῖξαι.