previous next

Click on a word to bring up parses, dictionary entries, and frequency statistics



μονάς ἐστιν, καθ᾽ ἣν ἕκαστον τῶν ὄντων ἓν λέγεται.


ἀριθμὸς δὲ τὸ ἐκ μονάδων συγκείμενον πλῆθος.


μέρος ἐστὶν ἀριθμὸς ἀριθμοῦ ἐλάσσων τοῦ μείζονος, ὅταν καταμετρῇ τὸν μείζονα.


μέρη δέ, ὅταν μὴ καταμετρῇ.


πολλαπλάσιος δὲ μείζων τοῦ ἐλάσσονος, ὅταν καταμετρῆται ὑπὸ τοῦ ἐλάσσονος.


ἄρτιος ἀριθμός ἐστιν δίχα διαιρούμενος.


περισσὸς δὲ μὴ διαιρούμενος δίχα μονάδι διαφέρων ἀρτίου ἀριθμοῦ.


ἀρτιάκις ἄρτιος ἀριθμός ἐστιν ὑπὸ ἀρτίου ἀριθμοῦ μετρούμενος κατὰ ἄρτιον ἀριθμόν.


ἀρτιάκις δὲ περισσός ἐστιν ὑπὸ ἀρτίου ἀριθμοῦ μετρούμενος κατὰ περισσὸν ἀριθμόν.

Περισσάκις ἀρτιός ἐστιν ὑπὸ περισσοῦ ἀριθμοῦ μετρούμενος κατὰ ἄρτιον ἀριθμόν.


περισσάκις δὲ περισσὸς ἀριθμός ἐστιν ὑπὸ περισσοῦ ἀριθμοῦ μετρούμενος κατὰ περισσὸν ἀριθμόν.


πρῶτος ἀριθμός ἐστιν μονάδι μόνῃ μετρούμενος.


πρῶτοι πρὸς ἀλλήλους ἀριθμοί εἰσιν οἱ μονάδι μόνῃ μετρούμενοι κοινῷ μέτρῳ.


σύνθετος ἀριθμός ἐστιν ἀριθμῷ τινι μετρούμενος.


σύνθετοι δὲ πρὸς ἀλλήλους ἀριθμοί εἰσιν οἱ ἀριθμῷ τινι μετρούμενοι κοινῷ μέτρῳ.


ἀριθμὸς ἀριθμὸν πολλαπλασιάζειν λέγεται, ὅταν, ὅσαι εἰσὶν ἐν αὐτῷ μονάδες, τοσαυτάκις συντεθῇ πολλαπλασιαζόμενος, καὶ γένηταί τις.


ὅταν δὲ δύο ἀριθμοὶ πολλαπλασιάσαντες ἀλλήλους ποιῶσί τινα, γενόμενος ἐπίπεδος καλεῖται, πλευραὶ δὲ αὐτοῦ οἱ πολλαπλασιάσαντες ἀλλήλους ἀριθμοί.


ὅταν δὲ τρεῖς ἀριθμοὶ πολλαπλασιάσαντες ἀλλήλους ποιῶσί τινα, γενόμενος στερεός ἐστιν, πλευραὶ δὲ αὐτοῦ οἱ πολλαπλασιάσαντες ἀλλήλους ἀριθμοί.


τετράγωνος ἀριθμός ἐστιν ἰσάκις ἴσος ὑπὸ δύο ἴσων ἀριθμῶν περιεχόμενος.


κύβος δὲ ἰσάκις ἴσος ἰσάκις ὑπὸ τριῶν ἴσων ἀριθμῶν περιεχόμενος.


ἀριθμοὶ ἀνάλογόν εἰσιν, ὅταν πρῶτος τοῦ δευτέρου καὶ τρίτος τοῦ τετάρτου ἰσάκις πολλαπλάσιος τὸ αὐτὸ μέρος τὰ αὐτὰ μέρη ὦσιν.


ὅμοιοι ἐπίπεδοι καὶ στερεοὶ ἀριθμοί εἰσιν οἱ ἀνάλογον ἔχοντες τὰς πλευράς.


τέλειος ἀριθμός ἐστιν τοῖς ἑαυτοῦ μέρεσιν ἴσος ὤν.



δύο ἀριθμῶν ἀνίσων ἐκκειμένων, ἀνθυφαιρουμένου δὲ ἀεὶ τοῦ ἐλάσσονος ἀπὸ τοῦ μείζονος, ἐὰν λειπόμενος μηδέποτε καταμετρῇ τὸν πρὸ ἑαυτοῦ, ἕως οὗ λειφθῇ μονάς, οἱ ἐξ ἀρχῆς ἀριθμοὶ πρῶτοι πρὸς ἀλλήλους ἔσονται.
5

δύο γὰρ ἀνίσων ἀριθμῶν τῶν ΑΒ, ΓΔ ἀνθυφαιρουμένου ἀεὶ τοῦ ἐλάσσονος ἀπὸ τοῦ μείζονος λειπόμενος μηδέποτε καταμετρείτω τὸν πρὸ ἑαυτοῦ, ἕως οὗ λειφθῇ μονάς: λέγω, ὅτι οἱ ΑΒ, ΓΔ πρῶτοι πρὸς
10ἀλλήλους εἰσίν, τουτέστιν ὅτι τοὺς ΑΒ, ΓΔ μονὰς μόνη μετρεῖ.

εἰ γὰρ μή εἰσιν οἱ ΑΒ, ΓΔ πρῶτοι πρὸς ἀλλήλους, μετρήσει τις αὐτοὺς ἀριθμός. μετρείτω, καὶ ἔστω Ε: καὶ μὲν ΓΔ τὸν ΒΖ μετρῶν λειπέτω ἑαυτοῦ ἐλάσσονα
15τὸν ΖΑ, δὲ ΑΖ τὸν ΔΗ μετρῶν λειπέτω ἑαυτοῦ ἐλάσσονα τὸν ΗΓ, δὲ ΗΓ τὸν ΖΘ μετρῶν λειπέτω μονάδα τὴν ΘΑ.

ἐπεὶ οὖν Ε τὸν ΓΔ μετρεῖ, δὲ ΓΔ τὸν ΒΖ μετρεῖ καὶ Ε ἄρα τὸν ΒΖ μετρεῖ: μετρεῖ δὲ καὶ ὅλον τὸν ΒΑ:
20καὶ λοιπὸν ἄρα τὸν ΑΖ μετρήσει. δὲ ΑΖ τὸν ΔΗ μετρεῖ: καὶ Ε ἄρα τὸν ΔΗ μετρεῖ: μετρεῖ δὲ καὶ ὅλον τὸν ΔΓ: καὶ λοιπὸν ἄρα τὸν ΓΗ μετρήσει. δὲ ΓΗ τὸν ΖΘ μετρεῖ: καὶ Ε ἄρα τὸν ΖΘ μετρεῖ: μετρεῖ δὲ καὶ ὅλον τὸν ΖΑ: καὶ λοιπὴν ἄρα τὴν ΑΘ μονάδα μετρήσει
25ἀριθμὸς ὤν: ὅπερ ἐστὶν ἀδύνατον. οὐκ ἄρα τοὺς ΑΒ, ΓΔ ἀριθμοὺς μετρήσει τις ἀριθμός: οἱ ΑΒ, ΓΔ ἄρα πρῶτοι πρὸς ἀλλήλους εἰσίν: ὅπερ ἔδει δεῖξαι.


δύο ἀριθμῶν δοθέντων μὴ πρώτων πρὸς ἀλλήλους τὸ μέγιστον αὐτῶν κοινὸν μέτρον εὑρεῖν.

ἔστωσαν οἱ δοθέντες δύο ἀριθμοὶ μὴ πρῶτοι πρὸς ἀλλήλους οἱ ΑΒ, ΓΔ. δεῖ δὴ τῶν ΑΒ, ΓΔ τὸ μέγιστον
5κοινὸν μέτρον εὑρεῖν.

εἰ μὲν οὖν ΓΔ τὸν ΑΒ μετρεῖ, μετρεῖ δὲ καὶ ἑαυτόν, ΓΔ ἄρα τῶν ΓΔ, ΑΒ κοινὸν μέτρον ἐστίν. καὶ φανερόν, ὅτι καὶ μέγιστον: οὐδεὶς γὰρ μείζων τοῦ ΓΔ τὸν ΓΔ μετρήσει.
10

