Data (5-9)

Ἐὰν μέγεθος πρὸς ἑαυτοῦ τι μέρος λόγον ἔχῃ δεδο-
μένον, καὶ πρὸς τὸ λοιπὸν λόγον ἕξει δεδομένον.

μέγεθος γὰρ τὸ ΑΒ πρὸς ἑαυτοῦ τι μέρος τὸ Α λόγον ἐχέτω δεδομένον· λέγω, ὅτι καὶ πρὸς τὸ λοιπὸν τὸ ΒΓ λόγον ἔχει δεδομένον.

κείσθω γὰρ δεδομένον μέγεθος τὸ ΔΖ. καὶ ἐπεὶ
λόγος ἐστὶ δοθεὶς ὁ τοῦ ΒΑ πρὸς τὸ ΑΓ, ὁ αὐτὸς αὐτῷ πεπορίσθω ὁ τοῦ ΖΔ πρὸς ΔΕ. λόγος ἄρα ἐστὶν ὁ τοῦ ΖΔ πρὸς ΔΕ δοθείς. δοθὲν δὲ τὸ ΖΔ. δοθὲν ἄρα καὶ τὸ ΔΕ· καὶ λοιπὸν ἄρα τὸ ΕΖ δοθέν ἐστιν. ἔστι δὲ καὶ τὸ ΔΖ δοθέν· λόγος ἄρα τοῦ ΔΖ
πρὸς τὸ ΖΕ δοθείς. καὶ ἐπεί ἐστιν ὡς τὸ ΔΖ πρὸς ΔΕ, οὕτως καὶ τὸ ΑΒ πρὸς ΑΓ, ἀναστρέψαντι ἄρα ἐστὶν ὡς τὸ ΔΖ πρὸς τὸ ΖΕ, οὕτως τὸ ΑΒ πρὸς τὸ ΒΓ. λόγος δὲ τοῦ ΔΖ πρὸς ΖΕ δοθείς, ὡς δέ- δεικται· λόγος ἄρα καὶ τοῦ ΑΒ πρὸς τὸ ΒΓ δοθείς.

Ἐὰν δύο μεγέθη συντεθῇ πρὸς ἄλληλα λόγον ἔχοντα δεδομένον, καὶ τὸ ὅλον πρὸς ἑκάτερον αὐτῶν λόγον ἕξει δεδομένον.

συγκείσθω γὰρ δύο μεγέθη τὰ ΑΓ, ΓΒ, πρὸς ἄλ- [*]

ληλα λόγον ἔχοντα δεδομένον· λέγω, ὅτι καὶ ὅλον τὸ ΑΒ πρὸς ἑκάτερον τῶν ΑΓ, ΓΒ λόγον ἔχει δεδομένον.

ἐκκείσθω γὰρ δεδομένον μέγεθος τὸ ΔΕ. καὶ ἐπεὶ λόγος ἐστὶ τοῦ ΑΓ πρὸς ΓΒ δοθείς, ὁ αὐτὸς αὐτῷ
πεποιήσθω ὁ τοῦ ΔΕ πρὸς ΕΖ. ὁ ἄρα τοῦ ΔΕ πρὸς ΕΖ λόγος ἐστὶ δοθείς· δοθὲν δὲ τὸ ΔΕ· δοθὲν ἄρα καὶ τὸ ΕΖ· καὶ ὅλον ἄρα τὸ ΔΖ δοθέν ἐστιν. ἔστι δὲ ἑκάτερον τῶν ΔΕ, ΕΖ δοθέν· λόγος ἄρα τοῦ ΔΖ πρὸς ἑκάτερον τῶν ΔΕ, ΕΖ δοθείς. καὶ ἐπεί
ἐστιν ὡς τὸ ΑΓ πρὸς ΓΒ, οὕτως τὸ ΔΕ πρὸς ΕΖ, συνθέντι ὡς τὸ ΑΒ πρὸς τὸ ΒΓ, οὕτως τὸ ΔΖ πρὸς ΖΕ· καὶ ἀναστρέψαντι ὡς τὸ ΑΕ πρὸς τὸ ΑΓ, οὕτως τὸ ΔΖ πρὸς ΔΕ. καὶ ἐπεὶ ὡς τὸ ΔΖ πρὸς ἑκάτερον τῶν ΔΕ, ΕΖ, οὕτως τὸ ΑΒ πρὸς ἑκάτερον τῶν
ΑΓ, ΓΒ, λόγος ἄρα καὶ τοῦ ΑΒ πρὸς ἑκάτερον τῶν ΑΓ, ΓΒ δοθείς.

Ἐὰν δεδομένον μέγεθος εἰς δεδομένον λόγον διαι- ρεθῇ, ἑκάτερον τῶν τμημάτων δεδομένον ἐστίν.

δεδομένον γὰρ μέγεθος τὸ ΑΒ εἰς δεδομένον λόγον διῃρήσθω τὸν τοῦ ΑΓ πρὸς ΓΒ· λέγω, ὅτι ἑκάτερον τῶν ΑΓ, ΓΒ δοθέν ἐστιν.

