Elementa

ἡ τῇ μέσης ἀποτομῇ σύμμετρος μέσης ἀποτομή ἐστι καὶ τῇ τάξει ἡ αὐτή.

ἔστω μέσης ἀποτομὴ ἡ ΑΒ, καὶ τῇ ΑΒ μήκει σύμμετρος ἔστω ἡ ΓΔ· λέγω, ὅτι καὶ ἡ ΓΔ μέσης ἀποτομή ἐστι καὶ τῇ τάξει ἡ αὐτὴ τῇ ΑΒ.

ἐπεὶ γὰρ μέσης ἀποτομή ἐστιν ἡ ΑΒ, ἔστω αὐτῇ προσαρμόζουσα ἡ ΕΒ. αἱ ΑΕ, ΕΒ ἄρα μέσαι εἰσὶ δυνάμει μόνον σύμμετροι. καὶ γεγονέτω ὡς ἡ ΑΒ πρὸς τὴν ΓΔ, οὕτως ἡ ΒΕ πρὸς τὴν ΔΖ· σύμμετρος ἄρα ἐστὶ καὶ ἡ ΑΕ τῇ ΓΖ, ἡ δὲ ΒΕ τῇ ΔΖ. αἱ δὲ ΑΕ, ΕΒ μέσαι εἰσὶ δυνάμει μόνον σύμμετροι· καὶ αἱ ΓΖ, ΖΔ ἄρα μέσαι εἰσὶ δυνάμει μόνον σύμμετροι· μέσης ἄρα ἀποτομή ἐστιν ἡ ΓΔ.

λέγω δή, ὅτι καὶ τῇ τάξει ἐστὶν ἡ αὐτὴ τῇ ΑΒ.

ἐπεὶ γάρ ἐστιν ὡς ἡ ΑΕ πρὸς τὴν ΕΒ, οὕτως ἡ ΓΖ πρὸς τὴν ΖΔ ἀλλʼ ὡς μὲν ἡ ΑΕ πρὸς τὴν ΕΒ, οὕτως τὸ ἀπὸ τῆς ΑΕ πρὸς τὸ ὑπὸ τῶν ΑΕ, ΕΒ, ὡς δὲ ἡ ΓΖ πρὸς τὴν ΖΔ, οὕτως τὸ ἀπὸ τῆς ΓΖ πρὸς τὸ ὑπὸ τῶν ΓΖ, ΖΔ , ἔστιν ἄρα καὶ ὡς τὸ ἀπὸ τῆς ΑΕ πρὸς τὸ ὑπὸ τῶν ΑΕ, ΕΒ, οὕτως τὸ ἀπὸ τῆς ΓΖ πρὸς τὸ ὑπὸ τῶν ΓΖ, ΖΔ καὶ ἐναλλὰξ ὡς τὸ ἀπὸ τῆς ΑΕ πρὸς τὸ ἀπὸ τῆς ΓΖ, οὕτως τὸ ὑπὸ τῶν ΑΕ, ΕΒ πρὸς τὸ ὑπὸ τῶν ΓΖ, ΖΔ . σύμμετρον δὲ τὸ ἀπὸ τῆς ΑΕ τῷ ἀπὸ τῆς ΓΖ· σύμμετρον ἄρα ἐστὶ καὶ τὸ ὑπὸ τῶν ΑΕ, ΕΒ τῷ ὑπὸ τῶν ΓΖ, ΖΔ. εἴτε οὖν ῥητόν ἐστι τὸ ὑπὸ τῶν ΑΕ, ΕΒ, ῥητὸν ἔσται καὶ τὸ ὑπὸ τῶν ΓΖ, ΖΔ, εἴτε μέσον ἐστὶ τὸ ὑπὸ τῶν ΑΕ, ΕΒ, μέσον ἐστὶ καὶ τὸ ὑπὸ τῶν ΓΖ, ΖΔ.

μέσης ἄρα ἀποτομή ἐστιν ἡ ΓΔ καὶ τῇ τάξει ἡ αὐτὴ τῇ ΑΒ· ὅπερ ἔδει δεῖξαι.

