Elementa

εὑρεῖν τὴν ἐκ δύο ὀνομάτων πρώτην.

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

λέγω, ὅτι καὶ πρώτη.

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

ἡ ΕΗ ἄρα ἐκ δύο ὀνομάτων ἐστὶ πρώτη· ὅπερ ἔδει δεῖξαι.

εὑρεῖν τὴν ἐκ δύο ὀνομάτων δευτέραν.

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

δεικτέον δή, ὅτι καὶ δευτέρα.

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

ἡ ΕΗ ἄρα ἐκ δύο ὀνομάτων ἐστὶ δευτέρα· ὅπερ ἔδει δεῖξαι.

εὑρεῖν τὴν ἐκ δύο ὀνομάτων τρίτην.

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

λέγω δή, ὅτι καὶ τρίτη.

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

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

εὑρεῖν τὴν ἐκ δύο ὀνομάτων τετάρτην.

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

λέγω δή, ὅτι καὶ τετάρτη.

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

ἡ ΕΗ ἄρα ἐκ δύο ὀνομάτων ἐστὶ τετάρτη· ὅπερ ἔδει δεῖξαι.

εὑρεῖν τὴν ἐκ δύο ὀνομάτων πέμπτην.

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

λέγω δή, ὅτι καὶ πέμπτη.

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

ἡ ΕΗ ἄρα ἐκ δύο ὀνομάτων ἐστὶ πέμπτη· ὅπερ ἔδει δεῖξαι.

εὑρεῖν τὴν ἐκ δύο ὀνομάτων ἕκτην.

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

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

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

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

λῆμμα

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

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

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

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

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