Euclid, Elements
J. L. Heiberg, Ed.

ἔστω ῥητὸν μὲν τὸ ΑΒ, μέσον δὲ τὸ ΓΔ: λέγω, ὅτι ἡ
5τὸ ΑΔ χωρίον δυναμένη ἤτοι ἐκ δύο ὀνομάτων ἐστὶν ἢ ἐκ δύο μέσων πρώτη ἢ μείζων ἢ ῥητὸν καὶ μέσον δυναμένη.

τὸ γὰρ ΑΒ τοῦ ΓΔ ἤτοι μεῖζόν ἐστιν ἢ ἔλασσον. ἔστω πρότερον μεῖζον: καὶ ἐκκείσθω ῥητὴ ἡ ΕΖ, καὶ παραβεβλήσθω παρὰ τὴν ΕΖ
10τῷ ΑΒ ἴσον τὸ ΕΗ πλάτος ποιοῦν τὴν ΕΘ: τῷ δὲ ΔΓ ἴσον παρὰ τὴν ΕΖ παραβεβλήσθω τὸ ΘΙ πλάτος ποιοῦν τὴν ΘΚ. καὶ ἐπεὶ ῥητόν ἐστι
15τὸ ΑΒ καί ἐστιν ῥητόν ἐστι τὸ ΑΒ καί ἐστιν ἴσον τῷ ΕΗ, ῥητὸν ἄρα καὶ τὸ ΕΗ. καὶ παρὰ ῥητὴν τὴν ΕΖ παραβέβληται πλάτος ποιοῦν τὴν ΕΘ: ἡ ΕΘ ἄρα ῥητή ἐστι καὶ σύμμετρος τῇ ΕΖ μήκει. πάλιν, ἐπεὶ μέσον
20ἐστὶ τὸ ΓΔ καί ἐστιν ἴσον τῷ ΘΙ, μέσον ἄρα ἐστὶ καὶ
20τὸ ΘΙ. καὶ παρὰ ῥητὴν τὴν ΕΖ παράκειται πλάτος ποιοῦν τὴν ΘΚ: ῥητὴ ἄρα ἐστὶν ἡ ΘΚ καὶ ἀσύμμετρος τῇ ΕΖ μήκει. καὶ ἐπεὶ μέσον ἐστὶ τὸ ΓΔ, ῥητὸν δὲ τὸ ΑΒ, ἀσύμμετρον ἄρα ἐστὶ τὸ ΑΒ τῷ ΓΔ: ὥστε καὶ τὸ
25ΕΗ ἀσύμμετρόν ἐστι τῷ ΘΙ. ὡς δὲ τὸ ΕΗ πρὸς τὸ ΘΙ, οὕτως ἐστὶν ἡ ΕΘ πρὸς τὴν ΘΚ: ἀσύμμετρος ἄρα ἐστὶ καὶ ἡ ΕΘ τῇ ΘΚ μήκει. καί εἰσιν ἀμφότεραι ῥηταί: αἱ ΕΘ, ΘΚ ἄρα ῥηταί εἰσι δυνάμει μόνον σύμμετροι: ἐκ δύο ἄρα ὀνομάτων ἐστὶν ἡ ΕΚ διῃρημένη κατὰ τὸ Θ. καὶ ἐπεὶ
30μεῖζόν ἐστι τὸ ΑΒ τοῦ ΓΔ, ἴσον δὲ τὸ μὲν ΑΒ τῷ ΕΗ, τὸ δὲ ΓΔ τῷ ΘΙ, μεῖζον ἄρα καὶ τὸ ΕΗ τοῦ ΘΙ: καὶ ἡ ΕΘ ἄρα μείζων ἐστὶ τῆς ΘΚ. ἤτοι οὖν ἡ ΕΘ τῆς ΘΚ μεῖζον δύναται τῷ ἀπὸ συμμέτρου ἑαυτῇ μήκει ἢ τῷ ἀπὸ ἀσυμμέτρου. δυνάσθω πρότερον τῷ ἀπὸ συμμέτρου
35ἑαυτῇ. καί ἐστιν ἡ μείζων ἡ ΘΕ σύμμετρος τῇ ἐκκειμένῃ ῥητῇ τῇ ΕΖ: ἡ ἄρα ΕΚ ἐκ δύο ὀνομάτων ἐστὶ πρώτη. ῥητὴ δὲ ἡ ΕΖ: ἐὰν δὲ χωρίον περιέχηται ὑπὸ ῥητῆς καὶ τῆς ἐκ δύο ὀνομάτων πρώτης, ἡ τὸ χωρίον δυναμένη ἐκ δύο ὀνομάτων ἐστίν. ἡ ἄρα τὸ ΕΙ δυναμένη ἐκ δύο
40ὀνομάτων ἐστίν: ὥστε καὶ ἡ τὸ ΑΔ δυναμένη ἐκ δύο ὀνομάτων ἐστίν. ἀλλὰ δὴ δυνάσθω ἡ ΕΘ τῆς ΘΚ μεῖζον τῷ ἀπὸ ἀσυμμέτρου ἑαυτῇ: καί ἐστιν ἡ μείζων ἡ ΕΘ σύμμετρος τῇ ἐκκειμένῃ ῥητῇ τῇ ΕΖ μήκει: ἡ ἄρα ΕΚ ἐκ δύο ὀνομάτων ἐστὶ τετάρτη. ῥητὴ δὲ ἡ ΕΖ: ἐὰν δὲ
45χωρίον περιέχηται ὑπὸ ῥητῆς καὶ τῆς ἐκ δύο ὀνομάτων τετάρτης, ἡ τὸ χωρίον δυναμένη ἄλογός ἐστιν ἡ καλουμένη μείζων. ἡ ἄρα τὸ ΕΙ χωρίον δυναμένη μείζων ἐστίν: ὥστε καὶ ἡ τὸ ΑΔ δυναμένη μείζων
50ἐστίν.