εἰ δὲ οὐ μετρεῖ ΓΔ τὸν ΑΒ, τῶν ΑΒ, ΓΔ ἀνθυφαιρουμένου ἀεὶ τοῦ ἐλάσσονος ἀπὸ τοῦ μείζονος λειφθήσεταί τις ἀριθμός, ὃς μετρήσει τὸν πρὸ ἑαυτοῦ. μονὰς μὲν γὰρ οὐ λειφθήσεται: εἰ δὲ μή, ἔσονται οἱ ΑΒ, ΓΔ πρῶτοι πρὸς ἀλλήλους:
15ὅπερ οὐχ ὑπόκειται. λειφθήσεταί τις ἄρα ἀριθμός, ὃς μετρήσει τὸν πρὸ ἑαυτοῦ. καὶ μὲν ΓΔ τὸν ΒΕ μετρῶν λειπέτω ἑαυτοῦ ἐλάσσονα τὸν ΕΑ, δὲ ΕΑ τὸν ΔΖ μετρῶν λειπέτω ἑαυτοῦ ἐλάσσονα τὸν ΖΓ, δὲ ΓΖ
20τὸν ΑΕ μετρείτω. ἐπεὶ οὖν ΓΖ τὸν ΑΕ μετρεῖ, δὲ ΑΕ τὸν ΔΖ μετρεῖ, καὶ ΓΖ ἄρα τὸν ΔΖ μετρήσει: μετρεῖ δὲ καὶ ἑαυτόν: καὶ ὅλον ἄρα τὸν ΓΔ μετρήσει. δὲ ΓΔ τὸν ΒΕ μετρεῖ: καὶ ΓΖ ἄρα τὸν ΒΕ μετρεῖ: μετρεῖ δὲ καὶ τὸν ΕΑ: καὶ ὅλον ἄρα τὸν ΒΑ μετρήσει: μετρεῖ δὲ
25καὶ τὸν ΓΔ: ΓΖ ἄρα τοὺς ΑΒ, ΓΔ μετρεῖ. ΓΖ ἄρα τῶν ΑΒ, ΓΔ κοινὸν μέτρον ἐστίν. λέγω δή, ὅτι καὶ μέγιστον. εἰ γὰρ μή ἐστιν ΓΖ τῶν ΑΒ, ΓΔ μέγιστον κοινὸν μέτρον, μετρήσει τις τοὺς ΑΒ, ΓΔ ἀριθμοὺς ἀριθμὸς μείζων ὢν τοῦ ΓΖ. μετρείτω, καὶ ἔστω Η.
30καὶ ἐπεὶ Η τὸν ΓΔ μετρεῖ, δὲ ΓΔ τὸν ΒΕ μετρεῖ, καὶ Η ἄρα τὸν ΒΕ μετρεῖ: μετρεῖ δὲ καὶ ὅλον τὸν ΒΑ: καὶ λοιπὸν ἄρα τὸν ΑΕ μετρήσει. δὲ ΑΕ τὸν ΔΖ μετρεῖ: καὶ Η ἄρα τὸν ΔΖ μετρήσει: μετρεῖ δὲ καὶ ὅλον τὸν ΔΓ: καὶ λοιπὸν ἄρα τὸν ΓΖ μετρήσει μείζων τὸν ἐλάσσονα:
30ὅπερ ἐστὶν ἀδύνατον: οὐκ ἄρα τοὺς ΑΒ, ΓΔ ἀριθμοὺς ἀριθμός τις μετρήσει μείζων ὢν τοῦ ΓΖ: ΓΖ ἄρα τῶν ΑΒ, ΓΔ μέγιστόν ἐστι κοινὸν μέτρον: ὅπερ ἔδει δεῖξαι.

Πόρισμα

ἐκ δὴ τούτου φανερόν, ὅτι ἐὰν ἀριθμὸς δύο ἀριθμοὺς
40μετρῇ, καὶ τὸ μέγιστον αὐτῶν κοινὸν μέτρον μετρήσει: ὅπερ ἔδει δεῖξαι.


τριῶν ἀριθμῶν δοθέντων μὴ πρώτων πρὸς ἀλλήλους τὸ μέγιστον αὐτῶν κοινὸν μέτρον εὑρεῖν.

ἔστωσαν οἱ δοθέντες τρεῖς ἀριθμοὶ μὴ πρῶτοι πρὸς ἀλλήλους οἱ
5α, Β, Γ: δεῖ δὴ τῶν Α, Β, Γ τὸ μέγιστον κοινὸν μέτρον εὑρεῖν.

εἰλήφθω γὰρ δύο τῶν Α, Β τὸ μέγιστον κοινὸν μέτρον Δ: δὴ Δ τὸν Γ ἤτοι μετρεῖ οὐ μετρεῖ. μετρείτω πρότερον:
10μετρεῖ δὲ καὶ τοὺς Α, Β: Δ ἄρα τοὺς Α, Β, Γ μετρεῖ: Δ ἄρα τῶν Α, Β, Γ κοινὸν μέτρον ἐστίν. λέγω δή, ὅτι καὶ μέγιστον. εἰ γὰρ μή ἐστιν Δ τῶν Α, Β, Γ μέγιστον κοινὸν μέτρον, μετρήσει τις τοὺς Α, Β, Γ ἀριθμοὺς ἀριθμὸς μείζων ὢν τοῦ Δ. μετρείτω, καὶ ἔστω Ε. ἐπεὶ
15οὖν Ε τοὺς Α, Β, Γ μετρεῖ, καὶ τοὺς Α, Β ἄρα μετρήσει: καὶ τὸ τῶν Α, Β ἄρα μέγιστον κοινὸν μέτρον μετρήσει. τὸ δὲ τῶν Α, Β μέγιστον κοινὸν μέτρον ἐστὶν Δ: Ε ἄρα τὸν Δ μετρεῖ μείζων τὸν ἐλάσσονα: ὅπερ ἐστὶν ἀδύνατον. οὐκ ἄρα τοὺς Α, Β, Γ ἀριθμοὺς ἀριθμός τις
20μετρήσει μείζων ὢν τοῦ Δ: Δ ἄρα τῶν Α, Β, Γ μέγιστόν ἐστι κοινὸν μέτρον.

μὴ μετρείτω δὴ Δ τὸν Γ: λέγω πρῶτον, ὅτι οἱ Γ, Δ οὔκ εἰσι πρῶτοι πρὸς ἀλλήλους. ἐπεὶ γὰρ οἱ Α, Β, Γ οὔκ εἰσι πρῶτοι πρὸς ἀλλήλους, μετρήσει τις αὐτοὺς ἀριθμός.
25 δὴ τοὺς Α, Β, Γ μετρῶν καὶ τοὺς Α, Β μετρήσει, καὶ τὸ τῶν Α, Β μέγιστον κοινὸν μέτρον τὸν Δ μετρήσει: μετρεῖ δὲ καὶ τὸν Γ: τοὺς Δ, Γ ἄρα ἀριθμοὺς ἀριθμός τις μετρήσει: οἱ Δ, Γ ἄρα οὔκ εἰσι πρῶτοι πρὸς ἀλλήλους. εἰλήφθω οὖν αὐτῶν τὸ μέγιστον κοινὸν μέτρον Ε. καὶ ἐπεὶ Ε
30τὸν Δ μετρεῖ, δὲ Δ τοὺς Α, Β μετρεῖ, καὶ Ε ἄρα τοὺς Α, Β μετρεῖ: μετρεῖ δὲ καὶ τὸν Γ: Ε ἄρα τοὺς Α, Β, Γ μετρεῖ: Ε ἄρα τῶν Α, Β, Γ κοινόν ἐστι μέτρον. λέγω δή, ὅτι καὶ μέγιστον. εἰ γὰρ μή ἐστιν Ε τῶν Α, Β, Γ τὸ μέγιστον κοινὸν μέτρον, μετρήσει τις τοὺς Α, Β, Γ ἀριθμοὺς
35ἀριθμὸς μείζων ὢν τοῦ Ε. μετρείτω, καὶ ἔστω Ζ. καὶ ἐπεὶ Ζ τοὺς Α, Β, Γ μετρεῖ, καὶ τοὺς Α, Β μετρεῖ: καὶ τὸ τῶν Α, Β ἄρα μέγιστον κοινὸν μέτρον μετρήσει. τὸ δὲ τῶν Α, Β μέγιστον κοινὸν μέτρον ἐστὶν Δ: Ζ ἄρα τὸν Δ μετρεῖ: μετρεῖ δὲ καὶ τὸν Γ: Ζ ἄρα τοὺς Δ, Γ μετρεῖ:
40καὶ τὸ τῶν Δ, Γ ἄρα μέγιστον κοινὸν μέτρον μετρήσει. τὸ δὲ τῶν Δ, Γ μέγιστον κοινὸν μέτρον ἐστὶν Ε: Ζ ἄρα τὸν Ε μετρεῖ μείζων τὸν ἐλάσσονα: ὅπερ ἐστὶν ἀδύνατον. οὐκ ἄρα τοὺς Α, Β, Γ ἀριθμοὺς ἀριθμός τις μετρήσει μείζων ὢν τοῦ Ε: Ε ἄρα τῶν Α, Β, Γ μέγιστόν ἐστι
45κοινὸν μέτρον: ὅπερ ἔδει δεῖξαι.


ἅπας ἀριθμὸς παντὸς ἀριθμοῦ ἐλάσσων τοῦ μείζονος ἤτοι μέρος ἐστὶν μέρη.

ἔστωσαν δύο ἀριθμοὶ οἱ Α, ΒΓ, καὶ ἔστω ἐλάσσων ΒΓ: λέγω, ὅτι ΒΓ τοῦ Α ἤτοι μέρος ἐστὶν μέρη.
5

οἱ Α, ΒΓ γὰρ ἤτοι πρῶτοι πρὸς ἀλλήλους εἰσὶν οὔ. ἔστωσαν πρότερον οἱ Α, ΒΓ πρῶτοι πρὸς ἀλλήλους. διαιρεθέντος δὴ τοῦ ΒΓ εἰς τὰς ἐν αὐτῷ μονάδας ἔσται ἑκάστη μονὰς τῶν ἐν τῷ ΒΓ μέρος τι τοῦ Α: ὥστε μέρη ἐστὶν ΒΓ τοῦ Α.
10

