Στοιχεῖα Εὐκλείδου ζ΄

[Βιβλίον VII]

Αἱ Προτάσεις τῶν Στοιχείων ζ΄.
Προηγουμένη Πρότασις

Πρότασις λθ΄. [39]

Ἀριθμὸν εὑρεῖν, ὃς ἐλάχιστος ὢν ἕξει τὰ δοθέντα μέρη.

Ἔστω τὰ δοθέντα μέρη τὰ Α, Β, Γ· δεῖ δὴ ἀριθμὸν εὑρεῖν, ὃς ἐλάχιστος ὢν ἕξει τὰ Α, Β, Γ μέρη.

Ἔστωσαν γὰρ τοῖς Α, Β, Γ μέρεσιν ὁμώνυμοι ἀριθμοὶ οἱ Δ, Ε, Ζ, καὶ εἰλήφθω ὑπὸ τῶν Δ, Ε, Ζ ἐλάχιστος μετρούμενος ἀριθμὸς ὁ Η.

Ὁ Η ἄρα ὁμώνυμα μέρη ἔχει τοῖς Δ, Ε, Ζ. τοῖς δὲ Δ, Ε, Ζ ὁμώνυμα μέρη ἐστὶ τὰ Α, Β, Γ· ὁ Η ἄρα ἔχει τὰ Α, Β, Γ μέρη. λέγω δή, ὅτι καὶ ἐλάχιστος ὤν. εἰ γὰρ μή, ἔσται τις τοῦ Η ἐλάσσων ἀριθμός, ὃς ἕξει τὰ Α, Β, Γ μέρη. ἔστω ὁ Θ. ἐπεὶ ὁ Θ ἔχει τὰ Α, Β, Γ μέρη, ὁ Θ ἄρα ὑπὸ ὁμωνύμων ἀριθμῶν μετρηθήσεται τοῖς Α, Β, Γ μέρεσιν. τοῖς δὲ Α, Β, Γ μέρεσιν ὁμώνυμοι ἀριθμοί εἰσιν οἱ Δ, Ε, Ζ· ὁ Θ ἄρα ὑπὸ τῶν Δ, Ε, Ζ μετρεῖται. καί ἐστιν ἐλάσσων τοῦ Η· ὅπερ ἐστὶν ἀδύνατον. οὐκ ἄρα ἔσται τις τοῦ Η ἐλάσσων ἀριθμός, ὃς ἕξει τὰ Α, Β, Γ μέρη· ὅπερ ἔδει δεῖξαι.

Προηγουμένη Πρότασις
Αἱ Προτάσεις τῶν Στοιχείων ζ΄.
Περιεχόμενα Στοιχείων Εὐκλείδου