TLG 1799 002 :: EUCLIDES :: Elementa (demonstrationes alterae, lib. 1–3)

EUCLIDES Geom.
(Alexandrinus: 3 B.C.)

Scholia: Cf. SCHOLIA IN EUCLIDEM (5022)

Elementa (demonstrationes alterae, lib. 1–3)

Source: Stamatis, E.S. (post J.L. Heiberg) (ed.), Euclidis elementa, vol. 1, 2nd edn. Leipzig: Teubner, 1969: 181–186.

Citation: Demonstratio — (line)

1

(n)

Ad αʹ, prop. δʹ
1 ΑΛΛΩΣ Λέγω, ὅτι τὸ ἀπὸ τῆς ΑΒ τετράγωνον ἴσον ἐστὶ τοῖς τε ἀπὸ τῶν ΑΓ, ΓΒ τετραγώνοις καὶ τῷ δὶς ὑπὸ τῶν ΑΓ, ΓΒ περιεχομένῳ ὀρθογωνίῳ.
5 Ἐπὶ γὰρ τῆς αὐτῆς καταγραφῆς, ἐπεὶ ἴση ἐστὶν ἡ ΒΑ τῇ ΑΔ, ἴση ἐστὶ καὶ γωνία ἡ ὑπὸ ΑΒΔ τῇ ὑπὸ ΑΔΒ· καὶ ἐπεὶ παντὸς τριγώνου αἱ τρεῖς γωνίαι δυσὶν ὀρθαῖς ἴσαι εἰσίν, τοῦ ΑΔΒ ἄρα τριγώνου αἱ τρεῖς γωνίαι αἱ ὑπὸ ΑΔΒ, ΒΑΔ, ΔΒΑ δυσὶν ὀρθαῖς ἴσαι εἰσίν. ὀρθὴ δὲ ἡ
10ὑπὸ ΒΑΔ· λοιπαὶ ἄρα αἱ ὑπὸ ΑΒΔ, ΑΔΒ μιᾷ ὀρθῇ ἴσαι εἰσί· καί εἰσιν ἴσαι· ἑκατέρα ἄρα τῶν ὑπὸ ΑΒΔ,
ΑΔΒ ἡμίσειά ἐστιν ὀρθῆς. ὀρθὴ δὲ ἡ ὑπὸ ΒΓΗ· ἴση γάρ ἐστι τῇ ἀπεναντίον τῇ πρὸς τῷ Α· λοιπὴ ἄρα ἡ ὑπὸ ΓΗΒ ἡμίσειά ἐστιν ὀρθῆς· ἴση ἄρα ἡ ὑπὸ ΓΒΗ γωνία τῇ ὑπὸ181
15ΓΗΒ· ὥστε καὶ πλευρὰ ἡ ΒΓ τῇ ΓΗ ἐστιν ἴση. ἀλλ’ ἡ μὲν ΓΒ τῇ ΗΚ ἐστιν ἴση, ἡ δὲ ΓΗ τῇ ΒΚ· ἰσόπλευρον ἄρα ἐστὶ τὸ ΓΚ. ἔχει δὲ καὶ ὀρθὴν τὴν ὑπὸ ΓΒΚ γωνίαν· τετράγωνον ἄρα ἐστὶ τὸ ΓΚ· καί ἐστιν ἀπὸ τῆς ΓΒ. διὰ τὰ αὐτὰ δὴ καὶ τὸ ΖΘ τετράγωνόν ἐστι, καί ἐστιν ἴσον
20τῷ ἀπὸ τῆς ΑΓ· τὰ ἄρα ΓΚ, ΘΖ τετράγωνά ἐστι, καί ἐστιν ἴσα τοῖς ἀπὸ τῶν ΑΓ, ΓΒ. καὶ ἐπεὶ ἴσον ἐστὶ τὸ ΑΗ τῷ ΗΕ, καί ἐστι τὸ ΑΗ τὸ ὑπὸ τῶν ΑΓ, ΓΒ· ἴση γὰρ ἡ ΓΗ τῇ ΓΒ· καὶ τὸ ΕΗ ἄρα ἴσον ἐστὶ τῷ ὑπὸ τῶν ΑΓ, ΓΒ. τὰ ἄρα ΑΗ, ΗΕ ἴσα ἐστὶ τῷ δὶς ὑπὸ τῶν ΑΓ,
25ΓΒ. ἔστι δὲ καὶ τὰ ΓΚ, ΘΖ ἴσα τοῖς ἀπὸ τῶν ΑΓ, ΓΒ. τὰ ἄρα ΓΚ, ΘΖ, ΑΗ, ΗΕ ἴσα ἐστὶ τοῖς τε ἀπὸ τῶν ΑΓ, ΓΒ καὶ τῷ δὶς ὑπὸ τῶν ΑΓ, ΓΒ. ἀλλὰ τὰ ΓΚ, ΘΖ καὶ τὰ ΑΗ, ΗΕ ὅλον ἐστὶ τὸ ΑΕ, ὅ ἐστιν ἀπὸ τῆς ΑΒ τετρά‐ γωνον· τὸ ἄρα ἀπὸ τῆς ΑΒ τετράγωνον ἴσον ἐστὶ τοῖς τε
30ἀπὸ τῶν ΑΓ, ΓΒ τετραγώνοις καὶ τῷ δὶς ὑπὸ τῶν ΑΓ, ΓΒ περιεχομένῳ ὀρθογωνίῳ· ὅπερ ἔδει δεῖξαι.