μὴ ἔστωσαν δὴ οἱ Α, ΒΓ πρῶτοι πρὸς ἀλλήλους: δὴ ΒΓ τὸν Α ἤτοι μετρεῖ οὐ μετρεῖ. εἰ μὲν οὖν ΒΓ τὸν Α μετρεῖ, μέρος ἐστὶν ΒΓ τοῦ Α. εἰ δὲ οὔ, εἰλήφθω τῶν Α, ΒΓ μέγιστον κοινὸν μέτρον Δ, καὶ διῃρήσθω ΒΓ
15εἰς τοὺς τῷ Δ ἴσους τοὺς ΒΕ, ΕΖ, ΖΓ. καὶ ἐπεὶ Δ τὸν Α μετρεῖ, μέρος ἐστὶν Δ τοῦ Α: ἴσος δὲ Δ ἑκάστῳ τῶν ΒΕ, ΕΖ, ΖΓ: καὶ ἕκαστος ἄρα τῶν ΒΕ, ΕΖ, ΖΓ τοῦ Α μέρος ἐστίν: ὥστε μέρη ἐστὶν ΒΓ τοῦ Α.

ἅπας ἄρα ἀριθμὸς παντὸς ἀριθμοῦ ἐλάσσων τοῦ
20μείζονος ἤτοι μέρος ἐστὶν μέρη: ὅπερ ἔδει δεῖξαι.


ἐὰν ἀριθμός ἀριθμοῦ μέρος , καὶ ἕτερος ἑτέρου τὸ αὐτὸ μέρος , καὶ συναμφότερος συναμφοτέρου τὸ αὐτὸ μέρος ἔσται, ὅπερ εἷς τοῦ ἑνός.

ἀριθμὸς γὰρ Α ἀριθμοῦ τοῦ ΒΓ
5μέρος ἔστω, καὶ ἕτερος Δ ἑτέρου τοῦ ΕΖ τὸ αὐτὸ μέρος, ὅπερ Α τοῦ ΒΓ: λέγω, ὅτι καὶ συναμφότερος Α, Δ συναμφοτέρου τοῦ ΒΓ, ΕΖ τὸ αὐτὸ μέρος ἐστίν, ὅπερ Α τοῦ ΒΓ.
10

ἐπεὶ γάρ, μέρος ἐστὶν Α τοῦ ΒΓ, τὸ αὐτὸ μέρος ἐστὶ καὶ Δ τοῦ ΕΖ, ὅσοι ἄρα εἰσὶν ἐν τῷ ΒΓ ἀριθμοὶ ἴσοι τῷ Α, τοσοῦτοί εἰσι καὶ ἐν τῷ ΕΖ ἀριθμοὶ ἴσοι τῷ Δ. διῃρήσθω μὲν ΒΓ εἰς τοὺς τῷ Α ἴσους τοὺς ΒΗ, ΗΓ, δὲ ΕΖ εἰς τοὺς τῷ Δ ἴσους τοὺς ΕΘ, ΘΖ: ἔσται
15δὴ ἴσον τὸ πλῆθος τῶν ΒΗ, ΗΓ τῷ πλήθει τῶν ΕΘ, ΘΖ. καὶ ἐπεὶ ἴσος ἐστὶν μὲν ΒΗ τῷ Α, δὲ ΕΘ τῷ Δ, καὶ οἱ ΒΗ, ΕΘ ἄρα τοῖς Α, Δ ἴσοι. διὰ τὰ αὐτὰ δὴ καὶ οἱ ΗΓ, ΘΖ τοῖς Α, Δ. ὅσοι ἄρα εἰσὶν ἐν τῷ ΒΓ ἀριθμοὶ ἴσοι τῷ Α, τοσοῦτοί εἰσι καὶ ἐν τοῖς ΒΓ, ΕΖ ἴσοι τοῖς
20α, Δ. ὁσαπλασίων ἄρα ἐστὶν ΒΓ τοῦ Α, τοσαυταπλασίων ἐστὶ καὶ συναμφότερος ΒΓ, ΕΖ συναμφοτέρου τοῦ Α, Δ. ἄρα μέρος ἐστὶν Α τοῦ ΒΓ, τὸ αὐτὸ μέρος ἐστὶ καὶ συναμφότερος Α, Δ συναμφοτέρου τοῦ ΒΓ, ΕΖ: ὅπερ ἔδει δεῖξαι.


ἐὰν ἀριθμὸς ἀριθμοῦ μέρη , καὶ ἕτερος ἑτέρου τὰ αὐτὰ μέρη , καὶ συναμφότερος συναμφοτέρου τὰ αὐτὰ μέρη ἔσται, ὅπερ εἷς τοῦ ἑνός.

ἀριθμὸς γὰρ ΑΒ ἀριθμοῦ τοῦ Γ μέρη ἔστω, καὶ
5ἕτερος ΔΕ ἑτέρου τοῦ Ζ τὰ αὐτὰ μέρη, ἅπερ ΑΒ τοῦ Γ: λέγω, ὅτι καὶ συναμφότερος ΑΒ, ΔΕ συναμφοτέρου τοῦ Γ, Ζ τὰ αὐτὰ μέρη ἐστίν, ἅπερ ΑΒ τοῦ Γ.

ἐπεὶ γάρ, μέρη ἐστὶν ΑΒ τοῦ Γ, τὰ αὐτὰ μέρη καὶ ΔΕ τοῦ Ζ, ὅσα ἄρα ἐστὶν ἐν τῷ ΑΒ μέρη τοῦ Γ, τοσαῦτά
10ἐστι καὶ ἐν τῷ ΔΕ μέρη τοῦ Ζ. διῃρήσθω μὲν ΑΒ εἰς τὰ τοῦ Γ μέρη τὰ ΑΗ, ΗΒ, δὲ ΔΕ εἰς τὰ τοῦ Ζ μέρη τὰ ΔΘ, ΘΕ: ἔσται δὴ ἴσον τὸ πλῆθος τῶν ΑΗ, ΗΒ τῷ πλήθει τῶν ΔΘ, ΘΕ. καὶ ἐπεί, μέρος ἐστὶν ΑΗ τοῦ Γ,
15τὸ αὐτὸ μέρος ἐστὶ καὶ ΔΘ τοῦ Ζ, ἄρα μέρος ἐστὶν ΑΗ τοῦ Γ, τὸ αὐτὸ μέρος ἐστὶ καὶ συναμφότερος ΑΗ, ΔΘ συναμφοτέρου τοῦ Γ, Ζ. διὰ τὰ αὐτὰ δὴ καὶ μέρος ἐστὶν ΗΒ τοῦ Γ, τὸ αὐτὸ μέρος ἐστὶ καὶ συναμφότερος
20ΗΒ, ΘΕ συναμφοτέρου τοῦ Γ, Ζ. ἄρα μέρη ἐστὶν ΑΒ τοῦ Γ, τὰ αὐτὰ μέρη ἐστὶ καὶ συναμφότερος ΑΒ, ΔΕ συναμφοτέρου τοῦ Γ, Ζ: ὅπερ ἔδει δεῖξαι.


ἐὰν ἀριθμὸς ἀριθμοῦ μέρος , ὅπερ ἀφαιρεθεὶς ἀφαιρεθέντος, καὶ λοιπὸς τοῦ λοιποῦ τὸ αὐτὸ μέρος ἔσται, ὅπερ ὅλος τοῦ ὅλου.

ἀριθμὸς γὰρ ΑΒ ἀριθμοῦ τοῦ ΓΔ μέρος ἔστω, ὅπερ
5ἀφαιρεθεὶς ΑΕ ἀφαιρεθέντος τοῦ ΓΖ: λέγω, ὅτι καὶ λοιπὸς ΕΒ λοιποῦ τοῦ ΖΔ τὸ αὐτὸ μέρος ἐστίν, ὅπερ ὅλος ΑΒ ὅλου τοῦ ΓΔ.

γὰρ μέρος ἐστὶν ΑΕ τοῦ ΓΖ, τὸ αὐτὸ μέρος ἔστω καὶ ΕΒ τοῦ ΓΗ. καὶ ἐπεί, μέρος ἐστὶν ΑΕ τοῦ
10ΓΖ, τὸ αὐτὸ μέρος ἐστὶ καὶ ΕΒ τοῦ ΓΗ, ἄρα μέρος ἐστὶν ΑΕ τοῦ ΓΖ, τὸ αὐτὸ μέρος ἐστὶ καὶ ΑΒ τοῦ ΗΖ. δὲ μέρος ἐστὶν ΑΕ τοῦ ΓΖ, τὸ αὐτὸ μέρος ὑπόκειται καὶ ΑΒ τοῦ ΓΔ: ἄρα μέρος ἐστὶ καὶ ΑΒ
10τοῦ ΗΖ, τὸ αὐτὸ μέρος ἐστὶ καὶ τοῦ ΓΔ: ἴσος ἄρα ἐστὶν
15 ΗΖ τῷ ΓΔ. κοινὸς ἀφῃρήσθω ΓΖ: λοιπὸς ἄρα ΗΓ λοιπῷ τῷ ΖΔ ἐστιν ἴσος. καὶ ἐπεί, μέρος ἐστὶν ΑΕ τοῦ ΓΖ, τὸ αὐτὸ μέρος ἐστὶ καὶ ΕΒ τοῦ ΗΓ, ἴσος δὲ ΗΓ τῷ ΖΔ, ἄρα μέρος ἐστὶν ΑΕ τοῦ ΓΖ, τὸ αὐτὸ μέρος ἐστὶ καὶ ΕΒ τοῦ ΖΔ. ἀλλὰ μέρος ἐστὶν
20ΑΕ τοῦ ΓΖ, τὸ αὐτὸ μέρος ἐστὶ καὶ ΑΒ τοῦ ΓΔ: καὶ λοιπὸς ἄρα ΕΒ λοιποῦ τοῦ ΖΔ τὸ αὐτὸ μέρος ἐστίν, ὅπερ ὅλος ΑΒ ὅλου τοῦ ΓΔ: ὅπερ ἔδει δεῖξαι.


