Liber assumptorum (1-5)

Εἴ κα ᾗ δύο κύκλοι ἐπιψαύοντες ἀλλάλων ἐντός, διάμετροι δὲ αὐτῶν παράλληλοι, ἐπιζευχθεῖσαι αἱ ἀπὸ τοῦ σαμείου ἁφῆς καὶ τῶν περάτων τῶν διαμέτρων δύο εὐθεῖαι ἐσσοῦνται ἀλλάλαις ἐπʼ εὐθείας.

Ἔστωσαν δύο κύκλοι, ὧν κέντρα τὰ Ζ, Η, ἐπιψαύοντες ἀλλάλων κατὰ τὸ Ε σαμεῖον, διάμετρος δὲ ἁ ΑΒ παρὰ

διάμετρον τὰν Γ· φαμὶ δή, ἐπιζευχθεῖσαι αἱ Ε, Β εὐθεῖαι ἐσσοῦνται ἀλλάλαις ἐπʼ εὐθείας.

Ἐπεζεύχθω γὰρ ἁ ΖΗ καὶ ἐκβεβλήσθω ποτὶ τὸ Ε, ἄχθω δὲ ἁ Θ παρὰ τὰν ΖΗ.

Ἐπεὶ οὖν εὐθεῖαι αἱ ΖΒ, ΖΕ ἴσαι ἐντὶ καὶ ἁ H τᾷ ΖΘ, κοινὰ ἀφαιρήσθω ἁ ΖΘ, τουτέστιν ἁ ΗΕ· λοιπαὶ ἄρα εὐθεῖαι αἱ Θ, ΘΒ ἴσαι ἀλλαλαις ἐντί· γωνία ἄρα ἁ ὑπὸ ΘΒ γωνίᾳ τᾷ ὑπὸ ΘΒ, τουτέστιν τᾷ ὑπὸ HΕ, ἐστὶν ἴσα· κοινὰ ποτικείσθω γωνία ἁ ὑπὸ HΒ συναμφότερος ἄρα γωνία ἁ ὑπὸ HΒ, ΒΖ συναμφοτέρῳ τᾷ ὑπὸ ΗΒ. ΕΗ ἐστὶν ἴσα· ἔστι δὲ συναμφότερος ἁ ὑπὸ ΗΒ, ΒΖ δυσὶν ὀρθαῖς ἴσα· συναμφότερος ἄρα γωνία ἁ ὑπὸ ΗΒ, ΕΗ δυσὶν ὀρθαῖς ἐστιν ἴσα· ἐπʼ εὐθείας ἄρα ἐντὶ εὐθεῖαι αἱ Ε, Β· δέδεικται οὖν τὸ προτεθέν.

Ἔστω ἁμικύκλιον τὸ ΑΒΓ καὶ δύο εὐθεῖαι ἐπιψαύουσαι

αὐτοῦ αἱ Β, Γ, ἁ δὲ ΒΕ ἄχθω ποτʼ ὀρθὰς τᾷ ΑΓ, ἐπεζεύχθω δὲ ἁ Α· φαμὶ δὴ τὰν ΒΖ ἴσαν εἶμεν τᾷ ΖΕ.

Ἐπεζεύχθω γὰρ ἁ ΑΒ καὶ ἐκβληθεῖσαι αἱ ΑΒ, Γ συμπιπτέτωσαν κατὰ τὸ Η σαμεῖον καὶ ἄχθω ἁ ΒΓ.

Ἐπεὶ οὖν γωνία ἁ ὑπὸ ὀρθά ἐστιν, ἐσσεῖται καὶ γωνία ἁ ὑπὸ ΓΒΗ ὀρθά ἔστι δὲ καὶ εὐθεῖα ἁ Β τᾷ Γ ἴσα· ἐσσεῖται ἄρα καὶ εὐθεῖα ἁ Η τᾷ Β,

