Index ← Previous Next →

Classification of incommensurables: Book 10 Proposition 111

Translations

Ἡ ἀποτομὴ οὐκ ἔστιν ἡ αὐτὴ τῇ ἐκ δύο ὀνομάτων. Ἔστω ἀποτομὴ ἡ ΑΒ: λέγω, ὅτι ἡ ΑΒ οὐκ ἔστιν ἡ αὐτὴ τῇ ἐκ δύο ὀνομάτων. Εἰ γὰρ δυνατόν, ἔστω: καὶ ἐκκείσθω ῥητὴ ἡ ΔΓ, καὶ τῷ ἀπὸ τῆς ΑΒ ἴσον παρὰ τὴν ΓΔ παραβεβλήσθω ὀρθογώνιον τὸ ΓΕ πλάτος ποιοῦν τὴν ΔΕ. ἐπεὶ οὖν ἀποτομή ἐστιν ἡ ΑΒ, ἀποτομὴ πρώτη ἐστὶν ἡ ΔΕ. ἔστω αὐτῇ προσαρμόζουσα ἡ ΕΖ: αἱ ΔΖ, ΖΕ ἄρα ῥηταί εἰσι δυνάμει μόνον σύμμετροι, καὶ ἡ ΔΖ τῆς ΖΕ μεῖζον δύναται τῷ ἀπὸ συμμέτρου ἑαυτῇ, καὶ ἡ ΔΖ σύμμετρός ἐστι τῇ ἐκκειμένῃ ῥητῇ μήκει τῇ ΔΓ. πάλιν, ἐπεὶ ἐκ δύο ὀνομάτων ἐστὶν ἡ ΑΒ, ἐκ δύο ἄρα ὀνομάτων πρώτη ἐστὶν ἡ ΔΕ. διῃρήσθω εἰς τὰ ὀνόματα κατὰ τὸ Η, καὶ ἔστω μεῖζον ὄνομα τὸ ΔΗ: αἱ ΔΗ, ΗΕ ἄρα ῥηταί εἰσι δυνάμει μόνον σύμμετροι, καὶ ἡ ΔΗ τῆς ΗΕ μεῖζον δύναται τῷ ἀπὸ συμμέτρου ἑαυτῇ, καὶ τὸ μεῖζον ἡ ΔΗ σύμμετρός ἐστι τῇ ἐκκειμένῃ ῥητῇ μήκει τῇ ΔΓ. καὶ ἡ ΔΖ ἄρα τῇ ΔΗ σύμμετρός ἐστι μήκει: καὶ λοιπὴ ἄρα ἡ ΗΖ σύμμετρός ἐστι τῇ ΔΖ μήκει. [ἐπεὶ οὖν σύμμετρός ἐστιν ἡ ΔΖ τῇ ΗΖ, ῥητὴ δέ ἐστιν ἡ ΔΖ, ῥητὴ ἄρα ἐστὶ καὶ ἡ ΗΖ. ἐπεὶ οὖν σύμμετρός ἐστιν ἡ ΔΖ τῇ ΗΖ μήκει] ἀσύμμετρος δὲ ἡ ΔΖ τῇ ΕΖ μήκει: ἀσύμμετρος ἄρα ἐστὶ καὶ ἡ ΖΗ τῇ ΕΖ μήκει. αἱ ΗΖ, ΖΕ ἄρα ῥηταί [εἰσι] δυνάμει μόνον σύμμετροι: ἀποτομὴ ἄρα ἐστὶν ἡ ΕΗ. ἀλλὰ καὶ ῥητή: ὅπερ ἐστὶν ἀδύνατον. Ἡ ἄρα ἀποτομὴ οὐκ ἔστιν ἡ αὐτὴ τῇ ἐκ δύο ὀνομάτων: ὅπερ ἔδει δεῖξαι.[Πόρισμα] Ἡ ἀποτομὴ καὶ αἱ μετ' αὐτὴν ἄλογοι οὔτε τῇ μέσῃ οὔτε ἀλλήλαις εἰσὶν αἱ αὐταί. Τὸ μὲν γὰρ ἀπὸ μέσης παρὰ ῥητὴν παραβαλλόμενον πλάτος ποιεῖ ῥητὴν καὶ ἀσύμμετρον τῇ, παρ' ἣν παράκειται, μήκει, τὸ δὲ ἀπὸ ἀποτομῆς παρὰ ῥητὴν παραβαλλόμενον πλάτος ποιεῖ ἀποτομὴν πρώτην, τὸ δὲ ἀπὸ μέσης ἀποτομῆς πρώτης παρὰ ῥητὴν παραβαλλόμενον πλάτος ποιεῖ ἀποτομὴν δευτέραν, τὸ δὲ ἀπὸ μέσης ἀποτομῆς δευτέρας παρὰ ῥητὴν παραβαλλόμενον πλάτος ποιεῖ ἀποτομὴν τρίτην, τὸ δὲ ἀπὸ ἐλάσσονος παρὰ ῥητὴν παραβαλλόμενον πλάτος ποιεῖ ἀποτομὴν τετάρτην, τὸ δὲ ἀπὸ τῆς μετὰ ῥητοῦ μέσον τὸ ὅλον ποιούσης παρὰ ῥητὴν παραβαλλόμενον πλάτος ποιεῖ ἀποτομὴν πέμπτην, τὸ δὲ ἀπὸ τῆς μετὰ μέσου μέσον τὸ ὅλον ποιούσης παρὰ ῥητὴν παραβαλλόμενον πλάτος ποιεῖ ἀποτομὴν ἕκτην. ἐπεὶ οὖν τὰ εἰρημένα πλάτη διαφέρει τοῦ τε πρώτου καὶ ἀλλήλων, τοῦ μὲν πρώτου, ὅτι ῥητή ἐστιν, ἀλλήλων δέ, ἐπεὶ τῇ τάξει οὐκ εἰσὶν αἱ αὐταί, δῆλον, ὡς καὶ αὐταὶ αἱ ἄλογοι διαφέρουσιν ἀλλήλων. καὶ ἐπεὶ δέδεικται ἡ ἀποτομὴ οὐκ οὖσα ἡ αὐτὴ τῇ ἐκ δύο ὀνομάτων, ποιοῦσι δὲ πλάτη παρὰ ῥητὴν παραβαλλόμεναι αἱ μετὰ τὴν ἀποτομὴν ἀποτομὰς ἀκολούθως ἑκάστη τῇ τάξει τῇ καθ' αὑτήν, αἱ δὲ μετὰ τὴν ἐκ δύο ὀνομάτων τὰς ἐκ δύο ὀνομάτων καὶ αὐταὶ τῇ τάξει ἀκολούθως, ἕτεραι ἄρα εἰσὶν αἱ μετὰ τὴν ἀποτομὴν καὶ ἕτεραι αἱ μετὰ τὴν ἐκ δύο ὀνομάτων, ὡς εἶναι τῇ τάξει πάσας ἀλόγους ιγʹ, Μέσην, Ἐκ δύο ὀνομάτων, Ἐκ δύο μέσων πρώτην, Ἐκ δύο μέσων δευτέραν, Μείζονα, Ῥητὸν καὶ μέσον δυναμένην, Δύο μέσα δυναμένην, Ἀποτομήν, Μέσης ἀποτομὴν πρώτην, Μέσης ἀποτομὴν δευτέραν, Ἐλάσσονα, Μετὰ ῥητοῦ μέσον τὸ ὅλον ποιοῦσαν, Μετὰ μέσου μέσον τὸ ὅλον ποιοῦσαν.

