Book 8, Type prop

ἐὰν δύο ἀριθμῶν δύο μέσοι ἀνάλογον ἐμπίπτωσιν ἀριθμοί, ὅμοιοι στερεοί εἰσιν οἱ ἀριθμοί. δύο γὰρ ἀριθμῶν τῶν Α, Β δύο μέσοι ἀνάλογον ἐμπιπτέτωσαν ἀριθμοὶ οἱ Γ, Δ· λέγω, ὅτι οἱ Α, Β ὅμοιοι στερεοί εἰσιν. εἰλήφθωσαν γὰρ ἐλάχιστοι ἀριθμοὶ τῶν τὸν αὐτὸν λόγον ἐχόντων τοῖς Α, Γ, Δ τρεῖς οἱ Ε, Ζ, Η· οἱ ἄρα ἄκροι αὐτῶν οἱ Ε, Η πρῶτοι πρὸς ἀλλήλους εἰσίν. καὶ ἐπεὶ τῶν Ε, Η εἷς μέσος ἀνάλογον ἐμπέπτωκεν ἀριθμὸς ὁ Ζ, οἱ Ε, Η ἄρα ἀριθμοὶ ὅμοιοι ἐπίπεδοί εἰσιν. ἔστωσαν οὖν τοῦ μὲν Ε πλευραὶ οἱ Θ, Κ, τοῦ δὲ Η οἱ Λ, Μ. φανερὸν ἄρα ἐστὶν ἐκ τοῦ πρὸ τούτου, ὅτι οἱ Ε, Ζ, Η ἑξῆς εἰσιν ἀνάλογον ἔν τε τῷ τοῦ Θ πρὸς τὸν Λ λόγῳ καὶ τῷ τοῦ Κ πρὸς τὸν Μ. καὶ ἐπεὶ οἱ Ε, Ζ, Η ἐλάχιστοί εἰσι τῶν τὸν αὐτὸν λόγον ἐχόντων τοῖς Α, Γ, Δ, καί ἐστιν ἴσον τὸ πλῆθος τῶν Ε, Ζ, Η τῷ πλήθει τῶν Α, Γ, Δ, διʼ ἴσου ἄρα ἐστὶν ὡς ὁ Ε πρὸς τὸν Η, οὕτως ὁ Α πρὸς τὸν Δ. οἱ δὲ Ε, Η πρῶτοι, οἱ δὲ πρῶτοι καὶ ἐλάχιστοι, οἱ δὲ ἐλάχιστοι μετροῦσι τοὺς τὸν αὐτὸν λόγον ἔχοντας αὐτοῖς ἰσάκις ὅ τε μείζων τὸν μείζονα καὶ ὁ ἐλάσσων τὸν ἐλάσσονα, τουτέστιν ὅ τε ἡγούμενος τὸν ἡγούμενον καὶ ὁ ἑπόμενος τὸν ἑπόμενον· ἰσάκις ἄρα ὁ Ε τὸν Α μετρεῖ καὶ ὁ Η τὸν Δ. ὁσάκις δὴ ὁ Ε τὸν Α μετρεῖ, τοσαῦται μονάδες ἔστωσαν ἐν τῷ Ν. ὁ Ν ἄρα τὸν Ε πολλαπλασιάσας τὸν Α πεποίηκεν. ὁ δὲ Ε ἐστιν ὁ ἐκ τῶν Θ, Κ· ὁ Ν ἄρα τὸν ἐκ τῶν Θ, Κ πολλαπλασιάσας τὸν Α πεποίηκεν. στερεὸς ἄρα ἐστὶν ὁ Α, πλευραὶ δὲ αὐτοῦ εἰσιν οἱ Θ, Κ, Ν. πάλιν, ἐπεὶ οἱ Ε, Ζ, Η ἐλάχιστοί εἰσι τῶν τὸν αὐτὸν λόγον ἐχόντων τοῖς Γ, Δ, Β, ἰσάκις ἄρα ὁ Ε τὸν Γ μετρεῖ καὶ ὁ Η τὸν Β. ὁσάκις δὴ ὁ Ε τὸν Γ μετρεῖ, τοσαῦται μονάδες ἔστωσαν ἐν τῷ Ξ. ὁ Η ἄρα τὸν Β μετρεῖ κατὰ τὰς ἐν τῷ Ξ μονάδας· ὁ Ξ ἄρα τὸν Η πολλαπλασιάσας τὸν Β πεποίηκεν. ὁ δὲ Η ἐστιν ὁ ἐκ τῶν Λ, Μ· ὁ Ξ ἄρα τὸν ἐκ τῶν Λ, Μ πολλαπλασιάσας τὸν Β πεποίηκεν. στερεὸς ἄρα ἐστὶν ὁ Β, πλευραὶ δὲ αὐτοῦ εἰσιν οἱ Λ, Μ, Ξ· οἱ Α, Β ἄρα στερεοί εἰσιν. λέγω ,ὅτι καὶ ὅμοιοι. ἐπεὶ γὰρ οἱ Ν, Ξ τὸν Ε πολλαπλασιάσαντες τοὺς Α, Γ πεποιήκασιν, ἔστιν ἄρα ὡς ὁ Ν πρὸς τὸν Ξ, ὁ Α πρὸς τὸν Γ, τουτέστιν ὁ Ε πρὸς τὸν Ζ. ἀλλʼ ὡς ὁ Ε πρὸς τὸν Ζ, ὁ Θ πρὸς τὸν Λ καὶ ὁ Κ πρὸς τὸν Μ· καὶ ὡς ἄρα ὁ Θ πρὸς τὸν Λ, οὕτως ὁ Κ πρὸς τὸν Μ καὶ ὁ Ν πρὸς τὸν Ξ. καί εἰσιν οἱ μὲν Θ, Κ, Ν πλευραὶ τοῦ Α, οἱ δὲ Ξ, Λ, Μ πλευραὶ τοῦ Β. οἱ Α, Β ἄρα ἀριθμοὶ ὅμοιοι στερεοί εἰσιν· ὅπερ ἔδει δεῖξαι.