τουτέστι τᾷ Γ ἴσα. Καὶ ἐπεὶ ἁ ΒΕ παρὰ τὰν ΗΓ ἐστίν, ἐσσεῖται ἄρα καὶ ἁ ΒΖ τᾷ ΖΕ ἴσα· δέδεικται οὖν τὸ προτεθέν.

Ἔστω τμᾶμα κύκλου τὸ ΑΓ καὶ ἀπὸ σαμείου τινος Β τᾶς περιφερείας ἄχθω τᾷ ΑΓ ποτ ὀρθὰς ἁ Β, λελάφθω δὲ εὐθεῖα ἁ Ε εὐθείᾳ τᾷ Α ἴσα καὶ περιφέρεια ἁ ΒΖ τᾷ ΑΒ· φαμὶ δή, ἐπιζευχθεῖσα ἁ ΓΖ εὐθεῖα τᾷ ΓΕ ἐστὶν ἴσα.

Ἐπεζεύχθωσαν γὰρ αἱ ΑΒ, ΒΖ, ΖΕ, ΕΒ εὐθεῖαι·

καὶ ἐπεὶ ἁ Α τᾷ Ε ἐστὶν ἴσα, κοινὰ δὲ ἁ Β, δύο δὴ αἱ Α, Β δυσὶ ταῖς Ε, Β ἑκατέρα ἑκατέρᾳ ἴσαι ἐντί· ἔστι δὲ γωνία ἁ ὑπὸ ΑΒ γωνίᾳ τᾷ ὑπὸ ΕΒ ἴσα βάσις ἄρα ἁ ΕΒ βάσει τᾷ ΑΒ, τουτέστι τᾷ ΒΖ, ἐστὶν ἴσα γωνία ἄρα ἁ ὑπὸ ΒΕΖ γωνίᾳ τᾷ ὑπὸ ΒΖΕ ἐστὶν ἴσα. Καὶ ἐπεὶ τετράπλευρον τὸ ΑΒΖΓ ἐν κύκλῳ ἐστίν, γωνίαι αἱ ἀπεναντίον αἱ ὑπὸ ΓΖΒ, ΓΑΒ, τουτέστιν αἱ ὑπὸ ΓΖΒ, ΒΕΑ, δυσὶν ὀρθαῖς ἴσαι ἐντί. Ἔστι δὲ καὶ συναμφότερος ἁ ὑπὸ ΓΕΒ, ΒΕΑ δυσὶν ὀρθαῖς ἴσα κοινὰ ἀφαιρήσθω ἁ ὑπὸ ΒΕΑ γωνία ἄρα ἁ ὑπὸ ΓΖΒ γωνίᾳ τᾷ ὑπὸ ΓΕΒ ἐστὶν ἴσα κοινὰ ἀφαιρήσθω ἁ ὑπὸ ΒΖΕ, τουτέστιν ἁ ὑπὸ ΒΕΖ· λοιπαὶ ἄρα αἱ ποτὶ τᾷ βάσει τᾷ ΕΖ τριγώνου τοῦ ΕΓΖ· γωνίαι αἱ ὑπὸ ΓΖΕ, ΖΕΓ ἴσαι ἀλλάλαις ἐντί· πλευρὰ ἄρα ἁ ΖΓ πλευρᾷ τᾷ ΕΓ ἐστὶν ἴσα δέδεικται οὖν τὸ προτεθέν.

Εἴ κα ἐν ἁμικυκλίῳ σαμεῖόν· τι ἐπὶ τᾶς διαμέτρου ᾖ, γραφέωντι δὲ ἀπὸ τῶν τμαμάτων τᾶς διαμέτρου δύο ἁμικύκλια ἐντός, ἀναστακῇ δὲ ἀπὸ τοῦ λαφθέντος σαμείου εὐθεῖα ποτὶ τᾷ περιφερείᾳ τᾷ διαμέτρῳ ποτʼ ὀρθάς, σχῆμα τὸ ὑπὸ τῶν τριῶν περιφερειῶν περιεχόμενον ἴσον ἐστὶ κύκλῳ, οὗ διάμετρος ἁ ἀναστακεῖσα κάθετος.

