6. Pappus Συναγ. VII 193 p. 866, 1 sqq.

Lemmata ad Porismata.

Πορισμάτων αʹ β΄ γ΄.

Τοῦ πρώτου εἰς τὸ πρῶτον πόρισμα.

[1] α΄. Ἔστω καταγραφὴ ἡ ΑΒΓ∠ΕΖΗ, καὶ ἔστω, ὡς ἡ ΑΖ πρὸς τὴν ΖΗ, οὕτως ἡ Α∠ πρὸς τὴν ∠Γ, καὶ ἐπεζεύχθω ἡ ΘΚ ὅτι παράλληλός
ἐστιν ἡ ΘΚ τῇ ΑΓ.

ἤχθω διὰ τοῦ Ζ τῇ Β∠ παράλληλος ἡ ΖΛ.

ἐπεὶ οὖν ἔστιν, ὡς ἡ ΑΖ πρὸς τὴν ΖΗ, οὕτως ἡ Α∠
πρὸς τὴν ∠Γ ἀνάπαλιν καὶ συνθέντι καὶ ἐναλλάξ ἐστιν, ὡς ἡ ∠Α πρὸς τὴν ΑΖ, τουτέστιν ἐν παραλλήλῳ ὡς ἡ ΒΑ πρὸς τὴν ΑΛ, οὕτως ἡ ΓΑ πρὸς τὴν ΑΗ παράλληλος
¹ ἄρα ἐστὶν ἡ ΛΗ τῇ ΒΓ ἔστιν ἄρα, ὡς ἡ ΕΒ πρὸς τὴν ΒΛ, οὕτως ἐν παραλλήλῳ ἡ ΕΘ πρὸς τὴν ΘΗ. ἔστι δὲ καί, ὡς ἡ ΕΒ πρὸς τὴν ΒΛ, οὕτως ἐν παραλλήλῳ ἡ ΕΚ πρὸς τὴν ΚΖ καὶ ὡς ἄρα ἡ ΕΚ πρὸς τὴν
ΚΖ, οὕτως ἐστὶν ἡ ΕΘ πρὸς τὴν ΘΗ. παράλληλος ἄρα ἐστὶν ἡ ΘΚ τῇ ΑΓ.

Διὰ δὲ τοῦ συνημμένου οὕτως· ἐπεί ἐστιν, ὡς ἡ ΑΖ πρὸς τὴν ΖΗ, οὕτως ἡ Α∠ πρὸς τὴν ∠Γ. ἀνάπαλίν ἐστιν, ὡς ἡ ΗΖ πρὸς τὴν ΖΑ, οὕτως ἡ Γ∠ πρὸς τὴν
∠Α. συνθέντι καὶ ἐναλλὰξ καὶ ἀναστρέψαντί ἐστιν, ὡς ἡ Α∠ πρὸς τὴν ∠Ζ, οὕτως ἡ ΑΓ πρὸς τὴν ΓΗ. ἀλλʼ ὁ μὲν τῆς Α∠ πρὸς τὴν ∠Ζ συνῆπται ἔκ τε τοῦ τῆς ΑΒ πρὸς τὴν ΒΕ καὶ τοῦ τῆς ΕΚ πρὸς τὴν ΚΖ, ὁ δὲ τῆς ΑΓ πρὸς τὴν ΓΗ ἔκ τε τοῦ τῆς Α Β πρὸς τὴν ΒΕ καὶ
τοῦ τῆς ΕΘ πρὸς τὴν ΘΗ ὁ ἄρα συνημμένος λόγος ἔκ τε τοῦ, ὃν ἔχει ἡ ΑΒ πρὸς τὴν ΒΕ, καὶ ἡ ΕΚ πρὸς τὴν ΚΖ, ὁ αὐτός ἔστιν τῷ συνημμένῳ ἔκ τε τοῦ, ὃν ἔχει ἡ ΑΒ πρὸς τὴν ΒΕ, καὶ ἡ ΕΘ πρὸς τὴν ΘΗ. καὶ κοινὸς ἐκκεκρούσθω ὁ τῆς ΑΒ πρὸς τὴν ΒΕ λόγος· λοιπὸν
ἄρα ὁ τῆς ΕΚ πρὸς τὴν ΚΖ λόγος ὁ αὐτός ἐστιν τῷ τῆς ΕΘ πρὸς τὴν ΘΗ. παράλληλος ἄρα ἐστὶν ἡ ΘΚ τῇ ΑΓ.

Εἰς τὸ δεύτερον πόρισμα.

β΄. Καταγραφὴ ἡ ΑΒΓ∠ΕΖΗΘ, ἔστω δὲ παράλληλος ἡ ΑΖ τῇ ∠Β, ὡς δὲ ἡ ΑΕ πρὸς τὴν ΕΖ, οὕτως ἡ ΓΗ
πρὸς τὴν ΗΖ ὅτι εὐθεῖά ἐστιν ἡ διὰ τῶν Θ, Κ, Ζ.

ἤχθω διὰ τοῦ Η παρὰ τὴν ∠Ε ἡ ΗΛ, καὶ ἐπιζευχθεῖσα ἡ ΘΚ ἐκβεβλήσθω ἐπὶ τὸ Λ.

ἐπεῖ οὖν ἐστιν, ὡς ἡ ΑΕ πρὸς τὴν ΕΖ, οὕτως ἡ ΓΗ πρὸς τὴν ΗΖ, ἐναλλάξ ἐστιν, ὡς ἡ ΑΕ πρὸς τὴν ΓΗ ² οὕτως ἡ ΕΖ πρὸς τὴν ΖΗ. ὡς δὲ ἡ ΑΕ πρὸς τὴν ΓΗ οὕτως ἡ ΕΘ πρὸς τὴν ΗΛ καὶ ὡς ἀρα ἡ Ε πρὸς τὴν ΖΕ, οὕτως ἡ ΕΘ πρὸς τὴν ΗΛ. καί ἔστι παράλληλος ἡ ΕΘ τῇ ΗΛ· εὐθεῖα ἄρα ἐστὶν ἡ διὰ τῶν Θ, Λ, Ζ· ὅπερ ἔδει δεῖξαι.

[3] γ΄. Εἰς τρεῖς εὐθείας τὰς ΑΒ, ΓΑ, ∠Α διήχθωσαν δύο εὐθεῖαι αἱ ΘΕ. Θ∠· ὅτι ἐστίν, ὡς τὸ ὑπὸ ΘΕ ΗΖ πρὸς τὸ ὑπὸ ΘΗ, ΖΕ, οὕτως τὸ ὑπὸ ΘΒ,
∠Γ πρὸς τὸ ὑπὸ Θ∠, ΒΓ.

ἤχθω διὰ μὲν τοῦ Θ τῇ ΖΓΑ παράλληλος ἡ ΚΛ, καὶ αἱ ∠Α, ΑΒ συμπιπτέτωσαν αὐτῇ κατὰ
τὰ Κ, Λ σημεῖα, διὰ δὲ τοῦ Λ τῇ ∠Α παράλληλος ἡ ΛΜ καὶ συμπιπτέ τω τῇ ΕΘ ἐπὶ τὸ Μ.

ἐπεὶ οὖν ἐστιν, ὡς μὲν ἡ ΕΖ πρὸς τὴν ΖΑ, οὕτως ἡ ΕΘ πρὸς τὴν ΘΛ, ὡς δὲ ἡ Α πρὸς τὴν ΖΗ, οὕτως ἡ ΘΛ πρὸς τὴν ΘΜ καὶ γὰρ ἡ Θ Κ πρὸς τὴν ΘΗ ἐν παραλλήλῳ· διίσου ἄρα ἐστίν, ὡς ἡ ΕΖ πρὸς τὴν ΖΗ,
οὕτως ἡ ΕΘ πρὸς τὴν ΘΜ. τὸ ἄρα ὑπὸ τῶν ΘΕ, ΗΖ ἴσον ἐστὶν τῷ ὑπὸ τῶν ΕΖ, ΘΜ. ἄλλο δέ τι τυχὸν τὸ ὑπὸ τῶν ΕΖ, ΘΗ ἔστιν ἄρα, ὡς τὸ ὑπὸ τῶν ΕΘ, ΗΖ πρὸς τὸ ὑπὸ τῶν ΕΖ, ΗΘ, οὕτως τὸ ὑπὸ ΕΖ, ΘΜ πρὸς τὸ ὑπὸ ΕΖ, ΗΘ, τουτέστιν ἡ ΘΜ πρὸς ΘΗ, τουτέστιν
ἡ ΛΘ πρὸς τὴν ΘΚ. κατὰ τὰ αὐτὰ καί, ὡς ἡ ΚΘ πρὸς τὴν ΘΛ, οὕτως τὸ ὑπὸ Θ∠, ΒΓ πρὸς τὸ ὑπὸ ΘΒ, Γ∠ ἀνάπαλιν ἄρα γίνεται,
ὡςἡ ΛΘπρὸς τὴν ΘΚ, οὕτως τὸ ὑπὸ ΘΒ, Γ∠ πρὸς τὸ ὑπὸ Θ∠, ΒΓ. ὡς δὲ ἡ ΛΘ πρὸς
τὴν Θ Κ, οὕτως ἐδείχθη τὸ ὑπὸ ΕΘ, Η πρὸς τὸ ὑπὸ ΕΖ, ΗΘ καὶ ὡς ἄρα τὸ ὑπὸ ΕΘ, ΗΖ πρὸς τὸ ὑπὸ ΕΖ, ΗΘ, οὕτως
τὸ ὑπὸ ΘΒ, Γ∠ πρὸς τὸ ὑπὸ Θ∠, ΒΓ.

Διὰ δὲ τοῦ συνημμένου οὕτως· ἐπεὶ ὁ τοῦ ὑπὸ ΘΕ, ΗΖ πρὸς τὸ ὑπὸ ΘΗ, ΖΕ συνῆπται λόγος ἔκ τε τοῦ, ὃν ἔχει ἡ ΘΕ πρὸς τὴν ΕΖ, καὶ τοῦ, ὃν ἔχει ἡ ΖΗ πρὸς τὴν ΗΘ, καί ἐστιν, ὡς μὲν ἡ ΘΕ πρὸς τὴν ΕΖ, οὕτως ἡ Θ∠ πρὸς
τὴν ΖΑ, ὡς δὲ ἡ ΖΗ πρὸς τὴν ΗΘ, οὕτως ἡ ΖΑ πρὸς ⁴ τὴν ΘΚ, το ἄρα ὑπὸ ΘΕ, ΗΖ προς το ὑπὸ ΘΗ, ΕΖ συνῆπται ἔκ τε τοῦ, ὃν ἔχει ἡ ΘΛ πρὸς τὴν ΖΑ, καὶ τοῦ ὃν ἔχει ἡ ΖΑ πρὸς τὴν ΘΚ. ὁ δὲ συνημμένος ἔκ τε τοῦ τῆς ΘΛ πρὸς τὴν ΖΑ καὶ τοῦ τῆς ΖΑ πρὸς τὴν ΘΚ ὁ αὐτός ἐστιν τῷ τῆς ΘΛ πρὸς τὴν ΘΚ· ἔστιν ἄρα, ὡς τὸ ὑπὸ
ΘΕ, ΗΖ πρὸς τὸ ὑπὸ ΘΗ, ΖΕ, οὕτως ἡ ΘΛ πρὸς τὴν ΘΚ. διὰ ταὐτὰ καί, ὡς τὸ ὑπὸ Θ∠, ΒΓ πρὸς τὸ ὑπὸ ΘΒ, Γ∠, οὕτως ἐστὶν ἡ ΘΚ πρὸς τὴν ΘΛ. καὶ ἀνάπαλίν ἐστιν, ὡς τὸ ὑπὸ ΘΒ, Γ∠ πρὸς τὸ ὑπὸ Θ∠, ΒΓ, οὕτως ἡ ΘΛ πρὸς τὴν ΘΚ. ἦν δὲ καί, ὡς τὸ ὑπὸ τῶν
ΘΕ, ΖΗ πρὸς τὸ ὑπὸ ΘΗ, ΖΕ, οὕτως ἡ ΘΛ πρὸς τὴν ΘΚ· καὶ ὡς ἄρα τὸ ὑπὸ τῶν ΘΕ, ΖΗ πρὸς τὸ ὑπὸ ΘΗ, ΖΕ, οὕτως τὸ ὑπὸ ΘΒ, Γ∠ πρὸς τὸ ὑπὸ Θ∠, ΒΓ.

