Book 3, Type prop

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