Στοιχεῖα Εὐκλείδου ι΄

[Βιβλίον X]

---

Αἱ Προτάσεις τῶν Στοιχείων ι΄.
Προηγουμένη Πρότασις
Ἑπομένη Πρότασις

Πρότασις ργ΄ [103]

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

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

Ἐπεὶ γὰρ ἀποτομή ἐστιν ἡ ΑΒ, ἔστω αὐτῇ προσαρμόζουσα ἡ ΒΕ· αἱ ΑΕ, ΕΒ ἄρα ῥηταί εἰσι δυνάμει μόνον σύμμετροι. καὶ τῷ τῆς ΑΒ πρὸς τὴν ΓΔ λόγῳ ὁ αὐτὸς γεγονέτω ὁ τῆς ΒΕ πρὸς τὴν ΔΖ· καὶ ὡς ἓν ἄρα πρὸς ἕν, πάντα [ἐστὶ] πρὸς πάντα· ἔστιν ἄρα καὶ ὡς ὅλη ἡ ΑΕ πρὸς ὅλην τὴν ΓΖ, οὕτως ἡ ΑΒ πρὸς τὴν ΓΔ. σύμμετρος δὲ ἡ ΑΒ τῇ ΓΔ μήκει. σύμμετρος ἄρα καὶ ἡ ΑΕ μὲν τῇ ΓΖ, ἡ δὲ ΒΕ τῇ ΔΖ. καὶ αἱ ΑΕ, ΕΒ ῥηταί εἰσι δυνάμει μόνον σύμμετροι· καὶ αἱ ΓΖ, ΖΔ ἄρα ῥηταί εἰσι δυνάμει μόνον σύμμετροι. [ἀποτομὴ ἄρα ἐστὶν ἡ ΓΔ.

• 

Λέγω δή, ὅτι καὶ τῇ τάξει ἡ αὐτὴ τῇ ΑΒ.]

Ἐπεὶ οὖν ἐστιν ὡς ἡ ΑΕ πρὸς τὴν ΓΖ, οὕτως ἡ ΒΕ πρὸς τὴν ΔΖ, ἐναλλὰξ ἄρα ἐστὶν ὡς ἡ ΑΕ πρὸς τὴν ΕΒ, οὕτως ἡ ΓΖ πρὸς τὴν ΖΔ. ἤτοι δὴ ἡ ΑΕ τῆς ΕΒ μεῖζον δύναται τῷ ἀπὸ συμμέτρου ἑαυτῇ ἢ τῷ ἀπὸ ἀσυμμέτρου. εἰ μὲν οὖν ἡ ΑΕ τῆς ΕΒ μεῖζον δύναται τῷ ἀπὸ συμμέτρου ἑαυτῇ, καὶ ἡ ΓΖ τῆς ΖΔ μεῖζον δυνήσεται τῷ ἀπὸ συμμέτρου ἑαυτῇ. καὶ εἰ μὲν σύμμετρός ἐστιν ἡ ΑΕ τῇ ἐκκειμένῃ ῥητῇ μήκει, καὶ ἡ ΓΖ, εἰ δὲ ἡ ΒΕ, καὶ ἡ ΔΖ, εἰ δὲ οὐδετέρα τῶν ΑΕ, ΕΒ, καὶ οὐδετέρα τῶν ΓΖ, ΖΔ. εἰ δὲ ἡ ΑΕ [τῆς ΕΒ] μεῖζον δύναται τῷ ἀπὸ ἀσυμμέτρου ἑαυτῇ, καὶ ἡ ΓΖ τῆς ΖΔ μεῖζον δυνήσεται τῷ ἀπὸ ἀσυμμέτρου ἑαυτῇ. καὶ εἰ μὲν σύμμετρός ἐστιν ἡ ΑΕ τῇ ἐκκειμένῃ ῥητῇ μήκει, καὶ ἡ ΓΖ, εἰ δὲ ἡ ΒΕ, καὶ ἡ ΔΖ, εἰ δὲ οὐδετέρα τῶν ΑΕ, ΕΒ, οὐδετέρα τῶν ΓΖ, ΖΔ.

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

---

Ἑπομένη Πρότασις
Προηγουμένη Πρότασις
Αἱ Προτάσεις τῶν Στοιχείων ι΄.
Περιεχόμενα Στοιχείων Εὐκλείδου

---