[4] δ΄. Καταγραφὴ ἡ ΑΒΓ∠ΕΖΗΘΚΛ, ἔστω δέ, ὡς
τὸ ὑπὸ ΑΖ, ΒΓ πρὸς τὸ ὑπὸ ΑΒ, ΓΖ, οὕτως τὸ ὑπὸ ΑΖ, ∠Ε πρὸς τὸ ὑπὸ Α∠, ΕΖ· ὅτι εὐθεῖά ἐστιν ἡ διὰ τῶν Θ, Η, Ζ σημείων.

ἐπεί ἐστιν, ὡς τὸ ὑπὸ ΑΖ, ΒΓ πρὸς τὸ ὑπὸ ΑΒ, ΓΖ, οὕτως τὸ ὑπὸ ΑΖ, ∠Ε πρὸς τὸ ὑπὸ Α∠, ΕΖ,
ἐναλλάξ ἐστιν, ὡς τὸ ὑπὸ ΑΖ, ΒΓ πρὸς τὸ ὑπὸ ΑΖ, ∠Ε, τουτέστιν ὡς ἡ ΒΓ πρὸς τὴν ∠Ε, οὕτως τὸ ὑπὸ ΑΒ, ΓΖ πρὸς τὸ ὑπὸ Α∠, ΕΖ. ἀλλ ὁ μὲν τῆς ΒΓ πρὸς τὴν ∠Ε συνῆπται λόγος, ἐὰν διὰ τοῦ Κ τῇ ΑΖ παράλληλος ἀχθῇ ἡ ΚΜ, ἔκ τε τοῦ τῆς ΒΓ πρὸς ΚΝ
καὶ τῆς ΚΝ πρὸς ΚΜ καὶ ἔτι τοῦ τῆς ΚΜ πρὸς ∠Ε, ὁ δὲ τοῦ ὑπὸ ΑΒ, ΓΖ πρὸς τὸ ὑπὸ Α∠, ΕΖ συνῆπται ἔκ τε τοῦ τῆς ΒΑ πρὸς Α∠ καὶ τοῦ τῆς ΓΖ πρὸς τὴν ΖΕ. κοινὸς ἐκκεκρούσθω ὁ τῆς ΒΑ πρὸς Α∠ ὁ αὐτὸς ὢν τῷ τῆς ΝΚ πρὸς ΚΜ· λοιπὸν ἄρα ὁ τῆς ΓΖ πρὸς
τὴν ΖΕ συνῆπται ἔκ τε τοῦ τῆς ΒΓ πρὸς τὴν ΚΝ, τουτέστιν τοῦ τῆς ΘΓ πρὸς τὴν ΚΘ, καὶ τοῦ τῆς ΚΜ πρὸς τὴν ∠Ε, τουτέστιν τοῦ τῆς ΚΗ πρὸς τὴν ΗΕ. εὐθεῖα ἄρα ἡ διὰ τῶν Θ, Η, Ζ.

ἐὰν γὰρ διὰ τοῦ Ε τῇ Θ παράλληλον ἀγάγω τὴν ΕΞ, καὶ ἐπιζευχθεῖσα ἡ ΘΗ ἐκβληθῇ ἐπὶ τὸ Ξ, ὁ μὲν τῆς ΚΗ πρὸς τὴν ΗΕ λόγος ὁ αὐτός ἐστιν τῷ τῆς ΚΘ πρὸς τὴν ΕΞ, ὁ δὲ συνημμένος ἔκ τε τοῦ τῆς Γ Θ πρὸς
τὴν ΘΚ καὶ τοῦ τῆς ΘΚ πρὸς τὴν ΕΞ μεταβαλλόμενος εἰς τὸν τῆς ΘΓ πρὸς ΕΞ λόγον, καὶ ὁ τῆς Γ Ζ πρὸς ΖΕ λόγος ὁ αὐτὸς τῷ τῆς ΓΘ πρὸς τὴν ΕΞ παραλλήλου οὔσης τῆς ΓΘ τῇ ΕΞ εὐθεῖα ἄρα ἐστὶν ἡ διὰ τῶν Θ, Ξ Ζ· τοῦτο γὰρ φανερόν· ὥστε καὶ ἡ διὰ τῶν
Θ, Η, Ζ εὐθεῖά ἐστιν.

[5] ε΄. Ἐὰν καταγραφὴ ἡ ΑΒΓ∠ΕΖΗΘ, γίνεται, ὡς ἡ Α∠ πρὸς τὴν ∠Γ, οὕτως ἡ ΑΒ πρὸς τὴν ΒΓ. ἔστω οὖν, ὡς ἡ Α∠ πρὸς τὴν ∠Γ. οὕτως ἡ Α πρὸς τὴν ΒΓ· ὅτι εὐθεῖά ἐστιν ἡ διὰ τῶν Α, Η, Θ.

ἤχθω διὰ τοῦ Η τῇ Α∠ παράλληλος ἡ ΚΛ. ἐπεὶ οὖν ἐστιν, ὡς ἡ Α∠ πρὸς τὴν ∠Γ, οὕτως ἡ ΑΒ πρὸς τὴν ΒΓ, ἀλλ᾿ ὡς μὲν ἡ Α∠ πρὸς τὴν ∠Γ οὕτως ἡ ΚΛ πρὸς τὴν ΛΗ, ὡς δὲ ἡ ΑΒ πρὸς τὴν ΒΓ, οὕτως ἡ ΚΗ πρὸς τὴν ΗΜ, καὶ ὡς ἄρα ἡ ΚΛ πρὸς τὴν ΛΗ, οὕτως
ἡ ΚΗ πρὸς τὴν ΗΜ, καὶ λοιπὴ ἡ ΗΛ πρὸς λοιπὴν τὴν ΛΜ ἐστιν, ὡς ἡ ΚΛ πρὸς τὴν ΛΗ, τουτέστιν ὡς ἡ Α∠ ⁵ πρὸς τὴν ∠Γ. ἐναλλάξ ἐστιν, ὡς ἡ Α∠ πρὸς τὴν ΗΛ, οὕτως ἡ Γ∠ πρὸς τὴν ΛΜ, τουτέστιν ἡ ∠Θ πρὸς ΘΛ. καί ἐστι παράλληλος ἡ ΗΛ τῇ Α∠· εὐθεῖα ἄρα ἐστὶν ἡ διὰ τῶν Α, Η, Θ σημείων· τοῦτο γὰρ φανερόν.

[6] ϛ΄. Πάλιν, ἐὰν καταγραφή, καὶ παράλληλος ἡ ∠Ζ
τῇ ΒΓ, γίνεται ἴση ἡ ΑΒ τῇ ΒΓ ἔστω οὖν ἴση· ὅτι παράλληλος.

ἔστιν δέ· ἐὰν γὰρ τῇ ΕΒ προσθῶ τῇ Ηβ ἴσην τὴν ΒΘ καὶ ἐπιζεύξω τὰς ΑΘ, ΘΓ, γίνεται παραλληλόγραμμον τὸ ΑΘΓΗ, καὶ διὰ τοῦτό ἐστιν, ὡς ἡ Α∠ πρὸς
τὴν ∠Ε, οὕτως ἡ Γ πρὸς τὴν ΖΕ· ἑκάτερος γὰρ τῶν εἰρημένων ὁ αὐτός ἐστιν τῷ τῆς Θ πρὸς τὴν ΗΕ λόγῳ· ὥστε παράλληλός ἐστιν ἡ ∠ τῇ ΑΓ.

[7] ζ΄. Ἔστω καταγραφή, καὶ τῶν ∠Β, ΒΓ μέση ἀνάλογον ἔστω ἡ ΒΑ ὅτι παράλληλός ἔστιν ἡ ΖΗ τῇ ΑΓ.

ἐκβεβλήσθω ἡ ΕΒ, καὶ διὰ τοῦ Α τῇ ∠Ζ εὐθείᾳ παράλληλος ἤχθω ἡ ΑΚ, καὶ ἐπεζεύχθω ἡ ΓΚ.

ἐπεὶ οὖν ἔστιν, ὡς ἡ Γ Β πρὸς τὴν ΒΑ, οὕτως ἡ ΑΒ πρὸς τὴν Β∠, ὡς δὲ ἡ ΑΒ πρὸς τὴν Β∠, οὕτως ἡ ΚΒ ⁶ πρὸς τὴν ΒΘ, καὶ ὡς ἄρα ἡ ΓΒ πρὸς τὴν ΒΑ, οὕτως ἡ Κ Β πρὸς τὴν ΒΘ· παράλληλος ἄρα ἐστὶν ἡ ΑΘ τῇ ΚΓ ἔστιν οὖν πάλιν, ὡς ἡ Α πρὸς τὴν ΖΕ, οὕτως ἡ ΓΗ πρὸς τὴν ΗΕ· ἑκάτερος γὰρ τῶν εἰρημένων λόγος
ὁ αὐτός ἐστιν τῷ τῆς ΚΘ πρὸς τὴν ΘΕ ὥστε παράλληλός ἐστιν ἡ ΖΗ τῇ Α∠.

[8] η΄. Ἔστω βωμίσκος ὁ ΑΒΓ∠ΕΖΗ, καὶ ἔστω παράλληλος ἡ μὲν ∠Ε τῇ ΒΓ, ἡ δὲ ΕΗ τῇ ΒΖ ὅτι καὶ ἡ ∠Ζ τῇ ΓΗ παράλληλός ἐστιν.

ἐπεζεύχθωσαν αἱ ΒΕ, ∠Γ, ΖΗ ἴσον ἄρα ἐστὶν τὸ ∠ΒΕ τρίγωνον τῷ ∠ΓΕ τριγώνῳ. κοινὸν προσκείσθω τὸ ∠ΑΕ τρίγωνον· ὅλον ἄρα τὸ
ΑΒΕ τρίγωνον ὅλῳ τῷ

Γ∠Α τριγώνῳ ἴσον ἐστίν. πάλιν, ἐπεὶ παράλληλός ἔστιν ἡ ΒΖ τῇ ΕΗ, ἴσον ἐστὶν τὸ ΒΖΕ
τρίγωνον τῷ ΒΖΗ τριγώνῳ. κοινὸν ἀφῃρήσθω τὸ ΑΒ Ζ τρίγωνον· λοιπὸν ἄρα τὸ ΑΒΕ τρίγωνον λοιπῷ τῷ ΑΗΖ τριγώνῳ ἴσον ἐστίν. ἀλλὰ τὸ ΑΒΕ τρίγωνον τῷ ΑΓ∠ τριγώνῳ
ἐστὶν ἴσον· καὶ τὸ ΑΓ∠ ἄρα τρίγωνον τῷ ΑΖΗ τριγώνῳ ἴσον ἐστίν. κοινὸν προσκείσθω τὸ ΑΓΗ τρίγωνον· ὅλον ἄρα τὸ Γ∠Η τρίγωνον ὅλῳ τῷ ΓΖΗ τριγώνῳ ἴσον ἐστίν. καί ἐστιν ἐπὶ τῆς αὐτῆς βάσεως τῆς ΓΗ· παράλληλος ἄρα ἐστὶν ἡ ΓΗ τῇ ∠Ζ.