ἐὰν ἀριθμὸς ἀριθμοῦ μέρη , ἅπερ ἀφαιρεθεὶς ἀφαιρεθέντος, καὶ λοιπὸς τοῦ λοιποῦ τὰ αὐτὰ μέρη ἔσται, ἅπερ ὅλος τοῦ ὅλου.

ἀριθμὸς γὰρ ΑΒ ἀριθμοῦ τοῦ ΓΔ μέρη ἔστω, ἅπερ
5ἀφαιρεθεὶς ΑΕ ἀφαιρεθέντος τοῦ ΓΖ: λέγω, ὅτι καὶ λοιπὸς ΕΒ λοιποῦ τοῦ ΖΔ τὰ αὐτὰ μέρη ἐστίν, ἅπερ ὅλος ΑΒ ὅλου τοῦ ΓΔ.

κείσθω γὰρ τῷ ΑΒ ἴσος ΗΘ. ἄρα μέρη ἐστὶν ΗΘ τοῦ ΓΔ, τὰ αὐτὰ μέρη ἐστὶ καὶ ΑΕ τοῦ ΓΖ.
10διῃρήσθω μὲν ΗΘ εἰς τὰ τοῦ ΓΔ μέρη τὰ ΗΚ, ΚΘ, δὲ ΑΕ εἰς τὰ τοῦ ΓΖ μέρη τὰ ΑΛ, ΛΕ: ἔσται δὴ ἴσον τὸ πλῆθος τῶν ΗΚ, ΚΘ τῷ πλήθει τῶν ΑΛ, ΛΕ. καὶ ἐπεί,
15μέρος ἐστὶν ΗΚ τοῦ ΓΔ, τὸ αὐτὸ μέρος ἐστὶ καὶ ΑΛ τοῦ ΓΖ, μείζων δὲ ΓΔ τοῦ ΓΖ, μείζων ἄρα καὶ ΗΚ τοῦ ΑΛ. κείσθω τῷ ΑΛ ἴσος ΗΜ. ἄρα μέρος ἐστὶν ΗΚ τοῦ ΓΔ, τὸ αὐτὸ μέρος ἐστὶ καὶ ΗΜ τοῦ ΓΖ: καὶ λοιπὸς ἄρα ΜΚ λοιποῦ τοῦ ΖΔ
20τὸ αὐτὸ μέρος ἐστίν, ὅπερ ὅλος ΗΚ ὅλου τοῦ ΓΔ. πάλιν ἐπεί, μέρος ἐστὶν ΚΘ τοῦ ΓΔ, τὸ αὐτὸ μέρος ἐστὶ καὶ ΕΛ τοῦ ΓΖ, μείζων δὲ ΓΔ τοῦ ΓΖ, μείζων ἄρα καὶ ΘΚ τοῦ ΕΛ. κείσθω τῷ ΕΛ ἴσος ΚΝ. ἄρα μέρος ἐστὶν ΚΘ τοῦ ΓΔ, τὸ αὐτὸ μέρος ἐστὶ καὶ ΚΝ τοῦ
25ΓΖ: καὶ λοιπὸς ἄρα ΝΘ λοιποῦ τοῦ ΖΔ τὸ αὐτὸ μέρος ἐστίν, ὅπερ ὅλος ΚΘ ὅλου τοῦ ΓΔ. ἐδείχθη δὲ καὶ λοιπὸς ΜΚ λοιποῦ τοῦ ΖΔ τὸ αὐτὸ μέρος ὤν, ὅπερ ὅλος ΗΚ ὅλου τοῦ ΓΔ: καὶ συναμφότερος ἄρα ΜΚ, ΝΘ τοῦ ΔΖ τὰ αὐτὰ μέρη ἐστίν, ἅπερ ὅλος ΘΗ ὅλου
30τοῦ ΓΔ. ἴσος δὲ συναμφότερος μὲν ΜΚ, ΝΘ τῷ ΕΒ, δὲ ΘΗ τῷ ΒΑ: καὶ λοιπὸς ἄρα ΕΒ λοιποῦ τοῦ ΖΔ τὰ αὐτὰ μέρη ἐστίν, ἅπερ ὅλος ΑΒ ὅλου τοῦ ΓΔ: ὅπερ ἔδει δεῖξαι.


ἐὰν ἀριθμὸς ἀριθμοῦ μέρος , καὶ ἕτερος ἑτέρου τὸ αὐτὸ μέρος , καὶ ἐναλλάξ, μέρος ἐστὶν μέρη πρῶτος τοῦ τρίτου, τὸ αὐτὸ μέρος ἔσται τὰ αὐτὰ μέρη καὶ δεύτερος τοῦ τετάρτου.
5

ἀριθμὸς γὰρ Α ἀριθμοῦ τοῦ ΒΓ μέρος ἔστω, καὶ ἕτερος Δ ἑτέρου τοῦ ΕΖ τὸ αὐτὸ μέρος, ὅπερ Α τοῦ ΒΓ: λέγω, ὅτι καὶ ἐναλλάξ, μέρος ἐστὶν Α τοῦ Δ μέρη, τὸ αὐτὸ μέρος ἐστὶ καὶ ΒΓ τοῦ ΕΖ μέρη.

ἐπεὶ γὰρ μέρος ἐστὶν Α τοῦ ΒΓ, τὸ αὐτὸ μέρος ἐστὶ
10καὶ Δ τοῦ ΕΖ, ὅσοι ἄρα εἰσὶν ἐν τῷ ΒΓ ἀριθμοὶ ἴσοι τῷ Α, τοσοῦτοί εἰσι καὶ ἐν τῷ ΕΖ ἴσοι τῷ Δ. διῃρήσθω μὲν ΒΓ εἰς τοὺς τῷ Α ἴσους τοὺς ΒΗ, ΗΓ, δὲ ΕΖ εἰς τοὺς τῷ Δ ἴσους
15τοὺς ΕΘ, ΘΖ: ἔσται δὴ ἴσον τὸ πλῆθος τῶν ΒΗ, ΗΓ τῷ πλήθει τῶν ΕΘ, ΘΖ.

καὶ ἐπεὶ ἴσοι εἰσὶν οἱ ΒΗ, ΗΓ ἀριθμοὶ ἀλλήλοις, εἰσὶ δὲ καὶ οἱ ΕΘ, ΘΖ ἀριθμοὶ ἴσοι ἀλλήλοις, καί ἐστιν ἴσον
20τὸ πλῆθος τῶν ΒΗ, ΗΓ τῷ πλήθει τῶν ΕΘ, ΘΖ, ἄρα μέρος ἐστὶν ΒΗ τοῦ ΕΘ μέρη, τὸ αὐτὸ μέρος ἐστὶ καὶ ΗΓ τοῦ ΘΖ τὰ αὐτὰ μέρη: ὥστε καὶ μέρος ἐστὶν ΒΗ τοῦ ΕΘ μέρη, τὸ αὐτὸ μέρος ἐστὶ καὶ συναμφότερος ΒΓ συναμφοτέρου τοῦ ΕΖ τὰ αὐτὰ
25μέρη. ἴσος δὲ μὲν ΒΗ τῷ Α, δὲ ΕΘ τῷ Δ: ἄρα μέρος ἐστὶν Α τοῦ Δ μέρη, τὸ αὐτὸ μέρος ἐστὶ καὶ ΒΓ τοῦ ΕΖ τὰ αὐτὰ μέρη: ὅπερ ἔδει δεῖξαι.


ἐὰν ἀριθμὸς ἀριθμοῦ μέρη , καὶ ἕτερος ἑτέρου τὰ αὐτὰ μέρη , καὶ ἐναλλάξ, μέρη ἐστὶν πρῶτος τοῦ τρίτου μέρος, τὰ αὐτὰ μέρη ἔσται καὶ δεύτερος τοῦ τετάρτου τὸ αὐτὸ μέρος.
5

ἀριθμὸς γὰρ ΑΒ ἀριθμοῦ τοῦ Γ μέρη ἔστω, καὶ ἕτερος ΔΕ ἑτέρου τοῦ Ζ τὰ αὐτὰ μέρη: λέγω, ὅτι καὶ ἐναλλάξ, μέρη ἐστὶν ΑΒ τοῦ ΔΕ μέρος, τὰ αὐτὰ μέρη ἐστὶ καὶ Γ τοῦ Ζ τὸ αὐτὸ μέρος.

