Στοιχεῖα Εὐκλείδου ι΄
[Βιβλίον X]
Αἱ Προτάσεις τῶν Στοιχείων ι΄.
Προηγουμένη Πρότασις
Ἑπομένη Πρότασις
Πρότασις νς΄ [56]
Ἐὰν χωρίον περιέχηται ὑπὸ ῥητῆς καὶ τῆς ἐκ δύο ὀνομάτων τρίτης, ἡ τὸ χωρίον δυναμένη ἄλογός ἐστιν ἡ καλουμένη ἐκ δύο μέσων δευτέρα.
Χωρίον γὰρ τὸ ΑΒΓΔ περιεχέσθω ὑπὸ ῥητῆς τῆς ΑΒ καὶ τῆς ἐκ δύο ὀνομάτων τρίτης τῆς ΑΔ διῃρημένης εἰς τὰ ὀνόματα κατὰ τὸ Ε, ὧν μεῖζόν ἐστι τὸ ΑΕ· λέγω, ὅτι ἡ τὸ ΑΓ χωρίον δυναμένη ἄλογός ἐστιν ἡ καλουμένη ἐκ δύο μέσων δευτέρα.
Κατεσκευάσθω γὰρ τὰ αὐτὰ τοῖς πρότερον. καὶ ἐπεὶ ἐκ δύο ὀνομάτων ἐστὶ τρίτη ἡ ΑΔ, αἱ ΑΕ, ΕΔ ἄρα ῥηταί εἰσι δυνάμει μόνον σύμμετροι, καὶ ἡ ΑΕ τῆς ΕΔ μεῖζον δύναται τῷ ἀπὸ συμμέτρου ἑαυτῇ, καὶ οὐδετέρα τῶν ΑΕ, ΕΔ σύμμετρός [ἐστι] τῇ ΑΒ μήκει. ὁμοίως δὴ τοῖς προδεδειγμένοις δείξομεν, ὅτι ἡ ΜΞ ἐστιν ἡ τὸ ΑΓ χωρίον δυναμένη, καὶ αἱ ΜΝ, ΝΞ μέσαι εἰσὶ δυνάμει μόνον σύμμετροι· ὥστε ἡ ΜΞ ἐκ δύο μέσων ἐστίν.
Δεικτέον δή, ὅτι καὶ δευτέρα.
[Καὶ] ἐπεὶ ἀσύμμετρός ἐστιν ἡ ΔΕ τῇ ΑΒ μήκει, τουτέστι τῇ ΕΚ, σύμμετρος δὲ ἡ ΔΕ τῇ ΕΖ, ἀσύμμετρος ἄρα ἐστὶν ἡ ΕΖ τῇ ΕΚ μήκει. καί εἰσι ῥηταί· αἱ ΖΕ, ΕΚ ἄρα ῥηταί εἰσι δυνάμει μόνον σύμμετροι. μέσον ἄρα [ἐστὶ] τὸ ΕΛ, τουτέστι τὸ ΜΡ· καὶ περιέχεται ὑπὸ τῶν ΜΝΞ· μέσον ἄρα ἐστὶ τὸ ὑπὸ τῶν ΜΝΞ.
Ἡ ΜΞ ἄρα ἐκ δύο μέσων ἐστὶ δευτέρα· ὅπερ ἔδει δεῖξαι.
Ἑπομένη Πρότασις
Προηγουμένη Πρότασις
Αἱ Προτάσεις τῶν Στοιχείων ι΄.
Περιεχόμενα Στοιχείων Εὐκλείδου