Book 7, Type prop

τριῶν ἀριθμῶν δοθέντων εὑρεῖν, ὃν ἐλάχιστον μετροῦσιν ἀριθμόν. ἔστωσαν οἱ δοθέντες τρεῖς ἀριθμοὶ οἱ Α, Β, Γ· δεῖ δὴ εὑρεῖν, ὃν ἐλάχιστον μετροῦσιν ἀριθμόν. εἰλήφθω γὰρ ὑπὸ δύο τῶν Α, Β ἐλάχιστος μετρούμενος ὁ Δ. ὁ δὴ Γ τὸν Δ ἤτοι μετρεῖ ἢ οὐ μετρεῖ. μετρείτω πρότερον. μετροῦσι δὲ καὶ οἱ Α, Β τὸν Δ· οἱ Α, Β, Γ ἄρα τὸν Δ μετροῦσιν. λέγω δή, ὅτι καὶ ἐλάχιστον. εἰ γὰρ μή, μετρήσουσιν ἀριθμὸν οἱ Α, Β, Γ ἐλάσσονα ὄντα τοῦ Δ. μετρείτωσαν τὸν Ε. ἐπεὶ οἱ Α, Β, Γ τὸν Ε μετροῦσιν, καὶ οἱ Α, Β ἄρα τὸν Ε μετροῦσιν. καὶ ὁ ἐλάχιστος ἄρα ὑπὸ τῶν Α, Β μετρούμενος μετρήσει. ἐλάχιστος δὲ ὑπὸ τῶν Α, Β μετρούμενός ἐστιν ὁ Δ· ὁ Δ ἄρα τὸν Ε μετρήσει ὁ μείζων τὸν ἐλάσσονα· ὅπερ ἐστὶν ἀδύνατον. οὐκ ἄρα οἱ Α, Β, Γ μετρήσουσί τινα ἀριθμὸν ἐλάσσονα ὄντα τοῦ Δ· οἱ Α, Β, Γ ἄρα ἐλάχιστον τὸν Δ μετροῦσιν. μὴ μετρείτω δὴ πάλιν ὁ Γ τὸν Δ, καὶ εἰλήφθω ὑπὸ τῶν Γ, Δ ἐλάχιστος μετρούμενος ἀριθμὸς ὁ Ε. ἐπεὶ οἱ Α, Β τὸν Δ μετροῦσιν, ὁ δὲ Δ τὸν Ε μετρεῖ, καὶ οἱ Α, Β ἄρα τὸν Ε μετροῦσιν. μετρεῖ δὲ καὶ ὁ Γ οἱ Α, Β, Γ ἄρα τὸν Ε μετροῦσιν. λέγω δή, ὅτι καὶ ἐλάχιστον. εἰ γὰρ μή, μετρήσουσί τινα οἱ Α, Β, Γ ἐλάσσονα ὄντα τοῦ Ε. μετρείτωσαν τὸν Ζ. ἐπεὶ οἱ Α, Β, Γ τὸν Ζ μετροῦσιν, καὶ οἱ Α, Β ἄρα τὸν Ζ μετροῦσιν· καὶ ὁ ἐλάχιστος ἄρα ὑπὸ τῶν Α, Β μετρούμενος τὸν Ζ μετρήσει. ἐλάχιστος δὲ ὑπὸ τῶν Α, Β μετρούμενός ἐστιν ὁ Δ· ὁ Δ ἄρα τὸν Ζ μετρεῖ. μετρεῖ δὲ καὶ ὁ Γ τὸν Ζ· οἱ Δ, Γ ἄρα τὸν Ζ μετροῦσιν· ὥστε καὶ ὁ ἐλάχιστος ὑπὸ τῶν Δ, Γ μετρούμενος τὸν Ζ μετρήσει. ὁ δὲ ἐλάχιστος ὑπὸ τῶν Γ, Δ μετρούμενός ἐστιν ὁ Ε· ὁ Ε ἄρα τὸν Ζ μετρεῖ ὁ μείζων τὸν ἐλάσσονα· ὅπερ ἐστὶν ἀδύνατον. οὐκ ἄρα οἱ Α, Β, Γ μετρήσουσί τινα ἀριθμὸν ἐλάσσονα ὄντα τοῦ Ε. ὁ Ε ἄρα ἐλάχιστος ὢν ὑπὸ τῶν Α, Β, Γ μετρεῖται· ὅπερ ἔδει δεῖξαι.