index prev next | digilib folio 183
Given two commensurable magnitudes, to find their greatest common measure.
| Δύο μεγεθῶν συμμέτρων δοθέντων τὸ μέγιστον αὐτῶν κοινὸν μέτρον εὑρεῖν. Ἔστω τὰ δοθέντα δύο μεγέθη σύμμετρα τὰ ΑΒ, ΓΔ, ὧν ἔλασσον τὸ ΑΒ: δεῖ δὴ τῶν ΑΒ, ΓΔ τὸ μέγιστον κοινὸν μέτρον εὑρεῖν. Τὸ ΑΒ γὰρ μέγεθος ἤτοι μετρεῖ τὸ ΓΔ ἢ οὔ. εἰ μὲν οὖν μετρεῖ, μετρεῖ δὲ καὶ ἑαυτό, τὸ ΑΒ ἄρα τῶν ΑΒ, ΓΔ κοινὸν μέτρον ἐστίν: καὶ φανερόν, ὅτι καὶ μέγιστον. μεῖζον γὰρ τοῦ ΑΒ μεγέθους τὸ ΑΒ οὐ μετρήσει. Μὴ μετρείτω δὴ τὸ ΑΒ τὸ ΓΔ. καὶ ἀνθυφαιρουμένου ἀεὶ τοῦ ἐλάσσονος ἀπὸ τοῦ μείζονος, τὸ περιλειπόμενον μετρήσει ποτὲ τὸ πρὸ ἑαυτοῦ διὰ τὸ μὴ εἶναι ἀσύμμετρα τὰ ΑΒ, ΓΔ: καὶ τὸ μὲν ΑΒ τὸ ΕΔ καταμετροῦν λειπέτω ἑαυτοῦ ἔλασσον τὸ ΕΓ, τὸ δὲ ΕΓ τὸ ΖΒ καταμετροῦν λειπέτω ἑαυτοῦ ἔλασσον τὸ ΑΖ, τὸ δὲ ΑΖ τὸ ΓΕ μετρείτω. Ἐπεὶ οὖν τὸ ΑΖ τὸ ΓΕ μετρεῖ, ἀλλὰ τὸ ΓΕ τὸ ΖΒ μετρεῖ, καὶ τὸ ΑΖ ἄρα τὸ ΖΒ μετρήσει. μετρεῖ δὲ καὶ ἑαυτό: καὶ ὅλον ἄρα τὸ ΑΒ μετρήσει τὸ ΑΖ. ἀλλὰ τὸ ΑΒ τὸ ΔΕ μετρεῖ: καὶ τὸ ΑΖ ἄρα τὸ ΕΔ μετρήσει. μετρεῖ δὲ καὶ τὸ ΓΕ: καὶ ὅλον ἄρα τὸ ΓΔ μετρεῖ: τὸ ΑΖ ἄρα τῶν ΑΒ, ΓΔ κοινὸν μέτρον ἐστίν. λέγω δή, ὅτι καὶ μέγιστον. εἰ γὰρ μή, ἔσται τι μέγεθος μεῖζον τοῦ ΑΖ, ὃ μετρήσει τὰ ΑΒ, ΓΔ. ἔστω τὸ Η. ἐπεὶ οὖν τὸ Η τὸ ΑΒ μετρεῖ, ἀλλὰ τὸ ΑΒ τὸ ΕΔ μετρεῖ, καὶ τὸ Η ἄρα τὸ ΕΔ μετρήσει. μετρεῖ δὲ καὶ ὅλον τὸ ΓΔ: καὶ λοιπὸν ἄρα τὸ ΓΕ μετρήσει τὸ Η. ἀλλὰ τὸ ΓΕ τὸ ΖΒ μετρεῖ: καὶ τὸ Η ἄρα τὸ ΖΒ μετρήσει. μετρεῖ δὲ καὶ ὅλον τὸ ΑΒ, καὶ λοιπὸν τὸ ΑΖ μετρήσει, τὸ μεῖζον τὸ ἔλασσον: ὅπερ ἐστὶν ἀδύνατον. οὐκ ἄρα μεῖζόν τι μέγεθος τοῦ ΑΖ τὰ ΑΒ, ΓΔ μετρήσει: τὸ ΑΖ ἄρα τῶν ΑΒ, ΓΔ τὸ μέγιστον κοινὸν μέτρον ἐστίν. Δύο ἄρα μεγεθῶν συμμέτρων δοθέντων τῶν ΑΒ, ΓΔ τὸ μέγιστον κοινὸν μέτρον ηὕρηται: ὅπερ ἔδει δεῖξαι. Πόρισμα Ἐκ δὴ τούτου φανερόν, ὅτι, ἐὰν μέγεθος δύο μεγέθη μετρῇ, καὶ τὸ μέγιστον αὐτῶν κοινὸν μέτρον μετρήσει. | Given two commensurable magnitudes, to find their greatest common measure. Let the two given commensurable magnitudes be AB, CD of which AB is the less; thus it is required to find the greatest common measure of AB, CD. Now the magnitude AB either measures CD or it does not. If then it measures it—and it measures itself also—AB is a common measure of AB, CD. And it is manifest that it is also the greatest; for a greater magnitude than the magnitude AB will not measure AB. Next, let AB not measure CD. Then, if the less be continually subtracted in turn from the greater, that which is left over will sometime measure the one before it, because AB, CD are not incommensurable; [cf. X. 2] let AB, measuring ED, leave EC less than itself, let EC, measuring FB, leave AF less than itself, and let AF measure CE. Since, then, AF measures CE, while CE measures FB, therefore AF will also measure FB. But it measures itself also; therefore AF will also measure the whole AB. But AB measures DE; therefore AF will also measure ED. But it measures CE also; therefore it also measures the whole CD. Therefore AF is a common measure of AB, CD. I say next that it is also the greatest. For, if not, there will be some magnitude greater than AF which will measure AB, CD. Let it be G. Since then G measures AB, while AB measures ED, therefore G will also measure ED. But it measures the whole CD also; therefore G will also measure the remainder CE. But CE measures FB; therefore G will also measure FB. But it measures the whole AB also, and it will therefore measure the remainder AF, the greater the less: which is impossible. Therefore no magnitude greater than AF will measure AB, CD; therefore AF is the greatest common measure of AB, CD. Therefore the greatest common measure of the two given commensurable magnitudes AB, CD has been found. Q. E. D. PORISM. |