Euclid Elementa 9.prop.9

ἐὰν ἀπὸ μονάδος ὁποσοιοῦν ἑξῆς κατὰ τὸ συνεχὲς ἀριθμοὶ ἀνάλογον ὦσιν, ὁ δὲ μετὰ τὴν μονάδα τετράγωνος ᾖ, καὶ οἱ λοιποὶ πάντες τετράγωνοι ἔσονται. καὶ ἐὰν ὁ μετὰ τὴν μονάδα κύβος ᾖ, καὶ οἱ λοιποὶ πάντες κύβοι
ἔσονται.

ἔστωσαν ἀπὸ μονάδος ἑξῆς ἀνάλογον ὁσοιδηποτοῦν ἀριθμοὶ οἱ Α, Β, Γ, Δ, Ε, Ζ, ὁ δὲ μετὰ τὴν μονάδα ὁ Α τετράγωνος ἔστω· λέγω, ὅτι καὶ οἱ λοιποὶ πάντες τετράγωνοι ἔσονται.

ὅτι μὲν οὖν ὁ τρίτος ἀπὸ τῆς μονάδος ὁ Β τετράγωνός ἐστι καὶ οἱ ἕνα διαλείποντες πάντες, δέδεικται· λέγω δή, ὅτι καὶ οἱ λοιποὶ πάντες τετράγωνοί εἰσιν. ἐπεὶ γὰρ οἱ Α, Β, Γ ἑξῆς ἀνάλογόν εἰσιν, καί ἐστιν ὁ Α τετράγωνος, καὶ ὁ Γ ἄρα τετράγωνός ἐστιν. πάλιν, ἐπεὶ καὶ οἱ
β, Γ, Δ ἑξῆς ἀνάλογόν εἰσιν, καί ἐστιν ὁ Β τετράγωνος, καὶ ὁ Δ ἄρα τετράγωνός ἐστιν. ὁμοίως δὴ δείξομεν, ὅτι καὶ οἱ λοιποὶ πάντες τετράγωνοί εἰσιν.

ἀλλὰ δὴ ἔστω ὁ Α κύβος· λέγω, ὅτι καὶ οἱ λοιποὶ πάντες κύβοι εἰσίν.

ὅτι μὲν οὖν ὁ τέταρτος ἀπὸ τῆς μονάδος ὁ Γ κύβος ἐστὶ καὶ οἱ δύο διαλείποντες πάντες, δέδεικται· λέγω δή, ὅτι καὶ οἱ λοιποὶ πάντες κύβοι εἰσίν. ἐπεὶ γάρ ἐστιν ὡς ἡ μονὰς πρὸς τὸν Α, οὕτως ὁ Α πρὸς τὸν Β, ἰσάκις ἄρα ἡ μονὰς τὸν Α μετρεῖ καὶ ὁ Α τὸν Β. ἡ δὲ μονὰς τὸν Α
μετρεῖ κατὰ τὰς ἐν αὐτῷ μονάδας· καὶ ὁ Α ἄρα τὸν Β μετρεῖ κατὰ τὰς ἐν αὑτῷ μονάδας· ὁ Α ἄρα ἑαυτὸν πολλαπλασιάσας τὸν Β πεποίηκεν. καί ἐστιν ὁ Α κύβος. ἐὰν δὲ κύβος ἀριθμὸς ἑαυτὸν πολλαπλασιάσας ποιῇ τινα, ὁ γενόμενος κύβος ἐστίν· καὶ ὁ Β ἄρα κύβος ἐστίν. καὶ ἐπεὶ
τέσσαρες ἀριθμοὶ οἱ Α, Β, Γ, Δ ἑξῆς ἀνάλογόν εἰσιν, καί ἐστιν ὁ Α κύβος, καὶ ὁ Δ ἄρα κύβος ἐστίν. διὰ τὰ αὐτὰ δὴ καὶ ὁ Ε κύβος ἐστίν, καὶ ὁμοίως οἱ λοιποὶ πάντες κύβοι εἰσίν· ὅπερ ἔδει δεῖξαι.