[9] θ΄. Ἔστω τρίγωνον τὸ ΑΒΓ καὶ ἐν αὐτῷ διήχθωσαν αἱ Α∠, ΑΕ, καὶ τῇ ΒΓ παράλληλος ἤχθω ἡ ΖΗ, καὶ ⁷ κεκλάσθω ἡ ΖΘΗ, ἔστω δέ, ὡς ἡ ΒΘ πρὸς τὴν ΘΓ, οὕτως ἡ ∠Θ πρὸς τὴν ΘΕ ὅτι παράλληλός ἔστιν ἡ ΚΛ τῇ ΒΓ.

ἐπεὶ γάρ ἐστιν, ὡς ἡ ΒΘ πρὸς τὴν ΘΓ, οὕτως ἡ ∠Θ πρὸς τὴν ΘΕ, λοιπὴ ἄρα ἡ Β∠ πρὸς λοιπὴν τὴν ΓΕ
ἐστιν, ὡς ἡ ∠Θ πρὸς τὴν ΘΕ. ὡς δὲ ἡ Β∠ πρὸς τὴν ΕΓ, οὕτως ἐστὶν ἡ ΖΜ πρὸς Ν καὶ ὡς ἄρα ἡ ΖΜ πρὸς ΝΗ, οὕτως ἐστὶν ἡ ∠Θ πρὸς τὴν ΘΕ. ἐναλλάξ ἔστιν, ὡς ἡ ΖΜ πρὸς
τὴν ∠Θ, οὕτως ἡ ΝΗ πρὸς τὴν ΘΕ. ἀλλʼ ὡς μὲν ἡ ΖΜ πρὸς τὴν ∠Θ, οὕτως ἐστὶν ἐν παραλλήλῳ ἡ ΖΚ πρὸς τὴν ΚΘ, ὡς δὲ
ἡ ΗΝ πρὸς τὴν ΘΕ, οὕτως ἐστὶν ἡ ΗΛ πρὸς τὴν ∠Θ καὶ ὡς ἄρα ἡ ΖΚ πρὸς τὴν Κ Θ, οὕτως ἐστὶν ἡ ΗΛ πρὸς τὴν ∠Θ. παράλληλος ἄρα ἐστὶν ἡ ΚΛ τῇ ΗΖ·
ὥστε καὶ τῇ ΓΒ.

[10] ι΄. Εἰς δύο εὐθείας τὰς ΒΑΕ, ∠ΑΗ ἀπὸ τοῦ Θ σημείου δύο διήχθωσαν εὐθεῖαι αἱ ∠Θ, ΘΕ, ἔστω δέ, ὡς τὸ ὑπὸ τῶν ∠Θ, ΒΓ πρὸς τὸ ὑπὸ ∠Γ, ΒΘ, οὕτως τὸ ὑπὸ ΘΗ, ΖΕ πρὸς τὸ ὑπὸ ΘΕ, ΖΗ ὅτι εὐθεῖά ἔστιν
ἡ διὰ τῶν Α, Ζ.

ἤχθω διὰ τοῦ Θ τῇ ΓΑ παράλληλος ἡ ΚΛ καὶ συμπιπτέτω ταῖς ΑΒ, Α∠ κατὰ τὰ Κ, Λ σημεῖα, καὶ διὰ τοῦ Λ τῇ Α∠ παράλληλος ἤχθω ἡ ΛΜ, καὶ ἐκβεβλήσθω ἡ ΕΘ ἐπὶ τὸ Μ, διὰ δὲ τοῦ Κ τῇ ΑΒ παράλληλος ἤχθω
ἡ ΚΝ, καὶ ἐκβεβλήσθω ἡ ∠Θ ἐπὶ τὸ Ν.

ἐπεὶ οὖν διὰ τὰς παραλλήλους γίνεται, ὡς ἡ ∠Θ πρὸς τὴν ΘΝ, οὕτως ἡ ∠Γ πρὸς τὴν ΓΒ, τὸ ἄρα ὑπὸ τῶν ∠Θ, ΓΒ ἴσον ἐστὶν τῷ ὑπὸ τῶν ∠Γ, ΘΝ. ἄλλο δέ τι τυχὸν τὸ ὑπὸ ∠Γ ΒΘ· ἔστιν ἄρα, ὡς τὸ ὑπὸ ∠Θ, ΒΓ πρὸς τὸ ὑπὸ ∠Γ ΒΘ, οὕτως τὸ ὑπὸ Γ∠, ΘΝ πρὸς τὸ ὑπὸ ∠Γ ΒΘ, τουτέστιν ἡ ΘΝ πρὸς ΘΒ. ἀλλ᾿ ὡς μὲν τὸ ὑπὸ Θ∠, ΒΓ πρὸς τὸ ὑπὸ ∠Γ. ΒΘ, ὑπόκειται
τὸ ὑπὸ ΘΗ, ΖΕ πρὸς τὸ ὑπὸ ΘΕ, ΖΗ, ὡς δὲ ἡ ΘΝ πρὸς ΘΒ, οὕτως ἡ ΚΘ πρὸς ΘΛ, τουτέστιν ἐν παραλλήλῳ ἡ ΗΘ πρὸς τὴν ΘΜ, τουτέστιν τὸ ὑπὸ ΘΗ, ΖΕ πρὸς τὸ ὑπὸ ΘΜ, ΖΕ καὶ ὡς ἄρα τὸ ὑπὸ ΘΗ, ΖΕ πρὸς τὸ ὑπὸ ΘΕ, ΖΗ, οὕτως ἐστὶν τὸ ὑπὸ ΘΗ, ΖΕ
πρὸς τὸ ὑπὸ ΘΜ, ΖΕ ἴσον ἄρα ἐστὶν τὸ ὑπὸ ΘΕ, ΖΗ τῷ ὑπὸ ΘΜ, ΖΕ. καὶ ἐπεί ἐστιν, ὡς ἡ ΘΜ πρὸς τὴν ΘΕ, οὕτως ἡ ΗΖ πρὸς τὴν ΖΕ, συνθέντι καὶ ἐναλλάξ ἐστιν, ὡς ἡ ΜΕ πρὸς τὴν ΕΗ, οὕτως ἡ ΘΕ πρὸς τὴν ΕΖ. ἀλλʼ ὡς ἡ ΜΕ πρὸς τὴν ΕΗ, οὕτως ἐστὶν ἡ ΛΕ
πρὸς τὴν ΕΑ· καὶ ὡς ἄρα ἡ ΛΕ πρὸς τὴν ΕΑ, οὕτως ἡ ΘΕ πρὸς τὴν ΕΖ· παράλληλος ἄρα ἐστὶν ἡ ΑΖ τῇ ΚΛ. ἀλλὰ καὶ ἡ ΓΑ εὐθεῖα ἄρα ἐστὶν ἡ ΓΑΖ· ὅπερ ἔδει δεῖξαι.

⁸

τὰ δὲ πτωτικὰ αὐτοῦ ὁμοίως τοῖς προγεγραμμένοις, ὧν ἐστιν ἀναστρόφιον.

[11] ια΄. Τρίγωνον τὸ ΑΒΓ. καὶ τῇ ΒΓ παράλληλος ἡ Α∠, καὶ διαχθεῖσα ἡ ∠Ε τῇ ΒΓ συμπιπτέτω κατὰ τὸ Ε σημεῖον· ὅτι ἐστίν, ὡς τὸ ὑπὸ ∠Ε, ΖΗ πρὸς τὸ ὑπὸ ΕΖ,
Η∠, οὕτως ἡ ΓΒ πρὸς τὴν ΒΕ.

ἤχθω διὰ τοῦ Γ τῇ ∠Ε παράλληλος ἡ ΓΘ, καὶ ἐκβεβλήσθω ἡ ΑΒ ἐπὶ τὸ Θ.

ἐπεὶ οὖν ἐστιν, ὡς ἡ Γ πρὸς τὴν ΑΗ, οὕτως ἡ ΓΘ πρὸς τὴν ΖΗ, ὡς δὲ ἠ Γ πρὸς τὴν ΑΗ, οὕτως ἐστὶν
ἡ Ε∠ πρὸς τὴν ∠Η. καὶ ὡς ἄρα ἡ Ε∠ πρὸς τὴν ∠Η, οὕτως ἐστὶν ἡ ΘΓ πρὸς τὴν ΖΗ τὸ ἄρα ὑπὸ τῶν ΓΘ, ∠Η ἴσον ἐστὶν τῷ ὑπὸ τῶν Ε∠, ΖΗ. ἄλλο δέ τι τυχὸν τὸ ὑπὸ ΕΖ, Η∠ ἔστιν ἄρα, ὡς τὸ ὑπὸ ∠Ε, ΖΗ πρὸς τὸ ὑπὸ ∠Η, ΕΖ, οὕτως τὸ ὑπὸ ΓΘ, ∠Η πρὸς τὸ ὑπὸ
∠Η, ΕΖ, τουτέστιν ἡ ΓΘ πρὸς ΕΖ, τσυτέστιν ἡ ΓΒ πρὸς ΒΕ. ἔστιν οὖν, ὡς τὸ ὑπὸ ∠Ε, ΖΗ πρὸς τὸ ὑπὸ ΕΖ, Η∠, οὕτως ἡ ΓΒ πρὸς ΒΕ.

τὰ δʼ αὐτά, κἂν ἐπὶ τὰ ἕτερα μέρη ἀχθῇ ἡ Α∠ παράλληλος, καὶ ἀπὸ τοῦ ∠ ἐκτὸς ὡς ἐπὶ τὸ Γ διαχθῇ ἡ εὐθεῖα.

[12] ιβ΄. Ἀποδεδειγμένων οὖν τούτων ἔσται δεῖξαι, ὅτι, ἐὰν παράλληλοι ὦσιν αἱ ΑΒ, Γ∠, καὶ εἰς αὐτὰς ἐμπίπτωσιν
εὐθεῖαί τινες αἱ Α∠, Α Ζ, ΒΓ ΒΖ, καὶ ἐπιζευχθῶσιν αἱ Ε∠, ΕΓ, ὅτι γίνεται εὐθεῖα ἡ διὰ τῶν Η, Μ, Κ.

ἐπεὶ γὰρ τρίγωνον τὸ ∠ΑΖ, καὶ τῇ ∠ Ζ παράλληλος ἡ ΑΕ, καὶ διῆκται ἡ ΕΓ συμπίπτουσα τῇ ∠ κατὰ τὸ
Γ, διὰ τὸ προγεγραμμένον γίνεται, ὡς ἡ ∠ Ζ πρὸς τὴν ΖΓ, οὕτως τὸ ὑπὸ ΓΕ, ΗΘ πρὸς τὸ ὑπὸ ΓΗ, ΘΕ πάλιν, ἐπεὶ τρίγωνόν ἐστιν τὸ Γ ΒΖ, καὶ τῇ Γ∠ παράλληλος ἦκται ἡ ΒΕ, καὶ διῆκται ἡ ∠Ε συμπίπτουσα τῇ ΓΖ∠ κατὰ τὸ ∠, γίνεται, ὡς ἡ ΓΖ πρὸς τὴν Ζ∠,
οὕτως τὸ ὑπὸ ∠Ε, ΛΚ πρὸς τὸ ὑπὸ ∠Κ, ΛΕ· ἀνάπαλιν ἄρα γίνεται, ὡς ἡ ∠ Ζ πρὸς τὴν ΖΓ, οὕτως τὸ ὑπὸ ∠Κ, ΛΕ πρὸς τὸ ὑπὸ ∠Ε, ΛΚ. ἦν δὲ καί, ὡς ἡ ∠Ζ πρὸς τὴν Ζ οὕτως τὸ ὑπὸ ΓΕ, ΗΘ πρὸς τὸ ὑπὸ ΓΗ, ⁹ ΘΕ· καὶ ὡς ἄρα τὸ ὑπὸ ΓΕ, ΗΘ πρὸς τὸ ὑπὸ ΓΗ, ΘΕ ὕτως ἐστὶν τὸ ὑπὸ ∠Κ, ΛΕ πρὸς τὸ ὑπὸ ∠Ε, ΚΛ. πεὶ οὖν εἰς δύο εὐθείας τὰς Γ ΜΛ, ΘΜ∠ δύο εὐθεῖαι διηγμέναι εἰσὶν αἱ ΕΓ, Ε∠, καί ἐστιν, ὡς τὸ ὑπὸ ΓΕ, ΗΘ πρὸς τὸ ὑπὸ ΓΗ, ΘΕ, οὕτωσ τὸ ὑπὸ ∠Κ, ΕΛ πρὸς
τὸ ὑπὸ ∠Ε, ΛΚ, εὐθεῖα ἄρα ἐστὶν ἡ διὰ τῶν Η, Μ, Κ τοῦτο γὰρ προδέδεικται.

