Στοιχεῖα Εὐκλείδου η΄
[Βιβλίον VIII]
Αἱ Προτάσεις τῶν Στοιχείων η΄.
Προηγουμένη Πρότασις
Ἑπομένη Πρότασις
Πρότασις ς΄. [6]
Ἐὰν ὦσιν ὁποσοιοῦν ἀριθμοὶ ἑξῆς ἀνάλογον, ὁ δὲ πρῶτος τὸν δεύτερον μὴ μετρῇ, οὐδὲ ἄλλος οὐδεὶς οὐδένα μετρήσει.
Ἔστωσαν ὁποσοιοῦν ἀριθμοὶ ἑξῆς ἀνάλογον οἱ Α, Β, Γ, Δ, Ε, ὁ δὲ Α τὸν Β μὴ μετρείτω· λέγω, ὅτι οὐδὲ ἄλλος οὐδεὶς οὐδένα μετρήσει.
Ὅτι μὲν οὖν οἱ Α, Β, Γ, Δ, Ε ἑξῆς ἀλλήλους οὐ μετροῦσιν, φανερόν· οὐδὲ γὰρ ὁ Α τὸν Β μετρεῖ. λέγω δή, ὅτι οὐδὲ ἄλλος οὐδεὶς οὐδένα μετρήσει. εἰ γὰρ δυνατόν, μετρείτω ὁ Α τὸν Γ. καὶ ὅσοι εἰσὶν οἱ Α, Β, Γ, τοσοῦτοι εἰλήφθωσαν ἐλάχιστοι ἀριθμοὶ τῶν τὸν αὐτὸν λόγον ἐχόντων τοῖς Α, Β, Γ οἱ Ζ, Η, Θ. καὶ ἐπεὶ οἱ Ζ, Η, Θ ἐν τῷ αὐτῷ λόγῳ εἰσὶ τοῖς Α, Β, Γ, καί ἐστιν ἴσον τὸ πλῆθος τῶν Α, Β, Γ τῷ πλήθει τῶν Ζ, Η, Θ, δι' ἴσου ἄρα ἐστὶν ὡς ὁ Α πρὸς τὸν Γ, οὕτως ὁ Ζ πρὸς τὸν Θ. καὶ ἐπεί ἐστιν ὡς ὁ Α πρὸς τὸν Β, οὕτως ὁ Ζ πρὸς τὸν Η, οὐ μετρεῖ δὲ ὁ Α τὸν Β, οὐ μετρεῖ ἄρα οὐδὲ ὁ Ζ τὸν Η· οὐκ ἄρα μονάς ἐστιν ὁ Ζ· ἡ γὰρ μονὰς πάντα ἀριθμὸν μετρεῖ. καί εἰσιν οἱ Ζ, Θ πρῶτοι πρὸς ἀλλήλους [οὐδὲ ὁ Ζ ἄρα τὸν Θ μετρεῖ]. καί ἐστιν ὡς ὁ Ζ πρὸς τὸν Θ, οὕτως ὁ Α πρὸς τὸν Γ· οὐδὲ ὁ Α ἄρα τὸν Γ μετρεῖ. ὁμοίως δὴ δείξομεν, ὅτι οὐδὲ ἄλλος οὐδεὶς οὐδένα μετρήσει· ὅπερ ἔδει δεῖξαι.
Ἑπομένη Πρότασις
Προηγουμένη Πρότασις
Αἱ Προτάσεις τῶν Στοιχείων η΄.
Περιεχόμενα Στοιχείων Εὐκλείδου