Book 3, Type prop

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