Metrica

Hero of Alexandria

Hero of Alexandria, Metrica, Schöne, Teubner, 1900

ϛ. Ἔστω τρίγωνον ἀμβλυγώνιον τὸ ΑΒΓ ἔχον τὴν μὲν ΑΒ μονάδων ιγ, τὴν δὲ ΒΓ μονάδων ια, τὴν δὲ ΑΓ μονάδων κ· εὑρεῖν αὐτοῦ τὴν κάθετον καὶ τὸ ἐμβαδόν. ἐκβεβλήσθω ἡ ΒΓ καὶ ἐπʼ αὐτὴν κάθετος ἤχθω ἡ Α∠. τὸ ἄρα ἀπὸ τῆς ΑΓ μεῖζόν ἐστι τῶν ἀπὸ τῶν ΑΒΒΓ τῷ δὶς ὑπὸ τῶν ΓΒΒ∠. καὶ ἔστιν τὸ μὲν ἀπὸ τῆς ΑΓ μονάδων υ, τὸ δὲ ἀπὸ τῆς ΒΓ μονάδων ρκα, τὸ δὲ ἀπὸ τῆς ΑΒ ρξθ· τὸ ἄρα δὶς ὑπὸ τῶν ΓΒΒ∠ μονάδων ρι. τὸ ἄρα ἅπαξ ὑπὸ τῶν ΓΒ Β∠ ἔστιν μονάδων νε. καὶ ἔστιν ἡ ΒΓ μονάδων ια· ἡ ἄρα Β∠ ἔσται μονάδων ε. ἀλλὰ καὶ ἡ ΑΒ μονάδων ιγ· ἡ ἄρα Α∠ ἔσται μονάδων ιβ. ἀλλὰ καὶ ἡ ΒΓ μονάδων ια· τὸ ἄρα ὑπὸ τῶν Α∠ ΒΓ ἔσται μονάδων ρλβ. αὶ ἔστι διπλάσιον τοῦ ΑΒ Γ τριγώνου. τὸ ἄρα ΑΒΓ

16
τρίγωνον ἔσται μονάδων ξ ϛ. ἡ δὲ μέθοδος ἔσται ἡ αὕτη. τὰ ιγ ἐφʼ ἑαυτὰ γίγνεται ρξθ· καὶ τὰ ια ἐφʼ ἑαυτά· γίγνεται ρκα· καὶ τὰ κ ἐφʼ ἑαυτά· γίγνεται υ. σύνθες τὰ ρξθ καὶ τὰ ρκα· γίγνεται σ𝔮· ταῦτα ἄφελε [*](fol. 70r) ἀπὸ τῶν υ· λοιπὰ ρι. | τούτων τὸ ἥμισυ· γίγνεται νε. παράβαλε παρὰ τὸν ια· γίγνεται ε. καὶ τὰ ιγ ἐφʼ ἑαυτά· γίγνεται ρξθ. ἄφελε τὰ ε ἐφʼ ἑαυτά· λοιπὰ ρμδ. τούτων πλευρὰ γίγνεται ιβ. ἔσται ἡ κάθετος μονάδων ιβ. ταῦτα ἐπὶ τὰ ια· γίγνεται ρλβ. τούτων τὸ ἥμισυ ξϛ· τοσούτου ἔσται τὸ ἐμβαδὸν τοῦ τριγώνου.

Μέχρι μὲν οὖν τούτου ἐπιλογιζόμενοι τὰς γεωμετρικὰς ἀποδείξεις ἐποιησάμεθα, ἑξῆς δὲ κατὰ ἀνάλυσιν διὰ τῆς τῶν ἀριθμῶν συνθέσεως τὰς μετρήσεις ποιησόμεθα.

ζ. Ἐὰν ὦσι δύο ἀριθμοὶ οἱ ΑΒ, ΒΓ, ἔσται τοῦ ἀπὸ ΑΒ τετραγώνου ἐπὶ τὸν ἀπὸ τοῦ ΒΓ τετράγωνον πλευρὰ ὁ ὑπὸ ΑΒΓ περιεχόμενος ἀριθμός. ἐπεὶ

