Book 9, Type prop

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