[13] ιγ΄. Ἀλλὰ δὴ μὴ ἔστωσαν αἱ ΑΒ, Γ∠ παράλληλοι, ἀλλὰ συμπιπτέτωσαν κατὰ τὸ Ν· ὅτι πάλιν εὐθεῖά ἐστιν ἡ διὰ τῶν Η, Μ, Κ.

ἐπεὶ εἰς τρεῖς εὐθείας τὰς ΑΝ, ΑΖ, Α∠ ἀπὸ τοῦ αὐτοῦ σημείου τοῦ Γ δύο διηγμέναι εἰσὶν αἱ
ΓΕ Γ∠, γίνεται, ὡς τὸ ὑπὸ ΓΕ, ΗΘ πρὸς τὸ ὑπὸ ΓΗ, ΘΕ, οὕτως τὸ ὑπὸ τῶν ΓΝ, Ζ∠ πρὸς τὸ ὑπὸ τῶν
Ν∠, Γ Ζ. πάλιν ἐπεὶ ἀπὸ τοῦ αὐτοῦ σημείου τοῦ ∠ εἰς τρεῖς εὐθείας τὰς ΒΝ, ΒΓ, ΒΖ δύο εἰσὶν διηγμέναι αἱ ∠Ε, ∠Ν, ἔστιν, ὡς τὸ ὑπὸ ΝΓ, Ζ∠ πρὸς τὸ ὑπὸ Ν∠, ΖΓ οὕτως τὸ ὑπὸ ∠Κ, ΕΛ πρὸς τὸ ὑπὸ ∠Ε,
ΚΛ. ἀλλʼ ὡς τὸ ὑπὸ ΝΓ, Ζ∠ πρὸς τὸ ὑπὸ Ν∠, Γ Ζ, οὕτως ἐδείχθη τὸ ὑπὸ ΓΕ, πρὸς τὸ ὑπὸ ΓΗ, ΘΕ καὶ ὡς ἄρα τὸ ὑπὸ ΓΕ ΘΗ πρὸς τὸ ὑπὸ ΓΗ, ΘΕ, οὕτως ἐστὶν τὸ ὑπὸ ∠Κ, ΕΛ πρὸς τὸ ὑπὸ ∠Ε, ΚΛ. διὰ δὴ τὸ προγεγραμμένον εὐθεῖά ἐστιν ἡ διὰ τῶν Η, Μ, Κ.

¹⁰

[14] ιδʹ. Ἔστω παράλληλος ἡ ΑΒ τῇ Γ∠, καὶ διήχθωσαν αἱ ΑΕ, ΓΒ, καὶ σημεῖον ἐπὶ τῆς ΒΗ τὸ Ζ, ὥστε εἶναι, ὡς τὴν ∠Ε πρὸς τὴν ΕΓ, οὕτως τὸ ὑπὸ ΓΒ, ΗΖ πρὸς τὸ ὑπὸ ΖΒ, ΓΗ ὅτι εὐθεῖά ἐστιν ἡ διὰ τῶν Α, Ζ, ∠.

ἤχθω διὰ μὲν τοῦ ∠ τῇ ΒΓ παράλληλος ἡ ∠Θ, καὶ ἐκβεβλήσθω ἡ ΑΕ ἐπὶ τὸ Θ, διὰ δὲ τοῦ Θ τῇ Γ∠ παράλληλος ἡ Θ Κ, καὶ ἐκβεβλήσθω ἡ Β ἐπὶ τὸ Κ.

ἐπεὶ οὖν ἐστιν, ὡς ἡ ∠Ε πρὸς
τὴν ΕΓ. οὕτως τὸ ὑπὸ ΓΒ, Ζ πρὸς τὸ ὑπὸ ΒΖ, ΓΗ, ὡς δὲ ἡ ∠Ε πρὸς τὴν ΕΓ, οὕτως ἐστὶν ἥ τε ∠Θ πρὸς τὴν Γ καὶ τὸ ὑπὸ ∠Θ, ΒΖ πρὸς τὸ ὑπὸ τῶν ΓΗ,
ἴσον ἄρα ἐστὶν τὸ ὑπὸ τῶν ΒΓ ΖΗ τῷ ὑπὸ ∠Θ, ΒΖ ἀνάλογον ἄρα ἐστίν, ὡς ἡ ΓΒ πρὸς τήν ΒΖ, οὕτως ἡ ∠Θ, τουτέστιν ἡ Γ Κ, πρὸς τὴν ΗΖ καὶ ὅλη ἄρα ἡ ΚΒ πρὸς ὅλην τὴν Β ἐστιν, ὡς ἡ ΚΓ πρὸς ΖΗ
τουτέστιν ὡς ἡ ∠Θ πρὸς ΖΗ. ἀλλʼ ὡς ἡ ΚΒ πρὸς Β ἐν παραλλήλῳ, οὕτως ἐστὶν ἡ ΘΑ πρὸς ΑΗ καὶ ἡ ∠Θ πρὸς ΖΗ. καί εἰσιν παράλληλοι αἱ ∠Θ, ΖΗ· εὐθεῖα ἄρα ἐστὶν ἡ διὰ τῶν Α, Ζ, ∠ σημείων.

[15] ιεʹ. Τούτου προτεθεωρημένου ἔστω παράλληλος ἡ ΑΒ
τῇ Γ∠, καὶ εἰς αὐτὰς ἐμπιπτέτωσαν εὐθεῖαι αἱ ΑΖ, ΖΒ, ΓΕ, Ε∠, καὶ ἐπεζεύχθωσαν αἱ ΒΓ, ΗΚ ὅτι εὐθεῖά ἐστιν ἡ διὰ τῶν Α, Μ, ∠.

Ἐπεζεύχθω ἡ ∠Μ καὶ ἐκβεβλήσθω ἐπὶ τὸ Θ.

ἐπεὶ οὖν τριγώνου τοῦ ΒΓΖ ἐκτὸς ἀπὸ τῆς κορυφῆς ¹¹ τοῦ Β σημείου τῇ Γ∠ παράλληλος ἦκται ἡ ΒΕ, καὶ διῆκται ἡ ∠ Ε, γίνεται, ὡς ἡ Γ Ζ πρὸς Ζ∠, οὕτως τὸ ὑπὸ ∠Ε, ΚΛ πρὸς τὸ ὑπὸ ΕΛ, Κ∠. ὡς δὲ τὸ ὑπὸ ∠Ε, ΚΛ πρὸς τὸ ὑπὸ ∠ Κ, ΛΕ, οὕτως ἐστὶν τὸ ὑπὸ ΓΗ, ΘΕ πρὸς τὸ ὑπὸ ΓΕ, ΗΘ, ἐπεὶ εἰς τρεῖς εὐθείας τὰς
ΓΛ, ∠Θ, ΗΚ δύο εἰσὶν διηγμέναι ἀπὸ τοῦ αὐτοῦ σημείου τοῦ Ε α ΕΓ, Ε∠ καὶ ὡς ἄρα ἡ ∠Ζ πρὸς ΖΓ οὕτως ἐστὶν τὸ ὑπὸ ΓΕ, ΗΘ πρὸς τὸ ὑπὸ ΓΗ ΘΕ. διὰ τὸ προγεγραμμένον ἄρα ἡ διὰ τῶν Α, Μ, ∠ ἐστιν εὐθεῖα.

[16] ιϚ΄. Εἰς δύο εὐθείας τὰς ΑΒ, ΑΓ ἀπὸ τοῦ αὐτοῦ σημείου
τοῦ ∠ δύο διήχθωσαν αἱ ∠Β, ∠Ε, καὶ ἐπʼ αὐτῶν εἰλήφθω σημεῖα τὰ Η, Θ, ἔστω δέ, ὡς τὸ ὑπὸ ΕΗ, Ζ∠ πρὸς τὸ ὑπὸ ∠Ε, ΗΖ, οὕτως τὸ ὑπὸ ΒΘ, Γ∠ πρὸς τὸ ὑπὸ Β∠, ΓΘ ὅτι εὐθεῖά ἐστιν ἡ διὰ τῶν Α, Η, Θ.

ἤχθω διὰ τοῦ Η τῇ Β∠ παράλληλος ἡ ΚΛ.

ἐπεὶ οὖν ἐστιν, ὡς τὸ ὑπὸ ΕΗ, Ζ∠ πρὸς τὸ ὑπὸ ∠Ε, ΖΗ, οὕτως τὸ ὑπὸ ΒΘ, Γ∠ πρὸς τὸ ὑπὸ Β∠, ΓΘ, ἀλλὰ ὁ τοῦ ὑπὸ ΕΗ, Ζ∠ πρὸς τὸ ὑπὸ ∠Ε, ΗΖ συνῆπται ¹² λόγος ἔκ τε τοῦ ὃν ἔχει ἡ ΗΕ πρὸς Ε∠, τουτέστιν ἡ ΚΗ πρὸς Β∠, καὶ ἐξ οὗ ὃν ἔχει ἡ ∠Ζ πρὸς ΖΗ, τουτέστιν ἡ Γ∠ πρὸς τὴν ΗΛ, ὁ δὲ τοῦ ὑπὸ ΒΘ, Γ∠ πρὸς τὸ ὑπὸ Β∠, ΓΘ συνῆπται λόγος ἔκ τε τοῦ ὃν ἔχει ἡ
ΘΒ πρὸς Β∠ καὶ ἐξ οὗ ὃν ἔχει ἡ ∠Γ πρὸς ΓΘ, καὶ ὁ ἔκ τε τοῦ τῆς Κ ἄρα πρὸς Β∠ καὶ τοῦ τῆς ∠Γ πρὸς ΗΛ ὁ αὐτός ἐστιν τῷ συνημμένῳ ἔκ τε τοῦ τῆς ΒΘ πρὸς Β∠ καὶ τοῦ τῆς ∠Γ πρὸς ΓΘ. ὁ δὲ τῆς ΚΗ πρὸς Β∠ συνῆπται ἔκ τε τοῦ τῆς ΚΗ πρὸς ΒΘ καὶ τοῦ τῆς
ΒΘ πρὸς Β∠· ὁ ἄρα συνημμένος ἔκ τε τοῦ τῆς ΚΗ πρὸς ΒΘ καὶ τοῦ τῆς ΒΘ πρὸς Β∠ καὶ ἔτι τοῦ τῆς ∠Γ πρὸς ΗΛ ὁ αὐτός ἐστιν τῷ συνημμένῳ ἔκ τε τοῦ τῆς ΒΘ πρὸς Β∠ καὶ τοῦ τῆς ∠Γ πρὸς ΓΘ. κοινὸς ἐκκεκρούσθω ὁ τῆς Θ Β πρὸς Β∠ λόγος· λοιπὸς ἄρα ὁ
συνημμένος ἔκ τε τοῦ τῆς ΚΗ πρὸς ΒΘ καὶ τοῦ τῆς ∠Γ πρὸς ΚΛ ὁ αὐτός ἐστιν τῷ τῆς ∠Γ πρὸς τὴν ΓΘ, τουτέστιν τῷ συνημμένῳ ἔκ τε τοῦ τῆς ∠Γ πρὸς τὴν ΗΛ καὶ τοῦ τῆς ΗΛ πρὸς τὴν ΘΓ. καὶ πάλιν κοινὸς ἐκκεκρούσθω ὁ τῆς ∠Γ πρὸς τὴν ΗΛ λόγος· λοιπὸς
ἄρα ὁ τῆς ΚΗ πρὸς τὴν ΒΘ λόγος ὁ αὐτός ἐστιν τῷ τῆς ΗΛ πρὸς τὴν ΘΓ. καὶ ἐναλλάξ ἐστιν, ὡς ἡ ΚΗ πρὸς τὴν ΗΛ, οὕτως ἡ ΒΘ πρὸς τὴν ΘΓ. καί εἴσιν αἱ ΚΛ, ΒΓ παράλληλοι· εὐθεῖα ἄρα ἐστὶν ἡ διὰ τῶν Α, Η, Θ σημείων.

