Elementa

εἰς τὸν δοθέντα κύκλον τῇ δοθείσῃ εὐθείᾳ μὴ μείζονι οὔσῃ τῆς τοῦ κύκλου διαμέτρου ἴσην εὐθεῖαν ἐναρμόσαι.

ἔστω ὁ δοθεὶς κύκλος ὁ ΑΒΓ, ἡ δὲ δοθεῖσα εὐθεῖα μὴ μείζων τῆς τοῦ κύκλου διαμέτρου ἡ Δ. δεῖ δὴ εἰς τὸν ΑΒΓ κύκλον τῇ Δ εὐθείᾳ ἴσην εὐθεῖαν ἐναρμόσαι.

ἤχθω τοῦ ΑΒΓ κύκλου διάμετρος ἡ ΒΓ. εἰ μὲν οὖν ἴση ἐστὶν ἡ ΒΓ τῇ Δ, γεγονὸς ἂν εἴη τὸ ἐπιταχθέν· ἐνήρμοσται γὰρ εἰς τὸν ΑΒΓ κύκλον τῇ Δ εὐθείᾳ ἴση ἡ ΒΓ. εἰ δὲ μείζων ἐστὶν ἡ ΒΓ τῆς Δ, κείσθω τῇ Δ ἴση ἡ ΓΕ, καὶ κέντρῳ τῷ Γ διαστήματι δὲ τῷ ΓΕ κύκλος γεγράφθω ὁ ΕΑΖ, καὶ ἐπεζεύχθω ἡ ΓΑ.

ἐπεὶ οὖν τὸ Γ σημεῖον κέντρον ἐστὶ τοῦ ΕΑΖ κύκλου, ἴση ἐστὶν ἡ ΓΑ τῇ ΓΕ. ἀλλὰ τῇ Δ ἡ ΓΕ ἐστιν ἴση· καὶ ἡ Δ ἄρα τῇ ΓΑ ἐστιν ἴση.

εἰς ἄρα τὸν δοθέντα κύκλον τὸν ΑΒΓ τῇ δοθείσῃ εὐθείᾳ τῇ Δ ἴση ἐνήρμοσται ἡ ΓΑ· ὅπερ ἔδει ποιῆσαι.

εἰς τὸν δοθέντα κύκλον τῷ δοθέντι τριγώνῳ ἰσογώνιον τρίγωνον ἐγγράψαι.

ἔστω ὁ δοθεὶς κύκλος ὁ ΑΒΓ, τὸ δὲ δοθὲν τρίγωνον τὸ ΔΕΖ· δεῖ δὴ εἰς τὸν ΑΒΓ κύκλον τῷ ΔΕΖ τριγώνῳ ἰσογώνιον τρίγωνον ἐγγράψαι.

ἤχθω τοῦ ΑΒΓ κύκλου ἐφαπτομένη ἡ ΗΘ κατὰ τὸ Α, καὶ συνεστάτω πρὸς τῇ ΑΘ εὐθείᾳ καὶ τῷ πρὸς αὐτῇ σημείῳ τῷ Α τῇ ὑπὸ ΔΕΖ γωνίᾳ ἴση ἡ ὑπὸ ΘΑΓ, πρὸς δὲ τῇ ΑΗ εὐθείᾳ καὶ τῷ πρὸς αὐτῇ σημείῳ τῷ Α τῇ ὑπὸ ΔΖΕ γωνίᾳ ἴση ἡ ὑπὸ ΗΑΒ, καὶ ἐπεζεύχθω ἡ ΒΓ.

ἐπεὶ οὖν κύκλου τοῦ ΑΒΓ ἐφάπτεταί τις εὐθεῖα ἡ ΑΘ, καὶ ἀπὸ τῆς κατὰ τὸ Α ἐπαφῆς εἰς τὸν κύκλον διῆκται εὐθεῖα ἡ ΑΓ, ἡ ἄρα ὑπὸ ΘΑΓ ἴση ἐστὶ τῇ ἐν τῷ ἐναλλὰξ τοῦ κύκλου τμήματι γωνίᾳ τῇ ὑπὸ ΑΒΓ. ἀλλʼ ἡ ὑπὸ ΘΑΓ τῇ ὑπὸ ΔΕΖ ἐστιν ἴση· καὶ ἡ ὑπὸ ΑΒΓ ἄρα γωνία τῇ ὑπὸ ΔΕΖ ἐστιν ἴση. διὰ τὰ αὐτὰ δὴ καὶ ἡ ὑπὸ ΑΓΒ τῇ ὑπὸ ΔΖΕ ἐστιν ἴση· καὶ λοιπὴ ἄρα ἡ ὑπὸ ΒΑΓ λοιπῇ τῇ ὑπὸ ΕΔΖ ἐστιν ἴση· ἰσογώνιον ἄρα ἐστὶ τὸ ΑΒΓ τρίγωνον τῷ ΔΕΖ τριγώνῳ, καὶ ἐγγέγραπται εἰς τὸν ΑΒΓ κύκλον.