ἡ τῇ ἐλάσσονι σύμμετρος ἐλάσσων ἐστίν.

ἔστω γὰρ ἐλάσσων ἡ ΑΒ καὶ τῇ ΑΒ σύμμετρος ἡ ΓΔ· λέγω, ὅτι καὶ ἡ ΓΔ ἐλάσσων ἐστίν.

γεγονέτω γὰρ τὰ αὐτά· καὶ ἐπεὶ αἱ ΑΕ, ΕΒ δυνάμει εἰσὶν ἀσύμμετροι, καὶ αἱ ΓΖ, ΖΔ ἄρα δυνάμει εἰσὶν ἀσύμμετροι. ἐπεὶ οὖν ἐστιν ὡς ἡ ΑΕ πρὸς τὴν ΕΒ, οὕτως ἡ ΓΖ πρὸς τὴν ΖΔ, ἔστιν ἄρα καὶ ὡς τὸ ἀπὸ τῆς ΑΕ πρὸς τὸ ἀπὸ τῆς ΕΒ, οὕτως τὸ ἀπὸ τῆς ΓΖ πρὸς τὸ ἀπὸ τῆς ΖΔ. συνθέντι ἄρα ἐστὶν ὡς τὰ ἀπὸ τῶν ΑΕ, ΕΒ πρὸς τὸ ἀπὸ τῆς ΕΒ, οὕτως τὰ ἀπὸ τῶν ΓΖ, ΖΔ πρὸς τὸ ἀπὸ τῆς ΖΔ καὶ ἐναλλάξ· σύμμετρον δέ ἐστι τὸ ἀπὸ τῆς ΒΕ τῷ ἀπὸ τῆς ΔΖ· σύμμετρον ἄρα καὶ τὸ συγκείμενον ἐκ τῶν ἀπὸ τῶν ΑΕ, ΕΒ τετραγώνων τῷ συγκειμένῳ ἐκ τῶν ἀπὸ τῶν ΓΖ, ΖΔ τετραγώνων. ῥητὸν δέ ἐστι τὸ συγκείμενον ἐκ τῶν ἀπὸ τῶν ΑΕ, ΕΒ τετραγώνων· ῥητὸν ἄρα ἐστὶ καὶ τὸ συγκείμενον ἐκ τῶν ἀπὸ τῶν ΓΖ, ΖΔ τετραγώνων. πάλιν, ἐπεί ἐστιν ὡς τὸ ἀπὸ τῆς ΑΕ πρὸς τὸ ὑπὸ τῶν ΑΕ, ΕΒ, οὕτως τὸ ἀπὸ τῆς ΓΖ πρὸς τὸ ὑπὸ τῶν ΓΖ, ΖΔ, σύμμετρον δὲ τὸ ἀπὸ τῆς ΑΕ τετράγωνον τῷ ἀπὸ τῆς ΓΖ τετραγώνῳ, σύμμετρον ἄρα ἐστὶ καὶ τὸ ὑπὸ τῶν ΑΕ, ΕΒ τῷ ὑπὸ τῶν ΓΖ, ΖΔ. μέσον δὲ τὸ ὑπὸ τῶν ΑΕ, ΕΒ· μέσον ἄρα καὶ τὸ ὑπὸ τῶν ΓΖ, ΖΔ· αἱ ΓΖ, ΖΔ ἄρα δυνάμει εἰσὶν ἀσύμμετροι ποιοῦσαι τὸ μὲν συγκείμενον ἐκ τῶν ἀπʼ αὐτῶν τετραγώνων ῥητόν, τὸ δʼ ὑπʼ αὐτῶν μέσον.

ἐλάσσων ἄρα ἐστὶν ἡ ΓΔ· ὅπερ ἔδει δεῖξαι.

ἡ τῇ μετὰ ῥητοῦ μέσον τὸ ὅλον ποιούσῃ σύμμετρος μετὰ ῥητοῦ μέσον τὸ ὅλον ποιοῦσά ἐστιν.