ἐπεὶ γάρ, μέρη ἐστὶν ΑΒ τοῦ Γ,
10τὰ αὐτὰ μέρη ἐστὶ καὶ ΔΕ τοῦ Ζ, ὅσα ἄρα ἐστὶν ἐν τῷ ΑΒ μέρη τοῦ Γ, τοσαῦτα καὶ ἐν τῷ ΔΕ μέρη τοῦ Ζ. διῃρήσθω μὲν ΑΒ εἰς τὰ τοῦ Γ μέρη τὰ ΑΗ, ΗΒ, δὲ ΔΕ εἰς τὰ τοῦ Ζ μέρη τὰ ΔΘ, ΘΕ: ἔσται
15δὴ ἴσον τὸ πλῆθος τῶν ΑΗ, ΗΒ τῷ πλήθει τῶν ΔΘ, ΘΕ. καὶ ἐπεί, μέρος ἐστὶν ΑΗ τοῦ Γ, τὸ αὐτὸ μέρος ἐστὶ καὶ ΔΘ τοῦ Ζ, καὶ ἐναλλάξ, μέρος ἐστὶν ΑΗ τοῦ ΔΘ μέρη, τὸ αὐτὸ μέρος ἐστὶ καὶ Γ τοῦ Ζ τὰ αὐτὰ μέρη. διὰ τὰ αὐτὰ δὴ
20καί, μέρος ἐστὶν ΗΒ τοῦ ΘΕ μέρη, τὸ αὐτὸ μέρος ἐστὶ καὶ Γ τοῦ Ζ τὰ αὐτὰ μέρη: ὥστε καί μέρος ἐστὶν ΑΗ τοῦ ΔΘ μέρη, τὸ αὐτὸ μέρος ἐστὶ καὶ ΗΒ τοῦ ΘΕ τὰ αὐτὰ μέρη: καὶ ἄρα μέρος ἐστὶν ΑΗ τοῦ ΔΘ μέρη, τὸ αὐτὸ μέρος ἐστὶ καὶ ΑΒ τοῦ
25ΔΕ τὰ αὐτὰ μέρη: ἀλλ᾽ μέρος ἐστὶν ΑΗ τοῦ ΔΘ μέρη, τὸ αὐτὸ μέρος ἐδείχθη καὶ Γ τοῦ Ζ τὰ αὐτὰ μέρη, καὶ ἄρα μέρη ἐστὶν ΑΒ τοῦ ΔΕ μέρος, τὰ αὐτὰ μέρη ἐστὶ καὶ Γ τοῦ Ζ τὸ αὐτὸ μέρος: ὅπερ ἔδει δεῖξαι.


ἐὰν ὡς ὅλος πρὸς ὅλον, οὕτως ἀφαιρεθεὶς πρὸς ἀφαιρεθέντα, καὶ λοιπὸς πρὸς τὸν λοιπὸν ἔσται, ὡς ὅλος πρὸς ὅλον.

ἔστω ὡς ὅλος ΑΒ πρὸς ὅλον τὸν ΓΔ, οὕτως ἀφαιρεθεὶς
5 ΑΕ πρὸς ἀφαιρεθέντα τὸν ΓΖ: λέγω, ὅτι καὶ λοιπὸς ΕΒ πρὸς λοιπὸν τὸν ΖΔ ἐστιν, ὡς ὅλος ΑΒ πρὸς ὅλον τὸν ΓΔ.

ἐπεί ἐστιν ὡς ΑΒ πρὸς τὸν ΓΔ, οὕτως ΑΕ πρὸς τὸν ΓΖ, ἄρα μέρος ἐστὶν ΑΒ τοῦ
10ΓΔ μέρη, τὸ αὐτὸ μέρος ἐστὶ καὶ ΑΕ τοῦ ΓΖ τὰ αὐτὰ μέρη. καὶ λοιπὸς ἄρα ΕΒ λοιποῦ τοῦ ΖΔ τὸ αὐτὸ μέρος ἐστὶν μέρη, ἅπερ ΑΒ τοῦ ΓΔ. ἔστιν ἄρα ὡς ΕΒ πρὸς τὸν ΖΔ, οὕτως ΑΒ πρὸς τὸν ΓΔ: ὅπερ ἔδει δεῖξαι.


ἐὰν ὦσιν ὁποσοιοῦν ἀριθμοὶ ἀνάλογον, ἔσται ὡς εἷς τῶν ἡγουμένων πρὸς ἕνα τῶν ἑπομένων, οὕτως ἅπαντες οἱ ἡγούμενοι πρὸς ἅπαντας τοὺς ἑπομένους.

ἔστωσαν ὁποσοιοῦν ἀριθμοὶ ἀνάλογον οἱ Α, Β, Γ, Δ,
5ὡς Α πρὸς τὸν Β, οὕτως Γ πρὸς τὸν Δ: λέγω, ὅτι ἐστὶν ὡς Α πρὸς τὸν Β, οὕτως οἱ Α, Γ πρὸς τοὺς Β, Δ.

ἐπεὶ γάρ ἐστιν ὡς Α πρὸς τὸν Β, οὕτως Γ πρὸς τὸν Δ, ἄρα μέρος ἐστὶν Α τοῦ Β μέρη, τὸ αὐτὸ μέρος ἐστὶ καὶ Γ τοῦ Δ μέρη.
10καὶ συναμφότερος ἄρα Α, Γ συναμφοτέρου τοῦ Β, Δ τὸ αὐτὸ μέρος ἐστὶν τὰ αὐτὰ μέρη, ἅπερ Α τοῦ Β. ἔστιν ἄρα ὡς Α πρὸς τὸν Β, οὕτως οἱ Α, Γ πρὸς τοὺς Β, Δ: ὅπερ ἔδει δεῖξαι.


ἐὰν τέσσαρες ἀριθμοὶ ἀνάλογον ὦσιν, καὶ ἐναλλὰξ ἀνάλογον ἔσονται.

ἔστωσαν τέσσαρες ἀριθμοὶ ἀνάλογον οἱ Α, Β, Γ, Δ, ὡς Α πρὸς τὸν Β, οὕτως Γ πρὸς τὸν Δ: λέγω, ὅτι καὶ
5ἐναλλὰξ ἀνάλογον ἔσονται, ὡς Α πρὸς τὸν Γ, οὕτως Β πρὸς τὸν Δ.

ἐπεὶ γάρ ἐστιν ὡς Α πρὸς τὸν Β, οὕτως Γ πρὸς τὸν Δ, ἄρα μέρος ἐστὶν Α τοῦ Β
5 μέρη, τὸ αὐτὸ μέρος ἐστὶ καὶ Γ τοῦ Δ
10τὰ αὐτὰ μέρη. ἐναλλὰξ ἄρα, μέρος ἐστὶν Α τοῦ Γ μέρη, τὸ αὐτὸ μέρος ἐστὶ καὶ Β τοῦ Δ τὰ αὐτὰ μέρη. ἔστιν ἄρα ὡς Α πρὸς τὸν Γ, οὕτως Β πρὸς τὸν Δ: ὅπερ ἔδει δεῖξαι.


ἐὰν ὦσιν ὁποσοιοῦν ἀριθμοὶ καὶ ἄλλοι αὐτοῖς ἴσοι τὸ πλῆθος σύνδυο λαμβανόμενοι καὶ ἐν τῷ αὐτῷ λόγῳ, καὶ δι᾽ ἴσου ἐν τῷ αὐτῷ λόγῳ ἔσονται.

ἔστωσαν ὁποσοιοῦν ἀριθμοὶ οἱ Α, Β, Γ καὶ ἄλλοι
5αὐτοῖς ἴσοι τὸ πλῆθος σύνδυο λαμβανόμενοι ἐν τῷ αὐτῷ λόγῳ οἱ Δ, Ε, Ζ, ὡς μὲν Α πρὸς τὸν Β, οὕτως Δ πρὸς τὸν Ε, ὡς δὲ Β πρὸς τὸν Γ, οὕτως Ε πρὸς τὸν Ζ: λέγω, ὅτι καὶ δι᾽ ἴσου ἐστὶν ὡς Α πρὸς τὸν Γ, οὕτως Δ πρὸς τὸν Ζ.
10

ἐπεὶ γάρ ἐστιν ὡς Α πρὸς τὸν Β, οὕτως Δ πρὸς τὸν Ε, ἐναλλὰξ ἄρα ἐστὶν ὡς Α πρὸς τὸν Δ, οὕτως Β πρὸς τὸν Ε. πάλιν, ἐπεί ἐστιν ὡς Β πρὸς τὸν Γ, οὕτως Ε πρὸς τὸν Ζ, ἐναλλὰξ ἄρα ἐστὶν ὡς Β πρὸς τὸν Ε, οὕτως Γ πρὸς τὸν Ζ. ὡς δὲ Β πρὸς τὸν Ε, οὕτως Α πρὸς τὸν
15δ: καὶ ὡς ἄρα Α πρὸς τὸν Δ, οὕτως Γ πρὸς τὸν Ζ: ἐναλλὰξ ἄρα ἐστὶν ὡς Α πρὸς τὸν Γ, οὕτως Δ πρὸς τὸν Ζ: ὅπερ ἔδει δεῖξαι.


ἐὰν μονὰς ἀριθμόν τινα μετρῇ, ἰσάκις δὲ ἕτερος ἀριθμὸς ἄλλον τινὰ ἀριθμὸν μετρῇ, καὶ ἐναλλὰξ ἰσάκις μονὰς τὸν τρίτον ἀριθμὸν μετρήσει καὶ δεύτερος τὸν τέταρτον.
5