εἰς τὸν δοθέντα ἄρα κύκλον τῷ δοθέντι τριγώνῳ ἰσογώνιον τρίγωνον ἐγγέγραπται· ὅπερ ἔδει ποιῆσαι.

περὶ τὸν δοθέντα κύκλον τῷ δοθέντι τριγώνῳ ἰσογώνιον τρίγωνον περιγράψαι.

ἔστω ὁ δοθεὶς κύκλος ὁ ΑΒΓ, τὸ δὲ δοθὲν τρίγωνον τὸ ΔΕΖ· δεῖ δὴ περὶ τὸν ΑΒΓ κύκλον τῷ ΔΕΖ τριγώνῳ ἰσογώνιον τρίγωνον περιγράψαι.

Ἐκβεβλήσθω ἡ ΕΖ ἐφʼ ἑκάτερα τὰ μέρη κατὰ τὰ Η, Θ σημεῖα, καὶ εἰλήφθω τοῦ ΑΒΓ κύκλου κέντρον τὸ Κ, καὶ διήχθω, ὡς ἔτυχεν, εὐθεῖα ἡ ΚΒ, καὶ συνεστάτω πρὸς τῇ ΚΒ εὐθείᾳ καὶ τῷ πρὸς αὐτῇ σημείῳ τῷ Κ τῇ μὲν ὑπὸ ΔΕΗ γωνίᾳ ἴση ἡ ὑπὸ ΒΚΑ, τῇ δὲ ὑπὸ ΔΖΘ ἴση ἡ ὑπὸ ΒΚΓ, καὶ διὰ τῶν Α, Β, Γ σημείων ἤχθωσαν ἐφαπτόμεναι τοῦ ΑΒΓ κύκλου αἱ ΛΑΜ, ΜΒΝ, ΝΓΛ.

καὶ ἐπεὶ ἐφάπτονται τοῦ ΑΒΓ κύκλου αἱ ΛΜ, ΜΝ, ΝΛ κατὰ τὰ Α, Β, Γ σημεῖα, ἀπὸ δὲ τοῦ Κ κέντρου ἐπὶ τὰ Α, Β, Γ σημεῖα ἐπεζευγμέναι εἰσὶν αἱ ΚΑ, ΚΒ, ΚΓ, ὀρθαὶ ἄρα εἰσὶν αἱ πρὸς τοῖς Α, Β, Γ σημείοις γωνίαι. καὶ ἐπεὶ τοῦ ΑΜΒΚ τετραπλεύρου αἱ τέσσαρες γωνίαι τέτρασιν ὀρθαῖς ἴσαι εἰσίν, ἐπειδήπερ καὶ εἰς δύο τρίγωνα διαιρεῖται τὸ ΑΜΒΚ, καί εἰσιν ὀρθαὶ αἱ ὑπὸ ΚΑΜ, ΚΒΜ γωνίαι, λοιπαὶ ἄρα αἱ ὑπὸ ΑΚΒ, ΑΜΒ δυσὶν ὀρθαῖς ἴσαι εἰσίν. εἰσὶ δὲ καὶ αἱ ὑπὸ ΔΕΗ, ΔΕΖ δυσὶν ὀρθαῖς ἴσαι· αἱ ἄρα ὑπὸ ΑΚΒ, ΑΜΒ ταῖς ὑπὸ ΔΕΗ, ΔΕΖ ἴσαι εἰσίν, ὧν ἡ ὑπὸ ΑΚΒ τῇ ὑπὸ ΔΕΗ ἐστιν ἴση· λοιπὴ ἄρα ἡ ὑπὸ ΑΜΒ λοιπῇ τῇ ὑπὸ ΔΕΖ ἐστιν ἴση. ὁμοίως δὴ δειχθήσεται, ὅτι καὶ ἡ ὑπὸ ΛΝΒ τῇ ὑπὸ ΔΖΕ ἐστιν ἴση· καὶ λοιπὴ ἄρα ἡ ὑπὸ ΜΛΝ λοιπῇ τῇ ὑπὸ ΕΔΖ ἐστιν ἴση. ἰσογώνιον ἄρα ἐστὶ τὸ ΛΜΝ τρίγωνον τῷ ΔΕΖ τριγώνῳ· καὶ περιγέγραπται περὶ τὸν ΑΒΓ κύκλον.