18
γάρ ἐστιν ὡς ὁ ΑΒ πρὸς τὸν ΒΓ, οὕτως ὅ τε ἀπὸ ΑΒ τετράγωνος πρὸς τὸν ὑπὸ ΑΒΓ περιεχόμενον ἀριθμὸν καὶ ὁ ὑπὸ ΑΒΓ πρὸς τὸν ἀπὸ ΒΓ τετράγωνον, ἔσται ἄρα καὶ ὡς ὁ ἀπὸ ΑΒ τετράγωνος πρὸς τὸν ὑπὸ ΑΒΓ, οὕτως ὁ ὑπὸ ΑΒΓ πρὸς τὸν ἀπὸ ΒΓ τετράγωνον. ἐπεὶ οὖν τρεῖς ἀριθμοὶ ἀνάλογον ἔχουσιν, ἔσται ὁ ὑπὸ τῶν ἄκρων ἴσος τῷ ἀπὸ τοῦ μέσου τετραγώνῳ· ὁ ἄρα ἀπὸ τοῦ ΑΒ τετράγωνος ἐπὶ τὸν ἀπὸ τοῦ ΒΓ ἴσος ἔσται τῷ ὑπὸ τῶν ΑΒΓ ἐφʼ ἑαυτόν. τοῦ ἄρα ἀπὸ ΑΒ ἐπὶ τὸν ἀπὸ ΒΓ τετράγωνον πλευρά ἐστιν ὁ ὑπὸ τῶν ΑΒΓ περιεχόμενος ἀριθμός.

[*](fol. 70v)

η. | Ἔστι δὲ καθολικὴ μέθοδος ὥστε τριῶν πλευρῶν δοθεισῶν οἱουδηποτοῦν τριγώνου τὸ ἐμβαδὸν εὑρεῖν χωρὶς καθέτου· οἷον ἔστωσαν αἱ τοῦ τριγώνου πλευραὶ μονάδων ζ, η, θ. σύνθες τὰ ζ καὶ τὰ η καὶ τὰ θ· γίγνεται κδ. τούτων λαβὲ τὸ ἥμισυ· γίγνεται ιβ. ἄφελε τὰς ζ μονάδας· λοιπαὶ ε. πάλιν ἄφελε ἀπὸ τῶν ιβ τὰς η· λοιπαὶ δ. καὶ ἔτι τὰς θ· λοιπαὶ γ. ποίησον τὰ ιβ ἐπὶ τὰ ε· γίγνονται ξ. ταῦτα ἐπὶ τὸν δ· γίγνονται σμ· ταῦτα ἐπὶ τὸν γ· γίγνεται ψκ· τούτων λαβὲ πλευρὰν καὶ ἔσται τὸ ἐμβαδὸν τοῦ τριγώνου. ἐπεὶ οὖν αἱ ψκ ῥητὴν τὴν πλευρὰν οὐκ ἔχουσι, ληψόμεθα μετὰ διαφόρου ἐλαχίστου τὴν πλευρὰν οὕτως· ἐπεὶ ὁ συνεγγίζων τῷ ψκ τετράγωνός ἐστιν ὁ ψκθ καὶ πλευρὰν ἔχει τὸν κζ, μέρισον τὰς ψκ εἰς τὸν κζ· γίγνεται κϛ καὶ τρίτα δύο· πρόσθες τὰς κζ· γίγνεται νγ τρίτα δύο. τούτων τὸ ἥμισυ· γίγνεται κϛU+2220γ΄. ἔσται ἄρα τοῦ ψκ ἡ πλευρὰ ἔγγιστα τὰ κϛU+2220γ΄. τὰ γὰρ κϛU+2220γ΄ ἐφʼ ἑαυτὰ γίγνεται ψκ λϛ΄· ὥστε τὸ διάφορον μονάδος [*](5 τὸν ἀπὸ: correxit m. 2 7 ἴσος τὸ: corr. man. 2 9 τὸ πὸ: corr. man. 2 11 ὑπὸ τὸν: correxi 20 τῶν δ: correxi τῶν γ:)

20
ἐστὶ μόριον λϛ΄. ἐὰν δὲ βουλώμεθα ἐν ἐλάσσονι μορίῳ τοῦ λϛ΄ τὴν διαφορὰν γίγνεσθαι, ἀντὶ τοῦ ψκθ τάξομεν τὰ νῦν εὑρεθέντα ψκ καὶ λϛ΄, καὶ ταὐτὰ ποιήσαντες εὑρήσομεν πολλῷ ἐλάττονα τοῦ λϛ΄ τὴν διαφορὰν γιγνομένην.

ἡ δὲ γεωμετρικὴ τούτου ἀπόδειξίς ἐστιν ἥδε· τριγώνου δοθεισῶν τῶν πλευρῶν εὑρεῖν τὸ ἐμβαδόν. δυνατὸν μὲν οὖν ἐστιν ἀγαγόντας μίαν κάθετον καὶ πορισάμενον αὐτῆς τὸ μέγεθος εὑρεῖν τοῦ τριγώνου τὸ ἐμβαδόν, δέον δὲ ἔστω χωρὶς τῆς καθέτου τὸ ἐμβαδὸν πορίσασθαι.