Ἔστω ἁμικύκλιον τὸ ΑΒΓ καὶ σαμεῖόν τι ἐπὶ διαμέτρου τᾶς ΑΓ τὸ , καὶ ἀπὸ διαμέτρων τῶν Γ, Α ἁμικύκλια ἀναγεγράφθων ἐντός, ἀπὸ δὲ τοῦ σαμείου ἀνεστακέτω ποτʼ ὀρθὰς τᾷ ΑΓ ἁ Β φαμὶ δή, σχῆμα τὸ ὑπὸ τῶν τριῶν περιφερειῶν περιεχόμενον,

τουτέστι τοῦ μείζονος ἁμικυκλίου καὶ τῶν δύο ἀναγραφέντων ἐντός, ὅπερ Et ἄρβηλος καλείσθω, κύκλῳ, οὗ διάμετρος ἁ Β, ἴσον ἐστίν.

Ἐπεὶ γὰρ εὐθεῖαι αἱ Α, Β, Γ ἑξῆς ἀνάλογόν ἐντι, ἐσσεῖται τὸ ὑπὸ τῶν Α, Γ τῷ ἀπὸ τᾶς Β ἴσον· κοινὸν ποτικείσθω τὸ ὑπὸ τῶν Α, Γ καὶ τὰ ἀπὸ τῶν Α, Γ· τὸ ἄρα ἀπὸ τᾶς ὅλας τετράγωνον, τουτέστι τὸ ἀπὸ τᾶς ΑΓ, τοῖς ἀπὸ τῶν τμαμάτων τῶν ἀπὸ τῶν Α, Γ τετραγώνοις καὶ τῷ δὶς τοῦ ἀπὸ τᾶς Β ἐστὶν ἴσον. Καὶ ἐπεὶ οἱ κύκλοι πρὸς ἀλλάλους ὡς τὰ ἀπὸ τᾶν διαμέτρων τετράγωνά ἐντι, ἐσσεῖται δὴ κύκλος, οὗ διάμετρος ἁ ΑΓ, δυσὶ κύκλοις, ὧν διάμετρος ἁ Β, καὶ δυσὶ κύκλοις, ὧν διάμετροι αἱ Α, Γ, ἴσος, τουτέστιν ἁμικύκλιον τὸ ΑΓ ἴσον κύκλῳ, οὗ διάμετρος ἁ Β, καὶ δυσὶν ἁμικυκλίοις, ὧν διάμετροι αἱ Α, Γ· κοινὸν ἀφαιρήσθω ἁμικύκλια τὰ Α, Γ· λοιπὸν ἄρα

χωρίον τὸ περιεχόμενον ὑπὸ περιφερειῶν τᾶν ΑΓ, Α, Γ, ὅπερ ἄρβηλος καλεῖται, κύκλῳ, οὗ διάμετρος ἁ Β, ἐστὶν ἴσον· δέδεικται οὖν τὸ προτεθέν.

Εἴ κα ἐν ἁμικυκλίῳ σαμεῖόν τι ἐπὶ τᾶς διαμέτρου ᾖ, καὶ γραφέωντι ἀπὸ τῶν τμαμάτων τᾶς διαμέτρου δύο ἁμικύκλια ἐντός, ἀναστακῇ δὲ ἀπὸ τοῦ σαμείου εὐθεῖα τᾷ διαμέτρῳ ποτ ὀρθάς, καὶ δύο κύκλοι γραφέωντι ἐπʼ ἀμφότερα τᾶς ἀνεστακούσας ἐπιψαύοντες αὐτᾶς καὶ τῶν ἁμικυκλίων, οἱ γραφέντες κύκλοι ἐσσοῦνται ἀλλάλοις ἴσοι.