[17] ιζ΄. Ἀλλὰ δὴ μὴ ἔστω παράλληλος ἡ ΑΒ τῇ Γ∠, ἀλλὰ συμπιπτέτω κατὰ τὸ Ν.

ἐπεὶ οὖν ἀπὸ τοῦ αὐτοῦ σημείου τοῦ ∠ εἰς τρεῖς εὐθείας τὰς ΒΝ, ΒΓ, ΒΖ δύο εὐθεῖαι διηγμέναι εἰσὶν αἱ ∠Ε, ∠Ν, ἔστιν, ὡς τὸ ὑπὸ Ν∠, ΓΖ πρὸς τὸ ὑπὸ
ΝΓ, ∠Ζ, οὕτως τὸ ὑπὸ ∠Ε, ΚΛ πρὸς τὸ ὑπὸ ΕΛ, Κ∠. ὡς δὲ τὸ ὑπὸ Ε∠, ΚΛ πρὸς τὸ ὑπὸ ΕΛ, Κ∠, οὕτως ἐστὶν τὸ ὑπὸ ΕΘ, ΓΗ πρὸς τὸ ὑπὸ ΕΓ, ΘΗ· πάλιν ¹³ γὰρ εἰς τρεῖς τὰς ΓΛ, ∠Θ, ΗΚ ἀπὸ τοῦ αὐτοῦ σημείου τοῦ Ε δύο ἠγμέναι εἰσὶν αἱ ΕΓ, Ε∠· καὶ ὡς ἄρα τὸ ὑπὸ ΕΘ, ΓΗ πρὸς τὸ ὑπὸ ΕΓ, ΘΗ, οὕτως τὸ ὑπὸ Ν∠, ΓΖ πρὸς τὸ ὑπὸ ΝΓ, Ζ∠. διὰ δὴ τὸ προγεγραμμένον εὐθεῖά ἐστιν ἡ διὰ τῶν Α, Θ, ∠· καὶ ἡ διὰ τῶν Α, Μ,
Δ ἄρα εὐθεῖά ἐστιν.

[18] ιη΄. Τρίγωνον τὸ ΑΒΓ, καὶ τῇ ΒΓ παράλληλος ἤχθω ἡ Α∠, καὶ διήχθωσαν αἱ ∠Ε, ΖΗ, ἔστω δέ, ὡς τὸ ἀπὸ ΕΒ πρὸς τὸ ὑπὸ ΕΓΒ, οὕτως ἡ ΒΗ πρὸς τὴν ΗΓ· ὅτι, ἐὰν ἐπιζευχθῇ ἡ Β∠, γίνεται εὐθεῖα ἡ διὰ τῶν
Θ, Κ, Γ.

ἐπεί ἔστιν, ὡς τὸ ἀπὸ τῆς ΕΒ πρὸς τὸ ὑπὸ ΕΓΒ, οὕτως ἡ ΒH πρὸς ΗΓ, κοινὸς ἄρα προσκείσθω ὁ τῆς ΓΕ πρὸς ΕΒ λόγος ὁ αὐτὸς ὢν τῷ τοῦ ὑπὸ ΕΓΒ πρὸς τὸ ὑπὸ ΚΒΓ· δι᾿ ἴσου ἄρα ὁ τοῦ ἀπὸ ΕΒ πρὸς τὸ ὑπὸ
ΕΒΓ λόγος, τουτέστιν ὁ τῆς ΕΒ πρὸς τὴν ΒΓ, ὁ αὐτός ἐστιν τῷ συνημμένῳ ἔκ τε τοῦ τῆς ΒΗ πρὸς ΗΓ καὶ τοῦ τοῦ ὑπὸ ΕΓΒ πρὸς τὸ ὑπὸ ΕΒΓ, ὅς ἔστιν ὁ αὐτὸς τῷ τῆς ΕΓ πρὸς ΕΒ· ὥστε ὁ τοῦ ἀπὸ ΕΒ πρὸς τὸ ὑπὸ ¹⁴ ΕΒΓ συνῆπται ἔκ τε τοῦ ὃν ἔχει ἡ ΒΗ πρὸς ΗΓ καὶ τοῦ ὃν ἔχει ἡ ΕΓ πρὸς ΕΒ, ὅς ἐστιν ὁ αὐτὸς τῷ τοῦ ὑπὸ ΕΓ, ΒΗ πρὸς τὸ ὑπὸ ΕΒ, ΓΗ. ὡς δὲ ἡ ΕΒ πρὸς τὴν ΒΓ, οὕτως ἐστὶν διὰ τὸ προγεγραμμένον λῆμμα τὸ
ὑπὸ ∠Ε, ΖΘ πρὸς τὸ ὑπὸ ∠Ζ, ΘΕ· καὶ ὡς ἄρα τὸ ὑπὸ ΓΕ, ΒΗ πρὸς τὸ ὑπὸ ΓΗ, ΕΒ, οὕτως ἐστὶν τὸ ὑπὸ ∠Ε, ΖΘ πρὸς τὸ ὑπὸ ∠Ζ, ΘΕ. εὐθεῖα ἄρα ἐστὶν ἡ διὰ τῶν Θ, Κ, Γ· τοῦτο γὰρ ἐν τοῖς πτωτικοῖς τῶν ἀναστροφίων.

[19] ιθ΄. Εἰς τρεῖς εὐθείας τὰς ΑΒ, ΑΓ, Α∠ ἀπό τινος σημείου τοῦ Ε δύο διήχθωσαν αἱ ΕΖ, ΕΒ, ἔστω δέ, ὡς ἡ ΕΖ πρὸς τὴν ΖΗ, οὕτως ἡ ΘΕ πρὸς τὴν ΘΗ ὅτι γίνεται
καί, ὡς ἡ ΒΕ πρὸς τὴν ΒΓ, οὕτως ἡ Ε∠ πρὸς τὴν ∠Γ.

ἤχθω διὰ τοῦ Η τῇ ΒΕ παράλληλος ἡ ΛΚ.

ἐπεὶ οὖν ἐστιν, ὡς ἡ ΕΖ ¹⁵ πρὸς τὴν ΖΗ, οὕτως ἡ ΕΘ πρὸς τὴν ΘΗ, ἀλλ᾿ ὡς μὲν ἡ ΕΖ πρὸς τὴν ΖΗ, οὕτως ἡ ΕΒ πρὸς τὴν ΗΚ, ὡς δὲ ἡ ΕΘ πρὸς τὴν ΘΗ, οὕτως ἐστὶν ἡ ∠Ε πρὸς τὴν ΗΛ, καὶ ὡς ἄρα ἡ ΒΕ πρὸς τὴν ΗΚ, οὕτως ἐστὶν ἡ ∠Ε πρὸς τὴν ΗΛ. ἐναλλάξ ἐστιν, ὡς ἡ ΕΒ πρὸς τὴν Ε∠,
οὕτως ἡ Κ πρὸς τὴν ΗΛ. ὡς δὲ ἡ ΚΗ πρὸς τὴν ΗΛ, οὕτως ἐστὶν ἡ ΒΓ πρὸς τὴν Γ∠ καὶ ὡς ἄρα ἡ ΒΕ πρὸς τὴν Ε∠, οὕτως ἡ ΒΓ πρὸς τὴν Γ∠. ἐναλλάξ ἐστιν, ὡς ἡ ΕΒ πρὸς τὴν ΒΓ, οὕτως ἡ Ε∠ πρὸς τὴν ∠Γ.

τὰ δὲ πτωτικὰ ὁμοίως.

[20] κ΄. Ἔστω δύο τρίγωνα τὰ ΑΒΓ, ∠ΕΖ ἴσας ἔχοντα τὰς Α, ∠ γωνίας· ὅτι ἐστίν, ὡς τὸ ὑπὸ ΒΑΓ πρὸς τὸ ὑπὸ Ε∠Ζ, οὕτως τὸ ΑΒΓ τρίγωνον πρὸς τὸ Ε∠ τρίγωνον.

ἤχθωσαν κάθετοι αἱ ΒΗ, ΕΘ.

ἐπεὶ οὖν ἴση ἐστὶν ἡ μὲν Α γωνία τῇ ∠, ἡ δὲ Η τῇ
Θ, ἔστιν ἄρα, ὡς ἡ ΑΒ πρὸς τὴν ΒΗ, οὕτως ἡ ∠Ε πρὸς τὴν ΕΘ. ἀλλ᾿ ὡς μὲν ἡ ΑΒ πρὸς τὴν ΒΗ, οὕτως ἐστὶν τὸ ὑπὸ ΒΑΓ πρὸς τὸ ὑπὸ ΒΗ, ΑΓ, ὡς δὲ ἡ ∠Ε πρὸς τὴν ΕΘ, οὕτως ἐστὶν τὸ ὑπὸ Ε∠Ζ πρὸς τὸ ὑπὸ ΕΘ, ∠Ζ ἔστιν ἄρα, ὡς τὸ ὑπὸ ΒΑΓ πρὸς τὸ ὑπὸ ΒΗ,
ΑΓ, οὕτως τὸ ὑπὸ Ε∠Ζ πρὸς τὸ ὑπὸ ΕΘ, ∠Ζ· καὶ ἐναλλάξ. ἀλλ᾿ ὡς τὸ ὑπὸ ΒΗ, ΑΓ πρὸς τὸ ὑπὸ ΕΘ, ∠Ζ, οὕτως ἐστὶν τὸ ΑΒΓ τρίγωνον πρὸς τὸ ∠ΕΖ τρίγωνον· ἐκατέρα γὰρ τῶν ΒΗ, ΕΘ κάθετός ἐστιν ἑκατέρου τῶν εἰρημένων τριγώνων· καὶ ὡς ἄρα τὸ ὑπὸ ΒΑΓ πρὸς τὸ
¹⁶ ὑπὸ Ε∠Ζ, οὕτως ἐστὶν τὸ ΑΒΓ τρίγωνον πρὸς τὸ ∠ΕΖ τρίγωνον.

[21] κα΄. Ἔστωσαν δὴ αἱ Α, ∠ δυσὶν ὀρθαῖς ἴσαι· ὅτι πάλιν γίνεται, ὡς τὸ ὑπὸ ΒΑΓ πρὸς τὸ ὑπὸ Ε∠Ζ, οὕτως
τὸ ΑΒΓ τρίγωνον πρὸς τὸ ∠ΕΖ τρίγωνον.

ἐκβεβλήσθω ἡ ΒΑ, καὶ κείσθω τῇ ΒΑ ἴση ἡ ΑΗ, καὶ ἐπεζεύχθω ἡ ΓΗ.

ἐπεὶ οὖν αἱ Α, Δ γωνίαι δυσὶν ὀρθαῖς ἴσαι εἰσίν, ἀλλὰ καὶ αἱ ὑπὸ ΒΑΓ, ΓΑΗ γωνίαι δυσὶν ὀρθαῖς, ἴση
ἄρα ἐστὶν ἡ ὑπὸ ΓΑΗ γωνία τῇ ∠. ἔστιν οὖν, ὡς τὸ ὑπὸ ΗΑΓ πρὸς τὸ ὑπὸ Ε∠Ζ, οὕτως τὸ ΑΗΓ τρίγωνον πρὸς τὸ ∠ΕΖ τρίγωνον ἴση δέ ἐστιν ἡ μὲν ΗΑ τῇ ΑΒ, τὸ δὲ ΗΑΓ τρίγωνον τῷ ΑΒΓ τριγώνῳ· ἔστιν ἄρα, ὡς τὸ ὑπὸ ΒΑΓ πρὸς τὸ ὑπὸ Ε∠Ζ, οὕτως τὸ ΑΒΓ
τρίγωνον πρὸς τὸ ∠ΕΖ τρίγωνον.

