Στοιχεῖα Εὐκλείδου β΄
[Βιβλίον II]
Αἱ Προτάσεις τῶν Στοιχείων β΄.
Προηγουμένη Πρότασις
Ἑπομένη Πρότασις
Πρότασις ι΄. [10]
Ἐὰν εὐθεῖα γραμμὴ τμηθῇ δίχα, προστεθῇ δέ τις αὐτῇ εὐθεῖα ἐπ᾿ εὐθείας, τὸ ἀπὸ τῆς ὅλης σὺν τῇ προσκειμένῃ καὶ τὸ ἀπὸ τῆς προσκειμένης τὰ συναμφότερα τετράγωνα διπλάσιά ἐστι τοῦ τε ἀπὸ τῆς ἡμισείας καὶ τοῦ ἀπὸ τῆς συγκειμένης ἔκ τε τῆς ἡμισείας καὶ τῆς προσκειμένης ὡς ἀπὸ μιᾶς ἀναγραφέντος τετραγώνου.
Εὐθεῖα γάρ τις ἡ ΑΒ τετμήσθω δίχα κατὰ τὸ Γ, προσκείσθω δέ τις αὐτῇ εὐθεῖα ἐπ᾿ εὐθείας ἡ ΒΔ· λέγω, ὅτι τὰ ἀπὸ τῶν ΑΔ, ΔΒ τετράγωνα διπλάσιά ἐστι τῶν ἀπὸ τῶν ΑΓ, ΓΔ τετραγώνων.
Ἤχθω γὰρ ἀπὸ τοῦ Γ σημείου τῇ ΑΒ πρὸς ὀρθὰς ἡ ΓΕ, καὶ κείσθω ἴση ἑκατέρᾳ, τῶν ΑΓ, ΓΒ, καὶ ἐπεζεύχθωσαν αἱ ΕΑ, ΕΒ· καὶ διὰ μὲν τοῦ Ε τῇ ΑΔ παράλληλος ἤχθω ἡ ΕΖ, διὰ δὲ τοῦ Δ τῇ ΓΕ παράλληλος ἤχθω ἡ ΖΔ. καὶ ἐπεὶ εἰς παραλλήλους εὐθείας τὰς ΕΓ, ΖΔ εὐθεῖά τις ἐνέπεσεν ἡ ΕΖ, αἱ ὑπὸ ΓΕΖ, ΕΖΔ ἄρα δυσὶν ὀρθαῖς ἴσαι εἰσίν· αἱ ἄρα ὑπὸ ΖΕΒ, ΕΖΔ δύο ὀρθῶν ἐλάσσονές εἰσιν· αἱ δὲ ἀπ' ἐλασσόνων ἢ δύο ὀρθῶν ἐκβαλλόμεναι συμπίπτουσιν· αἱ ἄρα ΕΒ, ΖΔ ἐκβαλλόμεναι ἐπὶ τὰ Β, Δ μέρη συμπεσοῦνται. ἐκβεβλήσθωσαν καὶ συμπιπτέτωσαν κατὰ τὸ Η, καὶ ἐπεζεύχθω ἡ ΑΗ. καὶ ἐπεὶ ἴση ἐστὶν ἡ ΑΓ τῇ ΓΕ, ἴση ἐστὶ καὶ γωνία ἡ ὑπὸ ΕΑΓ τῇ ὑπὸ ΑΕΓ· καὶ ὀρθὴ ἡ πρὸς τῷ Γ· ἡμίσεια ἄρα ὀρθῆς [ἐστιν] ἑκατέρα τῶν ὑπὸ ΕΑΓ, ΑΕΓ. διὰ τὰ αὐτὰ δὴ καὶ ἑκατέρα τῶν ὑπὸ ΓΕΒ, ΕΒΓ ἡμίσειά ἐστιν ὀρθῆς· ὀρθὴ ἄρα ἐστὶν ἡ ὑπὸ ΑΕΒ. καὶ ἐπεὶ ἡμίσεια ὀρθῆς ἐστιν ἡ ὑπὸ ΕΒΓ, ἡμίσεια ἄρα ὀρθῆς καὶ ἡ ὑπὸ ΔΒΗ. ἔστι δὲ καὶ ἡ ὑπὸ ΒΔΗ ὀρθή· ἴση γάρ ἐστι τῇ ὑπὸ ΔΓΕ· ἐναλλὰξ γάρ· λοιπὴ ἄρα ἡ ὑπὸ ΔΗΒ ἡμίσειά ἐστιν ὀρθῆς· ἡ ἄρα ὑπὸ ΔΗΒ τῇ ὑπὸ ΔΒΗ ἐστιν ἴση· ὥστε καὶ πλευρὰ ἡ ΒΔ πλευρᾷ τῇ ΗΔ ἐστιν ἴση. πάλιν, ἐπεὶ ἡ ὑπὸ ΕΗΖ ἡμίσειά ἐστιν ὀρθῆς, ὀρθὴ δὲ ἡ πρὸς τῷ Ζ· ἴση γάρ ἐστι τῇ ἀπεναντίον τῇ πρὸς τῷ Γ· λοιπὴ ἄρα ἡ ὑπὸ ΖΕΗ ἡμίσειά ἐστιν ὀρθῆς· ἴση ἄρα ἡ ὑπὸ ΕΗΖ γωνία τῇ ὑπὸ ΖΕΗ· ὥστε καὶ πλευρὰ ἡ ΗΖ πλευρᾷ τῇ ΕΖ ἐστιν ἴση. καὶ ἐπεὶ [ἴση ἐστὶν ἡ ΕΓ τῇ ΓΑ,] ἴσον ἐστὶ [καὶ] τὸ ἀπὸ τῆς ΕΓ τετράγωνον τῷ ἀπὸ τῆς ΓΑ τετραγώνῳ· τὰ ἄρα ἀπὸ τῶν ΕΓ, ΓΑ τετράγωνα διπλάσιά ἐστι τοῦ ἀπὸ τῆς ΓΑ τετραγώνου. τοῖς δὲ ἀπὸ τῶν ΕΓ, ΓΑ ἴσον ἐστὶ τὸ ἀπὸ τῆς ΕΑ· τὸ ἄρα ἀπὸ τῆς ΕΑ τετράγωνον διπλάσιόν ἐστι τοῦ ἀπὸ τῆς ΑΓ τετραγώνου. πάλιν, ἐπεὶ ἴση ἐστὶν ἡ ΖΗ τῇ ΕΖ, ἴσον ἐστὶ καὶ τὸ ἀπὸ τῆς ΖΗ τῷ ἀπὸ τῆς ΖΕ· τὰ ἄρα ἀπὸ τῶν ΗΖ, ΖΕ διπλάσιά ἐστι τοῦ ἀπὸ τῆς ΕΖ. τοῖς δὲ ἀπὸ τῶν ΗΖ, ΖΕ ἴσον ἐστὶ τὸ ἀπὸ τῆς ΕΗ· τὸ ἄρα ἀπὸ τῆς ΕΗ διπλάσιόν ἐστι τοῦ ἀπὸ τῆς ΕΖ. ἴση δὲ ἡ ΕΖ τῇ ΓΔ· τὸ ἄρα ἀπὸ τῆς ΕΗ τετράγωνον διπλάσιόν ἐστι τοῦ ἀπὸ τῆς ΓΔ. ἐδείχθη δὲ καὶ τὸ ἀπὸ τῆς ΕΑ διπλάσιον τοῦ ἀπὸ τῆς ΑΓ· τὰ ἄρα ἀπὸ τῶν ΑΕ, ΕΗ τετράγωνα διπλάσιά ἐστι τῶν ἀπὸ τῶν ΑΓ, ΓΔ τετραγώνων. τοῖς δὲ ἀπὸ τῶν ΑΕ, ΕΗ τετραγώνοις ἴσον ἐστὶ τὸ ἀπὸ τῆς ΑΗ τετράγωνον· τὸ ἄρα ἀπὸ τῆς ΑΗ διπλάσιόν ἐστι τῶν ἀπὸ τῶν ΑΓ, ΓΔ. τῷ δὲ ἀπὸ τῆς ΑΗ ἴσα ἐστὶ τὰ ἀπὸ τῶν ΑΔ, ΔΗ· τὰ ἄρα ἀπὸ τῶν ΑΔ, ΔΗ [τετράγωνα] διπλάσιά ἐστι τῶν ἀπὸ τῶν ΑΓ, ΓΔ [τετραγώνων]. ἴση δὲ ἡ ΔΗ τῇ ΔΒ· τὰ ἄρα ἀπὸ τῶν ΑΔ, ΔΒ [τετράγωνα] διπλάσιά ἐστι τῶν ἀπὸ τῶν ΑΓ, ΓΔ τετραγώνων.
Ἐὰν ἄρα εὐθεῖα γραμμὴ τμηθῇ δίχα, προστεθῇ δέ τις αὐτῇ εὐθεῖα ἐπ᾿ εὐθείας, τὸ ἀπὸ τῆς ὅλης σὺν τῇ προσκειμένῃ καὶ τὸ ἀπὸ τῆς προσκειμένης τὰ συναμφότερα τετράγωνα διπλάσιά ἐστι τοῦ τε ἀπὸ τῆς ἡμισείας καὶ τοῦ ἀπὸ τῆς συγκειμένης ἔκ τε τῆς ἡμισείας καὶ τῆς προσκειμένης ὡς ἀπὸ μιᾶς ἀναγραφέντος τετραγώνου· ὅπερ ἔδει δεῖξαι.
Ἑπομένη Πρότασις
Προηγουμένη Πρότασις
Αἱ Προτάσεις τῶν Στοιχείων β΄.
Περιεχόμενα Στοιχείων Εὐκλείδου