## Book III, Proposition 28

In equal circles equal straight lines cut off equal circumferences, the greater equal to the greater and the less to the less.

 Ἐν τοῖς ἴσοις κύκλοις αἱ ἴσαι εὐθεῖαι ἴσας περιφερείας ἀφαιροῦσι τὴν μὲν μείζονα τῇ μείζονι τὴν δὲ ἐλάττονα τῇ ἐλάττονι. Ἔστωσαν ἴσοι κύκλοι οἱ ΑΒΓ, ΔΕΖ, καὶ ἐν τοῖς κύκλοις ἴσαι εὐθεῖαι ἔστωσαν αἱ ΑΒ, ΔΕ τὰς μὲν ΑΓΒ, ΔΖΕ περιφερείας μείζονας ἀφαιροῦσαι τὰς δὲ ΑΗΒ, ΔΘΕ ἐλάττονας: λέγω, ὅτι ἡ μὲν ΑΓΒ μείζων περιφέρεια ἴση ἐστὶ τῇ ΔΖΕ μείζονι περιφερείᾳ, ἡ δὲ ΑΗΒ ἐλάττων περιφέρεια τῇ ΔΘΕ. Εἰλήφθω γὰρ τὰ κέντρα τῶν κύκλων τὰ Κ, Λ, καὶ ἐπεζεύχθωσαν αἱ ΑΚ, ΚΒ, ΔΛ, ΛΕ. Καὶ ἐπεὶ ἴσοι κύκλοι εἰσίν, ἴσαι εἰσὶ καὶ αἱ ἐκ τῶν κέντρων: δύο δὴ αἱ ΑΚ, ΚΒ δυσὶ ταῖς ΔΛ, ΛΕ ἴσαι εἰσίν: καὶ βάσις ἡ ΑΒ βάσει τῇ ΔΕ ἴση: γωνία ἄρα ἡ ὑπὸ ΑΚΒ γωνίᾳ τῇ ὑπὸ ΔΛΕ ἴση ἐστίν. αἱ δὲ ἴσαι γωνίαι ἐπὶ ἴσων περιφερειῶν βεβήκασιν, ὅταν πρὸς τοῖς κέντροις ὦσιν: ἴση ἄρα ἡ ΑΗΒ περιφέρεια τῇ ΔΘΕ. ἐστὶ δὲ καὶ ὅλος ὁ ΑΒΓ κύκλος ὅλῳ τῷ ΔΕΖ κύκλῳ ἴσος: καὶ λοιπὴ ἄρα ἡ ΑΓΒ περιφέρεια λοιπῇ τῇ ΔΖΕ περιφερείᾳ ἴση ἐστίν. Ἐν ἄρα τοῖς ἴσοις κύκλοις αἱ ἴσαι εὐθεῖαι ἴσας περιφερείας ἀφαιροῦσι τὴν μὲν μείζονα τῇ μείζονι τὴν δὲ ἐλάττονα τῇ ἐλάττονι: ὅπερ ἔδει δεῖξαι. In equal circles equal straight lines cut off equal circumferences, the greater equal to the greater and the less to the less. Let ABC, DEF be equal circles, and in the circles let AB, DE be equal straight lines cutting off ACB, DFE as greater circumferences and AGB, DHE as lesser; I say that the greater circumference ACB is equal to the greater circumference DFE, and the less circumference AGB to DHE. For let the centres K, L of the circles be taken, and let AK, KB, DL, LE be joined. Now, since the circles are equal, the radii are also equal; therefore the two sides AK, KB are equal to the two sides DL, LE; and the base AB is equal to the base DE; therefore the angle AKB is equal to the angle DLE. [I. 8] But equal angles stand on equal circumferences, when they are at the centres; [III. 26] therefore the circumference AGB is equal to DHE. And the whole circle ABC is also equal to the whole circle DEF; therefore the circumference ACB which remains is also equal to the circumference DFE which remains.