Book 10, Type prop3

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