μονὰς γὰρ Α ἀριθμόν τινα τὸν ΒΓ μετρείτω, ἰσάκις δὲ ἕτερος ἀριθμὸς Δ ἄλλον τινὰ ἀριθμὸν τὸν ΕΖ μετρείτω: λέγω, ὅτι καὶ ἐναλλὰξ ἰσάκις Α μονὰς τὸν Δ ἀριθμὸν μετρεῖ καὶ ΒΓ τὸν ΕΖ.

ἐπεὶ γὰρ ἰσάκις Α μονὰς τὸν ΒΓ ἀριθμὸν μετρεῖ
10καὶ Δ τὸν ΕΖ, ὅσαι ἄρα εἰσὶν ἐν τῷ ΒΓ μονάδες, τοσοῦτοί εἰσι καὶ ἐν τῷ ΕΖ ἀριθμοὶ ἴσοι τῷ Δ. διῃρήσθω μὲν ΒΓ εἰς τὰς ἐν ἑαυτῷ μονάδας τὰς ΒΗ, ΗΘ, ΘΓ, δὲ ΕΖ εἰς τοὺς τῷ Δ ἴσους τοὺς ΕΚ, ΚΛ, ΛΖ. ἔσται δὴ ἴσον τὸ πλῆθος τῶν ΒΗ, ΗΘ, ΘΓ τῷ πλήθει τῶν
15ΕΚ, ΚΛ, ΛΖ. καὶ ἐπεὶ ἴσαι εἰσὶν αἱ ΒΗ, ΗΘ, ΘΓ μονάδες ἀλλήλαις, εἰσὶ δὲ καὶ οἱ ΕΚ, ΚΛ, ΛΖ ἀριθμοὶ ἴσοι ἀλλήλοις, καί ἐστιν ἴσον τὸ πλῆθος τῶν ΒΗ, ΗΘ, ΘΓ μονάδων τῷ πλήθει τῶν ΕΚ, ΚΛ, ΛΖ ἀριθμῶν, ἔσται ἄρα ὡς ΒΗ μονὰς πρὸς τὸν ΕΚ ἀριθμόν, οὕτως
20 ΗΘ μονὰς πρὸς τὸν ΚΛ ἀριθμὸν καὶ ΘΓ μονὰς πρὸς τὸν ΛΖ ἀριθμόν. ἔσται ἄρα καὶ ὡς εἷς τῶν ἡγουμένων πρὸς ἕνα τῶν ἑπομένων, οὕτως ἅπαντες οἱ ἡγούμενοι πρὸς ἅπαντας τοὺς ἑπομένους: ἔστιν ἄρα ὡς ΒΗ μονὰς πρὸς τὸν ΕΚ ἀριθμόν, οὕτως ΒΓ πρὸς τὸν ΕΖ. ἴση δὲ
25 ΒΗ μονὰς τῇ Α μονάδι, δὲ ΕΚ ἀριθμὸς τῷ Δ ἀριθμῷ. ἔστιν ἄρα ὡς Α μονὰς πρὸς τὸν Δ ἀριθμόν, οὕτως ΒΓ πρὸς τὸν ΕΖ. ἰσάκις ἄρα Α μονὰς τὸν Δ ἀριθμὸν μετρεῖ καὶ ΒΓ τὸν ΕΖ: ὅπερ ἔδει δεῖξαι.


ἐὰν δύο ἀριθμοὶ πολλαπλασιάσαντες ἀλλήλους ποιῶσί τινας, οἱ γενόμενοι ἐξ αὐτῶν ἴσοι ἀλλήλοις ἔσονται.

ἔστωσαν δύο ἀριθμοὶ οἱ Α, Β, καὶ μὲν Α τὸν Β πολλαπλασιάσας
5τὸν Γ ποιείτω, δὲ Β τὸν Α πολλαπλασιάσας τὸν Δ ποιείτω: λέγω, ὅτι ἴσος ἐστὶν Γ τῷ Δ.

ἐπεὶ γὰρ Α τὸν Β πολλαπλασιάσας τὸν Γ πεποίηκεν,
10 Β ἄρα τὸν Γ μετρεῖ κατὰ τὰς ἐν τῷ Α μονάδας. μετρεῖ δὲ καὶ Ε μονὰς τὸν Α ἀριθμὸν κατὰ τὰς ἐν αὐτῷ μονάδας: ἰσάκις ἄρα Ε μονὰς τὸν Α ἀριθμὸν μετρεῖ καὶ Β τὸν Γ. ἐναλλὰξ ἄρα ἰσάκις Ε μονὰς τὸν Β ἀριθμὸν μετρεῖ καὶ Α τὸν Γ. πάλιν, ἐπεὶ Β τὸν Α πολλαπλασιάσας
15τὸν Δ πεποίηκεν, Α ἄρα τὸν Δ μετρεῖ κατὰ τὰς ἐν τῷ Β μονάδας. μετρεῖ δὲ καὶ Ε μονὰς τὸν Β κατὰ τὰς ἐν αὐτῷ μονάδας: ἰσάκις ἄρα Ε μονὰς τὸν Β ἀριθμὸν μετρεῖ καὶ Α τὸν Δ. ἰσάκις δὲ Ε μονὰς τὸν Β ἀριθμὸν ἐμέτρει καὶ Α τὸν Γ: ἰσάκις ἄρα Α ἑκάτερον
20τῶν Γ, Δ μετρεῖ. ἴσος ἄρα ἐστὶν Γ τῷ Δ: ὅπερ ἔδει δεῖξαι.


ἐὰν ἀριθμὸς δύο ἀριθμοὺς πολλαπλασιάσας ποιῇ τινας, οἱ γενόμενοι ἐξ αὐτῶν τὸν αὐτὸν ἕξουσι λόγον τοῖς πολλαπλασιασθεῖσιν.

ἀριθμὸς γὰρ Α δύο ἀριθμοὺς τοὺς Β, Γ πολλαπλασιάσας
5τοὺς Δ, Ε ποιείτω: λέγω, ὅτι ἐστὶν ὡς Β πρὸς τὸν Γ, οὕτως Δ πρὸς τὸν Ε.

ἐπεὶ γὰρ Α τὸν Β πολλαπλασιάσας τὸν Δ πεποίηκεν, Β ἄρα τὸν Δ μετρεῖ κατὰ τὰς ἐν τῷ Α μονάδας. μετρεῖ δὲ καὶ Ζ μονὰς τὸν Α ἀριθμὸν κατὰ τὰς ἐν αὐτῷ μονάδας:
10ἰσάκις ἄρα Ζ μονὰς τὸν Α ἀριθμὸν μετρεῖ καὶ Β τὸν Δ. ἔστιν ἄρα ὡς Ζ μονὰς πρὸς τὸν Α ἀριθμόν, οὕτως Β πρὸς τὸν Δ. διὰ τὰ αὐτὰ δὴ καὶ ὡς Ζ μονὰς πρὸς τὸν Α ἀριθμόν, οὕτως Γ πρὸς τὸν Ε: καὶ ὡς ἄρα Β πρὸς τὸν Δ, οὕτως Γ πρὸς τὸν Ε. ἐναλλὰξ ἄρα ἐστὶν ὡς
15 Β πρὸς τὸν Γ, οὕτως Δ πρὸς τὸν Ε: ὅπερ ἔδει δεῖξαι.


ἐὰν δύο ἀριθμοὶ ἀριθμόν τινα πολλαπλασιάσαντες ποιῶσί τινας, οἱ γενόμενοι ἐξ αὐτῶν τὸν αὐτὸν ἕξουσι λόγον τοῖς πολλαπλασιάσασιν.

δύο γὰρ ἀριθμοὶ οἱ Α, Β ἀριθμόν τινα τὸν Γ πολλαπλασιάσαντες
5τοὺς Δ, Ε ποιείτωσαν: λέγω, ὅτι ἐστὶν ὡς Α πρὸς τὸν Β, οὕτως Δ πρὸς τὸν Ε.

ἐπεὶ γὰρ Α τὸν Γ πολλαπλασιάσας τὸν Δ πεποίηκεν, καὶ Γ ἄρα τὸν Α πολλαπλασιάσας τὸν Δ πεποίηκεν. διὰ τὰ αὐτὰ δὴ καὶ Γ τὸν Β πολλαπλασιάσας τὸν Ε πεποίηκεν.
10ἀριθμὸς δὴ Γ δύο ἀριθμοὺς τοὺς Α, Β πολλαπλασιάσας τοὺς Δ, Ε πεποίηκεν. ἔστιν ἄρα ὡς Α πρὸς τὸν Β, οὕτως Δ πρὸς τὸν
15ε: ὅπερ ἔδει δεῖξαι.


ἐὰν τέσσαρες ἀριθμοὶ ἀνάλογον ὦσιν, ἐκ πρώτου καὶ τετάρτου γενόμενος ἀριθμὸς ἴσος ἔσται τῷ ἐκ δευτέρου καὶ τρίτου γενομένῳ ἀριθμῷ: καὶ ἐὰν ἐκ πρώτου καὶ τετάρτου γενόμενος ἀριθμὸς ἴσος τῷ ἐκ δευτέρου καὶ τρίτου,
5οἱ τέσσαρες ἀριθμοὶ ἀνάλογον ἔσονται.