ἔστω μετὰ ῥητοῦ μέσον τὸ ὅλον ποιοῦσα ἡ ΑΒ καὶ τῇ ΑΒ σύμμετρος ἡ ΓΔ· λέγω, ὅτι καὶ ἡ ΓΔ μετὰ ῥητοῦ μέσον τὸ ὅλον ποιοῦσά ἐστιν.

ἔστω γὰρ τῇ ΑΒ προσαρμόζουσα ἡ ΒΕ· αἱ ΑΕ, ΕΒ ἄρα δυνάμει εἰσὶν ἀσύμμετροι ποιοῦσαι τὸ μὲν συγκείμενον ἐκ τῶν ἀπὸ τῶν ΑΕ, ΕΒ τετραγώνων μέσον, τὸ δʼ ὑπʼ αὐτῶν ῥητόν. καὶ τὰ αὐτὰ κατεσκευάσθω. ὁμοίως δὴ δείξομεν τοῖς πρότερον, ὅτι αἱ ΓΖ, ΖΔ ἐν τῷ αὐτῷ λόγῳ εἰσὶ ταῖς ΑΕ, ΕΒ, καὶ σύμμετρόν ἐστι τὸ συγκείμενον ἐκ τῶν ἀπὸ τῶν ΑΕ, ΕΒ τετραγώνων τῷ συγκειμένῳ ἐκ τῶν ἀπὸ τῶν ΓΖ, ΖΔ τετραγώνων, τὸ δὲ ὑπὸ τῶν ΑΕ, ΕΒ τῷ ὑπὸ τῶν ΓΖ, ΖΔ· ὥστε καὶ αἱ ΓΖ, ΖΔ δυνάμει εἰσὶν ἀσύμμετροι ποιοῦσαι τὸ μὲν συγκείμενον ἐκ τῶν ἀπὸ τῶν ΓΖ, ΖΔ τετραγώνων μέσον, τὸ δʼ ὑπʼ αὐτῶν ῥητόν.

ἡ ΓΔ ἄρα μετὰ ῥητοῦ μέσον τὸ ὅλον ποιοῦσά ἐστιν· ὅπερ ἔδει δεῖξαι.

ἡ τῇ μετὰ μέσου μέσον τὸ ὅλον ποιούσῃ σύμμετρος καὶ αὐτὴ μετὰ μέσου μέσον τὸ ὅλον ποιοῦσά ἐστιν.

ἔστω μετὰ μέσου μέσον τὸ ὅλον ποιοῦσα ἡ ΑΒ, καὶ τῇ ΑΒ ἔστω σύμμετρος ἡ ΓΔ· λέγω, ὅτι καὶ ἡ ΓΔ μετὰ μέσου μέσον τὸ ὅλον ποιοῦσά ἐστιν.

ἔστω γὰρ τῇ ΑΒ προσαρμόζουσα ἡ ΒΕ, καὶ τὰ αὐτὰ κατεσκευάσθω· αἱ ΑΕ, ΕΒ ἄρα δυνάμει εἰσὶν ἀσύμμετροι ποιοῦσαι τό τε συγκείμενον ἐκ τῶν ἀπʼ αὐτῶν τετραγώνων μέσον καὶ τὸ ὑπʼ αὐτῶν μέσον καὶ ἔτι ἀσύμμετρον τὸ συγκείμενον ἐκ τῶν ἀπʼ αὐτῶν τετραγώνων τῷ ὑπʼ αὐτῶν. καί εἰσιν, ὡς ἐδείχθη, αἱ ΑΕ, ΕΒ σύμμετροι ταῖς ΓΖ, ΖΔ, καὶ τὸ συγκείμενον ἐκ τῶν ἀπὸ τῶν ΑΕ, ΕΒ τετραγώνων τῷ συγκειμένῳ ἐκ τῶν ἀπὸ τῶν ΓΖ, ΖΔ, τὸ δὲ ὑπὸ τῶν ΑΕ, ΕΒ τῷ ὑπὸ τῶν ΓΖ, ΖΔ· καὶ αἱ ΓΖ, ΖΔ ἄρα δυνάμει εἰσὶν ἀσύμμετροι ποιοῦσαι τό τε συγκείμενον ἐκ τῶν ἀπʼ αὐτῶν τετραγώνων μέσον καὶ τὸ ὑπʼ αὐτῶν μέσον καὶ ἔτι ἀσύμμετρον τὸ συγκείμενον ἐκ τῶν ἀπʼ αὐτῶν τετραγώνων τῷ ὑπʼ αὐτῶν.