περὶ τὸν δοθέντα ἄρα κύκλον τῷ δοθέντι τριγώνῳ ἰσογώνιον τρίγωνον περιγέγραπται· ὅπερ ἔδει ποιῆσαι.

εἰς τὸ δοθὲν τρίγωνον κύκλον ἐγγράψαι.

ἔστω τὸ δοθὲν τρίγωνον τὸ ΑΒΓ· δεῖ δὴ εἰς τὸ ΑΒΓ τρίγωνον κύκλον ἐγγράψαι.

τετμήσθωσαν αἱ ὑπὸ ΑΒΓ, ΑΓΒ γωνίαι δίχα ταῖς ΒΔ, ΓΔ εὐθείαις, καὶ συμβαλλέτωσαν ἀλλήλαις κατὰ τὸ Δ σημεῖον, καὶ ἤχθωσαν ἀπὸ τοῦ Δ ἐπὶ τὰς ΑΒ, ΒΓ, ΓΑ εὐθείας κάθετοι αἱ ΔΕ, ΔΖ, ΔΗ.

καὶ ἐπεὶ ἴση ἐστὶν ἡ ὑπὸ ΑΒΔ γωνία τῇ ὑπὸ ΓΒΔ, ἐστὶ δὲ καὶ ὀρθὴ ἡ ὑπὸ ΒΕΔ ὀρθῇ τῇ ὑπὸ ΒΖΔ ἴση, δύο δὴ τρίγωνά ἐστι τὰ ΕΒΔ, ΖΒΔ τὰς δύο γωνίας ταῖς δυσὶ γωνίαις ἴσας ἔχοντα καὶ μίαν πλευρὰν μιᾷ πλευρᾷ ἴσην τὴν ὑποτείνουσαν ὑπὸ μίαν τῶν ἴσων γωνιῶν κοινὴν αὐτῶν τὴν ΒΔ· καὶ τὰς λοιπὰς ἄρα πλευρὰς ταῖς λοιπαῖς πλευραῖς ἴσας ἕξουσιν· ἴση ἄρα ἡ ΔΕ τῇ ΔΖ. διὰ τὰ αὐτὰ δὴ καὶ ἡ ΔΗ τῇ ΔΖ ἐστιν ἴση. αἱ τρεῖς ἄρα εὐθεῖαι αἱ ΔΕ, ΔΖ, ΔΗ ἴσαι ἀλλήλαις εἰσίν· ὁ ἄρα κέντρῳ τῷ Δ καὶ διαστήματι ἑνὶ τῶν Ε, Ζ, Η κύκλος γραφόμενος ἥξει καὶ διὰ τῶν λοιπῶν σημείων καὶ ἐφάψεται τῶν ΑΒ, ΒΓ, ΓΑ εὐθειῶν διὰ τὸ ὀρθὰς εἶναι τὰς πρὸς τοῖς Ε, Ζ, Η σημείοις γωνίας. εἰ γὰρ τεμεῖ αὐτάς, ἔσται ἡ τῇ διαμέτρῳ τοῦ κύκλου πρὸς ὀρθὰς ἀπʼ ἄκρας ἀγομένη ἐντὸς πίπτουσα τοῦ κύκλου· ὅπερ ἄτοπον ἐδείχθη· οὐκ ἄρα ὁ κέντρῳ τῷ Δ διαστήματι δὲ ἑνὶ τῶν Ε, Ζ, Η γραφόμενος κύκλος τεμεῖ τὰς ΑΒ, ΒΓ, ΓΑ εὐθείας· ἐφάψεται ἄρα αὐτῶν, καὶ ἔσται ὁ κύκλος ἐγγεγραμμένος εἰς τὸ ΑΒΓ τρίγωνον. ἐγγεγράφθω ὡς ὁ ΖΗΕ.

