Classification of incommensurables: Book 10 Proposition 90
Translations
Εὑρεῖν τὴν ἕκτην ἀποτομήν. Ἐκκείσθω ῥητὴ ἡ Α καὶ τρεῖς ἀριθμοὶ οἱ Ε, ΒΓ, ΓΔ λόγον μὴ ἔχοντες πρὸς ἀλλήλους, ὃν τετράγωνος ἀριθμὸς πρὸς τετράγωνον ἀριθμόν: ἔτι δὲ καὶ ὁ ΓΒ πρὸς τὸν ΒΔ λόγον μὴ ἐχέτω, ὃν τετράγωνος ἀριθμὸς πρὸς τετράγωνον ἀριθμόν: καὶ πεποιήσθω ὡς μὲν ὁ Ε πρὸς τὸν ΒΓ, οὕτως τὸ ἀπὸ τῆς Α πρὸς τὸ ἀπὸ τῆς ΖΗ, ὡς δὲ ὁ ΒΓ πρὸς τὸν ΓΔ, οὕτως τὸ ἀπὸ τῆς ΖΗ πρὸς τὸ ἀπὸ τῆς ΗΘ. Ἐπεὶ οὖν ἐστιν ὡς ὁ Ε πρὸς τὸν ΒΓ, οὕτως τὸ ἀπὸ τῆς Α πρὸς τὸ ἀπὸ τῆς ΖΗ, σύμμετρον ἄρα τὸ ἀπὸ τῆς Α τῷ ἀπὸ τῆς ΖΗ. ῥητὸν δὲ τὸ ἀπὸ τῆς Α: ῥητὸν ἄρα καὶ τὸ ἀπὸ τῆς ΖΗ: ῥητὴ ἄρα ἐστὶ καὶ ἡ ΖΗ. καὶ ἐπεὶ ὁ Ε πρὸς τὸν ΒΓ λόγον οὐκ ἔχει, ὃν τετράγωνος ἀριθμὸς πρὸς τετράγωνον ἀριθμόν, οὐδ' ἄρα τὸ ἀπὸ τῆς Α πρὸς τὸ ἀπὸ τῆς ΖΗ λόγον ἔχει, ὃν τετράγωνος ἀριθμὸς πρὸς τετράγωνον ἀριθμόν: ἀσύμμετρος ἄρα ἐστὶν ἡ Α τῇ ΖΗ μήκει. πάλιν, ἐπεί ἐστιν ὡς ὁ ΒΓ πρὸς τὸν ΓΔ, οὕτως τὸ ἀπὸ τῆς ΖΗ πρὸς τὸ ἀπὸ τῆς ΗΘ, σύμμετρον ἄρα τὸ ἀπὸ τῆς ΖΗ τῷ ἀπὸ τῆς ΗΘ. ῥητὸν δὲ τὸ ἀπὸ τῆς ΖΗ: ῥητὸν ἄρα καὶ τὸ ἀπὸ τῆς ΗΘ: ῥητὴ ἄρα καὶ ἡ ΗΘ. καὶ ἐπεὶ ὁ ΒΓ πρὸς τὸν ΓΔ λόγον οὐκ ἔχει, ὃν τετράγωνος ἀριθμὸς πρὸς τετράγωνον ἀριθμόν, οὐδ' ἄρα τὸ ἀπὸ τῆς ΖΗ πρὸς τὸ ἀπὸ τῆς ΗΘ λόγον ἔχει, ὃν τετράγωνος ἀριθμὸς πρὸς τετράγωνον ἀριθμόν: ἀσύμμετρος ἄρα ἐστὶν ἡ ΖΗ τῇ ΗΘ μήκει. καί εἰσιν ἀμφότεραι ῥηταί: αἱ ΖΗ, ΗΘ ἄρα ῥηταί εἰσι δυνάμει μόνον σύμμετροι: ἡ ἄρα ΖΘ ἀποτομή ἐστιν. Λέγω δή, ὅτι καὶ ἕκτη. Ἐπεὶ γάρ ἐστιν ὡς μὲν ὁ Ε πρὸς τὸν ΒΓ, οὕτως τὸ ἀπὸ τῆς Α πρὸς τὸ ἀπὸ τῆς ΖΗ, ὡς δὲ ὁ ΒΓ πρὸς τὸν ΓΔ, οὕτως τὸ ἀπὸ τῆς ΖΗ πρὸς τὸ ἀπὸ τῆς ΗΘ, δι' ἴσου ἄρα ἐστὶν ὡς ὁ Ε πρὸς τὸν ΓΔ, οὕτως τὸ ἀπὸ τῆς Α πρὸς τὸ ἀπὸ τῆς ΗΘ. ὁ δὲ Ε πρὸς τὸν ΓΔ λόγον οὐκ ἔχει, ὃν τετράγωνος ἀριθμὸς πρὸς τετράγωνον ἀριθμόν: οὐδ' ἄρα τὸ ἀπὸ τῆς Α πρὸς τὸ ἀπὸ τῆς ΗΘ λόγον ἔχει, ὃν τετράγωνος ἀριθμὸς πρὸς τετράγωνον ἀριθμόν: ἀσύμμετρος ἄρα ἐστὶν ἡ Α τῇ ΗΘ μήκει: οὐδετέρα ἄρα τῶν ΖΗ, ΗΘ σύμμετρός ἐστι τῇ Α ῥητῇ μήκει. ᾧ οὖν μεῖζόν ἐστι τὸ ἀπὸ τῆς ΖΗ τοῦ ἀπὸ τῆς ΗΘ, ἔστω τὸ ἀπὸ τῆς Κ. ἐπεὶ οὖν ἐστιν ὡς ὁ ΒΓ πρὸς τὸν ΓΔ, οὕτως τὸ ἀπὸ τῆς ΖΗ πρὸς τὸ ἀπὸ τῆς ΗΘ, ἀναστρέψαντι ἄρα ἐστὶν ὡς ὁ ΓΒ πρὸς τὸν ΒΔ, οὕτως τὸ ἀπὸ τῆς ΖΗ πρὸς τὸ ἀπὸ τῆς Κ. ὁ δὲ ΓΒ πρὸς τὸν ΒΔ λόγον οὐκ ἔχει, ὃν τετράγωνος ἀριθμὸς πρὸς τετράγωνον ἀριθμόν: οὐδ' ἄρα τὸ ἀπὸ τῆς ΖΗ πρὸς τὸ ἀπὸ τῆς Κ λόγον ἔχει, ὃν τετράγωνος ἀριθμὸς πρὸς τετράγωνον ἀριθμόν: ἀσύμμετρος ἄρα ἐστὶν ἡ ΖΗ τῇ Κ μήκει. καὶ δύναται ἡ ΖΗ τῆς ΗΘ μεῖζον τῷ ἀπὸ τῆς Κ: ἡ ΖΗ ἄρα τῆς ΗΘ μεῖζον δύναται τῷ ἀπὸ ἀσυμμέτρου ἑαυτῇ μήκει. καὶ οὐδετέρα τῶν ΖΗ, ΗΘ σύμμετρός ἐστι τῇ ἐκκειμένῃ ῥητῇ μήκει τῇ Α. ἡ ἄρα ΖΘ ἀποτομή ἐστιν ἕκτη. Εὕρηται ἄρα ἡ ἕκτη ἀποτομὴ ἡ ΖΘ: ὅπερ ἔδει δεῖξαι.
To find the sixth apotome. Let a rational straight line A be set out, and three numbers E, BC, CD not having to one another the ratio which a square number has to a square number; and further let CB also not have to BD the ratio which a square number has to a square number. Let it be contrived that, as E is to BC, so is the square on A to the square on FG, and, as BC is to CD, so is the square on FG to the square on GH. [X. 6, Por.] Now since, as E is to BC, so is the square on A to the square on FG, therefore the square on A is commensurable with the square on FG. [X. 6] But the square on A is rational; therefore the square on FG is also rational; therefore FG is also rational. And, since E has not to BC the ratio which a square number has to a square number, therefore neither has the square on A to the square on FG the ratio which a square number has to a square number; therefore A is incommensurable in length with FG. [X. 9] Again, since, as BC is to CD, so is the square on FG to the square on GH, therefore the square on FG is commensurable with the square on GH. [X. 6] But the square on FG is rational; therefore the square on GH is also rational; therefore GH is also rational. And, since BC has not to CD the ratio which a square number has to a square number, therefore neither has the square on FG to the square on GH the ratio which a square number has to a square number; therefore FG is incommensurable in length with GH. [X. 9] And both are rational; therefore FG, GH are rational straight lines commensurable in square only; therefore FH is an apotome. [X. 73] I say next that it is also a sixth apotome. For since, as E is to BC, so is the square on A to the square on FG, and, as BC is to CD, so is the square on FG to the square on GH, therefore, ex aequali, as E is to CD, so is the square on A to the square on GH. [V. 22] But E has not to CD the ratio which a square number has to a square number; therefore neither has the square on A to the square on GH the ratio which a square number has to a square number; therefore A is incommensurable in length with GH; [X. 9] therefore neither of the straight lines FG, GH is commensurable in length with the rational straight line A. Now let the square on K be that by which the square on FG is greater than the square on GH. Since then, as BC is to CD, so is the square on FG to the square on GH, therefore, convertendo, as CB is to BD, so is the square on FG to the square on K. [V. 19, Por.] But CB has not to BD the ratio which a square number has to a square number; therefore neither has the square on FG to the square on K the ratio which a square number has to a square number; therefore FG is incommensurable in length with K. [X. 9] And the square on FG is greater than the square on GH by the square on K; therefore the square on FG is greater than the square on GH by the square on a straight line incommensurable in length with FG. And neither of the straight lines FG, GH is commensurable with the rational straight line A set out. Therefore FH is a sixth apotome. [X. Deff. III. 6]