Quadratura parabolae
Archimedes
Archimedes. Archimède, Volume 2. Mugler, Charles, editor. Paris: Les Belles Lettres, 1971.
Ἔστω τμᾶμα περιεχόμενον ὑπὸ εὐθείας καὶ ὀρθογωνίου κώνου τομᾶς τὸ ΑΒΓ, καὶ ἄχθω ἀπὸ τοῦ Α παρὰ τὰν διάμετρον ἁ ΖΑ, ἀπὸ δὲ τοῦ Γ ἐπιψαύουσα τᾶς τοῦ κώνου τομᾶς κατὰ τὸ Γ ἁ ΓΖ. Εἰ δή τις ἀχθείη ἐν τῷ ΖΑΓ τριγώνῳ
Ἄχθω γάρ τις ἁ △Ε παρὰ τὰν ΑΖ, καὶ τεμνέτω πρῶτον ἁ △Ε τὰν ΑΓ δίχα. Ἐπεὶ οὖν ἐστιν ὀρθογωνίου κώνου τομὰ ἁ ΑΒΓ καὶ ἀγμένα ἁ Β△ παρὰ τὰν διάμετρον, αἱ δὲ Α△, △Γ ἴσαι, ἐσσεῖται τᾷ ΑΓ παράλληλος ἁ κατὰ τὸ Β ἐπιψαύουσα τᾶς τοῦ ὀρθογωνίου κώνου τομᾶς. Πάλιν, ἐπεὶ παρὰ τὰν διάμετρόν ἐστιν ἁ △Ε, καὶ ἀπὸ τοῦ Γ ἁ ΓΕ ἆκται ἐπιψαύουσα τᾶς τοῦ ὀρθογωνίου κώνου τομᾶς κατὰ τὸ Γ, ἁ δὲ △Γ παράλληλος τᾷ κατὰ τὸ Β ἐπιψαυούσᾳ, ἴσα ἐστὶν ἁ ΕΒ τᾷ Β△ ὥστε τὸν αὐτὸν ἔχει λόγον ἁ Α△ ποτὶ τὰν △Γ, ὃν ἁ △Β ποτὶ τὰν ΒΕ. Εἰ μὲν οὖν δίχα τέμνει ἁ ἀχθεῖσα τὰν ΑΓ, δέδεικται· εἰ δὲ μή, ἄχθω τις ἄλλα ἁ ΚΛ παρὰ τὰν ΑΖ δεικτέον οὖν ὅτι τὸν αὐτὸν ἔχει λόγον ἁ ΑΚ ποτὶ τὰν ΚΓ, ὃν ἁ ΚΘ ποτὶ τὰν ΘΛ. Ἐπεὶ γὰρ
Νοείσθω δὲ τὸ ὅτε ἐστὶν τὸ ἐν τᾷ θεωρίᾳ προκείμενον ὁρώμενον ἐπίπεδον ὀρθὸν ποτὶ τὸν ὁρίζοντα, καὶ τᾶς ΑΒ γραμμᾶς ἔπειτα τὰ μὲν ἐπὶ τὰ αὐτὰ τῷ △ κάτω νοείσθω, τὰ δὲ ἐπὶ θάτερα ἄνω, τὸ δὲ Β△Γ τρίγωνον ἔστω ὀρθογώνιον ὀρθὰν ἔχον τὰν ποτὶ τῷ Β γωνίαν καὶ τὰν ΒΓ πλευρὰν ἴσαν τᾷ ἡμισείᾳ τοῦ ζυγοῦ δηλονότι ἴσης οὔσης τᾶς ΑΒ τῇ ΒΓ, κρεμάσθω δὲ τὸ τρίγωνον ἐκ τῶν Β, Γ σαμείων, κρεμάσθω δὲ καὶ ἄλλο χωρίον τὸ Ζ ἐκ τοῦ ἑτέρου μέρεος τοῦ ζυγοῦ κατὰ τὸ Α, καὶ ἰσορροπείτω τὸ Ζ χωρίον κατὰ τὸ Α κρεμάμενον τῷ Β△Γ τριγώνῳ οὕτως ἔχοντι, ὡς νῦν κεῖται. Φαμὶ δὴ τὸ Ζ χωρίον τοῦ Β△Γ τριγώνου μέρος τρίτον εἶμεν.
Ἐπεὶ γὰρ ὑπόκειται ἰσορροπέων ὁ ζυγός, εἴη κα ἁ ΑΓ γραμμὰ παρὰ τὸν ὁρίζοντα, αἱ δὲ ποτʼ ὀρθὰς ἀγόμεναι τᾷ ΑΓ ἐν τῷ ὀρθῷ ἐπιπέδῳ ποτὶ τὸν ὁρίζοντα κάθετοι ἐσσοῦνται ἐπὶ τὸν ὁρίζοντα. Τετμάσθω ἁ ΒΓ γραμμὰ κατὰ τὸ Ε οὕτως, ὥστε διπλασίονα εἶμεν τὰν ΓΕ τᾶς ΕΒ, καὶ ἄχθω παρὰ τὰν △Β ἁ ΚΕ καὶ τετμάσθω δίχα κατὰ τὸ Θ· τοῦ δὴ Β△Γ τριγώνου κέντρον βάρεός ἐστι τὸ Θ σαμεῖον δέδεικται γὰρ τοῦτο ἐν τοῖς Μηχανικοῖς Εἴ κα οὖν τοῦ Β△Γ τριγώνου ἁ μὲν κατὰ τὰ Β, Γ κρέμασις λυθῇ, κατὰ δὲ τὸ Ε κρεμασθῇ, μενεῖ τὸ τρίγωνον ὡς νῦν ἔχει· ἕκαστον γὰρ τῶν κρεμαμένων, ἐξ οὗ σαμείου κα κατασταθῇ, μένει, ὥστε κατὰ κάθετον εἶμεν τό τε σαμεῖον τοῦ κρεμαστοῦ καὶ τὸ κέντρον τοῦ βάρεος τοῦ κρεμαμένου· δέδεικται γὰρ καὶ τοῦτο. Ἐπεὶ οὖν τὰν αὐτὰν ἕξει κατάστασιν τὸ Β△Γ τρίγωνον ποτὶ τὸν ζυγόν, ἰσορροπήσει ὁμοίως τὸ Ζ χωρίον. Ἐπεὶ δὲ ἰσορροπέοντι τὸ μὲν Ζ κρεμάμενον κατὰ τὸ Α, τὸ δὲ Β△Γ κατὰ τὸ Ε, δῆλον ὡς ἀντιπέπονθε τοῖς μάκεσιν, καί ἐστιν ὡς ἁ ΑΒ ποτὶ τὰν ΒΕ, οὕτως τὸ Β△Γ τρίγωνον ποτὶ τὸ Ζ χωρίον. Τριπλασία δὲ ἁ ΑΒ τᾶς ΒΕ· καὶ τὸ Β△Γ ἄρα τρίγωνον τριπλάσιόν ἐστι τοῦ Ζ χωρίου.
Φανερὸν δὲ ὅτι καί, εἴ κα τριπλάσιον ᾖ τὸ Β△Γ τρίγωνον τοῦ Ζ χωρίου, ὅτι ἰσορροπήσει.
Ἔστω πάλιν ζυγὸς ἁ ΑΓ γραμμά, μέσον δὲ αὐτᾶς ἔστω τὸ Β, καὶ κρεμάσθω κατὰ τὸ Β τὸ Γ△Η τρίγωνον,
Κρεμάσθω γάρ τι καὶ ἄλλο χωρίον ἐκ τοῦ Α τρίτον μέρος ἐὸν τοῦ ΒΓΗ τριγώνου ἰσορροπήσει δὴ τὸ Β△Γ τρίγωνον τῷ ΖΛ. Ἐπεὶ οὖν τὸ μὲν ΒΓΗ τρίγωνον ἰσορροπεῖ τῷ Λ, τὸ δὲ ΒΓ△ τῷ ΖΛ, καὶ τρίτον ἐστὶ τοῦ ΒΓ△ τὸ ΖΛ, φανερὸν ὅτι καὶ τὸ Γ△Η τρίγωνον τριπλάσιον τοῦ Ζ.
Ἔστω ζυγὸς ὁ ΑΒΓ, μέσον δὲ αὐτοῦ τὸ Β, καὶ κρεμάσθω κατὰ τὸ Β, τὸ δὲ Γ△Ε τρίγωνον ὀρθογώνιον ὀρθὰν ἔχον τὰν ποτὶ τῷ Ε γωνίαν, καὶ κρεμάσθω ἐκ τοῦ ζυγοῦ κατὰ τὰ Γ, Ε, τὸ δὲ Ζ χωρίον κρεμάσθω κατὰ τὸ Α καὶ ἰσορροπείτω τῷ Γ△Ε οὕτως ἔχοντι, ὡς νῦν κεῖται, ὃν δὲ λόγον ἔχει ἁ ΑΒ ποτὶ τὰν ΒΕ, τοῦτον ἐχέτω τὸ Γ△Ε τρίγωνον
Λελάφθω γὰρ τοῦ △ΕΓ τριγώνου τὸ κέντρον τοῦ βάρεος καὶ ἔστω τὸ Θ, καὶ ἁ ΘΗ ἄχθω παρὰ τὰν △Ε. Ἐπεὶ οὖν ἰσορροπεῖ τὸ Γ△Ε τρίγωνον τῷ Ζ χωρίῳ, τὸν αὐτὸν ἔχει λόγον τὸ Γ△Ε χωρίον ποτὶ τὸ Ζ, ὃν ἁ ΑΒ ποτὶ τὰν ΒΗ· ὥστε ἔλασσόν ἐστι τὸ Ζ τοῦ Γ△Ε. Καὶ ἐπεὶ τὸ Γ△Ε τρίγωνον ποτὶ μὲν τὸ Ζ τοῦτον ἔχει τὸν λόγον, ὃν ἁ ΒΑ ποτὶ τὰν ΒΗ, ποτὶ δὲ τὸ Κ ὃν ἁ ΒΑ ποτὶ τὰν ΒΕ, δῆλον ὡς μείζονα λόγον ἔχει τὸ Γ△Ε τρίγωνον ποτὶ τὸ Κ ἢ ποτὶ τὸ Ζ ὥστε μεῖζόν ἐστι τὸ Ζ τοῦ Κ.
Ἔστω πάλιν τὸ μὲν ΑΓ ζύγιον, μέσον δὲ αὐτοῦ τὸ Β, τὸ δὲ Γ△Κ τρίγωνον ἀμβλυγώνιον βάσιν μὲν ἔχον τὰν △Κ, ὕψος δὲ τὰν ΕΓ, καὶ κρεμάσθω ἐκ τοῦ ζυγοῦ κατὰ
Δειχθήσεται ὁμοίως τῷ πρότερον.