Euclid Elementa 12.prop.16

δύο κύκλων περὶ τὸ αὐτὸ κέντρον ὄντων εἰς τὸν μείζονα κύκλον πολύγωνον ἰσόπλευρόν τε καὶ ἀρτιόπλευρον ἐγγράψαι μὴ ψαῦον τοῦ ἐλάσσονος κύκλου.

ἔστωσαν οἱ δοθέντες δύο κύκλοι
οἱ ΑΒΓΔ, ΕΖΗΘ περὶ τὸ αὐτὸ κέντρον τὸ Κ· δεῖ δὴ εἰς τὸν μείζονα κύκλον τὸν ΑΒΓΔ πολύγωνον ἰσόπλευρόν τε καὶ ἀρτιόπλευρον ἐγγράψαι μὴ ψαῦον τοῦ ΕΖΗΘ
κύκλου.

ἤχθω γὰρ διὰ τοῦ Κ κέντρου εὐθεῖα ἡ ΒΚΔ, καὶ ἀπὸ τοῦ Η σημείου τῇ ΒΔ εὐθείᾳ πρὸς ὀρθὰς ἤχθω ἡ ΗΑ καὶ διήχθω ἐπὶ τὸ Γ· ἡ ΑΓ ἄρα ἐφάπτεται τοῦ ΕΖΗΘ κύκλου. τέμνοντες δὴ τὴν ΒΑΔ περιφέρειαν δίχα καὶ τὴν ἡμίσειαν
αὐτῆς δίχα καὶ τοῦτο ἀεὶ ποιοῦντες καταλείψομεν περιφέρειαν ἐλάσσονα τῆς ΑΔ. λελείφθω, καὶ ἔστω ἡ ΛΔ, καὶ ἀπὸ τοῦ Λ ἐπὶ τὴν ΒΔ κάθετος ἤχθω ἡ ΛΜ καὶ διήχθω ἐπὶ τὸ Ν, καὶ ἐπεζεύχθωσαν αἱ ΛΔ, ΔΝ· ἴση ἄρα ἐστὶν ἡ ΛΔ τῇ ΔΝ. καὶ ἐπεὶ παράλληλός ἐστιν ἡ ΛΝ τῇ
ΑΓ, ἡ δὲ ΑΓ ἐφάπτεται τοῦ ΕΖΗΘ κύκλου, ἡ ΛΝ ἄρα οὐκ ἐφάπτεται τοῦ ΕΖΗΘ κύκλου· πολλῷ ἄρα αἱ ΛΔ, ΔΝ οὐκ ἐφάπτονται τοῦ ΕΖΗΘ κύκλου. ἐὰν δὴ τῇ ΛΔ εὐθείᾳ ἴσας κατὰ τὸ συνεχὲς ἐναρμόσωμεν εἰς τὸν ΑΒΓΔ κύκλον, ἐγγραφήσεται εἰς τὸν ΑΒΓΔ κύκλον πολύγωνον
ἰσόπλευρόν τε καὶ ἀρτιόπλευρον μὴ ψαῦον τοῦ ἐλάσσονος κύκλου τοῦ ΕΖΗΘ· ὅπερ ἔδει ποιῆσαι.