Elementa

ἐὰν δύο ὅμοιοι ἐπίπεδοι ἀριθμοὶ πολλαπλασιάσαντες ἀλλήλους ποιῶσί τινα, ὁ γενόμενος τετράγωνος ἔσται.

ἔστωσαν δύο ὅμοιοι ἐπίπεδοι ἀριθμοὶ οἱ Α, Β, καὶ ὁ Α τὸν Β πολλαπλασιάσας τὸν Γ ποιείτω· λέγω, ὅτι ὁ Γ τετράγωνός ἐστιν.

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

ἐὰν δύο ἀριθμοὶ πολλαπλασιάσαντες ἀλλήλους ποιῶσι τετράγωνον, ὅμοιοι ἐπίπεδοί εἰσιν ἀριθμοί.

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

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

ἐὰν κύβος ἀριθμὸς ἑαυτὸν πολλαπλασιάσας ποιῇ τινα, ὁ γενόμενος κύβος ἔσται.

κύβος γὰρ ἀριθμὸς ὁ Α ἑαυτὸν πολλαπλασιάσας τὸν Β ποιείτω· λέγω, ὅτι ὁ Β κύβος ἐστίν.

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

ἐὰν κύβος ἀριθμὸς κύβον ἀριθμὸν πολλαπλασιάσας ποιῇ τινα, ὁ γενόμενος κύβος ἔσται.

κύβος γὰρ ἀριθμὸς ὁ Α κύβον ἀριθμὸν τὸν Β πολλαπλασιάσας τὸν Γ ποιείτω· λέγω, ὅτι ὁ Γ κύβος ἐστίν.

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

ἐὰν κύβος ἀριθμὸς ἀριθμόν τινα πολλαπλασιάσας κύβον ποιῇ, καὶ ὁ πολλαπλασιασθεὶς κύβος ἔσται.

κύβος γὰρ ἀριθμὸς ὁ Α ἀριθμόν τινα τὸν Β πολλαπλασιάσας κύβον τὸν Γ ποιείτω· λέγω, ὅτι ὁ Β κύβος ἐστίν.

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

ἐὰν ἀριθμὸς ἑαυτὸν πολλαπλασιάσας κύβον ποιῇ, καὶ αὐτὸς κύβος ἔσται.

ἀριθμὸς γὰρ ὁ Α ἑαυτὸν πολλαπλασιάσας κύβον τὸν Β ποιείτω· λέγω, ὅτι καὶ ὁ Α κύβος ἐστίν.

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

ἐὰν σύνθετος ἀριθμὸς ἀριθμόν τινα πολλαπλασιάσας ποιῇ τινα, ὁ γενόμενος στερεὸς ἔσται.

σύνθετος γὰρ ἀριθμὸς ὁ Α ἀριθμόν τινα τὸν Β πολλαπλασιάσας τὸν Γ ποιείτω· λέγω, ὅτι ὁ Γ στερεός ἐστιν.

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