[22] κβ΄. Εὐθεῖα ἡ ΑΒ, καὶ ἐπ᾿ αὐτῆς δύο σημεῖα τὰ Γ, ∠, ἔστω δὲ τὸ δὶς ὑπὸ ΑΒ, Γ∠ ἴσον τῷ ἀπὸ ΓΒ· ὅτι καὶ τὸ ἀπὸ Α∠ ἴσον ἐστὶν τοῖς ἀπὸ τῶν Α ∠Β τετραγώνοις.

ἐπεὶ γὰρ τὸ δὶς ὑπὸ ΑΒ, Γγώνοις. ἴσον ἐστὶ τῷ ἀπὸ ΓΒ, κοινὸν ἀφῃρήσθω τὸ δὶς ὑπὸ Β∠Γ λοιπὸν ἄρα τὸ δὲς ὑπὸ Α∠Γ ἴσον ἐστὶν τοῖς ἀπὸ τῶν Γ∠, ∠Β τετραγώνοις. κοινὸν ἀφῃρήσθω τὸ ἀπὸ ΓΔ τετράγωνον· λοιπὸν ¹⁷ ἄρα τὸ θὶς ὑπὸ ΑΓ∠ μετὰ τοῦ ἀπὸ Γ∠ ἴσον ἐστὶν τῷ ἀπὸ ∠Β τετραγώνῳ. κοινὸν προσκείσθω τὸ ἀπὸ ΑΓ τετράγωνον· ὅλον ἄρα τὸ ἀπὸ Α∠ τετράγωνον ἴσον ἐστὶν τοῖς ἀπὸ τῶν ΑΓ, ∠Β τετραγώνοις.

[23] κγ΄. Ἔστω τὸ ὑπὸ ΑΒΓ ἴσον τῷ ἀπὸ Β∠ τετραγώνῳ·
ὅτι γίνεται γ, τὸ μὲν ὑπὸ συναμφοτέρου τῆς Α∠Γ καὶ τῆς Β∠ ἴσον τῷ ὑπὸ Α∠, ∠Γ, τὸ δὲ ὑπὸ συναμφοτέρου τῆς Α∠Γ καὶ τῆς ΒΓ ἴσον τῷ ἀπὸ ∠Γ τετραγώνῳ, τὸ δὲ ὑπὸ συναμφοτέρου τῆς Α∠Γ καὶ τῆς ΒΑ ἴσον τῷ ἀπὸ Α∠ τετραγώνῳ.

ἐπεὶ γὰρ τὸ ὑπὸ ΑΒΓ ἴσον ἐστὶν τῷ ἀπὸ Β∠, ἀνάλογον καὶ ὅλη πρὸς ὅλην καὶ ἀνάπαλιν καὶ συνθέντι· ἔστιν ἄρα, ὡς συναμφότερος ἡ Γ∠, ∠Α πρὸς τὴν ∠Α, οὕτως ἡ Γ∠ πρὸς τὴν ∠Β· τὸ ἄρα ὑπὸ συναμφοτέρου τῆς Α∠, ∠Γ καὶ τῆς Β∠ ἴσον ἐστὶ τῷ ὑπὸ τῶν Α∠Γ.
πάλιν, ἐπεὶ ὅλη ἡ Α∠ πρὸς ὅλην τὴν ∠Γ ἐστιν, ὡς ἡ ∠Β πρὸς τὴν ΒΓ, συνθέντι ἐστίν, ὡς συναμφότερος ἡ Α∠Γ πρὸς τὴν ∠Γ, οὕτως ἡ ∠Γ πρὸς τὴν ΓΒ· τὸ ἄρα ὑπὸ συναμφοτέρου τῆς Α∠Γ καὶ τῆς ΓΒ ἴσον ἐστὶν τῷ ἀπὸ ∠Γ. πάλιν, ἐπεὶ ὅλη ἡ Α∠ πρὸς ὅλην τὴν ∠Γ ἐστιν,
ὡς ἡ ΑΒ πρὸς τὴν Β∠, ἀνάπαλιν καὶ συνθέντι ἐστίν, ὡς συναμφότερος ἡ Γ∠Α πρὸς τὴν ∠Α, οὕτως ἡ ∠Α πρὸς τὴν ΑΒ· τὸ ἄρα ὑπὸ συναμφοτέρου τῆς Α∠Γ καὶ τῆς ΑΒ ἴσον ἐστὶν τῷ ἀπὸ Α∠ τετραγώνῳ.

[24] κδ΄. Εὐθεῖα ἡ ΑΒ καὶ δύο σημεῖα τὰ Γ, Δ, καὶ ἔστω
τὸ ἀπὸ Γ∠ τετράγωνον ἴσον τῷ δὲς ὑπὸ ΑΓ Β∠· ὅτι καὶ τὸ ἀπὸ ΑΒ τετράγωνον ἴσον ἐστὶν τοῖς ἀπὸ τῶν Α∠, ΓΒ τετραγώνοις.

ἐπεὶ γὰρ τὸ ἀπὸ Γ∠ ἴσον ἐστὶν τῷ θὶς ὑπὸ ΑΓ, ∠Β, ¹⁸ τὸ ἄρα δίς ὑπὸ ΑΓΒ ἴσον ἐστὶν τῷ τε ἀπὸ τῆς Γ∠ καὶ τῷ δὶς ὑπὸ τῶν ΑΓ∠. κοινὸν προσκείσθω τὸ ἀπὸ ΑΓ· τὸ ἄρα δὶς ὑπὸ ΑΓΒ μετὰ τοῦ ἀπὸ ΑΓ ἴσον ἐστὶν τῷ ἀπὸ Α∠. κοινὸν προσκείσθω τὸ ἀπὸ ΒΓ· ὅλον ἄρα τὸ
ἀπὸ ΑΒ τετράγωνον ἴσον ἐστὶ τοῖς ἀπὸ τῶν Α∠, ΓΒ τετραγώνοις.

[25] κε΄. Ἔστω τὸ ὑπὸ τῶν ΑΒΓ ἴσον τῷ ἀπὸ τῆς Β∠· ὅτι γίνεται γ, τὸ μὲν ὑπὸ τῆς τῶν Α∠, ∠Γ ὑπεροχῆς καὶ τῆς Β∠ ἴσον τῷ ὑπὸ Α∠Γ τὸ δὲ ὑπὸ τῆς τῶν Α∠Γ
ὑπεροχῆς καὶ τῆς ΒΓ ἴσον τῷ ἀπὸ τῆς ∠Γ τετραγώνῳ, τὸ δὲ ὑπὸ τῆς τῶν Α∠, ∠Γ ὑπεροχῆς καὶ τῆς ΒΑ ἴσον τῷ ἀπὸ τῆς Α∠ τετραγώνῳ.

ἐπεὶ γάρ ἐστιν, ὡς ἡ ΑΒ πρὸς τὴν Β∠, οὕτως ἡ Β∠ πρὸς τὴν ΒΓ, λοιπὴ πρὸς λοιπὴν καὶ διελόντι· ἔστιν
οὖν, ὡς ἡ τῶν Α∠, ∠Γ ὑπεροχὴ πρὸς τὴν ∠Γ, οὕτως ἡ Α∠ πρὸς τὴν ∠Β τὸ ἄρα ὑπὸ τῆς τῶν Α∠, ∠ ὑπεροχῆς καὶ τῆς ∠Β ἴσον ἐστὶν τῷ ὑπὸ τῶν Α∠, ∠Γ. πάλιν, ἐπεὶ λοιπὴ ἡ Α∠ πρὸς λοιπὴν τὴν ∠Γ ἐστιν, ὡς ἡ ∠Β πρὸς τὴν ΒΓ, διελόντι ἐστίν, ὡς ἡ τῶν Α∠Γ
ὑπεροχὴ πρὸς τὴν ∠Γ, οὕτως ἡ ∠Γ πρὸς τὴν ΓΒ· τὸ ἄρα ὑπὸ τῆς τῶν Α∠, ∠Γ ὑπεροχῆς καὶ τῆς ΒΓ ἴσον ἐστὶν τῷ ἀπὸ τῆς ΔΓ τετραγώνῳ. πάλιν, ἐπεί ἐστιν, ὡς ἡ Α∠ πρὸς τὴν ∠Γ οὕτως ἡ ΑΒ πρὸς τὴν Β∠, ἀνάπαλιν καὶ διελόντι ἐστίν, ὡς ἡ τῶν Απαλιν, ∠Γ ὑπεροχὴ
πρὸς τὴν ∠Α, οὕτως ἡ ∠Α πρὸς τὴν ΑΒ τὸ ἄρα ὑπὸ τῆς τῶν Α∠, ∠Γ ὑπεροχῆς καὶ τῆς ΑΒ ἴσον ἐστὶν τῷ ἀπὸ τῆς Α∠ τετραγώνῳ.

¹⁹

[26] κϚ΄. Ἔστω, ὡς ἡ ΑΒ πρὸς τὴν ΒΓ, οὕτως τὸ ἀπὸ Α∠ πρὸς τὸ ἀπὸ ∠ ὅτι τὸ ὑπὸ τῶν ΑΒΓ ἴσον ἐστὶν τῷ ἀπὸ τῆς Β∠ τετραγώνῳ.

κείσθω τῇ Γ∠ ἴση ἡ ∠Ε· τὸ ἄρα ὑπὸ ΕΑΓ μετὰ τοῦ ἀπὸ Γ∠, τουτέστιν τοῦ ὑπὸ Γ∠Ε, ἴσον τῷ ἀπὸ Α∠. ἐπεὶ οὗν ἐστιν, ὡς ἡ ΑΒ πρὸς τὴν ΒΓ, οὕτως τὸ ἀπὸ
Α∠ πρὸς τὸ ἀπὸ ∠Γ, διελόντι ἐστίν, ὡς ἡ ΑΓ πρὸς τὴν ΓΒ, τουτέστιν ὡς τὸ ὑπὸ ΕΑΓ πρὸς τὸ ὑπὸ ΕΑ, ΒΓ οὕτως τὸ ὑπὸ ΕΑΓ πρὸς τὸ ὑπὸ Γ∠Ε ἴσον ἄρα ἐστὶν τὸ ὑπὸ ΑΕ, ΒΓ τῷ ὑπὸ Γ∠Ε. ἀνάλογον καὶ διελόντι ἐστίν, ὡς ἡ Α∠ πρὸς τὴν ∠Ε, τουτέστιν πρὸς τὴν ∠Γ,
οὕτως ἡ ∠Β πρὸς τὴν ΒΓ καὶ λοιπὴ ἄρα ἡ ΑΒ πρὸς λοιπὴν τὴν Β∠ ἐστιν, ὡς ἡ Β∠ πρὸς τὴν ΒΓ. τὸ ἄρα ὑπὸ ΑΒΓ ἴσον ἐστὶν τῷ ἀπὸ τῆς Β∠ τετραγώνῳ.

[27] κζ΄. Ἔστω δὲ πάλιν, ὡς ἡ ΑΒ πρὸς τὴν ΒΓ. οὕτως τὸ ἀπὸ Α∠ τετράγωνον πρὸς τὸ ἀπὸ ∠Γ τετράγωνον·
ὅτι τὸ ὑπὸ ΑΒΓ ἴσον ἐστὶν τῷ ἀπὸ τῆς Β∠ τετραγώνῳ.