ἐπεὶ γὰρ λόγος ἐστὶ τοῦ ΑΓ πρὸς ΓΒ δοθείς, λόγος ἄρα καὶ τοῦ ΑΒ πρὸς ἑκάτερον τῶν ΑΓ, ΓΕ [*]

δοθείς. δοθὲν δὲ τὸ ΑΒ· δοθὲν ἄρα καὶ ἑκάτερον τῶν ΑΓ, ΓΒ.

Τὰ πρὸς τὸ αὐΤὸ λόγον ἔχοντα δεδομένον καὶ πρὸς
ἄλληλα λόγον ἕξει δεδομένον.

ἐχέτω γὰρ ἑκάτερον τῶν Α, Γ πρὸς τὸ Β λόγον δεδομένον· λέγω, ὅτι καὶ τὸ Α πρὸς τὸ Γ λόγον ἕξει δεδομένον.

ἔστω γὰρ δεδομένον μέγεθος τὸ Δ. καὶ ἐπεὶ λόγος
ἐστὶ τοῦ Α πρὸς τὸ Β δοθείς, ὁ αὐτὸς αὐτῷ πεποιήσθω ὁ τοῦ Δ πρὸς τὸ Ε. δοθὲν δὲ τὸ Δ· δοθὲν ἄρα καὶ τὸ Ε. πάλιν, ἐπεὶ λόγος ἐστὶ τοῦ Β πρὸς τὸ Γ δοθείς, ὁ αὐτὸς αὐτῷ πεποιήσθω ὁ τοῦ Ε πρὸς τὸ Ζ. δοθὲν δὲ τὸ Ε· δοθὲν ἄρα καὶ τὸ Ζ. ἔστι δὲ καὶ τὸ Δ
δοθέν· λόγος ἄρα τοῦ Δ πρὸς τὸ Ζ ἐστι δοθείς. καὶ ἐπεί ἐστιν ὡς μὲν τὸ Α πρὸς τὸ Β, οὕτως τὸ Δ πρὸς τὸ Ε, ὡς δὲ τὸ Β πρὸς τὸ Γ, οὕτως τὸ Ε πρὸς τὸ Ζ, διΐσου ἄρα ἐστὶν ὡς τὸ Α πρὸς τὸ οὕτως τὸ Δ πρὸς τὸ Ζ. λόγος δὲ τοῦ Δ πρὸς τὸ Ζ δοθείς· λόγος
ἄρα καὶ τοῦ Α πρὸς τὸ Γ δοθείς.

Ἐὰν δύο ἢ πλείονα μεγέθη πρὸς ἄλληλα λόγον ἔχῃ δεδομένον, ἔχῃ δὲ τὰ αὐτὰ μεγέθη πρὸς ἄλλα τινὰ μεγέθη λόγους δεδομένους, εἰ καὶ μὴ τοὺς αὐτούς,
κᾀκεῖνα τὰ μεγέθη πρὸς ἄλληλα λόγους ἕξει δεδομένους. δύο γὰρ ἢ πλείονα μεγέθη τὰ Α, Β, Γ πρὸς ἄλληλα [*]

λόγον ἐχέτω δεδομένον, ἐχέτω δὲ τὰ αὐτὰ μεγέθη τὰ Α, Β, Γ πρὸς ἄλλα τινὰ μεγέθη τὰ Δ, Ε, Ζ λόγους δεδομένους, μὴ τοὺς αὐτοὺς δέ· λέγω, ὅτι καὶ τὰ Δ, Ε, Ζ, μεγέθη πρὸς ἄλληλα λόγον ἕξει δεδομένον.

ἐπεὶ γὰρ λόγος ἐστὶ τοῦ Α πρὸς τὸ Β δοθείς, τοῦ δὲ Α πρὸς τὸ Δ λόγος ἐστὶ δοθείς, καὶ τοῦ Δ ἄρα πρὸς τὸ Β λόγος ἐστὶ δοθείς. ἀλλὰ τοῦ Β πρὸς τὸ Ε λόγος ἐστὶ δοθείς· καὶ τοῦ Δ ἄρα πρὸς τὸ Ε λόγος ἐστὶ δοθείς. πάλιν, ἐπεὶ λόγος ἐστὶ τοῦ Β πρὸς τὸ Γ
δοθείς, τοῦ δὲ Β πρὸς τὸ Ε λόγος ἐστὶ δοθείς, καὶ τοῦ Ε ἄρα πρὸς τὸ Γ λόγος ἐστὶ δοθείς. τοῦ δὲ Γ πρὸς τὸ Ζ λόγος ἐστὶ δοθείς· καὶ τοῦ Ε ἄρα πρὸς τὸ Ζ λόγος ἐστὶ δοθείς· τὰ Δ, Ε, Ζ ἄρα πρὸς ἄλληλα λόγον ἔχει δεδομένον.