[*](3 ταῦτα: correxit Curtze 4 ἔλαττον: corr. et suppl. Heiberg 7 cf. Dioptr. cap. XXX; Hultsch Ζeitschrift f. Math. u. Phyvsik 1864 225—249; Heronis reliqu. p. 235 sq. 8 ἀγαγόντας: correxi)
22

ἔστω τὸ δοθὲν τρίγωνον τὸ ΑΝΓ καὶ ἔστω ἑκάστη τῶν ΑΒ, ΒΓ, ΓΑ δοθεῖσα· εὑρεῖν τὸ ἐμβαδόν. ἐγγεγράφθω εἰς τὸ τρίγωνον κύκλος ὁ ∠ΕΖ, οὗ κέντρον ἔστω τὸ Η, καὶ ἐπεζεύχθωσαν αἱ ΑΗ, ΒΗ, ΓΗ, ∠Η, ΕΗ, ΖΗ. τὸ μὲν ἄρα ὑπὸ ΒΓ ΕΗ διπλάσιόν ἐστι τοῦ ΒΗΓ τριγώνου, τὸ δὲ ὑπὸ ΓΑ ΖΗ τοῦ ΑΓΗ τριγώνου, τὸ δὲ ὑπὸ ΑΒ ∠Η τοῦ ΑΒΗ τριγώνου· [*](fol. 71r) τὸ ἄρα ὑπὸ τῆς περιμέτρου τοῦ ΑΒΓ τρι|γώνου καὶ τῆς ΕΗ, τουτέστι τῆς ἐκ τοῦ κέντρου τοῦ ∠ΕΖ κύκλου, διπλάσιόν ἐστι τοῦ ΑΒΓ τριγώνου. ἡ ΓΒ, καὶ τῇ Α∠ ἴση κείσθω ἡ ΒΘ· ἡ ἄρα ΓΒΘ ἡμίσειά ἐστι τῆς περιμέτρου τοῦ ΑΒΓ τριγώνου διὰ τὸ ἴσην εἶναι τὴν μὲν Α∠ τῇ ΑΖ, τὴν δὲ ∠Β τῇ ΒΕ, τὴν δὲ ΖΓ τῇ ΓΕ. τὸ ἄρα ὑπὸ τῶν ΓΘ ΕΗ ἴσον ἐστὶ τῷ ΑΒΓ τριγώνῳ. ἀλλὰ τὸ ὑπὸ τῶν ΓΘ ΕΗ πλευρά ἐστιν τοῦ ἀπὸ τῆς ΓΘ ἐπὶ τὸ ἀπὸ τῆς ΕΗ· ἔσται ἄρα τοῦ ΑΒΓ τριγώνου τὸ ἐμβαδὸν ἐφʼ ἑαυτὸ γενόμενον ἴσον τῷ ἀπὸ τῆς ΘΓ ἐπὶ τὸ ἀπὸ τῆς ΕΗ. ἤχθω τῇ μὲν ΓΗ πρὸς ὀρθὰς ἡ ΗΛ, τῇ δὲ ΓΒ ἡ ΒΛ, καὶ ἐπεζεύχθω ἡ ΓΛ. ἐπεὶ οὖν ὀρθή ἐστιν ἑκατέρα τῶν ὑπὸ ΓΗΛ, ΓΒΛ, ἐν κύκλῳ ἄρα ἐστὶ τὸ ΓΗΒΛ τετράπλευρον· αἱ ἄρα ὑπὸ ΓΗΒ, ΓΛΒ δυσὶν ὀρθαῖς εἰσιν ἴσαι. εἰσὶν δὲ καὶ αἱ ὑπὸ ΓΗΒ, ΑΗ∠ δυσὶν ὀρθαῖς ἴσαι διὰ τὸ δίχα τετμῆσθαι τὰς πρὸς τῷ Η γωνίας ταῖς ΑΗ, ΒΗ, ΓH καὶ ἴσας εἶναι τὰς ὑπὸ τῶν ΓΗΒ, ΑΗ∠ ταῖς ὑπὸ τῶν ΑΗΓ, ∠ΗΒ καὶ τὰς πάσας τέτρασιν ὀρθαῖς ἴσας εἶναι· ἴση ἄρα ἐστὶν ἡ ὑπὸ ΑΗ∠ τῇ ὑπὸ Γ ΛΒ. ἔστι δὲ καὶ ὀρθὴ ἡ ὑπὸ Α∠Η ὀρθῇ τῇ ὑπὸ ΓΒΛ [*](7 suppl. m. 2 20 ΒΛ: ΛΒ suprascripsit m. 2 21 τῶ:)

