Εἰς τὸ β΄ θεώρημα.
Τὸ δὴ ΑΓ ἑαυτῷ ἐπισυντιθέμενον ὑπερέξει τοῦ △ | Δηλαδὴ ὡς τοῦ ΑΒ ἤτοι ἐπιμορίου ἢ καὶ ἐπιμεροῦς τυγχάνοντος τοῦ △. Εἰ δὲ εἴη τὸ ΑΒ τοῦ △ ἤτοι πολλαπλάσιον
ἢ πολλαπλασιεπιμόριον ἢ καὶ πολλαπλασιεπιμερές, ἀφαιρεθέντος ἀπὸ τοῦ ΑΒ ἴσου τῷ △ τοῦ ΒΓ τὸ λοιπὸν τὸ ΓΑ ὑπερέξει τοῦ △, ὥστε μηκέτι πολλαπλασιάζεσθαι αὐτό, ἀλλ᾿ αὐτόθεν δεῖν τῷ ΑΓ ἴσον ἀποτίθεσθαι τὸ ΑΘ, καὶ τὴν αὐτὴν ἀπόδειξιν ἁρμόζειν.
ἢ πολλαπλασιεπιμόριον ἢ καὶ πολλαπλασιεπιμερές, ἀφαιρεθέντος ἀπὸ τοῦ ΑΒ ἴσου τῷ △ τοῦ ΒΓ τὸ λοιπὸν τὸ ΓΑ ὑπερέξει τοῦ △, ὥστε μηκέτι πολλαπλασιάζεσθαι αὐτό, ἀλλ᾿ αὐτόθεν δεῖν τῷ ΑΓ ἴσον ἀποτίθεσθαι τὸ ΑΘ, καὶ τὴν αὐτὴν ἀπόδειξιν ἁρμόζειν.
Καὶ συνθέντι τὸ ΖΕ πρὸς ΖΗ ἐλάσσονα λόχον ἔχει ἤπερ ἡ ΑΒ πρὸς ΒΓ Ὅτι γάρ, ἐὰν πρῶτον πρὸς δεύτερον ἐλάσσονα λόγον ἔχῃ ἤπερ τρίτον πρὸς τέταρτον, καὶ συνθέντι ὁ αὐτὸς λόγος ἀκολουθεῖ, δειχθήσεται οὕτως.
Ἔστωσαν τέσσαρα μεγέθη τὰ ΑΒ, ΒΓ, △Ε, ΕΖ, τὸ
δὲ ΑΒ πρὸς τὸ ΒΓ μείζονα λόγον ἐχέτω ἤπερ τὸ △Ε πρὸς τὸ ΕΖ. Λὲγω ὅτι καὶ συνθέντι τὸ ΑΓ πρὸς τὸ ΓΒ μείζονα λόγον ἔχει ἤπερ τὸ △Ζ πρὸς τὸ ΖΕ.
δὲ ΑΒ πρὸς τὸ ΒΓ μείζονα λόγον ἐχέτω ἤπερ τὸ △Ε πρὸς τὸ ΕΖ. Λὲγω ὅτι καὶ συνθέντι τὸ ΑΓ πρὸς τὸ ΓΒ μείζονα λόγον ἔχει ἤπερ τὸ △Ζ πρὸς τὸ ΖΕ.
Γεγονέτω γὰρ ὡς τὸ ΓΒ πρὸς τὸ ΒΑ, οὕτως τὸ ΖΕ πρὸς τὸ ΖΘ. ἀνάπαλιν ἄρα ὡς τὸ ΑΒ πρὸς τὸ ΒΓ, οὕτως τὸ ΘΖ πρὸς τὸ ΖΕ. Μείζονα δὲ λόγον ἔχει τὸ ΑΒ πρὸς τὸ ΒΓ ἤπερ τὸ △Ε πρὸς ΕΖ καὶ τὸ ΘΖ ἄρα πρὸς
ΖΕ μείζονα λόγον ἔχει ἤπερ τὸ △Ε πρὸς ΕΖ. Μεῖζον ἄρα ἐστὶ τὸ ΖΘ τοῦ Ε △ καὶ ὅλον τὸ ΘΕ τοῦ △Ζ, καὶ διὰ τοῦτο τὸ ΘΕ πρὸς ΕΖ μείζονα λόγον ἔχει ἤπερ τὸ △Ζ πρὸς ΖΕ. Ἀλλ᾿ ὡς τὸ ΘΕ πρὸς ΕΖ, τὸ ΑΓ πρὸς ΓΒ διὰ τὸ συνθέντι καὶ τὸ ΑΓ ἄρα πρὸς ΓΒ μείζονα λόγον ἔχει
ἤπερ τὸ △Ζ πρὸς ΕΖ. Ἀλλὰ δὴ τὸ ΑΓ πρὸς ΓΒ μείζονα λόγον ἐχέτω ἤπερ τὸ πρὸς ΖΕ. Λέγω ὅτι καὶ διελόντι τὸ ΑΒ πρὸς ΒΓ μείζονα λόγον ἔχει ἤπερ τὸ △Ε πρὸς ΕΖ.
ΖΕ μείζονα λόγον ἔχει ἤπερ τὸ △Ε πρὸς ΕΖ. Μεῖζον ἄρα ἐστὶ τὸ ΖΘ τοῦ Ε △ καὶ ὅλον τὸ ΘΕ τοῦ △Ζ, καὶ διὰ τοῦτο τὸ ΘΕ πρὸς ΕΖ μείζονα λόγον ἔχει ἤπερ τὸ △Ζ πρὸς ΖΕ. Ἀλλ᾿ ὡς τὸ ΘΕ πρὸς ΕΖ, τὸ ΑΓ πρὸς ΓΒ διὰ τὸ συνθέντι καὶ τὸ ΑΓ ἄρα πρὸς ΓΒ μείζονα λόγον ἔχει
ἤπερ τὸ △Ζ πρὸς ΕΖ. Ἀλλὰ δὴ τὸ ΑΓ πρὸς ΓΒ μείζονα λόγον ἐχέτω ἤπερ τὸ πρὸς ΖΕ. Λέγω ὅτι καὶ διελόντι τὸ ΑΒ πρὸς ΒΓ μείζονα λόγον ἔχει ἤπερ τὸ △Ε πρὸς ΕΖ.
Πάλιν γὰρ ὁμοίως, ἐὰν ποιήσωμεν ὡς τὸ ΒΓ πρὸς ΓΑ, οὕτως τὸ ΖΕ πρὸς ΕΘ, ἔσται τὸ ΘΕ μεῖζον τοῦ △Ζ.
Καὶ κοινοῦ ἀφαιρουμένου τοῦ ΕΖ ἔσται μεῖζον τὸ ΘΖ τοῦ △Ε, καὶ διὰ τοῦτο τὸ ΘΖ πρὸς ΖΕ, τουτέστι τὸ ΑΒ πρὸς ΒΓ διὰ τὸ διελόντι, μείζονα λόγον ἕξει ἤπερ τὸ ΔΕ πρὸς ΕΖ.
Καὶ κοινοῦ ἀφαιρουμένου τοῦ ΕΖ ἔσται μεῖζον τὸ ΘΖ τοῦ △Ε, καὶ διὰ τοῦτο τὸ ΘΖ πρὸς ΖΕ, τουτέστι τὸ ΑΒ πρὸς ΒΓ διὰ τὸ διελόντι, μείζονα λόγον ἕξει ἤπερ τὸ ΔΕ πρὸς ΕΖ.
Φανερὸν δὲ διὰ τῶν ὁμοίων ὅτι, κἂν τὸ ΑΒ πρὸς τὸ
ΒΓ ἐλάσσονα λόγον ἔχῃ ἤπερ τὸ △Ε πρὸς ΕΖ, καὶ συνθέντι καὶ πάλιν διελόντι ὁ αὐτὸς λόγος ἔσται.
ΒΓ ἐλάσσονα λόγον ἔχῃ ἤπερ τὸ △Ε πρὸς ΕΖ, καὶ συνθέντι καὶ πάλιν διελόντι ὁ αὐτὸς λόγος ἔσται.
Ἐκ δὲ τῶν αὐτῶν καὶ ὁ τοῦ ἀναστρέψαντι λόχος ἐμφανής ἐστιν. Ἐχέτω γὰρ τὸ ΑΓ πρὸς ΒΓ μείζονα λόγον ἤπερ τὸ △Ζ πρὸς ΖΕ. Λέγω ὅτι καὶ ἀναστρέψαντι τὸ ΓΑ πρὸς
ΑΒ ἐλάσσονα λόγον ἔχει ἤπερ τὸ Ζ △ πρὸς △Ε.
ΑΒ ἐλάσσονα λόγον ἔχει ἤπερ τὸ Ζ △ πρὸς △Ε.
Ἐπεὶ γὸρ τὸ ΑΓ πρὸς ΓΒ μείζονα λόγον ἔχει ἤπερ τὸ △Ζ πρὸς ΖΕ, καὶ διελόντι τὸ ΑΒ πρὸς ΒΓ μείζονα λόγον ἔχει ἤπερ τὸ △Ε πρὸς ΕΖ, ἀνάπαλιν τὸ ΒΓ πρὸς ΒΑ ἐλάσσονα λόγον ἔχει ἤπερ τὸ ΖΕ πρὸς Ε △, καὶ συνθέντι
τὸ ΓΑ πρὸς ΑΒ ἐλάσσονα λόγον ἔχει ἤπερ τὸ Ζ △πρὸς △Ε.
τὸ ΓΑ πρὸς ΑΒ ἐλάσσονα λόγον ἔχει ἤπερ τὸ Ζ △πρὸς △Ε.
Commentarii in libros de sphaera et cylindro. Eutocius. ed. Charles Mugler. United States. 2018.
Funding provided by Harvard Library Arcadia Fund.