ἔστωσαν τέσσαρες ἀριθμοὶ ἀνάλογον οἱ Α, Β, Γ, Δ, ὡς Α πρὸς τὸν Β, οὕτως Γ πρὸς τὸν Δ, καὶ μὲν Α τὸν Δ πολλαπλασιάσας
10τὸν Ε ποιείτω, δὲ Β τὸν Γ πολλαπλασιάσας τὸν Ζ ποιείτω: λέγω, ὅτι ἴσος ἐστὶν Ε τῷ Ζ.

γὰρ Α τὸν Γ πολλαπλασιάσας τὸν Η ποιείτω. ἐπεὶ οὖν Α τὸν Γ
15πολλαπλασιάσας τὸν Η πεποίηκεν, τὸν δὲ Δ πολλαπλασιάσας τὸν Ε πεποίηκεν, ἀριθμὸς δὴ Α δύο ἀριθμοὺς τοὺς Γ, Δ πολλαπλασιάσας τοὺς Η, Ε πεποίηκεν. ἔστιν ἄρα ὡς Γ πρὸς τὸν Δ, οὕτως Η πρὸς τὸν Ε. ἀλλ᾽ ὡς Γ πρὸς τὸν Δ, οὕτως Α πρὸς
20τὸν Β: καὶ ὡς ἄρα Α πρὸς τὸν Β, οὕτως Η πρὸς τὸν Ε. πάλιν, ἐπεὶ Α τὸν Γ πολλαπλασιάσας τὸν Η πεποίηκεν, ἀλλὰ μὴν καὶ Β τὸν Γ πολλαπλασιάσας τὸν Ζ πεποίηκεν, δύο δὴ ἀριθμοὶ οἱ Α, Β ἀριθμόν τινα τὸν Γ πολλαπλασιάσαντες τοὺς Η, Ζ πεποιήκασιν. ἔστιν ἄρα
25ὡς Α πρὸς τὸν Β, οὕτως Η πρὸς τὸν Ζ. ἀλλὰ μὴν καὶ ὡς Α πρὸς τὸν Β, οὕτως Η πρὸς τὸν Ε: καὶ ὡς ἄρα Η πρὸς τὸν Ε, οὕτως Η πρὸς τὸν Ζ. Η ἄρα πρὸς ἑκάτερον τῶν Ε, Ζ τὸν αὐτὸν ἔχει λόγον: ἴσος ἄρα ἐστὶν Ε τῷ Ζ.
30

ἔστω δὴ πάλιν ἴσος Ε τῷ Ζ: λέγω, ὅτι ἐστὶν ὡς Α πρὸς τὸν Β, οὕτως Γ πρὸς τὸν Δ.

τῶν γὰρ αὐτῶν κατασκευασθέντων, ἐπεὶ ἴσος ἐστὶν Ε τῷ Ζ, ἔστιν ἄρα ὡς Η πρὸς τὸν Ε, οὕτως Η πρὸς τὸν Ζ. ἀλλ᾽ ὡς μὲν Η πρὸς τὸν Ε, οὕτως Γ πρὸς τὸν
35δ, ὡς δὲ Η πρὸς τὸν Ζ, οὕτως Α πρὸς τὸν Β. καὶ ὡς ἄρα Α πρὸς τὸν Β, οὕτως Γ πρὸς τὸν Δ: ὅπερ ἔδει δεῖξαι.


οἱ ἐλάχιστοι ἀριθμοὶ τῶν τὸν αὐτὸν λόγον ἐχόντων αὐτοῖς μετροῦσι τοὺς τὸν αὐτὸν λόγον ἔχοντας ἰσάκις τε μείζων τὸν μείζονα καὶ ἐλάσσων τὸν ἐλάσσονα.

ἔστωσαν γὰρ ἐλάχιστοι ἀριθμοὶ τῶν τὸν αὐτὸν
5λόγον ἐχόντων τοῖς Α, Β οἱ ΓΔ, ΕΖ: λέγω, ὅτι ἰσάκις ΓΔ τὸν Α μετρεῖ καὶ ΕΖ τὸν Β.

ΓΔ γὰρ τοῦ Α οὔκ ἐστι μέρη. εἰ γὰρ δυνατόν, ἔστω: καὶ ΕΖ ἄρα τοῦ Β τὰ αὐτὰ μέρη ἐστίν, ἅπερ ΓΔ τοῦ Α. ὅσα ἄρα ἐστὶν ἐν τῷ
10ΓΔ μέρη τοῦ Α, τοσαῦτά ἐστι καὶ ἐν τῷ ΕΖ μέρη τοῦ Β. διῃρήσθω μὲν ΓΔ εἰς τὰ τοῦ Α μέρη τὰ ΓΗ, ΗΔ, δὲ ΕΖ εἰς τὰ τοῦ Β μέρη τὰ ΕΘ, ΘΖ: ἔσται δὴ ἴσον τὸ πλῆθος τῶν ΓΗ, ΗΔ τῷ πλήθει τῶν ΕΘ, ΘΖ. καὶ ἐπεὶ ἴσοι
15εἰσὶν οἱ ΓΗ, ΗΔ ἀριθμοὶ ἀλλήλοις, εἰσὶ δὲ καὶ οἱ ΕΘ, ΘΖ ἀριθμοὶ ἴσοι ἀλλήλοις, καί ἐστιν ἴσον τὸ πλῆθος τῶν ΓΗ, ΗΔ τῷ πλήθει τῶν ΕΘ, ΘΖ, ἔστιν ἄρα ὡς ΓΗ πρὸς τὸν ΕΘ, οὕτως ΗΔ πρὸς τὸν ΘΖ. ἔσται ἄρα καὶ ὡς εἷς τῶν ἡγουμένων
20πρὸς ἕνα τῶν ἑπομένων, οὕτως ἅπαντες οἱ ἡγούμενοι πρὸς ἅπαντας τοὺς ἑπομένους. ἔστιν ἄρα ὡς ΓΗ πρὸς τὸν ΕΘ, οὕτως ΓΔ πρὸς τὸν ΕΖ: οἱ ΓΗ, ΕΘ ἄρα τοῖς ΓΔ, ΕΖ ἐν τῷ αὐτῷ λόγῳ εἰσὶν ἐλάσσονες ὄντες αὐτῶν: ὅπερ ἐστὶν ἀδύνατον: ὑπόκεινται γὰρ οἱ ΓΔ, ΕΖ ἐλάχιστοι
25τῶν τὸν αὐτὸν λόγον ἐχόντων αὐτοῖς. οὐκ ἄρα μέρη ἐστὶν ΓΔ τοῦ Α: μέρος ἄρα. καὶ ΕΖ τοῦ Β τὸ αὐτὸ μέρος ἐστίν, ὅπερ ΓΔ τοῦ Α: ἰσάκις ἄρα ΓΔ τὸν Α μετρεῖ καὶ ΕΖ τὸν Β: ὅπερ ἔδει δεῖξαι.


οἱ πρῶτοι πρὸς ἀλλήλους ἀριθμοὶ ἐλάχιστοί εἰσι τῶν τὸν αὐτὸν λόγον ἐχόντων αὐτοῖς.

ἔστωσαν πρῶτοι πρὸς ἀλλήλους ἀριθμοὶ οἱ Α, Β: λέγω, ὅτι οἱ Α, Β ἐλάχιστοί εἰσι
5τῶν τὸν αὐτὸν λόγον ἐχόντων αὐτοῖς.

εἰ γὰρ μή, ἔσονταί τινες τῶν Α, Β ἐλάσσονες ἀριθμοὶ ἐν τῷ αὐτῷ λόγῳ ὄντες τοῖς Α, Β. ἔστωσαν οἱ Γ, Δ.

ἐπεὶ οὖν οἱ ἐλάχιστοι ἀριθμοὶ τῶν τὸν
10αὐτὸν λόγον ἐχόντων 2αὐτοῖς2 μετροῦσι τοὺς τὸν αὐτὸν λόγον ἔχοντας ἰσάκις τε μείζων τὸν μείζονα καὶ ἐλάττων τὸν ἐλάττονα, τουτέστιν τε ἡγούμενος τὸν ἡγούμενον καὶ ἑπόμενος τὸν ἑπόμενον, ἰσάκις ἄρα Γ τὸν Α μετρεῖ καὶ Δ τὸν Β.
15ὁσάκις δὴ Γ τὸν Α μετρεῖ, τοσαῦται μονάδες ἔστωσαν ἐν τῷ Ε. καὶ Δ ἄρα τὸν Β μετρεῖ κατὰ τὰς ἐν τῷ Ε μονάδας. καὶ ἐπεὶ Γ τὸν Α μετρεῖ κατὰ τὰς ἐν τῷ Ε μονάδας, καὶ Ε ἄρα τὸν Α μετρεῖ κατὰ τὰς ἐν τῷ Γ μονάδας. διὰ τὰ αὐτὰ δὴ Ε καὶ τὸν Β μετρεῖ κατὰ τὰς
20ἐν τῷ Δ μονάδας. Ε ἄρα τοὺς Α, Β μετρεῖ πρώτους ὄντας πρὸς ἀλλήλους: ὅπερ ἐστὶν ἀδύνατον. οὐκ ἄρα ἔσονταί τινες τῶν Α, Β ἐλάσσονες ἀριθμοὶ ἐν τῷ αὐτῷ λόγῳ ὄντες τοῖς Α, Β. οἱ Α, Β ἄρα ἐλάχιστοί εἰσι τῶν τὸν αὐτὸν λόγον ἐχόντων αὐτοῖς: ὅπερ ἔδει δεῖξαι.