Ἔστω ἁμικύκλιον, οὗ διάμετρος ἁ ΑΒ, σαμεῖον δέ τι ἐπʼ αὐτᾶς τὸ Γ· ἀναγεγράφθω δὲ ἀπὸ τμαμάτων τῶν ΑΓ, ΓΒ ἁμικύκλια ἐντός, καὶ ἀπὸ τοῦ Γ σαμείου ἀνεστακέτω ποτʼ ὀρθὰς διαμέτρω τᾷ ΑΒ ἁ Γ, γεγράφθων δὲ δύο κύκλοι ἐπʼ ἀμφότερα τᾶς ἀνεστακούσας εὐθείας ἐπιψαύοντες τᾶς τε ἀνεστακούσας καὶ τῶν ἁμικυκλίων· φαμὶ δή, οἱ γραφέντες κύκλοι ἴσοι ἀλλάλοις ἐντί.

Ἔστω γὰρ πρότερον κύκλος ὁ ἐπιψαύων τᾶς Γ κατὰ τὸ Ε σαμεῖον καὶ ἁμικυκλίου μὲν τοῦ ΑΓ κατὰ τὸ H, ἁμικυκλίου δὲ τοῦ ΑΒ κατὰ τὸ Ζ, ἄχθω δὲ διάμετρος τοῦ κύκλου ἁ ΘΕ· ἐπιζευχθεῖσαι δὴ αἱ ΑΘ, ΘΖ εὐθεῖαι ἐσσοῦνται ἀλλάλαις ἐπʼ εὐθείας, ἐκβληθεῖσαι δὲ αἱ ΑΖ, ΓΕ εὐθεῖαι συμβαλέτωσαν κατὰ τὸ σαμεῖον ὁμοίως δὴ ἐπιζευχθεῖσαι αἱ ΖΕ, ΕΒ ἐσσοῦνται ἀλλάλαις ἐπʼ εὐθείας, καὶ αἱ ΘΗ, ΗΓ, καὶ αἱ ΕΗ. ΗΑ, ἐκβεβλήσθω δὲ ἁ ΑΕ ἐπὶ τὸ Ι σαμεῖον,

ἄχθω δὲ ἁ ΒΙ εὐθεῖα καὶ ἁ Ζ. Ἐπεὶ οὖν αἱ Α, ΑΒ εὐθεῖαί ἐντι καὶ ἀπὸ τοῦ σαμείου τᾷ ΑΒ ἆκται ποτʼ ὀρθὰς ἁ Γ, καὶ ἀπὸ τοῦ Β ποτʼ ὀρθὰς τᾷ Α ἁ ΒΖ τέμνουσα τὰν Γ Bl, κατὰ τὸ Ε, εὐθεῖα δὲ ἁ ΑΕΙ ποτʼ ὀρθὰς τᾷ ΒΙ ἐστίν, ἐσσοῦνται ἄρα εὐθεῖαι αἱ ΒΙ, Ι ἀλλάλαις ἐπʼ εὐθείας, ὡς παῤ ἡμῶν ἐν τοῖς Περὶ ὀρθογωνίων τριγώνων δέδεικται Καὶ ἐπεὶ εὐθεῖα ἁ Β παρὰ τὰν ΓΗ ἐστίν, τὸν αὐτὸν λόγον ἔχει ἁ Α ποτὶ τὰν Θ, ὃν ἔχει ἁ ΑΓ ποτὶ τὰν ΘΕ, τουτέστιν ἁ ΑΒ ποτὶ τὰν ΒΓ τὸ ἄρα ὑπὸ τᾶν ΑΓ, ΓΒ τῷ ὑπὸ τᾶν ΑΒ, ΘΕ ἐστὶν ἴσον· ὅμοίως δὴ δείξομες ὅτι ἐν κύκλῳ τῷ ΛΜΝ τὸ ὑπὸ τᾶν ΑΓ, ΓΒ τῷ ὑπὸ ΑΒ καὶ τᾶς διαμέτρου τοῦ ΛΜΝ κύκλου ἴσον ἐστίν· αἱ διάμετροι ἄρα κύκλων τῶν ἴσαι ἐντί, τουτέστιν οἱ δύο κύκλοι ἴσοι ἐντί· δέδεικται οὖν τὸ προτεθέν.