εἰς ἄρα τὸ δοθὲν τρίγωνον τὸ ΑΒΓ κύκλος ἐγγέγραπται ὁ ΕΖΗ· ὅπερ ἔδει ποιῆσαι.

περὶ τὸ δοθὲν τρίγωνον κύκλον περιγράψαι.

ἔστω τὸ δοθὲν τρίγωνον τὸ ΑΒΓ· δεῖ 2δὴ2 περὶ τὸ δοθὲν τρίγωνον τὸ ΑΒΓ κύκλον περιγράψαι.

τετμήσθωσαν αἱ ΑΒ, ΑΓ εὐθεῖαι δίχα κατὰ τὰ Δ, Ε σημεῖα, καὶ ἀπὸ τῶν Δ, Ε σημείων ταῖς ΑΒ, ΑΓ πρὸς ὁρθὰς ἤχθωσαν αἱ ΔΖ, ΕΖ· συμπεσοῦνται δὴ ἤτοι ἐντὸς τοῦ ΑΒΓ τριγώνου ἢ ἐπὶ τῆς ΒΓ εὐθείας ἢ ἐκτὸς τῆς ΒΓ.

συμπιπτέτωσαν πρότερον ἐντὸς κατὰ τὸ Ζ, καὶ ἐπεζεύχθωσαν αἱ ΖΒ, ΖΓ, ΖΑ. καὶ ἐπεὶ ἴση ἐστὶν ἡ ΑΔ τῇ ΔΒ, κοινὴ δὲ καὶ πρὸς ὀρθὰς ἡ ΔΖ, βάσις ἄρα ἡ ΑΖ βάσει τῇ ΖΒ ἐστιν ἴση. ὁμοίως δὴ δείξομεν, ὅτι καὶ ἡ ΓΖ τῇ ΑΖ ἐστιν ἴση· ὥστε καὶ ἡ ΖΒ τῇ ΖΓ ἐστιν ἴση· αἱ τρεῖς ἄρα αἱ ΖΑ, ΖΒ, ΖΓ ἴσαι ἀλλήλαις εἰσίν. ὁ ἄρα κέντρῳ τῷ Ζ διαστήματι δὲ ἑνὶ τῶν Α, Β, Γ κύκλος γραφόμενος ἥξει καὶ διὰ τῶν λοιπῶν σημείων, καὶ ἔσται περιγεγραμμένος ὁ κύκλος περὶ τὸ ΑΒΓ τρίγωνον. περιγεγράφθω ὡς ὁ ΑΒΓ.

ἀλλὰ δὴ αἱ ΔΖ, ΕΖ συμπιπτέτωσαν ἐπὶ τῆς ΒΓ εὐθείας κατὰ τὸ Ζ, ὡς ἔχει ἐπὶ τῆς δευτέρας καταγραφῆς, καὶ ἐπεζεύχθω ἡ ΑΖ. ὁμοίως δὴ δείξομεν, ὅτι τὸ Ζ σημεῖον κέντρον ἐστὶ τοῦ περὶ τὸ ΑΒΓ τρίγωνον περιγραφομένου κύκλου.

ἀλλὰ δὴ αἱ ΔΖ, ΕΖ συμπιπτέτωσαν ἐκτὸς τοῦ ΑΒΓ τριγώνου κατὰ τὸ Ζ πάλιν, ὡς ἔχει ἐπὶ τῆς τρίτης καταγραφῆς, καὶ ἐπεζεύχθωσαν αἱ ΑΖ, ΒΖ, ΓΖ. καὶ ἐπεὶ πάλιν ἴση ἐστὶν ἡ ΑΔ τῇ ΔΒ, κοινὴ δὲ καὶ πρὸς ὀρθὰς ἡ ΔΖ, βάσις ἄρα ἡ ΑΖ βάσει τῇ ΒΖ ἐστιν ἴση. ὁμοίως δὴ δείξομεν, ὅτι καὶ ἡ ΓΖ τῇ ΑΖ ἐστιν ἴση· ὥστε καὶ ἡ ΒΖ τῇ ΖΓ ἐστιν ἴση· ὁ ἄρα πάλιν κέντρῳ τῷ Ζ διαστήματι δὲ ἑνὶ τῶν ΖΑ, ΖΒ, ΖΓ κύκλος γραφόμενος ἥξει καὶ διὰ τῶν λοιπῶν σημείων, καὶ ἔσται περιγεγραμμένος περὶ τὸ ΑΒΓ τρίγωνον.