κείσθω γὰρ ὁμοίως τῇ Γ∠ ἴση ἡ ∠Ε· τὸ ἄρα ὑπὸ ΓΑΕ μετὰ τοῦ ἀπὸ Γ∠, τουτέστιν τοῦ ὑπὸ Ε∠Γ, ἴσον τῷ ἀπὸ Α∠. καὶ γίνεται κατὰ διαίρεσιν, ὡς ἡ ΑΓ πρὸς τὴν ΓΒ, τουτέστιν ὡς τὸ ὑπὸ ΕΑΓ πρὸς τὸ ὑπὸ ΕΑ,
ΓΒ, οὕτως τὸ ὑπὸ ΓΑΕ πρὸς τὸ ὑπὸ Ε∠ ἴσον ἄρα ἐστὶν τὸ ὑπὸ ΑΕ. ΓΒ τῷ ὑπὸ Ε∠Γ. ἀνάλογον καὶ συνθέντι ἐστίν, ὡς ἡ Α∠ πρὸς τὴν ∠Ε, τουτέστιν πρὸς τὴν ∠Γ. οὕτως ἡ ∠Β πρὸς τὴν ΒΓ καὶ ὅλη ἄρα ἡ ΑΒ πρὸς ὅλην τὴν Β∠ ἐστιν, ὡς ἡ Β∠ πρὸς τὴν ΒΓ. τὸ
ἄρα ὑπὸ τῶν ΑΒΓ ἴσον ἐστὶν τῷ ἀπὸ τῆς Β∠ τετραγώνῳ.

[28] κη΄. Κύκλου τοῦ ΑΒΓ ἐφαπτέσθωσαν αἱ Α∠, ∠Γ, καὶ ἐπεζεύχθω ἡ ΑΓ. καὶ διήχθω τυχοῦσα ἡ ∠Β· ὅτι γίνεται, ὡς ἡ Β∠ πρὸς τὴν ∠Ε, οὕτως ἡ Β πρὸς τὴν ΖΕ.

ἐπεὶ γὰρ ἴση ἐστὶν ἡ Α∠ τῇ ∠Γ, τὸ ἄρα ὑπὸ ΑΖΓ μετὰ τοῦ ἀπὸ Ζ∠ ἴσον ἐστὶν τῷ ἀπὸ ∠Α. ἀλλὰ τὸ μὲν ὑπὸ ΑΖΓ ἴσον ἐστὶν τῷ ὑπὸ ΒΖΕ, τὸ δὲ ἀπὸ ∠Α. ἐστιν τὸ ὑπὸ Β∠Ε· τὸ ἄρα ὑπὸ ΒΖΕ μετὰ τοῦ ἀπὸ ∠Ζ ἴσον ἐστὶν τῷ ὑπὸ Β∠Ε. ἐὰν δὲ τοῦτο, γίνεται, ὡς ἡ Β∠
πρὸς τὴν ∠Ε, οὕτως ἡ ΒΖ πρὸς τὴν ΖΕ.

[29] κθ΄. Τμήματος δοθέντος τοῦ ἐπὶ τῆς ΑΒ κλάσαι εὐθεῖαν θεῖαν τὴν ΑΓΒ ἐν λόγῳ τῷ δοθέντι.

γεγονέτω, καὶ διήχθω ἀπὸ τοῦ Γ ἐφαπτομένη ἡ Γ∠ ὡς ἄρα τὸ ἀπὸ ΑΓ πρὸς τὸ ἀπὸ ΒΓ, οὕτως ἡ Α∠ πρὸς
∠ Β. λόγος δὲ τοῦ ἀπὸ ΑΓ πρὸς τὸ ἀπὸ ΓΒ, δοθείς· ὥστε καὶ ὁ τῆς Α∠ πρὸς τὴν Β∠ δοθείς. καί ἐστιν δύο ²⁰ δοθέντα τὰ Α, Β· δοθὲν ἄρα ἐστὶν τὸ ∠· ὥστε καὶ τὸ Γ δοθέν.

Συντεθήσεται δὴ τὸ πρόβλημα οὕτως. ἔστω τὸ μὲν τμῆμα τὸ ΑΒΓ, ὁ δὲ λόγος ὁ τῆς πρὸς τὴν Ζ, καὶ πεποιήσθω, ὡς τὸ ἀπὸ Ε πρὸς τὸ ἀπὸ Ζ, οὕτως ἡ Α∠
πρὸς τὴν ∠Β, καὶ ἤχθω ἐφαπτομένη ἡ ∠Γ, καὶ ἐπεζεύχθωσαν αἱ ΑΓ, ΓΒ. λέγω, ὅτι αἱ ΑΓ, ΓΒ ποιοῦσι τὸ πρόβλημα.

ἐπεὶ γάρ ἐστιν, ὡς τὸ ἀπὸ Ε πρὸς τὸ ἀπὸ Ζ, οὕτως ἡ Α∠ πρὸς τὴν ∠Β, ὡς δὲ ἡ Α∠ πρὸς τὴν ∠Β, οὕτως
τὸ ἀπὸ ΑΓ πρὸς τὸ ἀπὸ ΓΒ διὰ τὸ ἔφάπτεσθαι τὴν ΓΔ, καὶ ὡς ἄρα τὸ ἀπὸ Ε πρὸς τὸ ἀπὸ Ζ, οὕτως τὸ ἀπὸ ΑΓ πρὸς τὸ ἀπὸ ΓΒ ὥστε καί, ὡς ἡ πρὸς τὴν Ζ, οὕτως ἡ ΑΓ πρὸς τὴν ΓΒ. ἡ ΑΓΒ ἄρα ποιεῖ τὸ πρόβλημα.

[30] λ΄. Κύκλος, οὗ διάμετρος ἡ ΑΒ, καὶ ἀπὸ τυχόντος
ἐπ᾿ αὐτὴν κάθετος ἡ ∠Ε, διήχθω ἡ ∠Ζ, ἐπεζεύχθω ἡ ΕΖ καὶ ἐκβεβλήσθω, καί, καθ᾿ ὃ συμπίπτει τῇ διαμέτρῳ, ἔστω τὸ Η· ὅτι ἐστίν, ὡς ἡ ΑΗ πρὸς τὴν ΗΒ, οὕτως ἡ ΑΘ πρὸς τὴν ΘΒ.

ἐπεζεύχθωσαν αἱ ∠Α, ΑΕ, ΑΖ.

²¹

ἐπεὶ οὖν ἐπὶ διάμετρον κάθετος ἡ ∠Ε, ἴση ἐστὶν ἡ ὑπὸ ∠ΑΒ τῇ ὑπὸ ΒΑΕ. ἀλλ᾿ ἡ ὑπὸ ∠ΑΒ τῇ ἐν τῷ αὐτῷ τμήματι ἴση ἐστὶν τῇ ὑπὸ ΘΖΒ, ἡ δὲ ὑπὸ ΒΑΕ ἴση ἐστὶν τῇ ἐκτὸς τετραπλεύρου τῇ ὑπὸ ΒΖΗ καὶ ἡ
ὑπὸ ΘΖΒ ἄρα γωνία ἴση ἐστὶν τῇ ὑπὸ ΒΖΗ. καί ἐστιν ὀρθὴ ἡ ὑπὸ ΑΖΒ γωνία· διὰ δὴ τὸ λῆμμα γίνεται, ὡς ἡ ΑΗ πρὸς τὴν ΗΒ, οὕτως ἡ Α πρὸς τὴν ΒΘ.

[31] λα΄. Ἡμικύκλιον τὸ ἐπὶ τῆς ΑΒ, καὶ ἀπὸ τῶν Α,Β σημείων τῇ ΑΒ πρὸς ὀρθὰς γωνίας εὐθεῖαι γραμμαὶ
ἤχθωσαν αἱ ΒΔ, ΑΕ, καὶ ἤχθω τυχοῦσα ἡ ΔΕ, καὶ ἀπὸ τοῦ τῇ ∠Ε πρὸς ὀρθὰς γωνίας εὐθεῖα γραμμὴ ἡ ΖΗ συμπιπτέτω τῇ ΑΒ κατὰ τὸ Η ὅτι τὸ ὑπὸ τῶν ΑΕ, ΒΔ ἴσον ἐστὶν τῷ ὑπὸ τῶν ΑΗΒ.

ὅτι ἄρα ἐστίν, ὡς ἡ ΕΑ πρὸς τὴν ΑΗ, οὕτως ἡ ΗΒ
πρὸς τὴν Β∠. περὶ ἴσας γωνίας ἀνάλογόν εἰσιν αἱ πλευραί· ὅτι ἄρα ἴση ἐστὶν ἡ ὑπὸ τῶν ΑΗΕ γωνία τῇ ὑπὸ τῶν ΒΔΗ γωνίᾳ. ἀλλὰ ἡ μὲν ὑπὸ ΑΗΕ ἴση ἐστὶν ἐν τῷ αὐτῷ τμήματι τῇ ὑπὸ ΑΖΕ, ἡ δὲ ὑπὸ Β∠Η πάλιν ἐν τῷ αὐτῷ τμήματι τῇ ὑπὸ ΒΖΗ ὅτι ἄρα ἴση ἐστὶν
ἡ ὑπὸ ΑΖΕ γωνία τῇ ὑπὸ ΒΖΗ γωνίᾳ. ἔστιν δέ· ὀρθὴ γάρ ἐστιν ἑκατέρα τῶν ὑπὸ ΑΖΒ, ΕΖΗ γωνιῶν.

²²

τῷ ΑΒΓ τριγώνῳ, κοινοῦ δ᾿ ἀφαιρουμένου τοῦ ΑΒΕ λοιπὸν τὸ ∠ΑΕ λοιπῷ τῷ ΑΓE ἐστιν ἴσον καί ἐστιν ἐπὶ τῆς αὐτῆς βάσεως.

[33] λγ΄. Κύκλος περὶ διάμετρον τὴν ΑΒ, καὶ ἐκβεβλήσθω
ἡ ΑΒ καὶ ἔστω ἐπὶ τυχοῦσαν τὴν ∠Ε κάθετος, καὶ τῷ ὑπὸ ΑΖΒ ἴσον κείσθω τὸ ἀπὸ ΖΗ τετράγωνον· ὅτι, οἷον ἐὰν ληφθῇ σημεῖον ὡς τὸ Ε, καὶ ἀπ᾿ αὐτοῦ ἐπὶ τὸ Η ἐπιζευχθεῖσα
ἐκβληθῇ ἐπὶ τὸ Θ, γίνεται καὶ τὸ ὑπὸ ΘΕΚ ἴσον τῷ ἀπὸ ΚΗ τετραγώνῳ.

ἐπεζεύχθωσαν αἱ ΑΕ,
ΒΛ ὀρθὴ ἄρα ἐστὶν ἡ Θ Λ γωνία. ἔστιν δὲ καὶ ἡ Ζ ὀρθή· τὸ ἄρα ὑπὸ ΑΕΛ ἴσον ἐστὶν τῷ τε ὑπὸ ΑΖΒ καὶ τῷ ἀπὸ ΖΕ τετραγώνῳ. ἀλλὰ τὸ μὲν ὑπὸ ΑΕΛ ἴσον ἐστὶν τῷ ὑπὸ ΘΕΚ, τὸ δὲ ὑπὸ ΑΖΒ ἴσον ἐστὶν
τῷ ἀπὸ τετραγώνῳ· τὸ ἄρα ὑπὸ ΘΕΚ ἴσον ἐστὶν τοῖς ἀπὸ τῶν ΕΖ, ΖΗ τετραγώνοις, τουτέστιν τῷ ἀπὸ ΕΗ τετραγώνῳ.

[34] λδ΄. Ἔστω, ὡς ἡ ΑΒ πρὸς τὴν ΒΓ, οὕτως ἡ ΑΔ πρὸς τὴν ∠Γ. καὶ τετμήσθω ἡ ΑΓ δίχα κατὰ τὸ Ε σημεῖον·
ὅτι γίνεται τρία, τὸ μὲν ὑπὸ ΒΕ∠ ἴσον τῷ ἀπὸ ΕΓ τετραγώνῳ, τὸ δὲ ὑπὸ Β∠Ε τῷ ὑπὸ Α∠Γ, τὸ δὲ ὑπὸ ΑΒΓ τῷ ὑπὸ ΕΒ∠.