2

(n)

Ad γʹ, prop. ζʹ
1Ἢ καὶ οὕτως. ἐπεζεύχθω ἡ ΕΚ. καὶ ἐπεὶ ἴση ἐστὶν
ἡ ΗΕ τῇ ΕΚ, κοινὴ δὲ ἡ ΖΕ, καὶ βάσις ἡ ΖΗ βάσει τῇ ΖΚ ἴση, γωνία ἄρα ἡ ὑπὸ ΗΕΖ γωνίᾳ τῇ ὑπὸ ΚΕΖ ἴση ἐστίν. ἀλλὰ ἡ ὑπὸ ΗΕΖ τῇ ὑπὸ ΘΕΖ ἐστιν ἴση· καὶ ἡ182
5ὑπὸ ΘΕΖ ἄρα τῇ ὑπὸ ΚΕΖ ἐστιν ἴση, ἡ ἐλάττων τῇ μείζονι· ὅπερ ἐστὶν ἀδύνατον.

3

(n)

Ad γʹ, prop. ηʹ
1 Ἢ καὶ ἄλλως. ἐπεζεύχθω ἡ ΜΝ. ἐπεὶ ἴση ἐστὶν ἡ ΚΜ τῇ ΜΝ, κοινὴ δὲ ἡ ΜΔ, καὶ βάσις ἡ ΔΚ βάσει τῇ ΔΝ ἴση, γωνία ἄρα ἡ ὑπὸ ΚΜΔ γωνίᾳ τῇ ὑπὸ ΔΜΝ ἐστιν ἴση. ἀλλ’ ἡ ὑπὸ ΚΜΔ τῇ ὑπὸ ΒΜΔ ἐστιν ἴση· καὶ
5ἡ ὑπὸ ΒΜΔ ἄρα τῇ ὑπὸ ΝΜΔ ἐστιν ἴση, ἡ ἐλάττων τῇ μείζονι· ὅπερ ἐστὶν ἀδύνατον.

4

(n)

Ad γʹ, prop. θʹ
1 ΑΛΛΩΣ Κύκλου γὰρ τοῦ ΑΒΓ εἰλήφθω τι σημεῖον ἐντὸς τὸ Δ, ἀπὸ δὲ τοῦ Δ πρὸς τὸν ΑΒΓ κύκλον προσπιπτέτωσαν πλείους ἢ δύο ἴσαι εὐθεῖαι αἱ ΑΔ, ΔΒ, ΔΓ· λέγω, ὅτι τὸ
5ληφθὲν σημεῖον τὸ Δ κέντρον ἐστὶ τοῦ ΑΒΓ κύκλου. Μὴ γάρ, ἀλλ’ εἰ δυνατόν, ἔστω τὸ Ε, καὶ ἐπιζευχθεῖσα ἡ ΔΕ διήχθω ἐπὶ τὰ Ζ, Η σημεῖα. ἡ ΖΗ ἄρα διάμετρός [Omitted graphic marker]ἐστι τοῦ ΑΒΓ κύκλου. ἐπεὶ οὖν κύκλου τοῦ ΑΒΓ ἐπὶ τῆς ΖΗ δια‐183
10μέτρου εἴληπταί τι σημεῖον, ὃ μή ἐστι κέντρον τοῦ κύκλου, τὸ Δ, μεγίστη μὲν ἔσται ἡ ΔΗ, μείζων δὲ ἡ μὲν ΔΓ τῆς ΔΒ, ἡ δὲ ΔΒ τῆς ΔΑ. ἀλλὰ καὶ ἴση· ὅπερ ἐστὶν ἀδύνατον· οὐκ
15ἄρα τὸ Ε κέντρον ἐστὶ τοῦ ΑΒΓ κύκλου. ὁμοίως δὴ δείξομεν, ὅτι οὐδ’ ἄλλο τι πλὴν τοῦ Δ· τὸ Δ ἄρα σημεῖον κέντρον ἐστὶ τοῦ ΑΒΓ κύκλου· ὅπερ ἔδει δεῖξαι.

