Book 8, Type prop

ἀριθμοὺς εὑρεῖν ἑξῆς ἀνάλογον ἐλαχίστους, ὅσους ἂν ἐπιτάξῃ τις, ἐν τῷ δοθέντι λόγῳ. ἔστω ὁ δοθεὶς λόγος ἐν ἐλαχίστοις ἀριθμοῖς ὁ τοῦ Α πρὸς τὸν Β· δεῖ δὴ ἀριθμοὺς εὑρεῖν ἑξῆς ἀνάλογον ἐλαχίστους, ὅσους ἄν τις ἐπιτάξῃ, ἐν τῷ τοῦ Α πρὸς τὸν Β λόγῳ. Ἐπιτετάχθωσαν δὴ τέσσαρες, καὶ ὁ Α ἑαυτὸν πολλαπλασιάσας τὸν Γ ποιείτω, τὸν δὲ Β πολλαπλασιάσας τὸν Δ ποιείτω, καὶ ἔτι ὁ Β ἑαυτὸν πολλαπλασιάσας τὸν Ε ποιείτω, καὶ ἔτι ὁ Α τοὺς Γ, Δ, Ε πολλαπλασιάσας τοὺς Ζ, Η, Θ ποιείτω, ὁ δὲ Β τὸν Ε πολλαπλασιάσας τὸν Κ ποιείτω. καὶ ἐπεὶ ὁ Α ἑαυτὸν μὲν πολλαπλασιάσας τὸν Γ πεποίηκεν, τὸν δὲ Β πολλαπλασιάσας τὸν Δ πεποίηκεν, ἔστιν ἄρα ὡς ὁ Α πρὸς τὸν Β, ὁ Γ πρὸς τὸν Δ. πάλιν, ἐπεὶ ὁ μὲν Α τὸν Β πολλαπλασιάσας τὸν Δ πεποίηκεν, ὁ δὲ Β ἑαυτὸν πολλαπλασιάσας τὸν Ε πεποίηκεν, ἑκάτερος ἄρα τῶν Α, Β τὸν Β πολλαπλασιάσας ἑκάτερον τῶν Δ, Ε πεποίηκεν. ἔστιν ἄρα ὡς ὁ Α πρὸς τὸν Β, οὕτως ὁ Δ πρὸς τὸν Ε. ἀλλʼ ὡς ὁ Α πρὸς τὸν Β, ὁ Γ πρὸς τὸν Δ· καὶ ὡς ἄρα ὁ Γ πρὸς τὸν Δ, ὁ Δ πρὸς τὸν Ε. καὶ ἐπεὶ ὁ Α τοὺς Γ, Δ πολλαπλασιάσας τοὺς Ζ, Η πεποίηκεν, ἔστιν ἄρα ὡς ὁ Γ πρὸς τὸν Δ, ὁ Ζ πρὸς τὸν Η. ὡς δὲ ὁ Γ πρὸς τὸν Δ, οὕτως ἦν ὁ Α πρὸς τὸν Β· καὶ ὡς ἄρα ὁ Α πρὸς τὸν Β, ὁ Ζ πρὸς τὸν Η. πάλιν, ἐπεὶ ὁ Α τοὺς Δ, Ε πολλαπλασιάσας τοὺς Η, Θ πεποίηκεν, ἔστιν ἄρα ὡς ὁ Δ πρὸς τὸν Ε, ὁ Η πρὸς τὸν Θ. ἀλλʼ ὡς ὁ Δ πρὸς τὸν Ε, ὁ Α πρὸς τὸν Β. καὶ ὡς ἄρα ὁ Α πρὸς τὸν Β, οὕτως ὁ Η πρὸς τὸν Θ. καὶ ἐπεὶ οἱ Α, Β τὸν Ε πολλαπλασιάσαντες τοὺς Θ, Κ πεποιήκασιν, ἔστιν ἄρα ὡς ὁ Α πρὸς τὸν Β, οὕτως ὁ Θ πρὸς τὸν Κ. ἀλλʼ ὡς ὁ Α πρὸς τὸν Β, οὕτως ὅ τε Ζ πρὸς τὸν Η καὶ ὁ Η πρὸς τὸν Θ. καὶ ὡς ἄρα ὁ Ζ πρὸς τὸν Η, οὕτως ὅ τε Η πρὸς τὸν Θ καὶ ὁ Θ πρὸς τὸν Κ· οἱ Γ, Δ, Ε ἄρα καὶ οἱ Ζ, Η, Θ, Κ ἀνάλογόν εἰσιν ἐν τῷ τοῦ Α πρὸς τὸν Β λόγῳ. λέγω δή, ὅτι καὶ ἐλάχιστοι. ἐπεὶ γὰρ οἱ Α, Β ἐλάχιστοί εἰσι τῶν τὸν αὐτὸν λόγον ἐχόντων αὐτοῖς, οἱ δὲ ἐλάχιστοι τῶν τὸν αὐτὸν λόγον ἐχόντων πρῶτοι πρὸς ἀλλήλους εἰσίν, οἱ Α, Β ἄρα πρῶτοι πρὸς ἀλλήλους εἰσίν. καὶ ἑκάτερος μὲν τῶν Α, Β ἑαυτὸν πολλαπλασιάσας ἑκάτερον τῶν Γ, Ε πεποίηκεν, ἑκάτερον δὲ τῶν Γ, Ε πολλαπλασιάσας ἑκάτερον τῶν Ζ, Κ πεποίηκεν· οἱ Γ, Ε ἄρα καὶ οἱ Ζ, Κ πρῶτοι πρὸς ἀλλήλους εἰσίν. ἐὰν δὲ ὦσιν ὁποσοιοῦν ἀριθμοὶ ἑξῆς ἀνάλογον, οἱ δὲ ἄκροι αὐτῶν πρῶτοι πρὸς ἀλλήλους ὦσιν, ἐλάχιστοί εἰσι τῶν τὸν αὐτὸν λόγον ἐχόντων αὐτοῖς. οἱ Γ, Δ, Ε ἄρα καὶ οἱ Ζ, Η, Θ, Κ ἐλάχιστοί εἰσι τῶν τὸν αὐτὸν λόγον ἐχόντων τοῖς Α, Β· ὅπερ ἔδει δεῖξαι. Πόρισμα ἐκ δὴ τούτου φανερόν, ὅτι ἐὰν τρεῖς ἀριθμοὶ ἑξῆς ἀνάλογον ἐλάχιστοι ὦσι τῶν τὸν αὐτὸν λόγον ἐχόντων αὐτοῖς, οἱ ἄκροι αὐτῶν τετράγωνοί εἰσιν, ἐὰν δὲ τέσσαρες, κύβοι.