ἡ ΓΔ ἄρα μετὰ μέσου μέσον τὸ ὅλον ποιοῦσά ἐστιν· ὅπερ ἔδει δεῖξαι.

ἀπὸ ῥητοῦ μέσου ἀφαιρουμένου ἡ τὸ λοιπὸν χωρίον δυναμένη μία δύο ἀλόγων γίνεται ἤτοι ἀποτομὴ ἢ ἐλάσσων.

ἀπὸ γὰρ ῥητοῦ τοῦ ΒΓ μέσον ἀφῃρήσθω τὸ ΒΔ· λέγω, ὅτι ἡ τὸ λοιπὸν δυναμένη τὸ ΕΓ μία δύο ἀλόγων γίνεται ἤτοι ἀποτομὴ ἢ ἐλάσσων.

Ἐκκείσθω γὰρ ῥητὴ ἡ ΖΗ, καὶ τῷ μὲν ΒΓ ἴσον παρὰ τὴν ΖΗ παραβεβλήσθω ὀρθογώνιον παραλληλόγραμμον τὸ ΗΘ, τῷ δὲ ΔΒ ἴσον ἀφῃρήσθω τὸ ΗΚ· λοιπὸν ἄρα τὸ ΕΓ ἴσον ἐστὶ τῷ ΛΘ. ἐπεὶ οὖν ῥητὸν μέν ἐστι τὸ ΒΓ, μέσον δὲ τὸ ΒΔ, ἴσον δὲ τὸ μὲν ΒΓ τῷ ΗΘ, τὸ δὲ ΒΔ τῷ ΗΚ, ῥητὸν μὲν ἄρα ἐστὶ τὸ ΗΘ, μέσον δὲ τὸ ΗΚ. καὶ παρὰ ῥητὴν τὴν ΖΗ παράκειται· ῥητὴ μὲν ἄρα ἡ ΖΘ καὶ σύμμετρος τῇ ΖΗ μήκει, ῥητὴ δὲ ἡ ΖΚ καὶ ἀσύμμετρος τῇ ΖΗ μήκει· ἀσύμμετρος ἄρα ἐστὶν ἡ ΖΘ τῇ ΖΚ μήκει. αἱ ΖΘ, ΖΚ ἄρα ῥηταί εἰσι δυνάμει μόνον σύμμετροι· ἀποτομὴ ἄρα ἐστὶν ἡ ΚΘ, προσαρμόζουσα δὲ αὐτῇ ἡ ΚΖ. ἤτοι δὴ ἡ ΘΖ τῆς ΖΚ μεῖζον δύναται τῷ ἀπὸ συμμέτρου ἢ οὔ.

δυνάσθω πρότερον τῷ ἀπὸ συμμέτρου. καί ἐστιν ὅλη ἡ ΘΖ σύμμετρος τῇ ἐκκειμένῃ ῥητῇ μήκει τῇ ΖΗ· ἀποτομὴ ἄρα πρώτη ἐστὶν ἡ ΚΘ. τὸ δʼ ὑπὸ ῥητῆς καὶ ἀποτομῆς πρώτης περιεχόμενον ἡ δυναμένη ἀποτομή ἐστιν. ἡ ἄρα τὸ ΛΘ, τουτέστι τὸ ΕΓ, δυναμένη ἀποτομή ἐστιν.