περὶ τὸ δοθὲν ἄρα τρίγωνον κύκλος περιγέγραπται· ὅπερ ἔδει ποιῆσαι.

Πόρισμα

καὶ φανερόν, ὅτι, ὅτε μὲν ἐντὸς τοῦ τριγώνου πίπτει τὸ κέντρον τοῦ κύκλου, ἡ ὑπὸ ΒΑΓ γωνία ἐν μείζονι τμήματι τοῦ ἡμικυκλίου τυγχάνουσα ἐλάττων ἐστὶν ὀρθῆς· ὅτε δὲ ἐπὶ τῆς ΒΓ εὐθείας τὸ κέντρον πίπτει, ἡ ὑπὸ ΒΑΓ γωνία ἐν ἡμικυκλίῳ τυγχάνουσα ὀρθή ἐστιν· ὅτε δὲ τὸ κέντρον τοῦ κύκλου ἐκτὸς τοῦ τριγώνου πίπτει, ἡ ὑπὸ ΒΑΓ ἐν ἐλάττονι τμήματι τοῦ ἡμικυκλίου τυγχάνουσα μείζων ἐστὶν ὀρθῆς. ὥστε καὶ ὅταν ἐλάττων ὀρθῆς τυγχάνῃ ἡ διδομένη γωνία, ἐντὸς τοῦ τριγώνου πεσοῦνται αἱ ΔΖ, ΕΖ, ὅταν δὲ ὀρθή, ἐπὶ τῆς ΒΓ, ὅταν δὲ μείζων ὀρθῆς, ἐκτὸς τῆς ΒΓ· ὅπερ ἔδει ποιῆσαι.

εἰς τὸν δοθέντα κύκλον τετράγωνον ἐγγράψαι.

ἔστω ὁ δοθεὶς κύκλος ὁ ΑΒΓΔ· δεῖ δὴ εἰς τὸν ΑΒΓΔ κύκλον τετράγωνον ἐγγράψαι.

ἤχθωσαν τοῦ ΑΒΓΔ κύκλου δύο διάμετροι πρὸς ὀρθὰς ἀλλήλαις αἱ ΑΓ, ΒΔ, καὶ ἐπεζεύχθωσαν αἱ ΑΒ, ΒΓ, ΓΔ, ΔΑ.

καὶ ἐπεὶ ἴση ἐστὶν ἡ ΒΕ τῇ ΕΔ· κέντρον γὰρ τὸ Ε· κοινὴ δὲ καὶ πρὸς ὀρθὰς ἡ ΕΑ, βάσις ἄρα ἡ ΑΒ βάσει τῇ ΑΔ ἴση ἐστίν. διὰ τὰ αὐτὰ δὴ καὶ ἑκατέρα τῶν ΒΓ, ΓΔ ἑκατέρᾳ τῶν ΑΒ, ΑΔ ἴση ἐστίν· ἰσόπλευρον ἄρα ἐστὶ τὸ ΑΒΓΔ τετράπλευρον. λέγω δή, ὅτι καὶ ὀρθογώνιον. ἐπεὶ γὰρ ἡ ΒΔ εὐθεῖα διάμετρός ἐστι τοῦ ΑΒΓΔ κύκλου, ἡμικύκλιον ἄρα ἐστὶ τὸ ΒΑΔ· ὀρθὴ ἄρα ἡ ὑπὸ ΒΑΔ γωνία. διὰ τὰ αὐτὰ δὴ καὶ ἑκάστη τῶν ὑπὸ ΑΒΓ, ΒΓΔ, ΓΔΑ ὀρθή ἐστιν· ὀρθογώνιον ἄρα ἐστὶ τὸ ΑΒΓΔ τετράπλευρον. ἐδείχθη δὲ καὶ ἰσόπλευρον· τετράγωνον ἄρα ἐστίν. καὶ ἐγγέγραπται εἰς τὸν ΑΒΓΔ κύκλον.

