Book 8, Type prop

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