24
ἴση· ὅμοιον ἄρα ἐστὶ τὸ ΑΗ∠ τρίγωνον τῷ ΓΒΛ τριγώνῳ. ὡς ἄρα ἡ ΒΓ πρὸς ΒΛ, ἡ Α∠ πρὸς ∠Η, τουτέστιν ἡ ΒΘ πρὸς ΕΗ, καὶ ἐναλλάξ, ὡς ἡ πρὸς ΒΘ, ἡ ΒΛ πρὸς ΕΗ, τουτέστιν ἡ ΒΚ πρὸς ΚΕ διὰ τὸ παράλληλον εἶναι τὴν ΒΛ τῇ ΕΗ, καὶ συνθέντι, ὡς ἡ ΓΘ πρὸς ΒΘ, οὕτως ἡ ΒΕ πρὸς ΕΚ· ὥστε καὶ ὡς τὸ ἀπὸ τῆς ΓΘ πρὸς τὸ ὑπὸ τῶν ΓΘΘΒ, οὕτως τὸ ὑπὸ ΒΕΓ πρὸς τὸ ὑπὸ ΓΕΚ, τουτέστι πρὸς τὸ ἀπὸ ΕΗ· ἐν ὀρθογωνίῳ γὰρ ἀπὸ τῆς ὀρθῆς ἐπὶ τὴν βάσιν κάθετος ἦκται ἡ ΕΗ· ὥστε τὸ ἀπὸ τῆς ΓΘ ἐπὶ τὸ ἀπὸ τῆς ΕΗ, οὗ πλευρὰ ἦν τὸ ἐμβαδὸν τοῦ ΑΒΓ τριγώνου, ἴσον ἔσται τῷ ὑπὸ ΓΘΒ ἐπὶ τὸ ὑπὸ ΓΕΒ. καὶ ἔστι δοθεῖσα ἑκάστη τῶν ΓΘ, ΘΒ, ΒΕ, ΓΕ· ἡ μὲν γὰρ ΓΘ ἡμίσειά ἐστι τῆς περιμέτρου τοῦ ΑΒΓ τριγώνου, ἡ δὲ ΒΘ ἡ ὑπεροχὴ, ᾗ ὑπερέχει ἡ ἡμίσεια τῆς περιμέτρου τῆς ΓΒ, ἡ δὲ ΒΕ ἡ ὑπεροχὴ, [*](fol. 71v) | ᾗ ὑπερέχει ἡ ἡμίσεια τῆς περιμέτρου τῆς ΑΓ, ἡ δὲ ΕΓ ἡ ὑπεροχὴ, ᾗ ὑπερέχει ἡ ἡμίσεια τῆς περιμέτρου τῆς ΑΒ, ἐπειδήπερ ἴση ἐστὶν ἡ μὲν ΕΓ τῇ ΓΖ, ἡ δὲ ΒΘ τῇ ΑΖ, ἐπεὶ καὶ τῇ Α∠ ἐστὶν ἴση. δοθὲν ἄρα καὶ τὸ ἐμβαδὸν τοῦ ΑΒΓ τριγώνου. συντεθήσεται δὴ οὕτως· ἔστω ἡ μὲν ΑΒ μονάδων ιγ, ἡ δὲ ΒΓ μονάδων ιδ, ἡ δὲ ΑΓ μονάδων ιε. σύνθες τὰ ιγ καὶ ιδ καὶ ιε· καὶ γίγνεται μβ. ὧν ἥμισυ· γίγνεται κα. ὕφελε τὰς ιγ· λοιπαὶ η· εἶτα τὰς ιδ· λοιπαὶ ζ· καὶ ἔτι τὰς ιε· λοιπαὶ ϛ. τὰ κα ἐπὶ τὰ η, καὶ τὰ γενόμενα ἐπὶ τὸν ζ, καὶ ἔτι τὰ γενόμενα ἐπὶ τὸν ϛ· συνάγονται ζνϛ· τούτων πλευρὰ πδ. τοσούτου ἔσται τοῦ τριγώνου τὸ ἐμβαδόν.

[*](7 〈ΘΒ〉 suppl. m. 2(?) 10 ΕΗ: immo ΗΕ 11 οὗ te πλευρὰν add. m. 2 12 τὸ ὑπὸ: corr. m. 2 18 〈ἡ〉)