εἰς ἄρα τὸν δοθέντα κύκλον τετράγωνον ἐγγέγραπται τὸ ΑΒΓΔ· ὅπερ ἔδει ποιῆσαι.

περὶ τὸν δοθέντα κύκλον τετράγωνον περιγράψαι.

ἔστω ὁ δοθεὶς κύκλος ὁ ΑΒΓΔ· δεῖ δὴ περὶ τὸν ΑΒΓΔ κύκλον τετράγωνον περιγράψαι.

ἤχθωσαν τοῦ ΑΒΓΔ κύκλου δύο διάμετροι πρὸς ὀρθὰς ἀλλήλαις αἱ ΑΓ, ΒΔ, καὶ διὰ τῶν Α, Β, Γ, Δ σημείων ἤχθωσαν ἐφαπτόμεναι τοῦ ΑΒΓΔ κύκλου αἱ ΖΗ, ΗΘ, ΘΚ, ΚΖ.

ἐπεὶ οὖν ἐφάπτεται ἡ ΖΗ τοῦ ΑΒΓΔ κύκλου, ἀπὸ δὲ τοῦ Ε κέντρου ἐπὶ τὴν κατὰ τὸ Α ἐπαφὴν ἐπέζευκται ἡ ΕΑ, αἱ ἄρα πρὸς τῷ Α γωνίαι ὀρθαί εἰσιν. διὰ τὰ αὐτὰ δὴ καὶ αἱ πρὸς τοῖς Β, Γ, Δ σημείοις γωνίαι ὀρθαί εἰσιν. καὶ ἐπεὶ ὀρθή ἐστιν ἡ ὑπὸ ΑΕΒ γωνία, ἐστὶ δὲ ὀρθὴ καὶ ἡ ὑπὸ ΕΒΗ, παράλληλος ἄρα ἐστὶν ἡ ΗΘ τῇ ΑΓ. διὰ τὰ αὐτὰ δὴ καὶ ἡ ΑΓ τῇ ΖΚ ἐστι παράλληλος. ὥστε καὶ ἡ ΗΘ τῇ ΖΚ ἐστι παράλληλος. ὁμοίως δὴ δείξομεν, ὅτι καὶ ἑκατέρα τῶν ΗΖ, ΘΚ τῇ ΒΕΔ ἐστι παράλληλος. παραλληλόγραμμα ἄρα ἐστὶ τὰ ΗΚ, ΗΓ, ΑΚ, ΖΒ, ΒΚ· ἴση ἄρα ἐστὶν ἡ μὲν ΗΖ τῇ ΘΚ, ἡ δὲ ΗΘ τῇ ΖΚ. καὶ ἐπεὶ ἴση ἐστὶν ἡ ΑΓ τῇ ΒΔ, ἀλλὰ καὶ ἡ μὲν ΑΓ ἑκατέρᾳ τῶν ΗΘ, ΖΚ, ἡ δὲ ΒΔ ἑκατέρᾳ τῶν ΗΖ, ΘΚ ἐστιν ἴση καὶ ἑκατέρα ἄρα τῶν ΗΘ, ΖΚ ἑκατέρᾳ τῶν ΗΖ, ΘΚ ἐστιν ἴση, ἰσόπλευρον ἄρα ἐστὶ τὸ ΖΗΘΚ τετράπλευρον. λέγω δή, ὅτι καὶ ὀρθογώνιον. ἐπεὶ γὰρ παραλληλόγραμμόν ἐστι τὸ ΗΒΕΑ, καί ἐστιν ὀρθὴ ἡ ὑπὸ ΑΕΒ, ὀρθὴ ἄρα καὶ ἡ ὑπὸ ΑΗΒ. ὁμοίως δὴ δείξομεν, ὅτι καὶ αἱ πρὸς τοῖς Θ, Κ, Ζ γωνίαι ὀρθαί εἰσιν. ὀρθογώνιον ἄρα ἐστὶ τὸ ΖΗΘΚ. ἐδείχθη δὲ καὶ ἰσόπλευρον· τετράγωνον ἄρα ἐστίν. καὶ περιγέγραπται περὶ τὸν ΑΒΓΔ κύκλον.

περὶ τὸν δοθέντα ἄρα κύκλον τετράγωνον περιγέγραπται· ὅπερ ἔδει ποιῆσαι.