Στοιχεῖα Εὐκλείδου ιγ΄
[Βιβλίον XIII]
Αἱ Προτάσεις τῶν Στοιχείων ιγ΄.
Προηγουμένη Πρότασις
Ἑπομένη Πρότασις
Πρότασις ι΄. [10]
Ἐὰν εἰς κύκλον πεντάγωνον ἰσόπλευρον ἐγγραφῇ, ἡ τοῦ πενταγώνου πλευρὰ δύναται τήν τε τοῦ ἑξαγώνου καὶ τὴν τοῦ δεκαγώνου τῶν εἰς τὸν αὐτὸν κύκλον ἐγγραφομένων.
Ἔστω κύκλος ὁ ΑΒΓΔΕ, καὶ εἰς τὸν ΑΒΓΔΕ κύκλον πεντάγωνον ἰσόπλευρον ἐγγεγράφθω τὸ ΑΒΓΔΕ. λέγω, ὅτι ἡ τοῦ ΑΒΓΔΕ πενταγώνου πλευρὰ δύναται τήν τε τοῦ ἑξαγώνου καὶ τὴν τοῦ δεκαγώνου πλευρὰν τῶν εἰς τὸν ΑΒΓΔΕ κύκλον ἐγγραφομένων.
Εἰλήφθω γὰρ τὸ κέντρον τοῦ κύκλου τὸ Ζ σημεῖον, καὶ ἐπιζευχθεῖσα ἡ ΑΖ διήχθω ἐπὶ τὸ Η σημεῖον, καὶ ἐπεζεύχθω ἡ ΖΒ, καὶ ἀπὸ τοῦ Ζ ἐπὶ τὴν ΑΒ κάθετος ἤχθω ἡ ΖΘ, καὶ διήχθω ἐπὶ τὸ Κ, καὶ ἐπεζεύχθωσαν αἱ ΑΚ, ΚΒ, καὶ πάλιν ἀπὸ τοῦ Ζ ἐπὶ τὴν ΑΚ κάθετος ἤχθω ἡ ΖΛ, καὶ διήχθω ἐπὶ τὸ Μ, καὶ ἐπεζεύχθω ἡ ΚΝ. ἐπεὶ ἴση ἐστὶν ἡ ΑΒΓΗ περιφέρεια τῇ ΑΕΔΗ περιφερείᾳ, ὧν ἡ ΑΒΓ τῇ ΑΕΔ ἐστιν ἴση, λοιπὴ ἄρα ἡ ΓΗ περιφέρεια λοιπῇ τῇ ΗΔ ἐστιν ἴση. πενταγώνου δὲ ἡ ΓΔ· δεκαγώνου ἄρα ἡ ΓΗ. καὶ ἐπεὶ ἴση ἐστὶν ἡ ΖΑ τῇ ΖΒ, καὶ κάθετος ἡ ΖΘ, ἴση ἄρα καὶ ἡ ὑπὸ ΑΖΚ γωνία τῇ ὑπὸ ΚΖΒ. ὥστε καὶ περιφέρεια ἡ ΑΚ τῇ ΚΒ ἐστιν ἴση· διπλῆ ἄρα ἡ ΑΒ περιφέρεια τῆς ΒΚ περιφερείας· δεκαγώνου ἄρα πλευρά ἐστιν ἡ ΑΚ εὐθεῖα. διὰ τὰ αὐτὰ δὴ καὶ ἡ ΑΚ τῆς ΚΜ ἐστι διπλῆ. καὶ ἐπεὶ διπλῆ ἐστιν ἡ ΑΒ περιφέρεια τῆς ΒΚ περιφερείας, ἴση δὲ ἡ ΓΔ περιφέρεια τῇ ΑΒ περιφερείᾳ, διπλῆ ἄρα καὶ ἡ ΓΔ περιφέρεια τῆς ΒΚ περιφερείας.
ἔστι δὲ ἡ ΓΔ περιφέρεια καὶ τῆς ΓΗ διπλῆ· ἴση ἄρα ἡ ΓΗ περιφέρεια τῇ ΒΚ περιφερείᾳ. ἀλλὰ ἡ ΒΚ τῆς ΚΜ ἐστι διπλῆ, ἐπεὶ καὶ ἡ ΚΑ· καὶ ἡ ΓΗ ἄρα τῆς ΚΜ ἐστι διπλῆ. ἀλλὰ μὴν καὶ ἡ ΓΒ περιφέρεια τῆς ΒΚ περιφερείας ἐστὶ διπλῆ· ἴση γὰρ ἡ ΓΒ περιφέρεια τῇ ΒΑ. καὶ ὅλη ἄρα ἡ ΗΒ περιφέρεια τῆς ΒΜ ἐστι διπλῆ· ὥστε καὶ γωνία ἡ ὑπὸ ΗΖΒ γωνίας τῆς ὑπὸ ΒΖΜ [ἐστι] διπλῆ. ἔστι δὲ ἡ ὑπὸ ΗΖΒ καὶ τῆς ὑπὸ ΖΑΒ διπλῆ· ἴση γὰρ ἡ ὑπὸ ΖΑΒ τῇ ὑπὸ ΑΒΖ. καὶ ἡ ὑπὸ ΒΖΝ ἄρα τῇ ὑπὸ ΖΑΒ ἐστιν ἴση. κοινὴ δὲ τῶν δύο τριγώνων, τοῦ τε ΑΒΖ καὶ τοῦ ΒΖΝ, ἡ ὑπὸ ΑΒΖ γωνία· λοιπὴ ἄρα ἡ ὑπὸ ΑΖΒ λοιπῇ τῇ ὑπὸ ΒΝΖ ἐστιν ἴση· ἰσογώνιον ἄρα ἐστὶ τὸ ΑΒΖ τρίγωνον τῷ ΒΖΝ τριγώνῳ. ἀνάλογον ἄρα ἐστὶν ὡς ἡ ΑΒ εὐθεῖα πρὸς τὴν ΒΖ, οὕτως ἡ ΖΒ πρὸς τὴν ΒΝ· τὸ ἄρα ὑπὸ τῶν ΑΒΝ ἴσον ἐστὶ τῷ ἀπὸ ΒΖ. πάλιν ἐπεὶ ἴση ἐστὶν ἡ ΑΛ τῇ ΛΚ, κοινὴ δὲ καὶ πρὸς ὀρθὰς ἡ ΛΝ, βάσις ἄρα ἡ ΚΝ βάσει τῇ ΑΝ ἐστιν ἴση· καὶ γωνία ἄρα ἡ ὑπὸ ΛΚΝ γωνίᾳ τῇ ὑπὸ ΛΑΝ ἐστιν ἴση. ἀλλὰ ἡ ὑπὸ ΛΑΝ τῇ ὑπὸ ΚΒΝ ἐστιν ἴση· καὶ ἡ ὑπὸ ΛΚΝ ἄρα τῇ ὑπὸ ΚΒΝ ἐστιν ἴση. καὶ κοινὴ τῶν δύο τριγώνων τοῦ τε ΑΚΒ καὶ τοῦ ΑΚΝ ἡ πρὸς τῷ Α. λοιπὴ ἄρα ἡ ὑπὸ ΑΚΒ λοιπῇ τῇ ὑπὸ ΚΝΑ ἐστιν ἴση· ἰσογώνιον ἄρα ἐστὶ τὸ ΚΒΑ τρίγωνον τῷ ΚΝΑ τριγώνῳ. ἀνάλογον ἄρα ἐστὶν ὡς ἡ ΒΑ εὐθεῖα πρὸς τὴν ΑΚ, οὕτως ἡ ΚΑ πρὸς τὴν ΑΝ· τὸ ἄρα ὑπὸ τῶν ΒΑΝ ἴσον ἐστὶ τῷ ἀπὸ τῆς ΑΚ. ἐδείχθη δὲ καὶ τὸ ὑπὸ τῶν ΑΒΝ ἴσον τῷ ἀπὸ τῆς ΒΖ· τὸ ἄρα ὑπὸ τῶν ΑΒΝ μετὰ τοῦ ὑπὸ ΒΑΝ, ὅπερ ἐστὶ τὸ ἀπὸ τῆς ΒΑ, ἴσον ἐστὶ τῷ ἀπὸ τῆς ΒΖ μετὰ τοῦ ἀπὸ τῆς ΑΚ. καί ἐστιν ἡ μὲν ΒΑ πενταγώνου πλευρά, ἡ δὲ ΒΖ ἑξαγώνου, ἡ δὲ ΑΚ δεκαγώνου.
Ἡ ἄρα τοῦ πενταγώνου πλευρὰ δύναται τήν τε τοῦ ἑξαγώνου καὶ τὴν τοῦ δεκαγώνου τῶν εἰς τὸν αὐτὸν κύκλον ἐγγραφομένων· ὅπερ ἔδει δεῖξαι.