5

(n)

Ad γʹ, prop. ιʹ
1 ΑΛΛΩΣ Κύκλος γὰρ πάλιν ὁ ΑΒΓ κύκλον τὸν ΔΕΖ τεμνέτω κατὰ πλείονα σημεῖα ἢ δύο τὰ Β, Η, Θ, Ζ καὶ εἰλήφθω τὸ [Omitted graphic marker]κέντρον τοῦ ΑΒΓ κύκλου τὸ Κ, καὶ
5ἐπεζεύχθωσαν αἱ ΚΒ, ΚΗ, ΚΖ. Ἐπεὶ οὖν κύκλου τοῦ ΔΕΖ εἴλη‐ πταί τι σημεῖον ἐντὸς τὸ Κ, καὶ ἀπὸ τοῦ Κ πρὸς τὸν ΔΕΖ κύκλον προσ‐ πεπτώκασι πλείους ἢ δύο ἴσαι εὐθεῖαι
10αἱ ΚΒ, ΚΖ, ΚΗ, τὸ Κ ἄρα σημεῖον κέντρον ἐστὶ τοῦ ΔΕΖ κύκλου. ἔστι
δὲ καὶ τοῦ ΑΒΓ κύκλου κέντρον τὸ Κ· δύο ἄρα κύκλων τεμνόντων ἀλλήλους τὸ αὐτὸ κέντρον ἐστὶ τὸ Κ· ὅπερ ἐστὶν ἀδύνατον. οὐκ ἄρα κύκλος κύκλον184
15τέμνει κατὰ πλείονα σημεῖα ἢ δύο· ὅπερ ἔδει δεῖξαι.

6

(n)

Ad γʹ, prop. ιαʹ
1 Ἀλλὰ δὴ πιπτέτω ὡς ἡ ΗΖΓ, [καὶ] ἐκβεβλήσθω ἐπ’ εὐθείας ἡ ΓΖΗ ἐπὶ τὸ Θ σημεῖον, καὶ ἐπεζεύχθωσαν αἱ ΑΗ, ΑΖ. Ἐπεὶ οὖν αἱ ΑΗ, ΗΖ μείζους εἰσὶ τῆς ΑΖ, ἀλλὰ ἡ
5ΖΑ ἴση [ἐστὶ] τῇ ΖΓ, τουτέστι τῇ ΖΘ, κοινὴ ἀφῃρήσθω ἡ ΖΗ· λοιπὴ ἄρα ἡ ΑΗ λοιπῆς[Omitted graphic marker] τῆς ΗΘ μείζων ἐστίν, τουτέστιν ἡ ΗΔ τῆς ΗΘ, ἡ ἐλάττων τῆς μεί‐ ζονος· ὅπερ ἐστὶν ἀδύνατον. ὁμοίως,
10κἂν ἐκτὸς ᾖ τοῦ μικροῦ τὸ κέντρον τοῦ μείζονος κύκλου, δείξομεν [τὸ] ἄτοπον.

7

(n)

Ad γʹ, prop. λαʹ
1ΑΛΛΩΣ
ἡ ἀπόδειξις τοῦ ὀρθὴν εἶναι τὴν ὑπὸ ΒΑΓ. Ἐπεὶ διπλῆ ἐστιν ἡ ὑπὸ ΑΕΓ τῆς ὑπὸ ΒΑΕ· ἴση γὰρ δυσὶ ταῖς ἐντὸς καὶ ἀπεναντίον· ἔστι δὲ καὶ ἡ ὑπὸ ΑΕΒ185
5διπλῆ τῆς ὑπὸ ΕΑΓ. αἱ ἄρα ὑπὸ ΑΕΒ, ΑΕΓ διπλασίο‐ νές εἰσι τῆς ὑπὸ ΒΑΓ. ἀλλ’ αἱ ὑπὸ ΑΕΒ, ΑΕΓ δυσὶν ὀρθαῖς ἴσαι εἰσίν· ἡ ἄρα ὑπὸ ΒΑΓ ὀρθή ἐστιν· ὅπερ
ἔδει δεῖξαι.186