Book 9, Type prop

τριῶν ἀριθμῶν δοθέντων ἐπισκέψασθαι, πότε δυνατόν ἐστιν αὐτοῖς τέταρτον ἀνάλογον προσευρεῖν. ἔστωσαν οἱ δοθέντες τρεῖς ἀριθμοὶ οἱ Α, Β, Γ, καὶ δέον ἔστω ἐπισκέψασθαι, πότε δυνατόν ἐστιν αὐτοῖς τέταρτον ἀνάλογον προσευρεῖν. ἤτοι οὖν οὔκ εἰσιν ἑξῆς ἀνάλογον, καὶ οἱ ἄκροι αὐτῶν πρῶτοι πρὸς ἀλλήλους εἰσίν, ἢ ἑξῆς εἰσιν ἀνάλογον, καὶ οἱ ἄκροι αὐτῶν οὔκ εἰσι πρῶτοι πρὸς ἀλλήλους, ἢ οὔτε ἑξῆς εἰσιν ἀνάλογον, οὔτε οἱ ἄκροι αὐτῶν πρῶτοι πρὸς ἀλλήλους εἰσίν, ἢ καὶ ἑξῆς εἰσιν ἀνάλογον, καὶ οἱ ἄκροι αὐτῶν πρῶτοι πρὸς ἀλλήλους εἰσίν. εἰ μὲν οὖν οἱ Α, Β, Γ ἑξῆς εἰσιν ἀνάλογον, καὶ οἱ ἄκροι αὐτῶν οἱ Α, Γ πρῶτοι πρὸς ἀλλήλους εἰσίν, δέδεικται, ὅτι ἀδύνατόν ἐστιν αὐτοῖς τέταρτον ἀνάλογον προσευρεῖν ἀριθμόν. μὴ ἔστωσαν δὴ οἱ Α, Β, Γ ἑξῆς ἀνάλογον τῶν ἄκρων πάλιν ὄντων πρώτων πρὸς ἀλλήλους. λέγω, ὅτι καὶ οὕτως ἀδύνατόν ἐστιν αὐτοῖς τέταρτον ἀνάλογον προσευρεῖν. εἰ γὰρ δυνατόν, προσευρήσθω ὁ Δ, ὥστε εἶναι ὡς τὸν Α πρὸς τὸν Β, τὸν Γ πρὸς τὸν Δ, καὶ γεγονέτω ὡς ὁ Β πρὸς τὸν Γ, ὁ Δ πρὸς τὸν Ε. καὶ ἐπεί ἐστιν ὡς μὲν ὁ Α πρὸς τὸν Β, ὁ Γ πρὸς τὸν Δ, ὡς δὲ ὁ Β πρὸς τὸν Γ, ὁ Δ πρὸς τὸν Ε, διʼ ἴσου ἄρα ὡς ὁ Α πρὸς τὸν Γ, ὁ Γ πρὸς τὸν Ε. οἱ δὲ Α, Γ πρῶτοι, οἱ δὲ πρῶτοι καὶ ἐλάχιστοι, οἱ δὲ ἐλάχιστοι μετροῦσι τοὺς τὸν αὐτὸν λόγον ἔχοντας ὅ τε ἡγούμενος τὸν ἡγούμενον καὶ ὁ ἑπόμενος τὸν ἑπόμενον. μετρεῖ ἄρα ὁ Α τὸν Γ ὡς ἡγούμενος ἡγούμενον. μετρεῖ δὲ καὶ ἑαυτόν· ὁ Α ἄρα τοὺς Α, Γ μετρεῖ πρώτους ὄντας πρὸς ἀλλήλους· ὅπερ ἐστὶν ἀδύνατον. οὐκ ἄρα τοῖς Α, Β, Γ δυνατόν ἐστι τέταρτον ἀνάλογον προσευρεῖν. ἀλλὰ δὴ πάλιν ἔστωσαν οἱ Α, Β, Γ ἑξῆς ἀνάλογον, οἱ δὲ Α, Γ μὴ ἔστωσαν πρῶτοι πρὸς ἀλλήλους. λέγω, ὅτι δυνατόν ἐστιν αὐτοῖς τέταρτον ἀνάλογον προσευρεῖν. ὁ γὰρ Β τὸν Γ πολλαπλασιάσας τὸν Δ ποιείτω· ὁ Α ἄρα τὸν Δ ἤτοι μετρεῖ ἢ οὐ μετρεῖ. μετρείτω αὐτὸν πρότερον κατὰ τὸν Ε· ὁ Α ἄρα τὸν Ε πολλαπλασιάσας τὸν Δ πεποίηκεν. ἀλλὰ μὴν καὶ ὁ Β τὸν Γ πολλαπλασιάσας τὸν Δ πεποίηκεν· ὁ ἄρα ἐκ τῶν Α, Ε ἴσος ἐστὶ τῷ ἐκ τῶν Β, Γ. ἀνάλογον ἄρα ὡς ὁ Α πρὸς τὸν Β, ὁ Γ πρὸς τὸν Ε· τοῖς Α, Β, Γ ἄρα τέταρτος ἀνάλογον προσηύρηται ὁ Ε. ἀλλὰ δὴ μὴ μετρείτω ὁ Α τὸν Δ· λέγω, ὅτι ἀδύνατόν ἐστι τοῖς Α, Β, Γ τέταρτον ἀνάλογον προσευρεῖν ἀριθμόν. εἰ γὰρ δυνατόν, προσευρήσθω ὁ Ε· ὁ ἄρα ἐκ τῶν Α, Ε ἴσος ἐστὶ τῷ ἐκ τῶν Β, Γ. ἀλλὰ ὁ ἐκ τῶν Β, Γ ἐστιν ὁ Δ· καὶ ὁ ἐκ τῶν Α, Ε ἄρα ἴσος ἐστὶ τῷ Δ. ὁ Α ἄρα τὸν Ε πολλαπλασιάσας τὸν Δ πεποίηκεν· ὁ Α ἄρα τὸν Δ μετρεῖ κατὰ τὸν Ε· ὥστε μετρεῖ ὁ Α τὸν Δ. ἀλλὰ καὶ οὐ μετρεῖ· ὅπερ ἄτοπον. οὐκ ἄρα δυνατόν ἐστι τοῖς Α, Β, Γ τέταρτον ἀνάλογον προσευρεῖν ἀριθμόν, ὅταν ὁ Α τὸν Δ μὴ μετρῇ. ἀλλὰ δὴ οἱ Α, Β, Γ μήτε ἑξῆς ἔστωσαν ἀνάλογον μήτε οἱ ἄκροι πρῶτοι πρὸς ἀλλήλους. καὶ ὁ Β τὸν Γ πολλαπλασιάσας τὸν Δ ποιείτω. ὁμοίως δὴ δειχθήσεται, ὅτι εἰ μὲν μετρεῖ ὁ Α τὸν Δ, δυνατόν ἐστιν αὐτοῖς ἀνάλογον προσευρεῖν, εἰ δὲ οὐ μετρεῖ, ἀδύνατον· ὅπερ ἔδει δεῖξαι.