The apotome is not the same with the binomial straight line. Let AB be an apotome; I say that AB is not the same with the binomial straight line. For, if possible, let it be so; let a rational straight line DC be set out, and to CD let there be applied the rectangle CE equal to the square on AB and producing DE as breadth. Then, since AB is an apotome, DE is a first apotome. [X. 97] Let EF be the annex to it; therefore DF, FE are rational straight lines commensurable in square only, the square on DF is greater than the square on FE by the square on a straight line commensurable with DF, and DF is commensurable in length with the rational straight line DC set out. [X. Deff. III. 1] Again, since AB is binomial, therefore DE is a first binomial straight line. [X. 60] Let it be divided into its terms at G, and let DG be the greater term; therefore DG, GE are rational straight lines commensurable in square only, the square on DG is greater than the square on GE by the square on a straight line commensurable with DG, and the greater term DG is commensurable in length with the rational straight line DC set out. [X. Deff. II. 1] Therefore DF is also commensurable in length with DG; [X. 12] therefore the remainder GF is also commensurable in length with DF. [X. 15] But DF is incommensurable in length with EF; therefore FG is also incommensurable in length with EF. [X. 13] Therefore GF, FE are rational straight lines commensurable in square only; therefore EG is an apotome. [X. 73] But it is also rational: which is impossible.