ΟΧΟΥΜΕΝΩΝ Α΄

Τὰ κουφότερα στερεὰ τοῦ ὑγροῦ βιασθέντα εἰς τὸ ὑγρὸν ἀναφέρεται τοσαύτᾳ βίᾳ ἐς τὸ ἄνω, ὅσον ἐστὶ τὸ βάρος, ᾧ βαρύτερόν ἐστι τοῦ μεγέθεος τὸ ὑγρὸν τὸ ἴσον ὄγκον ἔχον τῷ μεγέθει. Ἔστω τι μέγεθος τὸ Α κουφότερον τοῦ ὑγροῦ, ἔστω δὲ τοῦ μὲν μεγέθεος τοῦ ἐν ᾧ Α βάρος τὸ Β, τοῦ δὲ ὑγροῦ τοῦ ἴσον ὄγκον ἔχοντος τῷ Α τὸ ΒΓ. Δεικτέον ὅτι τὸ Α μέγεθος βιασθὲν ἐς τὸ ὑγρὸν ἀνοισεῖται ἐς τὸ ἐπάνω τοσαύτᾳ βίᾳ, ὅσον ἐστὶ τὸ βάρος τὸ Γ. Λελάφθω γάρ τι μέγεθος τὸ ἐν ᾧ τὸ △βάρος ἴσον ἔχον τῷ Γ· τὸ δὴ μέγεθος τὸ ἐξ ἀμφοτέρων τῶν ἐν οἷς Α, △μεγεθέων ἐς τὰ αὐτὰ συντεθέντων κουφότερόν ἐστι τοῦ ὑγροῦ· ἔστι γὰρ τοῦ μὲν μεγέθεος τοῦ ἐξ ἀμφοτέρων βάρος τὸ ΒΓ, τοῦ δὲ ὑγροῦ τοῦ ἴσον ὄγκον ἔχοντος αὐτῷ μεῖβον τοῦ ΒΓ διὰ τὸ τοῦ ἴσον ἔχοντος ὄγκον τῷ τοῦ Α τὸ βάρος εἶμεν τὸ ΒΓ. Ἀφεθὲν οὖν ἐς τὸ ὑγρὸν τὸ μέγεθος τὸ ἐξ ἀμφοτέρων τῶν Α, △συγκείμενον ἐς τοσοῦτον δύσεται, ἔστε κα ταλικοῦτος ὄγκος τοῦ ὑγροῦ, ἁλίκον καὶ τὸ δεδυκὸς τοῦ μεγέθεος, ἴσον βάρος ἔχῃ τῷ ὅλῳ μεγέθει· δέδεικται γὰρ τοῦτο. Ἔστω δὴ ἐπιφάνειά τινος ὑγροῦ ἁ ΑΒΓ△ περιφέρεια. Ἐπεὶ οὖν ὁ ταλικοῦτος ὄγκος τοῦ ὑγροῦ, ἁλίκον ἐστὶ τὸ Α μέγεθος, ἴσον βάρος ἔχει τοῖς Α, △μεγέθεσιν, δῆλον ὅτι τὸ δεδυκὸς αὐτοῦ ἐσσεῖται τὸ Α μέγεθος, τὸ δὲ λοιπὸν αὐτοῦ, ἐν ᾧ △,ἐσσεῖται ὅλον ὑπὲρ τᾶς τοῦ ὑγροῦ ἐπιφανείας· εἰ γὰρ αδέδυκεν τὸ στερεόν, ἕπεται τούτου δεδειγμένου. Δῆλον οὖν ὅτι ἐς τὸ ἄνω φέρεται τὸ Α μέγεθος ὑπὸ τοῦ ἄνω τοῦ △ἐς τὸ κάτω, ἐπεὶ οὐδέτερον ὑπʼ οὐδετέρου ἐξωθεῖτο. Ἀλλὰ τὸ △ἐς τὸ κάτω θλίβει τοσούτῳ βάρει, ἁλίκον ἐστὶ τὸ Γ· ὑπέκειτο γὰρ τὸ βάρος τοῦ ἐν ᾧ τὸ △εἶμεν ἴσον τῷ Γ· δῆλον οὖν ὃ ἔδει δεῖξαι.