Euclid, Elementa, ed. Johan Ludvig Heiberg, 3.prop.13

κύκλος κύκλου οὐκ ἐφάπτεται κατὰ πλείονα σημεῖα ἢ καθʼ ἕν, ἐάν τε ἐντὸς ἐάν τε ἐκτὸς ἐφάπτηται.

εἰ γὰρ δυνατόν, κύκλος ὁ ΑΒΓΔ κύκλου τοῦ ΕΒΖΔ ἐφαπτέσθω πρότερον ἐντὸς κατὰ πλείονα σημεῖα ἢ ἓν τὰ
δ, Β.

καὶ εἰλήφθω τοῦ μὲν ΑΒΓΔ κύκλου κέντρον τὸ Η, τοῦ δὲ ΕΒΖΔ τὸ Θ.

ἡ ἄρα ἀπὸ τοῦ Η ἐπὶ τὸ Θ ἐπιζευγνυμένη ἐπὶ τὰ Β, Δ πεσεῖται. πιπτέτω ὡς ἡ ΒΗΘΔ. καὶ ἐπεὶ τὸ Η σημεῖον
κέντρον ἐστὶ τοῦ ΑΒΓΔ κύκλου, ἴση ἐστὶν ἡ ΒΗ τῇ ΗΔ· μείζων ἄρα ἡ ΒΗ τῆς ΘΔ· πολλῷ ἄρα μείζων ἡ ΒΘ τῆς ΘΔ. πάλιν, ἐπεὶ τὸ Θ σημεῖον κέντρον ἐστὶ τοῦ ΕΒΖΔ κύκλου, ἴση ἐστὶν ἡ ΒΘ τῇ
ΘΔ· ἐδείχθη δὲ αὐτῆς καὶ πολλῷ μείζων· ὅπερ ἀδύνατον· οὐκ ἄρα κύκλος κύκλου ἐφάπτεται ἐντὸς κατὰ πλείονα σημεῖα ἢ ἕν.

λέγω δή, ὅτι οὐδὲ ἐκτός.

εἰ γὰρ δυνατόν, κύκλος ὁ ΑΓΚ κύκλου τοῦ ΑΒΓΔ ἐφαπτέσθω ἐκτὸς κατὰ πλείονα σημεῖα ἢ ἓν τὰ Α, Γ, καὶ ἐπεζεύχθω ἡ ΑΓ.

ἐπεὶ οὖν κύκλων τῶν ΑΒΓΔ, ΑΓΚ εἴληπται ἐπὶ τῆς περιφερείας ἑκατέρου δύο τυχόντα σημεῖα τὰ Α, Γ, ἡ ἐπὶ
τὰ σημεῖα ἐπιζευγνυμένη εὐθεῖα ἐντὸς ἑκατέρου πεσεῖται· ἀλλὰ τοῦ μὲν ΑΒΓΔ ἐντὸς ἔπεσεν, τοῦ δὲ ΑΓΚ ἐκτός· ὅπερ ἄτοπον· οὐκ ἄρα κύκλος κύκλου ἐφάπτεται ἐκτὸς κατὰ πλείονα σημεῖα ἢ ἕν. ἐδείχθη δέ, ὅτι οὐδὲ ἐντός.

κύκλος ἄρα κύκλου οὐκ ἐφάπτεται κατὰ πλείονα σημεῖα
ἢ καθʼ ἕν, ἐάν τε ἐντὸς ἐάν τε ἐκτὸς ἐφάπτηται· ὅπερ ἔδει δεῖξαι.

Euclid Elementa 3.prop.13

ed. Johan Ludvig Heiberg

Search the Perseus Catalog for:

Current edition Perseus

Stable identifiers