ἐπεὶ γάρ, ὡς ἡ ΑΒ πρὸς τὴν ΒΓ, οὕτως ἡ Α∠ πρὸς τὴν ∠Γ, συνθέντι καὶ τὰ ἡμίση τῶν ἡγουμένων καὶ
ἀναστρέψαντι ἄρα ἐστίν, ὡς ἡ ΒΕ πρὸς τὴν ΕΓ, ἡ ΕΓ ²³ πρὸς τὴν Ε∠· τὸ ἄρα ὑπὸ ΒΕ∠ ἴσον ἐστὶν τῷ ἀπὸ ΕΓ. κοινὸν ἀφῃρήσθω τὸ ἀπὸ ΔΕ τετράγωνον· λοιπὸν ἄρα τὸ ὑπὸ Β∠Ε ἴσον ἐστὶν τῷ ὑπὸ Α∠Γ. πάλιν τὸ ὑπὸ ΒΕ∠ ἴσον ἐστὶν τῷ ἀπὸ ΕΓ τετραγώνῳ. ἀμφότερα ἀφῃρήσθω ἀπὸ τοῦ ἀπὸ τῆς ΒΕ τετραγώνου· λοιπὸν
ἄρα τὸ ὑπὸ τῶν ΑΒΓ ἴσον ἐστὶν τῷ ὑπὸ τῶν ΕΒ∠.

Ἀλλὰ ἔστω νῦν τὸ ὑπὸ τῶν Β∠Ε ἴσον τῷ ὑπὸ τῶν Α∠Γ, καὶ τετμήσθω δίχα ἡ ΓΑ κατὰ τὸ Ε· ὅτι ἐστίν, ὡς ἡ ΑΒ πρὸς τὴν ΒΓ, οὕτως ἡ Α∠ πρὸς τὴν ΔΓ.

ἐπεὶ γὰρ τὸ ὑπὸ τῶν Β∠Ε ἴσον ἐστὶν τῷ ὑπὸ τῶν
Α∠Γ, κοινὸν προσκείσθω τὸ ἀπὸ ∠Ε τετράγωνον· ὅλον ἄρα τὸ ὑπὸ ΒΕ∠ ἴσον τῷ ἀπὸ ΓΕ τετραγώνῳ. ἀνάλογον καὶ ἀναστρέφοντι καὶ δὶς τὰ ἡγούμενα καὶ διελόντι ἄρα ἐστίν, ὡς ἡ ΑΒ πρὸς τὴν ΒΓ, οὕτως ἡ Α∠ πρὸς τὴν ∠Γ.

[35] λε΄. Τούτων ὄντων ἔστω κύκλος ὁ περὶ διάμετρον τὴν
ΑΒ, καὶ ἐκβεβλήσθω ἡ ΑΒ, ἔστω δὲ ἐπὶ τυχοῦσαν τὴν ∠Ε κάθετος, καὶ πεποιήσθω, ὡς ἡ ΑΝ πρὸς τὴν ΖΒ, οὕτως ἡ ΑΗ πρὸς τὴν ΗΒ ὅτι πάλιν,
οἷον ἐὰν ἐπὶ τῆς ΕΔ σημεῖον ληφθῇ ὡς τὸ Ε, καὶ ἐπιζευχθεῖσα ἡ ΕΗ ἐκβληθῇ ἐπὶ τὸ Θ, γίνεται, ὡς ἡ ΘΕ πρὸς
τὴν ΕΚ, οὕτως ἡ ΘΗ πρὸς τὴν ΗΚ.

εἰλήφθω τὸ κέντρον τοῦ κύκλου τὸ Λ, καὶ ἀπὸ τοῦ Λ ἐπὶ τὴν ΕΘ κάθετος ἤχθω ἡ ΛΜ· ἴση ἄρα ἐστὶν ἡ ΚΜ τῇ ΜΘ. ἐπεὶ δὲ ὀρθή ἔστιν ἑκατέρα τῶν Μ, Ζ
γωνιῶν, ἐν κύκλῳ ἐστὶν τὰ Ε, Ζ, Λ, Μ σημεῖα· τὸ ἄρα ὑπὸ ΖΗΛ ἴσον ἐστὶν τῷ ὑπὸ τῶν ΕΗΜ. ἀλλὰ τὸ ὑπὸ τῶν ΖΗΛ ἴσον ἐστὶν τῷ ὑπὸ τῶν ΑΗΒ διὰ τὸ εἶναι, ²⁴ ὡς τὴν ΑΖ πρὸς τὴν ΖΒ, οὕτως τὴν ΑΗ πρὸς τὴν ΗΒ, καὶ τετμῆσθαι τὴν ΑΒ δίχα κατὰ τὸ Λ· καὶ τὸ ὑπὸ τῶν ΕΗΜ ἄρα ἴσον ἐστὶν τῷ ὑπὸ τῶν ΑΗΒ, τουτέστιν· ἐν κύκλῳ γάρ· τῷ ὑπὸ τῶν ΘΗΚ. καὶ τέτμηται δίχα ἡ
ΘΚ κατὰ τὸ Μ· διὰ δὴ τὸ προγεγραμμένον γίνεται, ὡς ἡ ΘΕ πρὸς τὴν ΕΚ, οὕτως ἡ ΘΗ πρὸς τὴν ΗΚ.

[36] λϚ΄. Ἡμικύκλιον τὸ ἐπὶ τῆς ΑΒ, καὶ παράλληλος τῇ ΑΒ ἡ Γ∠, καὶ κάθετοι ἤχθωσαν αἱ ΓΕ, ∠Η ὅτι ἴση ἐστὶν ἡ ΑΕ τῇ ΗΒ.

εἰλήφοθω τὸ κέντρον τοῦ κύκλου τὸ Ζ, καὶ ἐπεζεύχθωσαν αἱ ΓΖ, Ζθωσαν ἴση ἄρα ἐστὶν ἡ ΓΖ τῇ Ζ∠· ὥστε καὶ τὸ ἀπὸ τῆς ΓΖ ἴσον τῷ ἀπὸ τῆς Ζ∠ τετραγώνῳ. ἀλλὰ τῷ μὲν ἀπὸ ΓΖ τετραγώνῳ ἴσα ἐστὶν
τὰ ἀπὸ τῶν ΓΕ, ΕΖ τετράγωνα, τῷ δὲ ἀπὸ ∠Ζ τετραγώνῳ ἴσα ἐστὶν τὰ ἀπὸ τῶν ∠Η, ΗΖ τετράγωνα· καὶ τὰ ἀπὸ τῶν ΓΕ, ΕΖ ἄρα τετράγωνα ἴσα ἐστὶν τοῖς ἀπὸ τῶν ΖΗ, Η∠
τετραγώνοις. ὧν τὸ ἀπὸ ΓΕ τετράγωνον ἴσον ἐστὶν τῷ ἀπὸ τῆς ∠Η τετραγώνῳ· λοιπὸν ἄρα τὸ ἀπὸ τῆς ΕΖ τετράγωνον λοιπῷ τῷ ἀπὸ ΖΗ τετραγώνῳ ἐστὶν ἴσον· ἴση ἄρα ἐστὶν ἡ ΕΖ τῇ ΖΗ. ἔστιν δὲ καὶ ὅλη ἡ ΑΖ ὅλῃ τῇ ΖΒ ἴση· λοιπὴ ἄρα ἡ ΑΕ λοιπῇ τῇ ΗΒ ἐστιν
ἴση· ὅπερ ἔδει δεῖξαι.

[37] λζ΄. Ἡμικύκλιον τὸ ἐπὶ τῆς ΑΒ, καὶ ἀπὸ τυχόντος τοῦ Γ διήχθω ἡ Γ∠, καὶ κάθετος ἤχθω ἡ ∠Ε ὅτι τὸ ἀπὸ ΑΓ τοῦ ἀπὸ Γ∠ ὑπερέχει τῷ ὑπὸ συναμφοτέρου τῆς ΑΓ, καὶ τῆς ΑΕ.

ὅτι ἄρα τὸ ἀπὸ ΑΓ ἴσον ἐστὶν τῷ τε ἀπὸ ∠Γ, τουτέστιν τοῖς ἀπὸ ∠Ε, ΕΓ καὶ τῷ ὑπὸ συναμφοτέρου τῆς ²⁵ ΑΓΒ καὶ τῆς ΑΕ. ὅτι ἄρα κοινοῦ ἀφαιρεθέντος τοῦ ὑπὸ ΓΑΕ λοιπὸν τὸ ὑπὸ ΑΓE ἴσον ἐστὶν τῷ τε ἀπὸ ∠Ε, τουτέστιν τῷ ὑπὸ ΑΕΒ, καὶ τῷ ἀπὸ ΓΕ καὶ τῷ ὑπὸ ΑΕ, ΓΒ. κοινοῦ ἀφαιρεθέντος τοῦ ἀπὸ ΓΕ, ὅτι λοιπὸν τὸ ὑπὸ ΑΕΓ ἴσον ἐστὶν τῷ τε ὑπὸ ΑΕΒ καὶ
τῷ ὑπὸ ΑΕ, ΒΓ ἔστιν δέ.

Κἰς τὸ πόρισμα τοῦ α΄ βιβλίου.

λή. Θέσει ὄντος παραλληλογράμμου τοῦ Α∠ ἀπὸ δοθέντος τοῦ Ε διαγαγεῖν τὴν ΕΖ καὶ ποιεῖν ἴσον τὸ ΖΓΗ τρίγωνον τῷ Α∠ παραλληλογράμμῳ.

γεγονέτω. ἐπεὶ οὖν ἴσον ἐστὶν τὸ ΖΓΗ τρίγωνον τῷ Α∠ παραλληλογράμμῳ, τὸ δὲ Α∠ παραλληλόγραμμον διπλάσιόν ἐστιν τοῦ ΑΓ∠ τριγώνου, καὶ τὸ ΖΓΗ
ἄρα τρίγωνον διπλάσιόν ἐστιν τοῦ ΑΓΔ τριγώνου. ὡς δὲ τὸ τρίγωνον πρὸς τὸ τρέγωνον, διὰ τὸ περὶ τὴν αὐτὴν γωνίαν τὴν Γ οὕτως ἐστὶν τὸ ὑπὸ ΖΓΗ πρὸς τὸ ὑπὸ ΑΓ∠. δοθὲν
δὲ τὸ ὑπὸ ΑΓ∠ δοθὲν ἄρα καὶ τὸ ὑπὸ ΖΓΗ. καὶ δο- ²⁶ θέντος τοῦ Ε εἰς θέσει τὰς ΑΓ, Γ∠ διῆκται εἰς χωρίου ἀποτομήν· θέσει ἄρα ἐστὶν ἡ ΕΖ.

συντεθήσεται δὲ οὕτως· ἔστω τὸ μὲν τῇ θέσει παραλληλόγραμμον τὸ Α∠, τὸ δὲ δοθὲν τὸ Ε. διήχθω ἀπὸ
τοῦ Ε εἰς θέσει τὰς ΖΓΗ εὐθεῖα ἡ ΕΖ ἀποτέμνουσα χωρίον τὸ ΖΓΗ ἴσον δοθέντι χωρίῳ τῷ διπλασίονι τοῦ ΑΓ∠. καὶ κατὰ τὰ αὐτὰ τῇ ἀναλύσει δείξομεν ἴσον τὸ ΖΓΗ τρίγωνον τῷ Α∠ παραλληλογράμμῳ· ἡ ΕΖ ἄρα ποιεῖ τὸ πρόβλημα. φανερὸν οὖν, ὅτι μόνη, ἐπεὶ
κἀκείνη μόνη.

Euclid Fragmenta 6

ed. Heinrich Menge

Search the Perseus Catalog for:

Εἰς τὸ δεύτερον πόρισμα.

Κἰς τὸ πόρισμα τοῦ α΄ βιβλίου.

Current edition First1KGreek

Notes on the current edition

Stable identifiers