Book 3, Type prop

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