TLG 1799 005 :: EUCLIDES :: Elementa (demonstrationes alterae, lib. 11–13) EUCLIDES Geom. Scholia: Cf. SCHOLIA IN EUCLIDEM (5022) Elementa (demonstrationes alterae, lib. 11–13) Citation: Demonstratio — (line) | ||
1(n) | Ad libr. XI prop. 22 | |
1 | Ἄλλως Ἔστωσαν αἱ δοθεῖσαι τρεῖς γωνίαι ἐπίπεδοι αἱ ὑπὸ ΑΒΓ, ΔΕΖ, ΗΘΚ, ὧν αἱ δύο τῆς λοιπῆς μείζονες ἔστω‐ σαν πάντῃ μεταλαμβανόμεναι, περιεχέτωσαν δὲ αὐτὰς | |
---|---|---|
5 | ἴσαι εὐθεῖαι αἱ ΑΒ, ΒΓ, ΔΕ, ΕΖ, ΗΘ, ΘΚ, καὶ ἐπε‐ ζεύχθωσαν αἱ ΑΓ, ΔΖ, ΗΚ. λέγω, ὅτι δυνατόν ἐστιν ἐκ τῶν ἴσων ταῖς ΑΓ, ΔΖ, ΗΚ τρίγωνον συστήσασθαι, τουτ‐ έστι πάλιν ὅτι αἱ δύο τῆς λοιπῆς μείζονές εἰσι πάντῃ μεταλαμβανόμεναι. | |
10 | εἰ μὲν οὖν πάλιν αἱ πρὸς τοῖς Β, Ε, Θ σημείοις γωνίαι | |
ἴσαι εἰσίν, ἴσαι ἔσονται καὶ αἱ ΑΓ, ΔΖ, ΗΚ, καὶ ἔσονται[Omitted graphic marker] αἱ δύο τῆς λοιπῆς μείζονες. εἰ δὲ οὐ, ἔστωσαν ἄνισοι αἱ πρὸς τοῖς Β, Ε, Θ σημείοις γωνίαι, καὶ μείζων ἡ πρὸς τῷ Β ἑκατέρας τῶν πρὸς τοῖς Ε, Θ· μείζων ἄρα ἔσται καὶ ἡ | 187 | |
15 | ΑΓ εὐθεῖα ἑκατέρας τῶν ΔΖ, ΗΚ. καὶ φανερόν, ὅτι ἡ ΑΓ μετὰ ἑκατέρας τῶν ΔΖ, ΗΚ τῆς λοιπῆς μείζονές εἰσι. λέγω, ὅτι καὶ αἱ ΔΖ, ΗΚ τῆς ΑΓ μείζονές εἰσι. συν‐ εστάτω πρὸς τῇ ΑΒ εὐθείᾳ καὶ τῷ πρὸς αὐτῇ σημείῳ τῷ Β τῇ ὑπὸ ΗΘΚ γωνίᾳ ἴση ἡ ὑπὸ ΑΒΛ, καὶ κείσθω μιᾷ | |
20 | τῶν ΑΒ, ΒΓ, ΔΕ, ΕΖ, ΗΘ, ΘΚ ἴση ἡ ΒΛ, καὶ ἐπεζεύχ‐ θωσαν αἱ ΑΛ, ΛΓ. καὶ ἐπεὶ δύο αἱ ΑΒ, ΒΛ δυσὶ ταῖς ΗΘ, ΘΚ ἴσαι εἰσὶν ἑκατέρα ἑκατέρᾳ, καὶ γωνίας ἴσας περιέχουσιν, βάσις ἄρα ἡ ΑΛ βάσει τῇ ΗΚ ἴση ἐστίν. καὶ ἐπεὶ αἱ πρὸς τοῖς Ε, Θ σημείοις γωνίαι τῆς ὑπὸ ΑΒΓ | |
25 | μείζονές εἰσιν, ὧν ἡ ὑπὸ ΗΘΚ τῇ ὑπὸ ΑΒΛ ἐστιν ἴση, λοι‐ πὴ ἄρα ἡ πρὸς τῷ Ε γωνία τῆς ὑπὸ ΛΒΓ μείζων ἐστίν. καὶ ἐπεὶ δύο αἱ ΛΒ, ΒΓ δυσὶ ταῖς ΔΕ, ΕΖ ἴσαι εἰσὶν ἑκα‐ τέρα ἑκατέρᾳ, καὶ γωνία ἡ ὑπὸ ΔΕΖ γωνίας τῆς ὑπὸ ΛΒΓ μείζων, βάσις ἄρα ἡ ΔΖ βάσεως τῆς ΛΓ μείζων ἐστίν. ἴση | |
30 | δὲ ἐδείχθη ἡ ΗΚ τῇ ΑΛ· αἱ ἄρα ΔΖ, ΗΚ τῶν ΑΛ, ΛΓ μείζονές εἰσιν· ἀλλὰ αἱ ΑΛ, ΛΓ τῆς ΑΓ μείζονές εἰσι· πολ‐ λῷ ἄρα αἱ ΔΖ, ΗΚ τῆς ΑΓ μείζονές εἰσιν. τῶν ΑΓ, ΔΖ, ΗΚ ἄρα εὐθειῶν αἱ δύο τῆς λοιπῆς μείζονές εἰσι πάντῃ μεταλαμβανόμεναι· δυνατὸν ἄρα ἐστὶν ἐκ τῶν ἴσων ταῖς | |
35 | ΑΓ, ΔΖ, ΗΚ τρίγωνον συστήσασθαι· ὅπερ ἔδει δεῖξαι. | 188 |
2(n) | Ad libr. XI prop. 23 | |
1 | Ἀλλὰ δὴ ἔστω τὸ κέντρον τοῦ κύκλου ἐπὶ μιᾶς τῶν πλευ‐ ρῶν τοῦ τριγώνου τῆς ΜΝ, καὶ ἔστω τὸ Ξ, καὶ ἐπεζεύχθω ἡ ΞΛ. λέγω πάλιν, ὅτι μείζων ἐστὶν ἡ ΑΒ τῆς ΛΞ. εἰ γὰρ μή, ἤτοι ἴση ἐστὶν ἡ ΑΒ τῇ ΛΞ ἢ ἐλάττων. ἔστω πρότε‐ | |
5 | ρον ἴση. δύο δὴ αἱ ΑΒ, ΒΓ, τουτέστιν αἱ ΔΕ, ΕΖ, δύο ταῖς ΜΞ, ΞΛ, τουτέστι τῇ ΜΝ, ἴσαι εἰσίν. ἀλλὰ ἡ ΜΝ τῇ ΔΖ κεῖται ἴση. καὶ αἱ ΔΕ, ΕΖ ἄρα τῇ ΔΖ ἴσαι εἰσίν· ὅπερ ἐστὶν ἀδύνατον. οὐκ ἄρα ἡ ΑΒ ἴση ἐστὶ τῇ ΛΞ. ὁμοίως δὴ οὐδὲ ἐλάττων· πολ‐ [Omitted graphic marker] | |
10 | λῷ γὰρ τὸ ἀδύνατον μεῖζον. ἡ ἄρα ΑΒ μείζων ἐστὶ τῆς ΛΞ. καὶ ἐὰν ὁμοίως, ᾧ μεῖζόν ἐστι τὸ ἀπὸ τῆς ΑΒ τοῦ ἀπὸ τῆς ΛΞ, ἐκείνῳ ἴσον πρὸς ὀρθὰς | |
15 | τῷ τοῦ κύκλου ἐπιπέδῳ ἀνα‐ στήσωμεν ὡς τὸ ἀπὸ τῆς ΞΡ, | |
συσταθήσεται τὸ πρόβλημα. ἀλλὰ δὴ ἔστω τὸ κέντρον τοῦ κύκλου ἐκτὸς τοῦ ΛΜΝ τριγώνου καὶ ἔστω τὸ Ξ, καὶ ἐπεζεύχθωσαν αἱ ΛΞ, ΜΞ. | 189 | |
20 | λέγω δὴ καὶ οὕτως, ὅτι μείζων ἐστὶν ἡ ΑΒ τῆς ΛΞ. εἰ γὰρ μή, ἤτοι ἴση ἐστὶν ἢ ἐλάττων. ἔστω πρότερον ἴση. δύο οὖν αἱ ΑΒ, ΒΓ δύο ταῖς ΜΞ, ΞΛ ἴσαι εἰσὶν ἑκατέρα ἑκατέρᾳ, καὶ βάσις ἡ ΑΓ βάσει τῇ ΜΛ ἴση· γωνία ἄρα ἡ ὑπὸ ΑΒΓ γωνίᾳ τῇ ὑπὸ ΜΞΛ ἴση ἐστίν. διὰ τὰ αὐτὰ δὴ καὶ ἡ ὑπὸ | |
25 | [Omitted graphic marker]ΗΘΚ τῇ ὑπὸ ΛΞΝ ἐστιν ἴση. ὅλη ἄρα ἡ ὑπὸ ΜΞΝ δύο ταῖς ΑΒΓ, ΗΘΚ ἐστιν ἴση. ἀλλὰ αἱ ὑπὸ ΑΒΓ, ΗΘΚ τῆς ὑπὸ ΔΕΖ μείζονές εἰσιν. καὶ ἡ | |
30 | ὑπὸ ΜΞΝ ἄρα τῆς ὑπὸ ΔΕΖ μείζων ἐστίν. καὶ ἐπεὶ δύο αἱ ΔΕ, ΕΖ δύο ταῖς ΜΞ, ΞΝ ἴσαι εἰσίν, καὶ βάσις ἡ ΔΖ βάσει τῇ ΜΝ ἴση, γωνία ἄρα | |
35 | ἡ ὑπὸ ΜΞΝ γωνίᾳ τῇ ὑπὸ ΔΕΖ ἐστιν ἴση. ἐδείχθη δὲ καὶ μείζων· ὅπερ ἄτοπον. οὐκ ἄρα ἴση ἐστὶν ἡ ΑΒ τῇ ΛΞ. ἑξῆς δὲ δείξομεν, ὅτι οὐδὲ ἐλάττων. μείζων ἄρα. καὶ ἐὰν πρὸς ὀρθὰς τῷ τοῦ κύκλου ἐπιπέδῳ πάλιν ἀνα‐ | |
στήσωμεν τὴν ΞΡ καὶ ἴσην αὐτὴν ἀποθώμεθα, ᾧ μεῖζον | 190 | |
40 | δύναται τὸ ἀπὸ τῆς ΑΒ τοῦ ἀπὸ τῆς ΛΞ, συσταθήσεται τὸ πρόβλημα. λέγω δή, ὅτι οὐδὲ ἐλάττων ἐστὶν ἡ ΑΒ τῆς ΛΞ. εἰ γὰρ δυνατόν, ἔστω. καὶ κείσθω τῇ μὲν ΑΒ ἴση ἡ ΞΟ, τῇ δὲ ΒΓ ἴση ἡ ΞΠ, καὶ ἐπεζεύχθω ἡ ΟΠ. καὶ ἐπεὶ ἴση ἐστὶν | |
45 | ἡ ΑΒ τῇ ΒΓ, ἴση ἐστὶ καὶ ἡ ΞΟ τῇ ΞΠ. ὥστε καὶ λοιπὴ ἡ ΟΛ λοιπῇ τῇ ΠΜ ἐστιν ἴση. παράλληλος ἄρα ἐστὶν ἡ ΛΜ τῇ ΠΟ, καὶ ἰσογώνιον τὸ ΛΜΞ τρίγωνον τῷ ΠΞΟ τριγώνῳ. ἔστιν ἄρα ὡς ἡ ΞΛ πρὸς τὴν ΛΜ, ἡ ΞΟ πρὸς τὴν ΟΠ, καὶ ἐναλλὰξ ὡς ἡ ΛΞ πρὸς τὴν ΞΟ, οὕτως ἡ | |
2(50) | ΛΜ πρὸς τὴν ΟΠ. μείζων δὲ ἡ ΛΞ τῆς ΞΟ· μείζων ἄρα καὶ ἡ ΛΜ τῆς ΟΠ. ἀλλὰ ἡ ΛΜ τῇ ΑΓ ἐστιν ἴση· καὶ ἡ ΑΓ ἄρα τῆς ΟΠ ἐστι μείζων. ἐπεὶ οὖν δύο αἱ ΑΒ, ΒΓ δύο ταῖς ΟΞ, ΞΠ ἴσαι εἰσὶν ἑκατέρα ἑκατέρᾳ, καὶ βάσις ἡ ΑΓ βάσεως τῆς ΟΠ μείζων ἐστίν, γωνία ἄρα ἡ ὑπὸ | |
55 | ΑΒΓ γωνίας τῆς ὑπὸ ΟΞΠ μείζων ἐστίν. ὁμοίως δὴ κἂν τὴν ΞΡ ἴσην ἑκατέρᾳ τῶν ΞΟ, ΞΠ ἀπολάβωμεν καὶ ἐπιζεύξωμεν τὴν ΟΡ, δείξομεν, ὅτι καὶ ἡ ὑπὸ ΗΘΚ γωνία τῆς ὑπὸ ΟΞΡ μείζων ἐστίν. συνεστάτω δὴ πρὸς τῇ ΛΞ εὐθείᾳ καὶ τῷ πρὸς αὐτῇ σημείῳ τῷ Ξ τῇ μὲν ὑπὸ | |
60 | ΑΒΓ γωνίᾳ ἴση ἡ ὑπὸ ΛΞΣ, τῇ δὲ ὑπὸ ΗΘΚ ἴση ἡ ὑπὸ ΛΞΤ, καὶ κείσθω ἑκατέρα τῶν ΞΣ, ΞΤ τῇ ΟΞ ἴση, καὶ ἐπεζεύχθωσαν αἱ ΟΣ, ΟΤ, ΣΤ. καὶ ἐπεὶ δύο αἱ ΑΒ, ΒΓ δύο ταῖς ΟΞ, ΞΣ ἴσαι εἰσίν, καὶ γωνία ἡ ὑπὸ ΑΒΓ γωνίᾳ τῇ ὑπὸ ΟΞΣ ἴση, βάσις ἄρα ἡ ΑΓ, τουτέστιν ἡ ΛΜ, βάσει | 191 |
65 | τῇ ΟΣ ἐστιν ἴση. διὰ τὰ αὐτὰ δὴ καὶ ἡ ΛΝ τῇ ΟΤ ἴση ἐστίν. καὶ ἐπεὶ δύο αἱ ΜΛ, ΛΝ δύο ταῖς ΣΟ, ΟΤ ἴσαι εἰσίν, καὶ γωνία ἡ ὑπὸ ΜΛΝ γωνίας τῆς ὑπὸ ΣΟΤ μεί‐ ζων ἐστίν, βάσις ἄρα ἡ ΜΝ βάσεως τῆς ΣΤ μείζων ἐστίν. ἀλλὰ ἡ ΜΝ τῇ ΔΖ ἐστιν ἴση· καὶ ἡ ΔΖ ἄρα τῆς ΣΤ μεί‐ | |
70 | ζων ἐστίν. ἐπεὶ οὖν δύο αἱ ΔΕ, ΕΖ δύο ταῖς ΣΞ, ΞΤ ἴσαι εἰσίν, καὶ βάσις ἡ ΔΖ βάσεως τῆς ΣΤ μείζων, γωνία ἄρα ἡ ὑπὸ ΔΕΖ γωνίας τῆς ὑπὸ ΣΞΤ μείζων ἐστίν. ἴση δὲ ἡ ὑπὸ ΣΞΤ ταῖς ὑπὸ ΑΒΓ, ΗΘΚ. ἡ ἄρα ὑπὸ ΔΕΖ τῶν ὑπὸ ΑΒΓ, ΗΘΚ μείζων ἐστίν. ἀλλὰ καὶ ἐλάττων· ὅπερ | |
75 | ἀδύνατον. | |
3(n) | Vulgo XI prop. 38 | |
1 | Ἐὰν ἐπίπεδον πρὸς ἐπίπεδον ὀρθὸν ᾖ, καὶ ἀπό τινος σημείου τῶν ἐν ἑνὶ τῶν ἐπιπέδων ἐπὶ τὸ ἕτερον ἐπίπεδον κάθετος ἀχθῇ, ἐπὶ τῆς κοινῆς τομῆς πεσεῖται τῶν ἐπιπέ‐ | |
δων ἡ ἀγομένη κάθετος. | 192 | |
5 | ἐπίπεδον γὰρ τὸ ΓΔ ἐπιπέδῳ τῷ ΑΒ πρὸς ὀρθὰς ἔστω, κοινὴ δὲ αὐτῶν τομὴ ἔστω ἡ ΔΑ, καὶ εἰλήφθω ἐπὶ τοῦ ΓΔ ἐπιπέδου τυχὸν σημεῖον τὸ Ε· λέγω, ὅτι ἡ ἀπὸ τοῦ Ε ἐπὶ τὸ ΑΒ ἐπίπεδον κάθετος ἀγομένη ἐπὶ τῆς ΔΑ πεσεῖται.[Omitted graphic marker] | |
10 | μὴ γάρ, ἀλλ’ εἰ δυνατόν, πιπτέτω ἐκτὸς ὡς ἡ ΕΖ, καὶ συμβαλλέτω τῷ ΑΒ ἐπιπέδῳ κατὰ τὸ Ζ σημεῖον, καὶ ἀπὸ τοῦ Ζ ἐπὶ τὴν ΔΑ ἐν τῷ ΑΒ ἐπιπέδῳ κάθετος ἔστω ἡ ΖΗ, ἥτις καὶ τῷ ΓΔ ἐπιπέδῳ πρὸς ὀρθάς ἐστιν, καὶ ἐπε‐ ζεύχθω ἡ ΕΗ. ἐπεὶ οὖν ἡ ΖΗ τῷ ΓΔ ἐπιπέδῳ πρὸς ὀρθάς | |
15 | ἐστιν, ἅπτεται δὲ αὐτῆς ἡ ΕΗ οὖσα ἐν τῷ ΓΔ ἐπιπέδῳ, ὀρθὴ ἄρα ἐστὶν ἡ ὑπὸ ΖΗΕ γωνία. ἀλλὰ καὶ ἡ ΕΖ τῷ ΑΒ ἐπιπέδῳ πρὸς ὀρθάς ἐστιν· ἡ ἄρα ὑπὸ ΕΖΗ ὀρθή ἐστιν. τριγώνου δὴ τοῦ ΕΖΗ αἱ δύο γωνίαι ὀρθαῖς ἴσαι εἰσίν· ὅπερ ἀδύνατον. οὐκ ἄρα ἡ ἀπὸ τοῦ Ε ἐπὶ τὸ ΑΒ ἐπί‐ | |
20 | πεδον κάθετος ἀγομένη ἐκτὸς πεσεῖται τῆς ΔΑ. ἐπὶ τὴν | |
ΔΑ ἄρα πεσεῖται· ὅπερ ἔδει δεῖξαι. | 193 | |
4(n) | Ad libr. XII prop. 4 | |
1 | Καὶ ἐπεὶ τὰ ἐν τῇ ΑΒΓΗ πυραμίδι δύο πρίσματα ἴσα ἐστὶν ἀλλήλοις, ἀλλὰ μὴν καὶ τὰ ἐν τῇ ΔΕΖΘ πυραμίδι δύο πρίσματα ἴσα ἀλλήλοις ἐστίν, ἔστιν ἄρα ὡς τὸ πρίσμα, οὗ βάσις τὸ ΒΚΛΞ παραλληλόγραμμον, ἀπεναντίον δὲ | |
5 | ἡ ΜΟ εὐθεῖα, πρὸς τὸ πρίσμα, οὗ βάσις μὲν τὸ ΛΞΓ τρί‐ γωνον, ἀπεναντίον δὲ τὸ ΟΜΝ, οὕτως τὸ πρίσμα, οὗ βάσις τὸ ΠΕΡΦ, ἀπεναντίον δὲ ἡ ΣΤ, πρὸς τὸ πρίσμα, οὗ βάσις μὲν τὸ ΡΦΖ τρίγωνον, ἀπεναντίον δὲ τὸ ΣΤΥ. συνθέντι ἐστὶν ἄρα ὡς τὰ ΚΒΞΛΜΟ, ΛΞΓΜΝΟ πρίσ‐ | |
10 | ματα πρὸς τὸ ΛΞΓΜΝΟ πρίσμα, οὕτως τὰ ΠΕΦΡΣΤ, ΡΦΖΣΤΥ πρίσματα πρὸς τὸ ΡΦΖΣΤΥ πρίσμα. ἐναλ‐ λὰξ ἄρα ἐστὶν ὡς τὰ ΚΒΞΛΜΟ, ΛΞΓΜΝΟ πρὸς τὰ ΠΕΦΡΣΤ, ΡΦΖΣΤΥ πρίσματα, οὕτως τὸ ΛΞΓΜΝΟ πρίσμα πρὸς τὸ ΡΦΖΣΤΥ πρίσμα. ὡς δὲ τὸ ΛΞΓΜΝΟ | |
15 | πρίσμα πρὸς τὸ ΡΦΖΣΤΥ πρίσμα, οὕτως ἐδείχθη ἡ ΛΞΓ βάσις πρὸς τὴν ΡΦΖ, καὶ ἡ ΑΒΓ βάσις πρὸς τὴν ΔΕΖ βάσιν. καὶ ὡς ἄρα τὸ ΑΒΓ τρίγωνον πρὸς τὸ ΔΕΖ τρίγωνον, οὕτως τὰ ἐν τῇ ΑΒΓΗ πυραμίδι δύο πρίσματα πρὸς τὰ ἐν τῇ ΔΕΖΘ πυραμίδι δύο πρίσματα. ὁμοίως δὲ | |
20 | κἂν τὰς ὑπολειπομένας πυραμίδας διέλωμεν τὸν αὐτὸν τρόπον οἷον ὡς τὰς ΜΝΟΗ, ΣΤΥΘ, ἔσται ὡς ἡ ΜΝΟ βάσις πρὸς τὴν ΣΤΥ βάσιν, οὕτως τὰ ἐν τῇ ΜΝΟΗ πυρα‐ | |
μίδι δύο πρίσματα πρὸς τὰ ἐν τῇ ΣΤΥΘ πυραμίδι δύο πρίσματα. ἀλλ’ ὡς ἡ ΜΝΟ βάσις πρὸς τὴν ΣΤΥ βάσιν, | 194 | |
25 | οὕτως ἡ ΑΒΓ βάσις πρὸς τὴν ΔΕΖ βάσιν. καὶ ὡς ἄρα ἡ ΑΒΓ βάσις πρὸς τὴν ΔΕΖ βάσιν, οὕτως καὶ τὰ ἐν τῇ ΑΒΓΗ πυραμίδι δύο πρίσματα πρὸς τὰ ἐν τῇ ΔΕΖΘ πυραμίδι δύο πρίσματα, καὶ τὰ ἐν τῇ ΜΝΟΗ δύο πρίσ‐ ματα πρὸς τὰ ἐν τῇ ΣΤΥΘ πυραμίδι δύο πρίσματα, καὶ | |
30 | τὰ τέσσαρα πρὸς τὰ τέσσαρα. τὰ αὐτὰ δὲ δειχθήσεται καὶ ἐπὶ τῶν γενομένων πρισμάτων ἐκ τῆς διαιρέσεως τῶν ΑΚΛΟ καὶ ΔΠΡΣ πυραμίδων καὶ πάντων ἁπλῶς τῶν ἰσοπληθῶν· ὅπερ ἔδει δεῖξαι. | |
5(n) | Ad libr. XII prop. 17 | |
1 | Δεικτέον δὴ καὶ ἑτέρως προχειρότερον, ὅτι μείζων ἐστὶν ἡ ΑΨ τῆς ΑΗ. ἤχθω ἀπὸ τοῦ Η τῇ ΑΗ πρὸς ὀρθὰς ἡ ΗΑʹ, καὶ ἐπεζεύχθω ἡ ΑΑʹ. τέμνοντες δὴ τὴν ΕΒ περι‐ φέρειαν δίχα καὶ τὴν ἡμίσειαν αὐτῆς δίχα καὶ τοῦτο ἀεὶ | |
5 | ποιοῦντες καταλείψομέν τινα περιφέρειαν, ἥ ἐστιν ἐλάσ‐ σων τῆς ὑποτεινομένης τοῦ ΒΓΔΕ κύκλου περιφερείας ὑπὸ τῆς ἴσης τῇ ΗΑʹ. λελείφθω καὶ ἔστω ἡ ΚΒ περι‐ φέρεια. ἐλάσσων ἄρα καὶ ἡ ΚΒ εὐθεῖα τῆς ΗΑʹ. καὶ ἐπεὶ | |
ἐν κύκλῳ ἐστὶ τὸ ΒΚΣΟ τετράπλευρον, καί εἰσιν ἴσαι αἱ | 195 | |
10 | ΟΒ, ΒΚ, ΚΣ, καὶ ἐλάττων ἡ ΟΣ, ἀμβλεῖα ἄρα ἐστὶν ἡ ὑπὸ ΒΨΚ γωνία. μείζων ἄρα ἡ ΚΒ τῆς ΒΨ. ἀλλὰ τῆς ΚΒ μείζων ἐστὶν ἡ ΗΑʹ· πολλῷ ἄρα ἡ ΗΑʹ μείζων ἐστὶ τῆς ΒΨ· μεῖζον ἄρα καὶ τὸ ἀπὸ τῆς ΗΑʹ τοῦ ἀπὸ τῆς ΒΨ. καὶ ἐπεὶ ἴση ἐστὶν ἡ ΑΑʹ τῇ ΑΒ, ἴσον καὶ τὸ ἀπὸ | |
15 | τῆς ΑΑʹ τῷ ἀπὸ τῆς ΑΒ. ἀλλὰ τῷ μὲν ἀπὸ τῆς ΑΑʹ ἴσα τὰ ἀπὸ τῶν ΑΗ, ΗΑʹ, τῷ δὲ ἀπὸ τῆς ΑΒ ἴσα τὰ ἀπὸ τῶν ΒΨ, ΨΑ· τὰ ἄρα ἀπὸ τῶν ΑΗ, ΗΑʹ ἴσα τοῖς ἀπὸ τῶν ΒΨ, ΨΑ, ὧν τὸ ἀπὸ τῆς ΒΨ ἔλαττόν ἐστι τοῦ ἀπὸ τῆς ΗΑʹ· λοιπὸν ἄρα τὸ ἀπὸ ΨΑ μεῖζόν ἐστι τοῦ ἀπὸ | |
20 | ΑΗ· μείζων ἄρα ἡ ΑΨ τῆς ΑΗ. | |
6(n) | Ad libr. XIII prop. 6 | |
1 | Ἐὰν ῥητὴ εὐθεῖα ἄκρον καὶ μέσον λόγον τμηθῇ, ἑκάτε‐ ρον τῶν τμημάτων ἀποτομή ἐστι. ῥητὴ γὰρ ἡ ΑΒ ἄκρον καὶ μέσον λόγον τετμήσθω κατὰ τὸ Γ σημεῖον. σύμμε‐ τρον τμῆμά ἐστι τὸ ΑΓ. λέγω, ὅτι ἑκατέρα τῶν ΑΓ, ΓΒ | |
5 | ἀποτομή ἐστι. κείσθω τῆς ΑΒ ἡμίσεια ἡ ΑΔ. ῥητὴ δὲ ἡ ΑΒ· ῥητὴ ἄρα καὶ ἡ ΑΔ. καὶ ἐπεὶ πενταπλάσιόν ἐστι τὸ | |
ἀπὸ τῆς ΓΔ τοῦ ἀπὸ τῆς ΔΑ, ῥητὸν δὲ τὸ ἀπὸ τῶν ΔΑ, ῥητὸν ἄρα καὶ τὸ ἀπὸ τῶν ΔΓ. καὶ ἐπεὶ πενταπλάσιόν ἐστι τὸ ἀπὸ τῆς ΔΓ τοῦ ἀπὸ τῆς ΔΑ, τὸ ἄρα ἀπὸ τῶν ΔΓ | 196 | |
10 | πρὸς τὸ ἀπὸ τῶν ΔΑ λόγον οὐκ ἔχει, ὃν τετράγωνος ἀριθ‐ μὸς πρὸς τετράγωνον ἀριθμόν, ἀλλ’ ὃν μὲν ἀριθμὸς πρὸς ἀριθμόν. ἀσύμμετρος ἄρα ἐστὶν ἡ ΔΓ τῇ ΔΑ μήκει. καί ἐστι ῥητὴ ἑκατέρα· αἱ ΓΔ, ΔΑ ἄρα ῥηταί εἰσι δυνάμει μόνον σύμμετροι. ἀποτομὴ ἄρα ἐστὶν ἡ ΑΓ. ῥητὴ δὲ ἡ ΑΒ, | |
15 | καὶ τῷ ἀπὸ τῶν ΑΓ ἴσον παρὰ τὴν ΑΒ παραβέβληται τὸ ὑπὸ τῶν ΑΒ, ΒΓ. τὸ δὲ α ἀποτομὴν παρὰ ῥητὴν παρα‐ βαλλόμενον πλάτος ποιεῖ ἀποτομὴν πρώτην. ἀποτομὴ ἄρα καὶ ἡ ΓΒ. ἑκατέρα ὁ ἄρα τὸν ΑΓ, ΓΒ ἀποτομή ἐστιν. ἐὰν ἄρα ῥητὴ εὐθεῖα ἄκρον καὶ μέσον λόγον τμηθῇ, ἑκά‐ | |
20 | τερον τῶν τμημάτων ἀποτομή ἐστιν. | |
7(n) | Ad libr. XIII prop. 5 | |
1 | Ἄλλως Ἐὰν εὐθεῖα γραμμὴ ἄκρον καὶ μέσον λόγον τμηθῇ, ἔσται ὡς συναμφότερος ἡ ὅλη καὶ τὸ μεῖζον τμῆμα πρὸς τὴν ὅλην, οὕτως ἡ ὅλη πρὸς τὸ μεῖζον τμῆμα. | |
5 | Εὐθεῖα γάρ τις ἡ ΑΒ ἄκρον καὶ μέσον λόγον τετμήσθω κατὰ τὸ Γ, καὶ ἔστω μεῖζον τμῆμα τὸ ΑΓ· λέγω, ὅτι ἐστὶν ὡς συναμφότερος ἡ ΒΑΓ πρὸς ΑΒ, οὕτως ἡ ΒΑ πρὸς ΑΓ. Κείσθω γὰρ τῇ ΑΓ ἴση ἡ ΑΔ· λέγω, ὅτι ἐστὶν ὡς ἡ | |
10 | ΒΔ πρὸς τὴν ΒΑ, οὕτως ἡ ΒΑ πρὸς τὴν ΑΓ. ἐπεὶ γὰρ ἡ ΑΒ ἄκρον καὶ μέσον λόγον τέτμηται κατὰ τὸ Γ, καὶ μεῖζον τμῆμά ἐστι τὸ ΑΓ, ἔστιν ἄρα ὡς ἡ ΒΑ πρὸς τὴν | |
ΑΓ, οὕτως ἡ ΑΓ πρὸς τὴν ΓΒ. ἴση δὲ ἡ ΑΓ τῇ ΔΑ· ἔστιν ἄρα ὡς ἡ ΒΑ πρὸς ΑΔ, οὕτως ἡ ΑΓ πρὸς ΓΒ· | 197 | |
15 | ἀνάπαλιν ἄρα ἐστὶν ὡς ἡ ΔΑ πρὸς τὴν ΑΒ, οὕτως ἡ ΒΓ πρὸς τὴν ΓΑ· συνθέντι ἄρα ἐστὶν ὡς ἡ ΔΒ πρὸς τὴν ΒΑ, οὕτως ἡ ΒΑ πρὸς ΑΓ. ἴση δέ ἐστιν ἡ ΔΑ τῇ ΑΓ· ἔστιν ἄρα ὡς συναμφότερος ἡ ΒΑΓ πρὸς τὴν ΑΒ, οὕτως ἡ ΒΑ πρὸς ΑΓ. καὶ ἐπεὶ δέδεικται ὡς ἡ ΔΒ πρὸς | |
20 | ΒΑ, οὕτως ἡ ΒΑ πρὸς ΑΓ, ἴση δὲ ἡ ΓΑ τῇ ΔΑ, ἔστιν ἄρα ὡς ἡ ΔΒ πρὸς τὴν ΒΑ, οὕτως ἡ ΒΑ πρὸς τὴν ΑΔ. καὶ ἡ ΔΒ ἄρα ἄκρον καὶ μέσον λόγον τέτμηται κατὰ τὸ Α, καὶ τὸ μεῖζον τμῆμά ἐστιν ἡ ἐξ ἀρχῆς εὐθεῖα ἡ ΑΒ· ὅπερ ἔδει δεῖξαι.[Omitted graphic marker] | |
8(n) | Ad libr. XIII prop. 1—5 | |
1 | Τί ἐστιν ἀνάλυσις καὶ τί ἐστι σύνθεσις. Ἀνάλυσις μὲν οὖν ἐστι λῆψις τοῦ ζητουμένου ὡς ὁμολο‐ γουμένου διὰ τῶν ἀκολούθων ἐπί τι ἀληθὲς ὁμολογούμενον. Σύνθεσις δὲ λῆψις τοῦ ὁμολογουμένου διὰ τῶν ἀκολού‐ | |
5 | θων ἐπί τι ἀληθὲς ὁμολογούμενον. Τοῦ α θεωρήματος ἡ ἀνάλυσις καὶ ἡ σύνθεσις ἄνευ καταγραφῆς Εὐθεῖα γάρ τις ἡ ΑΒ ἄκρον καὶ μέσον λόγον τετμήσθω κατὰ τὸ Γ, καὶ ἔστω μεῖζον τμῆμα ἡ ΑΓ, καὶ τῇ ἡμισείᾳ | 198 |
10 | τῆς ΑΒ ἴση κείσθω ἡ ΑΔ· λέγω, ὅτι πενταπλάσιόν ἐστι τὸ ἀπὸ τῆς ΓΔ τοῦ ἀπὸ τῆς ΑΔ.[Omitted graphic marker] Ἐπεὶ γὰρ πενταπλάσιόν ἐστι τὸ ἀπὸ τῆς ΓΔ τοῦ ἀπὸ τῆς ΔΑ, τὸ δὲ ἀπὸ τῆς ΓΔ ἐστι τὰ ἀπὸ τῶν ΓΑ, ΑΔ μετὰ τοῦ δὶς ὑπὸ τῶν ΓΑ, ΑΔ, τὰ ἄρα ἀπὸ τῶν ΓΑ, ΑΔ | |
15 | μετὰ τοῦ δὶς ὑπὸ τῶν ΓΑ, ΑΔ πενταπλάσιά ἐστι τοῦ ἀπὸ ΑΔ· διελόντι ἄρα τὸ ἀπὸ τῆς ΓΑ μετὰ τοῦ δὶς ὑπὸ τῶν ΓΑ, ΑΔ τετραπλάσιά ἐστι τοῦ ἀπὸ ΑΔ. ἀλλὰ τῷ μὲν δὶς ὑπὸ τῶν ΓΑ, ΑΔ ἴσον ἐστὶ τὸ ὑπὸ τῶν ΒΑ, ΑΓ· διπλῆ γὰρ ἡ ΒΑ τῆς ΑΔ· τῷ δὲ ἀπὸ τῆς ΑΓ ἴσον ἐστὶ | |
20 | τὸ ὑπὸ τῶν ΑΒ, ΒΓ· ἡ γὰρ ΑΒ ἄκρον καὶ μέσον λόγον τέτμηται· τὸ ἄρα ὑπὸ τῶν ΒΑ, ΑΓ μετὰ τοῦ ὑπὸ ΑΒ, ΒΓ τετραπλάσιόν ἐστι τοῦ ἀπὸ τῆς ΑΔ. ἀλλὰ τὸ ὑπὸ τῶν ΒΑ, ΑΓ μετὰ τοῦ ὑπὸ τῶν ΑΒ, ΒΓ τὸ ἀπὸ τῆς ΑΒ ἐστιν. τὸ ἄρα ἀπὸ τῆς ΑΒ τετραπλάσιόν ἐστι τοῦ ἀπὸ ΑΔ. ἔστι | |
25 | δέ· διπλῆ γάρ ἐστιν ἡ ΑΒ τῆς ΑΔ. Σύνθεσις Ἐπεὶ οὖν τετραπλάσιόν ἐστι τὸ ἀπὸ τῆς ΑΒ τοῦ ἀπὸ | |
τῆς ΑΔ, ἀλλὰ τὸ ἀπὸ ΒΑ τὸ ὑπὸ ΒΑ, ΑΓ ἐστι μετὰ τοῦ ὑπὸ ΑΒ, ΒΓ, τὸ ἄρα ὑπὸ ΒΑ, ΑΓ μετὰ τοῦ ὑπὸ ΑΒ, | 199 | |
30 | ΒΓ τετραπλάσιόν ἐστι τοῦ ἀπὸ ΑΔ. ἀλλὰ τὸ μὲν ὑπὸ τῶν ΒΑ, ΑΓ ἴσον ἐστὶ τῷ δὶς ὑπὸ τῶν ΔΑ, ΑΓ, τὸ δὲ ὑπὸ τῶν ΑΒ, ΒΓ ἴσον ἐστὶ τῷ ἀπὸ τῆς ΑΓ· τὸ ἄρα ἀπὸ τῆς ΑΓ μετὰ τοῦ δὶς ὑπὸ τῶν ΔΑ, ΑΓ τετραπλάσιόν ἐστι τοῦ ἀπὸ τῆς ΔΑ· ὥστε τὰ ἀπὸ τῶν ΔΑ, ΑΓ μετὰ τοῦ δὶς ὑπὸ | |
35 | τῶν ΔΑ, ΑΓ πενταπλάσιά ἐστι τοῦ ἀπὸ τῆς ΔΑ. τὰ δὲ ἀπὸ τῶν ΔΑ, ΑΓ μετὰ τοῦ δὶς ὑπὸ τῶν ΔΑ, ΑΓ τὸ ἀπὸ τῆς ΓΔ ἐστιν. τὸ ἄρα ἀπὸ τῆς ΓΔ πενταπλάσιόν ἐστι τοῦ ἀπὸ τῆς ΔΑ· ὅπερ ἔδει δεῖξαι. Τοῦ β θεωρήματος ἡ ἀνάλυσις καὶ ἡ σύνθεσις | |
40 | ἄνευ καταγραφῆς Εὐθεῖα γάρ τις ἡ ΓΔ τμήματος ἑαυτῆς τοῦ ΔΑ πεντα‐ πλάσιον δυνάσθω, τῆς δὲ ΔΑ διπλῆ κείσθω ἡ ΑΒ· λέγω, ὅτι ἡ ΑΒ ἄκρον καὶ μέσον λόγον τέτμηται κατὰ τὸ Γ σημεῖον, καὶ τὸ μεῖζον τμῆμά ἐστιν ἡ ΑΓ, ἥτις ἐστὶ τὸ | |
45 | λοιπὸν μέρος τῆς ἐξ ἀρχῆς εὐθείας.[Omitted graphic marker] Ἐπεὶ ἡ ΑΒ ἄκρον καὶ μέσον λόγον τέτμηται κατὰ τὸ Γ, καὶ τὸ μεῖζον τμῆμά ἐστιν ἡ ΑΓ, τὸ ἄρα ὑπὸ τῶν ΑΒΓ ἴσον ἐστὶ τῷ ἀπὸ τῆς ΑΓ. ἔστι δὲ καὶ τὸ ὑπὸ τῶν ΒΑΓ τῷ δὶς ὑπὸ τῶν ΔΑ, ΑΓ ἴσον· διπλῆ γάρ ἐστιν ἡ | |
8(50) | ΒΑ τῆς ΑΔ· τὸ ἄρα ὑπὸ τῶν ΑΒ, ΒΓ μετὰ τοῦ ὑπὸ τῶν ΒΑ, ΑΓ, ὅπερ ἐστὶ τὸ ἀπὸ τῆς ΑΒ, ἴσον ἐστὶ τῷ δὶς ὑπὸ | |
τῶν ΔΑ, ΑΓ μετὰ τοῦ ἀπὸ τῆς ΑΓ. τετραπλάσιον δὲ τὸ ἀπὸ τῆς ΑΒ τοῦ ἀπὸ τῆς ΔΑ· τετραπλάσιον ἄρα καὶ τὸ δὶς ὑπὸ τῶν ΔΑ, ΑΓ μετὰ τοῦ ἀπὸ ΑΓ τοῦ ἀπὸ ΑΔ· | 200 | |
55 | ὥστε τὰ ἀπὸ τῶν ΔΑ, ΑΓ μετὰ τοῦ δὶς ὑπὸ τῶν ΔΑ, ΑΓ, ὅπερ ἐστὶ τὸ ἀπὸ τῆς ΓΔ, πενταπλάσιόν ἐστι τοῦ ἀπὸ τῆς ΔΑ. ἔστι δέ. Σύνθεσις Ἐπεὶ οὖν πενταπλάσιόν ἐστι τὸ ἀπὸ τῆς ΓΔ τοῦ ἀπὸ | |
60 | τῆς ΔΑ, τὸ δὲ ἀπὸ τῆς ΓΔ τὰ ἀπὸ τῶν ΔΑ, ΑΓ ἐστι μετὰ τοῦ δὶς ὑπὸ τῶν ΔΑ, ΑΓ, τὰ ἄρα ἀπὸ τῶν ΔΑ, ΑΓ μετὰ τοῦ δὶς ὑπὸ τῶν ΔΑ, ΑΓ πενταπλάσιά ἐστι τοῦ ἀπὸ ΔΑ. διελόντι τὸ δὶς ὑπὸ τῶν ΔΑ, ΑΓ μετὰ τοῦ ἀπὸ τῆς ΑΓ τετραπλάσιόν ἐστι τοῦ ἀπὸ τῆς ΑΔ· ἔστι δὲ καὶ | |
65 | τὸ ἀπὸ τῆς ΑΒ τετραπλάσιον τοῦ ἀπὸ ΑΔ· τὸ ἄρα δὶς ὑπὸ τῶν ΔΑ, ΑΓ, ὅπερ ἐστὶ τὸ ἅπαξ ὑπὸ τῶν ΒΑ, ΑΓ, μετὰ τοῦ ἀπὸ ΑΓ, ἴσον ἐστὶ τῷ ἀπὸ τῆς ΑΒ. ἀλλὰ τὸ ἀπὸ τῆς ΑΒ τὸ ὑπὸ ΑΒ, ΒΓ ἐστι μετὰ τοῦ ὑπὸ ΒΑ, ΑΓ· τὸ ἄρα ὑπὸ ΒΑ, ΑΓ μετὰ τοῦ ὑπὸ ΑΒ, ΒΓ ἴσον ἐστὶ τῷ ὑπὸ | |
70 | ΒΑ, ΑΓ μετὰ τοῦ ἀπὸ ΑΓ· καὶ κοινοῦ ἀφαιρεθέντος τοῦ ὑπὸ ΒΑ, ΑΓ, λοιπὸν ἄρα τὸ ὑπὸ ΑΒ, ΒΓ ἴσον ἐστὶ τῷ ἀπὸ ΑΓ· ἔστιν ἄρα ὡς ἡ ΒΑ πρὸς τὴν ΑΓ, οὕτως ἡ ΑΓ | |
πρὸς τὴν ΓΒ. μείζων δὲ ἡ ΒΑ τῆς ΑΓ· μείζων ἄρα καὶ ἡ ΑΓ τῆς ΓΒ· ἡ ΑΒ ἄρα ἄκρον καὶ μέσον λόγον τέτμη‐ | 201 | |
75 | ται κατὰ τὸ Γ, καὶ τὸ μεῖζον τμῆμά ἐστιν ἡ ΑΓ· ὅπερ ἔδει δεῖξαι. Τοῦ γ θεωρήματος ἡ ἀνάλυσις καὶ ἡ σύνθεσις Εὐθεῖα γὰρ γραμμὴ ἡ ΑΒ ἄκρον καὶ μέσον λόγον τε‐ τμήσθω κατὰ τὸ Γ σημεῖον, καὶ ἔστω μεῖζον τμῆμα ἡ | |
80 | ΑΓ, καὶ τῆς ΑΓ ἡμίσεια ἡ ΓΔ· λέγω, ὅτι πενταπλάσιόν ἐστι τὸ ἀπὸ τῆς ΒΔ τοῦ ἀπὸ τῆς ΓΔ.[Omitted graphic marker] Ἐπεὶ γὰρ πενταπλάσιόν ἐστι τὸ ἀπὸ τῆς ΒΔ τοῦ ἀπὸ τῆς ΓΔ, τὸ δὲ ἀπὸ τῆς ΔΒ τὸ ὑπὸ τῶν ΑΒ, ΒΓ ἐστι μετὰ τοῦ ἀπὸ ΔΓ, τὸ ἄρα ὑπὸ ΑΒ, ΒΓ μετὰ τοῦ ἀπὸ ΔΓ | |
85 | πενταπλάσιόν ἐστι τοῦ ἀπὸ ΔΓ· διελόντι τὸ ἄρα ὑπὸ ΑΒ, ΒΓ τετραπλάσιόν ἐστι τοῦ ἀπὸ ΔΓ. τῷ δὲ ὑπὸ ΑΒ, ΒΓ ἴσον ἐστὶ τὸ ἀπὸ τῆς ΑΓ· ἡ γὰρ ΑΒ ἄκρον καὶ μέσον λό‐ γον τέτμηται κατὰ τὸ Γ. τὸ ἄρα ἀπὸ τῆς ΑΓ τετραπλά‐ σιόν ἐστι τοῦ ἀπὸ ΔΓ. ἔστι δέ· διπλῆ γὰρ ἡ ΑΓ τῆς ΔΓ. | |
90 | Ἡ σύνθεσις Ἐπεὶ διπλῆ ἐστιν ἡ ΑΓ τῆς ΔΓ, τετραπλάσιόν ἐστι τὸ ἀπὸ ΑΓ τοῦ ἀπὸ ΔΓ. ἀλλὰ τῷ ἀπὸ ΑΓ ἴσον ἐστὶ τὸ ὑπὸ ΑΒ, ΒΓ· τὸ ἄρα ὑπὸ ΑΒ, ΒΓ τετραπλάσιόν ἐστι τοῦ ἀπὸ ΔΓ. συνθέντι τὸ ἄρα ὑπὸ ΑΒ, ΒΓ μετὰ τοῦ ἀπὸ ΔΓ, | |
95 | ὅπερ ἐστὶ τὸ ἀπὸ ΔΒ, πενταπλάσιόν ἐστι τοῦ ἀπὸ ΔΓ· | |
ὅπερ ἔδει δεῖξαι. Τοῦ δ θεωρήματος ἡ ἀνάλυσις καὶ ἡ σύνθεσις Εὐθεῖα γὰρ γραμμὴ ἡ ΑΒ ἄκρον καὶ μέσον λόγον τε‐ τμήσθω κατὰ τὸ Γ, καὶ ἔστω μεῖζον τμῆμα τὸ ΑΓ· λέγω, | 202 | |
8(100) | ὅτι τὰ ἀπὸ τῶν ΑΒ, ΒΓ τριπλάσιά ἐστι τοῦ ἀπὸ ΑΓ. Ἐπεὶ γὰρ τὰ ἀπὸ τῶν ΑΒ, ΒΓ τριπλάσιά ἐστι τοῦ ἀπὸ ΑΓ, ἀλλὰ τὰ ἀπὸ τῶν ΑΒ, ΒΓ τὸ δὶς ὑπὸ τῶν ΑΒ, ΒΓ[Omitted graphic marker] ἐστι μετὰ τοῦ ἀπὸ ΑΓ, τὸ ἄρα δὶς ὑπὸ τῶν ΑΒ, ΒΓ μετὰ τοῦ ἀπὸ ΑΓ τριπλάσιόν ἐστι τοῦ ἀπὸ ΑΓ· διελόντι τὸ | |
105 | ἄρα δὶς ὑπὸ ΑΒ, ΒΓ διπλάσιόν ἐστι τοῦ ἀπὸ ΑΓ· ὥστε τὸ ὑπὸ τῶν ΑΒ, ΒΓ ἴσον ἐστὶ τῷ ἀπὸ τῆς ΑΓ. ἔστι δέ· ἡ γὰρ ΑΒ ἄκρον καὶ μέσον λόγον τέτμηται κατὰ τὸ Γ. Ἡ σύνθεσις Ἐπεὶ ἡ ΑΒ ἄκρον καὶ μέσον λόγον τέτμηται κατὰ τὸ | |
110 | Γ, καί ἐστι μεῖζον τμῆμα ἡ ΑΓ, τὸ ἄρα ὑπὸ ΑΒ, ΒΓ ἴσον ἐστὶ τῷ ἀπὸ ΑΓ· τὸ ἄρα δὶς ὑπὸ ΑΒ, ΒΓ διπλάσιόν ἐστι τοῦ ἀπὸ ΑΓ· συνθέντι τὸ ἄρα δὶς ὑπὸ τῶν ΑΒ, ΒΓ μετὰ τοῦ ἀπὸ ΑΓ τριπλάσιόν ἐστι τοῦ ἀπὸ ΑΓ. ἀλλὰ τὸ δὶς ὑπὸ τῶν ΑΒ, ΒΓ μετὰ τοῦ ἀπὸ τῆς ΑΓ τὰ ἀπὸ τῶν | |
115 | ΑΒ, ΒΓ ἐστι τετράγωνα· τὰ ἄρα ἀπὸ τῶν ΑΒ, ΒΓ τρι‐ | |
πλάσιά ἐστι τοῦ ἀπὸ ΑΓ· ὅπερ ἔδει δεῖξαι. Τοῦ ε θεωρήματος ἡ ἀνάλυσις καὶ ἡ σύνθεσις Εὐθεῖα γάρ τις ἡ ΑΒ ἄκρον καὶ μέσον λόγον τετμήσθω κατὰ τὸ Γ, καὶ ἔστω μεῖζον τμῆμα ἡ ΑΓ, καὶ τῇ ΑΓ ἴση | 203 | |
120 | κείσθω ἡ ΑΔ· λέγω, ὅτι ἡ ΔΒ ἄκρον καὶ μέσον λόγον τέτμηται κατὰ τὸ Α, καὶ τὸ μεῖζον τμῆμά ἐστιν ἡ ΑΒ. Ἐπεὶ γὰρ ἡ ΔΒ ἄκρον καὶ μέσον λόγον τέτμηται κατὰ τὸ Α, καὶ τὸ μεῖζον τμῆμά ἐστιν ἡ ΑΒ, ἔστιν ἄρα ὡς ἡ ΔΒ πρὸς τὴν ΒΑ, οὕτως ἡ ΒΑ πρὸς τὴν ΑΔ. ἴση δὲ ἡ | |
125 | ΑΔ τῇ ΑΓ· ἔστιν ἄρα ὡς ἡ ΔΒ πρὸς τὴν ΒΑ, οὕτως ἡ[Omitted graphic marker] ΒΑ πρὸς τὴν ΑΓ· ἀναστρέψαντι ἄρα ὡς ἡ ΒΔ πρὸς τὴν ΔΑ, οὕτως ἡ ΑΒ πρὸς τὴν ΒΓ· διελόντι ἄρα ὡς ἡ ΒΑ πρὸς τὴν ΑΔ, οὕτως ἡ ΑΓ πρὸς τὴν ΓΒ. ἴση δὲ ἡ ΑΔ τῇ ΑΓ· ἔστιν ἄρα ὡς ἡ ΒΑ πρὸς τὴν ΑΓ, οὕτως ἡ ΑΓ πρὸς | |
130 | τὴν ΓΒ. ἔστι δέ· ἡ γὰρ ΑΒ ἄκρον καὶ μέσον λόγον τέτμη‐ ται κατὰ τὸ Γ. Ἡ σύνθεσις Ἐπεὶ ἡ ΑΒ ἄκρον καὶ μέσον λόγον τέτμηται κατὰ τὸ Γ, ἔστιν ἄρα ὡς ἡ ΒΑ πρὸς τὴν ΑΓ, οὕτως ἡ ΑΓ πρὸς | |
135 | τὴν ΓΒ. ἴση δὲ ἡ ΑΓ τῇ ΑΔ· ἔστιν ἄρα ὡς ἡ ΒΑ πρὸς τὴν ΑΔ, οὕτως ἡ ΑΓ πρὸς τὴν ΓΒ· συνθέντι ὡς ἡ ΒΔ πρὸς τὴν ΔΑ, οὕτως ἡ ΑΒ πρὸς τὴν ΒΓ· ἀναστρέψαντι ὡς ἡ ΔΒ πρὸς τὴν ΒΑ, οὕτως ἡ ΒΑ πρὸς τὴν ΑΓ. ἴση δὲ ἡ ΑΓ τῇ ΑΔ· ἔστιν ἄρα ὡς ἡ ΔΒ πρὸς ΒΑ, οὕτως ἡ | |
140 | ΒΑ πρὸς ΑΔ. ἡ ἄρα ΔΒ ἄκρον καὶ μέσον λόγον τέτμηται κατὰ τὸ Α, καὶ τὸ μεῖζον τμῆμά ἐστιν ἡ ΑΒ· ὅπερ ἔδει | |
δεῖξαι. | 204 | |
9(n) | Ad libr. XIII prop. 17 | |
1 | Ῥητὴ γὰρ ἡ ΑΒ ἄκρον καὶ μέσον λόγον τετμήσθω κατὰ τὸ Γ, καὶ ἔστω μεῖζον τὸ ΑΓ. προσκείσθω δὲ ἡ ΑΔ ἡμίσεια τῆς ΑΒ. ῥητὴ ἄρα καὶ ἡ ΑΔ. καὶ ἐπεὶ πεν‐ [Omitted graphic marker] ταπλάσιον τὸ ἀπὸ ΓΔ τοῦ ἀπὸ ΔΑ, αἱ ΓΔ, ΔΑ ἄρα ῥη‐ | |
5 | ταί εἰσιν δυνάμει μόνον σύμμετροι. ἀποτομὴ ἄρα ἡ ΑΓ. ῥητὴ δὲ ἡ ΑΒ. τὸ δὲ ἀπὸ ἀποτομῆς παρὰ ῥητὴν παρα‐ βαλλόμενον πλάτος ποιεῖ ἀποτομήν· ἀποτομὴ ἄρα ἐστὶν ἡ ΒΓ. ἑκάτερον ἄρα τῶν ΑΓ, ΓΒ ἀποτομή ἐστιν ὀ· προσ‐ αρμόζουσα δὲ τῆς μὲν ΑΓ ἡ ΑΔ, τῆς δὲ ΓΒ ἡ ΓΔ. | |
10(n) | Ad libr. XIII prop. 18 | |
1 | Ἄλλως ὅτι μείζων ἐστὶν ἡ ΜΒ τῆς ΝΒ. Ἐπεὶ γὰρ διπλῆ ἐστιν ἡ ΑΔ τῆς ΔΒ, τριπλῆ ἄρα ἡ ΑΒ τῆς ΒΔ. ὡς δὲ ἡ ΑΒ πρὸς τὴν ΒΔ, οὕτως τὸ ἀπὸ τῆς ΑΒ πρὸς τὸ ἀπὸ τῆς ΒΖ διὰ τὸ ἰσογώνιον εἶναι τὸ ΖΑΒ | |
5 | τρίγωνον τῷ ΖΔΒ τριγώνῳ. τριπλάσιον ἄρα τὸ ἀπὸ τῆς ΑΒ τοῦ ἀπὸ τῆς ΒΖ. ἐδείχθη δὲ τὸ ἀπὸ τῆς ΑΒ τοῦ ἀπὸ | |
τῆς ΚΛ πενταπλάσιον. πέντε ἄρα τὰ ἀπὸ τῆς ΚΛ τρισὶ τοῖς ἀπὸ τῆς ΖΒ ἴσα ἐστίν. ἀλλὰ τρία τὰ ἀπὸ τῆς ΖΒ ἓξ τῶν ἀπὸ τῆς ΝΒ μείζονά ἐστιν. καὶ πέντε ἄρα τὰ ἀπὸ τῆς | 205 | |
10 | ΚΛ ἓξ τῶν ἀπὸ τῆς ΝΒ μείζονά ἐστιν. ὥστε καὶ ἓν τὸ ἀπὸ τῆς ΚΛ ἑνὸς τοῦ ἀπὸ τῆς ΝΒ μεῖζόν ἐστιν. μείζων ἄρα ἡ ΚΛ τῆς ΝΒ. ἴση δὲ ἡ ΚΛ τῇ ΛΜ. μείζων ἄρα ἡ ΛΜ τῆς ΝΒ. πολλῷ ἄρα ἡ ΜΒ τῆς ΒΝ μείζων ἐστίν· ὅπερ ἔδει δεῖξαι. ὅτι δὲ τρία τὰ ἀπὸ τῆς ΖΒ ἓξ τῶν ἀπὸ | |
15 | τῆς ΒΝ μείζονά ἐστιν, δείξομεν οὕτως· ἐπεὶ γὰρ μείζων ἐστὶν ἡ ΒΝ τῆς ΝΖ, τὸ ἄρα ὑπὸ τῶν ΖΒΝ μεῖζόν ἐστι τοῦ ὑπὸ ΒΖΝ. τὸ ἄρα ὑπὸ ΖΒΝ μετὰ τοῦ ὑπὸ ΒΖΝ μεῖζόν ἐστιν ἢ διπλάσιον τοῦ ὑπὸ ΒΖΝ. ἀλλὰ τὸ μὲν ὑπὸ ΖΒΝ μετὰ τοῦ ὑπὸ ΒΖΝ τὸ ἀπὸ τῆς ΖΒ ἐστιν, τὸ δὲ ὑπὸ ΒΖΝ | |
20 | τὸ ἀπὸ τῆς ΝΒ ἐστιν. τὸ ἄρα ἀπὸ τῆς ΖΒ τοῦ ἀπὸ τῆς ΒΝ μεῖζόν ἐστιν ἢ διπλάσιον. ἓν ἄρα τὸ ἀπὸ τῆς ΖΒ δύο τῶν ἀπὸ ΒΝ μεῖζόν ἐστιν. ὥστε καὶ τρία τὰ ἀπὸ τῆς ΖΒ | |
ἓξ τῶν ἀπὸ ΒΝ μείζονά ἐστιν· ὅπερ ἔδει δεῖξαι. | 206 |