εἰ δὲ ἡ ΘΖ τῆς ΖΚ μεῖζον δύναται τῷ ἀπὸ ἀσυμμέτρου ἑαυτῇ, καί ἐστιν ὅλη ἡ ΖΘ σύμμετρος τῇ ἐκκειμένῃ ῥητῇ μήκει τῇ ΖΗ, ἀποτομὴ τετάρτη ἐστὶν ἡ ΚΘ. τὸ δʼ ὑπὸ ῥητῆς καὶ ἀποτομῆς τετάρτης περιεχόμενον ἡ δυναμένη ἐλάσσων ἐστίν· ὅπερ ἔδει δεῖξαι.

ἀπὸ μέσου ῥητοῦ ἀφαιρουμένου ἄλλαι δύο ἄλογοι γίνονται ἤτοι μέσης ἀποτομὴ πρώτη ἢ μετὰ ῥητοῦ μέσον τὸ ὅλον ποιοῦσα.

ἀπὸ γὰρ μέσου τοῦ ΒΓ ῥητὸν ἀφῃρήσθω τὸ ΒΔ. λέγω, ὅτι ἡ τὸ λοιπὸν τὸ ΕΓ δυναμένη μία δύο ἀλόγων γίνεται ἤτοι μέσης ἀποτομὴ πρώτη ἢ μετὰ ῥητοῦ μέσον τὸ ὅλον ποιοῦσα.

Ἐκκείσθω γὰρ ῥητὴ ἡ ΖΗ, καὶ παραβεβλήσθω ὁμοίως τὰ χωρία. ἔστι δὴ ἀκολούθως ῥητὴ μὲν ἡ ΖΘ καὶ ἀσύμμετρος τῇ ΖΗ μήκει, ῥητὴ δὲ ἡ ΚΖ καὶ σύμμετρος τῇ ΖΗ μήκει· αἱ ΖΘ, ΖΚ ἄρα ῥηταί εἰσι δυνάμει μόνον σύμμετροι· ἀποτομὴ ἄρα ἐστὶν ἡ ΚΘ, προσαρμόζουσα δὲ ταύτῃ ἡ ΖΚ. ἤτοι δὴ ἡ ΘΖ τῆς ΖΚ μεῖζον δύναται τῷ ἀπὸ συμμέτρου ἑαυτῇ ἢ τῷ ἀπὸ ἀσυμμέτρου.

εἰ μὲν οὖν ἡ ΘΖ τῆς ΖΚ μεῖζον δύναται τῷ ἀπὸ συμμέτρου ἑαυτῇ, καί ἐστιν ἡ προσαρμόζουσα ἡ ΖΚ σύμμετρος τῇ ἐκκειμένῃ ῥητῇ μήκει τῇ ΖΗ, ἀποτομὴ δευτέρα ἐστὶν ἡ ΚΘ. ῥητὴ δὲ ἡ ΖΗ· ὥστε ἡ τὸ ΛΘ, τουτέστι τὸ ΕΓ, δυναμένη μέσης ἀποτομὴ πρώτη ἐστίν.

εἰ δὲ ἡ ΘΖ τῆς ΖΚ μεῖζον δύναται τῷ ἀπὸ ἀσυμμέτρου, καί ἐστιν ἡ προσαρμόζουσα ἡ ΖΚ σύμμετρος τῇ ἐκκειμένῃ ῥητῇ μήκει τῇ ΖΗ, ἀποτομὴ πέμπτη ἐστὶν ἡ ΚΘ· ὥστε ἡ τὸ ΕΓ δυναμένη μετὰ ῥητοῦ μέσον τὸ ὅλον ποιοῦσά ἐστιν· ὅπερ ἔδει δεῖξαι.

ἀπὸ μέσου μέσου ἀφαιρουμένου ἀσυμμέτρου τῷ ὅλῳ αἱ λοιπαὶ δύο ἄλογοι γίνονται ἤτοι μέσης ἀποτομὴ δευτέρα ἢ μετὰ μέσου μέσον τὸ ὅλον ποιοῦσα.

