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

[Βιβλίον VIII]

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

Πρότασις κ΄. [20]

Ἐὰν δύο ἀριθμῶν εἷς μέσος ἀνάλογον ἐμπίπτῃ ἀριθμός, ὅμοιοι ἐπίπεδοι ἔσονται οἱ ἀριθμοί.

Δύο γὰρ ἀριθμῶν τῶν Α, Β εἷς μέσος ἀνάλογον ἐμπιπτέτω ἀριθμὸς ὁ Γ· λέγω, ὅτι οἱ Α, Β ὅμοιοι ἐπίπεδοί εἰσιν ἀριθμοί.

Εἰλήφθωσαν [γὰρ] ἐλάχιστοι ἀριθμοὶ τῶν τὸν αὐτὸν λόγον ἐχόντων τοῖς Α, Γ οἱ Δ, Ε· ἰσάκις ἄρα ὁ Δ τὸν Α μετρεῖ καὶ ὁ Ε τὸν Γ. ὁσάκις δὴ ὁ Δ τὸν Α μετρεῖ, τοσαῦται μονάδες ἔστωσαν ἐν τῷ Ζ· ὁ Ζ ἄρα τὸν Δ πολλαπλασιάσας τὸν Α πεποίηκεν. ὥστε ὁ Α ἐπίπεδός ἐστιν, πλευραὶ δὲ αὐτοῦ οἱ Δ, Ζ. πάλιν, ἐπεὶ οἱ Δ, Ε ἐλάχιστοί εἰσι τῶν τὸν αὐτὸν λόγον ἐχόντων τοῖς Γ, Β, ἰσάκις ἄρα ὁ Δ τὸν Γ μετρεῖ καὶ ὁ Ε τὸν Β. ὁσάκις δὴ ὁ Ε τὸν Β μετρεῖ, τοσαῦται μονάδες ἔστωσαν ἐν τῷ Η. ὁ Ε ἄρα τὸν Β μετρεῖ κατὰ τὰς ἐν τῷ Η μονάδας· ὁ Η ἄρα τὸν Ε πολλαπλασιάσας τὸν Β πεποίηκεν. ὁ Β ἄρα ἐπίπεδός ἐστι, πλευραὶ δὲ αὐτοῦ εἰσιν οἱ Ε, Η. οἱ Α, Β ἄρα ἐπίπεδοί εἰσιν ἀριθμοί. λέγω δή, ὅτι καὶ ὅμοιοι. ἐπεὶ γὰρ ὁ Ζ τὸν μὲν Δ πολλαπλασιάσας τὸν Α πεποίηκεν, τὸν δὲ Ε πολλαπλασιάσας τὸν Γ πεποίηκεν, ἔστιν ἄρα ὡς ὁ Δ πρὸς τὸν Ε, οὕτως ὁ Α πρὸς τὸν Γ, τουτέστιν ὁ Γ πρὸς τὸν Β. πάλιν, ἐπεὶ ὁ Ε ἑκάτερον τῶν Ζ, Η πολλαπλασιάσας τοὺς Γ, Β πεποίηκεν, ἔστιν ἄρα ὡς ὁ Ζ πρὸς τὸν Η, οὕτως ὁ Γ πρὸς τὸν Β. ὡς δὲ ὁ Γ πρὸς τὸν Β, οὕτως ὁ Δ πρὸς τὸν Ε· καὶ ὡς ἄρα ὁ Δ πρὸς τὸν Ε, οὕτως ὁ Ζ πρὸς τὸν Η. καὶ ἐναλλὰξ ὡς ὁ Δ πρὸς τὸν Ζ, οὕτως ὁ Ε πρὸς τὸν Η. οἱ Α, Β ἄρα ὅμοιοι ἐπίπεδοί εἰσιν ἀριθμοί· αἱ γὰρ πλευραὶ αὐτῶν ἀνάλογόν εἰσιν· ὅπερ ἔδει δεῖξαι.

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