Euclid, Elements
J. L. Heiberg, Ed.

ἔστω ἀποτομὴ ἡ ΑΒ: λέγω, ὅτι ἡ ΑΒ οὐκ ἔστιν ἡ αὐτὴ τῇ ἐκ δύο ὀνομάτων.

εἰ γὰρ δυνατόν, ἔστω: καὶ ἐκκείσθω ῥητὴ ἡ ΔΓ, καὶ
5τῷ ἀπὸ τῆς ΑΒ ἴσον παρὰ τὴν ΓΔ παραβεβλήσθω ὀρθογώνιον τὸ ΓΕ πλάτος ποιοῦν τὴν ΔΕ. ἐπεὶ οὖν ἀποτομή ἐστιν ἡ ΑΒ, ἀποτομὴ πρώτη ἐστὶν ἡ ΔΕ. ἔστω αὐτῇ προσαρμόζουσα ἡ ΕΖ:
10αἱ ΔΖ, ΖΕ ἄρα ῥηταί εἰσι δυνάμει μόνον σύμμετροι, καὶ ἡ ΔΖ τῆς ΖΕ μεῖζον δύναται τῷ ἀπὸ συμμέτρου ἑαυτῇ, καὶ ἡ ΔΖ σύμμετρός ἐστι
15τῇ ἐκκειμένῃ ῥητῇ μήκει τῇ ΔΓ. πάλιν, ἐπεὶ ἐκ δύο ὀνομάτων ἐστὶν ἡ ΑΒ, ἐκ δύο ἄρα ὀνομάτων πρώτη ἐστὶν ἡ ΔΕ. διῃρήσθω εἰς τὰ ὀνόματα κατὰ τὸ Η, καὶ ἔστω
20μεῖζον ὄνομα τὸ ΔΗ: αἱ ΔΗ, ΗΕ ἄρα ῥηταί εἰσι δυνάμει μόνον σύμμετροι, καὶ ἡ ΔΗ τῆς ΗΕ μεῖζον δύναται τῷ ἀπὸ συμμέτρου ἑαυτῇ, καὶ τὸ μεῖζον ἡ ΔΗ σύμμετρός ἐστι τῇ ἐκκειμένῃ ῥητῇ μήκει τῇ ΔΓ. καὶ ἡ ΔΖ ἄρα τῇ ΔΗ σύμμετρός ἐστι μήκει: καὶ λοιπὴ ἄρα ἡ ΗΖ σύμμετρός
25ἐστι τῇ ΔΖ μήκει. ἐπεὶ οὖν σύμμετρός ἐστιν ἡ ΔΖ τῇ ΗΖ, ῥητὴ δέ ἐστιν ἡ ΔΖ, ῥητὴ ἄρα ἐστὶ καὶ ἡ ΗΖ. ἐπεὶ οὖν σύμμετρός ἐστιν ἡ ΔΖ τῇ ΗΖ μήκει ἀσύμμετρος δὲ ἡ ΔΖ τῇ ΕΖ μήκει: ἀσύμμετρος ἄρα ἐστὶ καὶ ἡ ΖΗ τῇ ΕΖ μήκει. αἱ ΗΖ, ΖΕ ἄρα ῥηταί εἰσι
30δυνάμει μόνον σύμμετροι: ἀποτομὴ ἄρα ἐστὶν ἡ ΕΗ. ἀλλὰ καὶ ῥητή: ὅπερ ἐστὶν ἀδύνατον.

ἡ ἄρα ἀποτομὴ οὐκ ἔστιν ἡ αὐτὴ τῇ ἐκ δύο ὀνομάτων: ὅπερ ἔδει δεῖξαι.

Πόρισμα
35

ἡ ἀποτομὴ καὶ αἱ μετ᾽ αὐτὴν ἄλογοι οὔτε τῇ μέσῃ οὔτε ἀλλήλαις εἰσὶν αἱ αὐταί.

τὸ μὲν γὰρ ἀπὸ μέσης παρὰ ῥητὴν παραβαλλόμενον πλάτος ποιεῖ ῥητὴν καὶ ἀσύμμετρον τῇ, παρ᾽ ἣν παράκειται, μήκει, τὸ δὲ ἀπὸ ἀποτομῆς παρὰ ῥητὴν παραβαλλόμενον
40πλάτος ποιεῖ ἀποτομὴν πρώτην, τὸ δὲ ἀπὸ μέσης ἀποτομῆς πρώτης παρὰ ῥητὴν παραβαλλόμενον πλάτος ποιεῖ ἀποτομὴν δευτέραν, τὸ δὲ ἀπὸ μέσης ἀποτομῆς δευτέρας παρὰ ῥητὴν παραβαλλόμενον πλάτος ποιεῖ ἀποτομὴν τρίτην, τὸ δὲ ἀπὸ ἐλάσσονος παρὰ ῥητὴν
45παραβαλλόμενον πλάτος ποιεῖ ἀποτομὴν τετάρτην, τὸ δὲ ἀπὸ τῆς μετὰ ῥητοῦ μέσον τὸ ὅλον ποιούσης παρὰ ῥητὴν παραβαλλόμενον πλάτος ποιεῖ ἀποτομὴν πέμπτην, τὸ δὲ ἀπὸ τῆς μετὰ μέσου μέσον τὸ ὅλον ποιούσης παρὰ ῥητὴν παραβαλλόμενον πλάτος ποιεῖ ἀποτομὴν ἕκτην.
50ἐπεὶ οὖν τὰ εἰρημένα πλάτη διαφέρει τοῦ τε πρώτου καὶ ἀλλήλων, τοῦ μὲν πρώτου, ὅτι ῥητή ἐστιν, ἀλλήλων δέ, ἐπεὶ τῇ τάξει οὐκ εἰσὶν αἱ αὐταί, δῆλον, ὡς καὶ αὐταὶ αἱ ἄλογοι διαφέρουσιν ἀλλήλων. καὶ ἐπεὶ δέδεικται ἡ ἀποτομὴ οὐκ οὖσα ἡ αὐτὴ τῇ ἐκ δύο ὀνομάτων, ποιοῦσι
55δὲ πλάτη παρὰ ῥητὴν παραβαλλόμεναι αἱ μετὰ τὴν ἀποτομὴν ἀποτομὰς ἀκολούθως ἑκάστη τῇ τάξει τῇ καθ᾽ αὑτήν, αἱ δὲ μετὰ τὴν ἐκ δύο ὀνομάτων τὰς ἐκ δύο ὀνομάτων καὶ αὐταὶ τῇ τάξει ἀκολούθως, ἕτεραι ἄρα εἰσὶν αἱ μετὰ τὴν ἀποτομὴν καὶ ἕτεραι αἱ μετὰ τὴν ἐκ δύο
60ὀνομάτων, ὡς εἶναι τῇ τάξει πάσας ἀλόγους ιγ,

μέσην,

ἐκ δύο ὀνομάτων,

ἐκ δύο μέσων πρώτην,

ἐκ δύο μέσων δευτέραν,
65

μείζονα,

ῥητὸν καὶ μέσον δυναμένην,

δύο μέσα δυναμένην,

ἀποτομήν,

μέσης ἀποτομὴν πρώτην,
70

μέσης ἀποτομὴν δευτέραν,

ἐλάσσονα,

μετὰ ῥητοῦ μέσον τὸ ὅλον ποιοῦσαν,

μετὰ μέσου μέσον τὸ ὅλον ποιοῦσαν.