ἀφῃρήσθω γὰρ ὡς ἐπὶ τῶν προκειμένων καταγραφῶν ἀπὸ μέσου τοῦ ΒΓ μέσον τὸ ΒΔ ἀσύμμετρον τῷ ὅλῳ· λέγω, ὅτι ἡ τὸ ΕΓ δυναμένη μία ἐστὶ δύο ἀλόγων ἤτοι μέσης ἀποτομὴ δευτέρα ἢ μετὰ μέσου μέσον τὸ ὅλον ποιοῦσα.

ἐπεὶ γὰρ μέσον ἐστὶν ἑκάτερον τῶν ΒΓ, ΒΔ, καὶ ἀσύμμετρον τὸ ΒΓ τῷ ΒΔ, ἔσται ἀκολούθως ῥητὴ ἑκατέρα τῶν ΖΘ, ΖΚ καὶ ἀσύμμετρος τῇ ΖΗ μήκει. καὶ ἐπεὶ ἀσύμμετρόν ἐστι τὸ ΒΓ τῷ ΒΔ, τουτέστι τὸ ΗΘ τῷ ΗΚ, ἀσύμμετρος καὶ ἡ ΘΖ τῇ ΖΚ· αἱ ΖΘ, ΖΚ ἄρα ῥηταί εἰσι δυνάμει μόνον σύμμετροι· ἀποτομὴ ἄρα ἐστὶν ἡ ΚΘ προσαρμόζουσα δὲ ἡ ΖΚ. ἤτοι δὴ ἡ ΖΘ τῆς ΖΚ μεῖζον δύναται τῷ ἀπὸ συμμέτρου ἢ τῷ ἀπὸ ἀσυμμέτρου ἑαυτῇ.

εἰ μὲν δὴ ἡ ΖΘ τῆς ΖΚ μεῖζον δύναται τῷ ἀπὸ συμμέτρου ἑαυτῇ, καὶ οὐθετέρα τῶν ΖΘ, ΖΚ σύμμετρός ἐστι τῇ ἐκκειμένῃ ῥητῇ μήκει τῇ ΖΗ, ἀποτομὴ τρίτη ἐστὶν ἡ ΚΘ. ῥητὴ δὲ ἡ ΚΛ, τὸ δʼ ὑπὸ ῥητῆς καὶ ἀποτομῆς τρίτης περιεχόμενον ὀρθογώνιον ἄλογόν ἐστιν, καὶ ἡ δυναμένη αὐτὸ ἄλογός ἐστιν, καλεῖται δὲ μέσης ἀποτομὴ δευτέρα· ὥστε ἡ τὸ ΛΘ, τουτέστι τὸ ΕΓ, δυναμένη μέσης ἀποτομή ἐστι δευτέρα.

εἰ δὲ ἡ ΖΘ τῆς ΖΚ μεῖζον δύναται τῷ ἀπὸ ἀσυμμέτρου ἑαυτῇ μήκει, καὶ οὐθετέρα τῶν ΘΖ, ΖΚ σύμμετρός ἐστι τῇ ΖΗ μήκει, ἀποτομὴ ἕκτη ἐστὶν ἡ ΚΘ. τὸ δʼ ὑπὸ ῥητῆς καὶ ἀποτομῆς ἕκτης ἡ δυναμένη ἐστὶ μετὰ μέσου μέσον τὸ ὅλον ποιοῦσα. ἡ τὸ ΛΘ ἄρα, τουτέστι τὸ ΕΓ, δυναμένη μετὰ μέσου μέσον τὸ ὅλον ποιοῦσά ἐστιν· ὅπερ ἔδει δεῖξαι.

ἡ ἀποτομὴ οὐκ ἔστιν ἡ αὐτὴ τῇ ἐκ δύο ὀνομάτων.

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

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

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

Πόρισμα

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

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

μέσην,

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

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

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

μείζονα,

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

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

ἀποτομήν,

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

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

ἐλάσσονα,

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

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