Euclid, Elementa, ed. Johan Ludvig Heiberg, 10.prop3.104

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

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

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

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

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

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

Euclid Elementa 10.prop3.104

ed. Johan Ludvig Heiberg

Search the Perseus Catalog for:

Current edition Perseus

Stable identifiers