Book 3, Type prop

ἀπὸ τοῦ δοθέντος σημείου τοῦ δοθέντος κύκλου ἐφαπτομένην εὐθεῖαν γραμμὴν ἀγαγεῖν. ἔστω τὸ μὲν δοθὲν σημεῖον τὸ Α, ὁ δὲ δοθεὶς κύκλος ὁ ΒΓΔ· δεῖ δὴ ἀπὸ τοῦ Α σημείου τοῦ ΒΓΔ κύκλου ἐφαπτομένην εὐθεῖαν γραμμὴν ἀγαγεῖν. εἰλήφθω γὰρ τὸ κέντρον τοῦ κύκλου τὸ Ε, καὶ ἐπεζεύχθω ἡ ΑΕ, καὶ κέντρῳ μὲν τῷ Ε διαστήματι δὲ τῷ ΕΑ κύκλος γεγράφθω ὁ ΑΖΗ, καὶ ἀπὸ τοῦ Δ τῇ ΕΑ πρὸς ὀρθὰς ἤχθω ἡ ΔΖ, καὶ ἐπεζεύχθωσαν αἱ ΕΖ, ΑΒ· λέγω, ὅτι ἀπὸ τοῦ Α σημείου τοῦ ΒΓΔ κύκλου ἐφαπτομένη ἦκται ἡ ΑΒ. ἐπεὶ γὰρ τὸ Ε κέντρον ἐστὶ τῶν ΒΓΔ, ΑΖΗ κύκλων, ἴση ἄρα ἐστὶν ἡ μὲν ΕΑ τῇ ΕΖ, ἡ δὲ ΕΔ τῇ ΕΒ· δύο δὴ αἱ ΑΕ, ΕΒ δύο ταῖς ΖΕ, ΕΔ ἴσαι εἰσίν· καὶ γωνίαν κοινὴν περιέχουσι τὴν πρὸς τῷ Ε· βάσις ἄρα ἡ ΔΖ βάσει τῇ ΑΒ ἴση ἐστίν, καὶ τὸ ΔΕΖ τρίγωνον τῷ ΕΒΑ τριγώνῳ ἴσον ἐστίν, καὶ αἱ λοιπαὶ γωνίαι ταῖς λοιπαῖς γωνίαις· ἴση ἄρα ἡ ὑπὸ ΕΔΖ τῇ ὑπὸ ΕΒΑ. ὀρθὴ δὲ ἡ ὑπὸ ΕΔΖ· ὀρθὴ ἄρα καὶ ἡ ὑπὸ ΕΒΑ. καί ἐστιν ἡ ΕΒ ἐκ τοῦ κέντρου· ἡ δὲ τῇ διαμέτρῳ τοῦ κύκλου πρὸς ὀρθὰς ἀπʼ ἄκρας ἀγομένη ἐφάπτεται τοῦ κύκλου· ἡ ΑΒ ἄρα ἐφάπτεται τοῦ ΒΓΔ κύκλου. ἀπὸ τοῦ ἄρα δοθέντος σημείου τοῦ Α τοῦ δοθέντος κύκλου τοῦ ΒΓΔ ἐφαπτομένη εὐθεῖα γραμμὴ ἦκται ἡ ΑΒ· ὅπερ ἔδει ποιῆσαι.