οἱ ἐλάχιστοι ἀριθμοὶ τῶν τὸν αὐτὸν λόγον ἐχόντων αὐτοῖς πρῶτοι πρὸς ἀλλήλους εἰσίν.

ἔστωσαν ἐλάχιστοι ἀριθμοὶ τῶν τὸν αὐτὸν λόγον ἐχόντων αὐτοῖς οἱ Α, Β: λέγω, ὅτι οἱ Α, Β πρῶτοι πρὸς
5ἀλλήλους εἰσίν.

εἰ γὰρ μή εἰσι πρῶτοι πρὸς ἀλλήλους, μετρήσει τις αὐτοὺς ἀριθμός. μετρείτω, καὶ ἔστω Γ. καὶ ὁσάκις μὲν Γ τὸν Α μετρεῖ, τοσαῦται μονάδες ἔστωσαν ἐν
10τῷ Δ, ὁσάκις δὲ Γ τὸν Β μετρεῖ, τοσαῦται μονάδες ἔστωσαν ἐν τῷ Ε.

ἐπεὶ Γ τὸν Α μετρεῖ κατὰ τὰς ἐν τῷ Δ μονάδας, Γ ἄρα τὸν Δ πολλαπλασιάσας τὸν Α πεποίηκεν. διὰ τὰ αὐτὰ δὴ καὶ Γ τὸν Ε πολλαπλασιάσας τὸν Β πεποίηκεν.
15ἀριθμὸς δὴ Γ δύο ἀριθμοὺς τοὺς Δ, Ε πολλαπλασιάσας τοὺς Α, Β πεποίηκεν: ἔστιν ἄρα ὡς Δ πρὸς τὸν Ε, οὕτως Α πρὸς τὸν Β: οἱ Δ, Ε ἄρα τοῖς Α, Β ἐν τῷ αὐτῷ λόγῳ εἰσὶν ἐλάσσονες ὄντες αὐτῶν: ὅπερ ἐστὶν ἀδύνατον. οὐκ ἄρα τοὺς Α, Β ἀριθμοὺς ἀριθμός τις μετρήσει. οἱ
20α, Β ἄρα πρῶτοι πρὸς ἀλλήλους εἰσίν: ὅπερ ἔδει δεῖξαι.


ἐὰν δύο ἀριθμοὶ πρῶτοι πρὸς ἀλλήλους ὦσιν, τὸν ἕνα αὐτῶν μετρῶν ἀριθμὸς πρὸς τὸν λοιπὸν πρῶτος ἔσται.

ἔστωσαν δύο ἀριθμοὶ πρῶτοι πρὸς ἀλλήλους οἱ Α, Β, τὸν δὲ Α μετρείτω τις
5ἀριθμὸς Γ: λέγω, ὅτι καὶ οἱ Γ, Β πρῶτοι πρὸς ἀλλήλους εἰσίν.

εἰ γὰρ μή εἰσιν οἱ Γ, Β πρῶτοι πρὸς ἀλλήλους, μετρήσει τις τοὺς Γ, Β ἀριθμός. μετρείτω, καὶ ἔστω Δ. ἐπεὶ Δ τὸν Γ
10μετρεῖ, δὲ Γ τὸν Α μετρεῖ, καὶ Δ ἄρα τὸν Α μετρεῖ. μετρεῖ δὲ καὶ τὸν Β: Δ ἄρα τοὺς Α, Β μετρεῖ πρώτους ὄντας πρὸς ἀλλήλους: ὅπερ ἐστὶν ἀδύνατον. οὐκ ἄρα τοὺς Γ, Β ἀριθμοὺς ἀριθμός τις μετρήσει. οἱ Γ, Β ἄρα πρῶτοι πρὸς ἀλλήλους εἰσίν: ὅπερ ἔδει δεῖξαι.


ἐὰν δύο ἀριθμοὶ πρός τινα ἀριθμὸν πρῶτοι ὦσιν, καὶ ἐξ αὐτῶν γενόμενος πρὸς τὸν αὐτὸν πρῶτος ἔσται.

δύο γὰρ ἀριθμοὶ οἱ Α, Β πρός τινα ἀριθμὸν τὸν Γ πρῶτοι ἔστωσαν, καὶ
5α τὸν Β πολλαπλασιάσας τὸν Δ ποιείτω: λέγω, ὅτι οἱ Γ, Δ πρῶτοι πρὸς ἀλλήλους εἰσίν.

εἰ γὰρ μή εἰσιν οἱ Γ, Δ πρῶτοι πρὸς ἀλλήλους, μετρήσει τις τοὺς Γ, Δ ἀριθμός.
10μετρείτω, καὶ ἔστω Ε. καὶ ἐπεὶ οἱ Γ, Α πρῶτοι πρὸς ἀλλήλους εἰσίν, τὸν δὲ Γ μετρεῖ τις ἀριθμὸς Ε, οἱ Α, Ε ἄρα πρῶτοι πρὸς ἀλλήλους εἰσίν. ὁσάκις δὴ Ε τὸν Δ μετρεῖ, τοσαῦται μονάδες ἔστωσαν ἐν τῷ Ζ: καὶ Ζ ἄρα τὸν Δ μετρεῖ κατὰ τὰς ἐν τῷ Ε μονάδας.
15 Ε ἄρα τὸν Ζ πολλαπλασιάσας τὸν Δ πεποίηκεν. ἀλλὰ μὴν καὶ Α τὸν Β πολλαπλασιάσας τὸν Δ πεποίηκεν: ἴσος ἄρα ἐστὶν ἐκ τῶν Ε, Ζ τῷ ἐκ τῶν Α, Β. ἐὰν δὲ ὑπὸ τῶν ἄκρων ἴσος τῷ ὑπὸ τῶν μέσων, οἱ τέσσαρες ἀριθμοὶ ἀνάλογόν εἰσιν: ἔστιν ἄρα ὡς Ε πρὸς τὸν Α, οὕτως Β
20πρὸς τὸν Ζ. οἱ δὲ Α, Ε πρῶτοι, οἱ δὲ πρῶτοι καὶ ἐλάχιστοι, οἱ δὲ ἐλάχιστοι ἀριθμοὶ τῶν τὸν αὐτὸν λόγον ἐχόντων αὐτοῖς μετροῦσι τοὺς τὸν αὐτὸν λόγον ἔχοντας ἰσάκις τε μείζων τὸν μείζονα καὶ ἐλάσσων τὸν ἐλάσσονα, τουτέστιν τε ἡγούμενος τὸν ἡγούμενον καὶ ἑπόμενος
25τὸν ἑπόμενον: Ε ἄρα τὸν Β μετρεῖ. μετρεῖ δὲ καὶ τὸν Γ: Ε ἄρα τοὺς Β, Γ μετρεῖ πρώτους ὄντας πρὸς ἀλλήλους: ὅπερ ἐστὶν ἀδύνατον. οὐκ ἄρα τοὺς Γ, Δ ἀριθμοὺς ἀριθμός τις μετρήσει. οἱ Γ, Δ ἄρα πρῶτοι πρὸς ἀλλήλους εἰσίν: ὅπερ ἔδει δεῖξαι.


ἐὰν δύο ἀριθμοὶ πρῶτοι πρὸς ἀλλήλους ὦσιν, ἐκ τοῦ ἑνὸς αὐτῶν γενόμενος πρὸς τὸν λοιπὸν πρῶτος ἔσται.

ἔστωσαν δύο ἀριθμοὶ πρῶτοι πρὸς ἀλλήλους οἱ Α, Β, καὶ Α ἑαυτὸν πολλαπλασιάσας
5τὸν Γ ποιείτω: λέγω, ὅτι οἱ Β, Γ πρῶτοι πρὸς ἀλλήλους εἰσίν.

κείσθω γὰρ τῷ Α ἴσος Δ. ἐπεὶ οἱ Α, Β πρῶτοι πρὸς ἀλλήλους εἰσίν, ἴσος δὲ Α τῷ Δ, καὶ οἱ Δ, Β ἄρα πρῶτοι πρὸς ἀλλήλους εἰσίν.
10ἑκάτερος ἄρα τῶν Δ, Α πρὸς τὸν Β πρῶτός ἐστιν: καὶ ἐκ τῶν Δ, Α ἄρα γενόμενος πρὸς τὸν Β πρῶτος ἔσται. δὲ ἐκ τῶν Δ, Α γενόμενος ἀριθμός ἐστιν Γ. οἱ Γ, Β ἄρα πρῶτοι πρὸς ἀλλήλους εἰσίν: ὅπερ ἔδει δεῖξαι.


ἐὰν δύο ἀριθμοὶ πρὸς δύο ἀριθμοὺς ἀμφότεροι πρὸς ἑκάτερον πρῶτοι ὦσιν, καὶ οἱ ἐξ αὐτῶν γενόμενοι πρῶτοι πρὸς ἀλλήλους ἔσονται.

δύο γὰρ ἀριθμοὶ οἱ Α, Β πρὸς δύο ἀριθμοὺς τοὺς
5Γ, Δ ἀμφότεροι πρὸς ἑκάτερον πρῶτοι ἔστωσαν, καὶ μὲν Α τὸν Β πολλαπλασιάσας τὸν Ε ποιείτω, δὲ Γ τὸν Δ πολλαπλασιάσας τὸν Ζ ποιείτω: λέγω, ὅτι οἱ Ε, Ζ