ἀλλὰ δὴ ἔστω ἔλασσον τὸ ΑΒ τοῦ ΓΔ: καὶ τὸ ΕΗ ἄρα ἔλασσόν ἐστι τοῦ ΘΙ: ὥστε καὶ ἡ ΕΘ ἐλάσσων ἐστὶ τῆς ΘΚ.
55ἤτοι δὲ ἡ ΘΚ τῆς ΕΘ μεῖζον δύναται τῷ ἀπὸ συμμέτρου ἑαυτῇ ἢ τῷ ἀπὸ ἀσυμμέτρου. δυνάσθω πρότερον τῷ ἀπὸ συμμέτρου ἑαυτῇ μήκει: καί ἐστιν ἡ ἐλάσσων ἡ ΕΘ σύμμετρος τῇ ἐκκειμένῃ ῥητῇ τῇ ΕΖ μήκει: ἡ ἄρα ΕΚ ἐκ δύο ὀνομάτων ἐστὶ δευτέρα. ῥητὴ δὲ
60ἡ ΕΖ: ἐὰν δὲ χωρίον περιέχηται ὑπὸ ῥητῆς καὶ τῆς ἐκ δύο ὀνομάτων δευτέρας, ἡ τὸ χωρίον δυναμένη ἐκ δύο μέσων ἐστὶ πρώτη. ἡ ἄρα τὸ ΕΙ χωρίον δυναμένη ἐκ δύο μέσων ἐστὶ πρώτη: ὥστε καὶ ἡ τὸ ΑΔ δυναμένη ἐκ δύο μέσων ἐστὶ πρώτη. ἀλλὰ δὴ ἡ ΘΚ τῆς ΘΕ μεῖζον
65δυνάσθω τῷ ἀπὸ ἀσυμμέτρου ἑαυτῇ. καί ἐστιν ἡ ἐλάσσων ἡ ΕΘ σύμμετρος τῇ ἐκκειμένῃ ῥητῇ τῇ ΕΖ: ἡ ἄρα ΕΚ ἐκ δύο ὀνομάτων ἐστὶ πέμπτη. ῥητὴ δὲ ἡ ΕΖ: ἐὰν δὲ χωρίον περιέχηται ὑπὸ ῥητῆς καὶ τῆς ἐκ δύο ὀνομάτων πέμπτης, ἡ τὸ χωρίον δυναμένη ῥητὸν καὶ μέσον δυναμένη ἐστίν.
70ἡ ἄρα τὸ ΕΙ χωρίον δυναμένη ῥητὸν καὶ μέσον δυναμένη ἐστίν: ὥστε καὶ ἡ τὸ ΑΔ χωρίον δυναμένη ῥητὸν καὶ μέσον δυναμένη ἐστίν.

ῥητοῦ ἄρα καὶ μέσου συντιθεμένου τέσσαρες ἄλογοι γίγνονται ἤτοι ἐκ δύο ὀνομάτων ἢ ἐκ δύο μέσων πρώτη
75ἢ μείζων ἢ ῥητὸν καὶ μέσον δυναμένη: ὅπερ ἔδει δεῖξαι.