Στοιχεῖα

grc · official · sha256:c6eadd540c87796d0a10a50507bbc7c9f33d5b8a5a6fa45b9ec882d6c687728dGRC

Ἐν κύκλῳ ἡ πρὸς τῷ κέντρῳ γωνία διπλασίων ἐστὶ τῆς πρὸς τῇ περιφερείᾳ, ὅταν τὴν αὐτὴν περιφέρειαν βάσιν ἔχωσιν αἱ γωνίαι.. Ἔστω κύκλος ὁ ΑΒΓ, καὶ πρὸς μὲν τῷ κέντρῳ αὐτοῦ γωνία ἔστω ἡ ὑπὸ ΒΕΓ, πρὸς δὲ τῇ περιφερείᾳ ἡ ὑπὸ ΒΑΓ, ἐχέτωσαν δὲ τὴν αὐτὴν περιφέρειαν βάσιν τὴν ΒΓ· λέγω, ὅτι διπλασίων ἐστὶν ἡ ὑπὸ ΒΕΓ γωνία τῆς ὑπὸ ΒΑΓ. Ἐπιζευχθεῖσα γὰρ ἡ ΑΕ διήχθω ἐπὶ τὸ Ζ. Ἐπεὶ οὖν ἴση ἐστὶν ἡ ΕΑ τῇ ΕΒ, ἴση καὶ γωνία ἡ ὑπὸ ΕΑΒ τῇ ὑπὸ ΕΒΑ· αἱ ἄρα ὑπὸ ΕΑΒ, ΕΒΑ γωνίαι τῆς ὑπὸ ΕΑΒ διπλασίους εἰσίν. ἴση δὲ ἡ ὑπὸ ΒΕΖ ταῖς ὑπὸ ΕΑΒ, ΕΒΑ· καὶ ἡ ὑπὸ ΒΕΖ ἄρα τῆς ὑπὸ ΕΑΒ ἐστι διπλῆ. διὰ τὰ αὐτὰ δὴ καὶ ἡ ὑπὸ ΖΕΓ τῆς ὑπὸ ΕΑΓ ἐστι διπλῆ. ὅλη ἄρα ἡ ὑπὸ ΒΕΓ ὅλης τῆς ὑπὸ ΒΑΓ ἐστι διπλῆ. Κεκλάσθω δὴ πάλιν, καὶ ἔστω ἑτέρα γωνία ἡ ὑπὸ ΒΔΓ, καὶ ἐπιζευχθεῖσα ἡ ΔΕ ἐκβεβλήσθω ἐπὶ τὸ Η. ὁμοίως δὴ δείξομεν, ὅτι διπλῆ ἐστιν ἡ ὑπὸ ΗΕΓ γωνία τῆς ὑπὸ ΕΔΓ, ὧν ἡ ὑπὸ ΗΕΒ διπλῆ ἐστι τῆς ὑπὸ ΕΔΒ· λοιπὴ ἄρα ἡ ὑπὸ ΒΕΓ διπλῆ ἐστι τῆς ὑπὸ ΒΔΓ. Ἐν κύκλῳ ἄρα ἡ πρὸς τῷ κέντρῳ γωνία διπλασίων ἐστὶ τῆς πρὸς τῇ περιφερείᾳ, ὅταν τὴν αὐτὴν περιφέρειαν βάσιν ἔχωσιν [αἱ γωνίαι]· ὅπερ ἔδει δεῖξαι.

Ссылаются нормы: CentralFromInscribed, InscribedFromCentral, Two, central_angle, inscribed_angle

grc · official · sha256:f42602210d07949ea415a695a5b5086e7db4cf7f4200ca048dab606d5cb4aec2GRC

Ἐν κύκλῳ αἱ ἐν τῷ αὐτῷ τμήματι γωνίαι ἴσαι ἀλλήλαις εἰσίν. Ἔστω κύκλος ὁ ΑΒΓΔ, καὶ ἐν τῷ αὐτῷ τμήματι τῷ ΒΑΕΔ γωνίαι ἔστωσαν αἱ ὑπὸ ΒΑΔ, ΒΕΔ· λέγω, ὅτι αἱ ὑπὸ ΒΑΔ, ΒΕΔ γωνίαι ἴσαι ἀλλήλαις εἰσίν. Εἰλήφθω γὰρ τοῦ ΑΒΓΔ κύκλου τὸ κέντρον, καὶ ἔστω τὸ Ζ, καὶ ἐπεζεύχθωσαν αἱ ΒΖ, ΖΔ. Καὶ ἐπεὶ ἡ μὲν ὑπὸ ΒΖΔ γωνία πρὸς τῷ κέντρῳ ἐστίν, ἡ δὲ ὑπὸ ΒΑΔ πρὸς τῇ περιφερείᾳ, καὶ ἔχουσι τὴν αὐτὴν περιφέρειαν βάσιν τὴν ΒΓΔ, ἡ ἄρα ὑπὸ ΒΖΔ γωνία διπλασίων ἐστὶ τῆς ὑπὸ ΒΑΔ. διὰ τὰ αὐτὰ δὴ ἡ ὑπὸ ΒΖΔ καὶ τῆς ὑπὸ ΒΕΔ ἐστι διπλασίων· ἴση ἄρα ἡ ὑπὸ ΒΑΔ τῇ ὑπὸ ΒΕΔ. Ἐν κύκλῳ ἄρα αἱ ἐν τῷ αὐτῷ τμήματι γωνίαι ἴσαι ἀλλήλαις εἰσίν· ὅπερ ἔδει δεῖξαι.

Ссылаются нормы: InscribedAnglesEqual

grc · official · sha256:b504efdc9c1475dddf0c925d35b3795c4eeed4b2e6a230cfe043c3ee3487d7d1GRC

Τῶν ἐν τοῖς κύκλοις τετραπλεύρων αἱ ἀπεναντίον γωνίαι δυσὶν ὀρθαῖς ἴσαι εἰσίν. Ἔστω κύκλος ὁ ΑΒΓΔ, καὶ ἐν αὐτῷ τετράπλευρον ἔστω τὸ ΑΒΓΔ· λέγω, ὅτι αἱ ἀπεναντίον γωνίαι δυσὶν ὀρθαῖς ἴσαι εἰσίν. Ἐπεζεύχθωσαν αἱ ΑΓ, ΒΔ. Ἐπεὶ οὖν παντὸς τριγώνου αἱ τρεῖς γωνίαι δυσὶν ὀρθαῖς ἴσαι εἰσίν, τοῦ ΑΒΓ ἄρα τριγώνου αἱ τρεῖς γωνίαι αἱ ὑπὸ ΓΑΒ, ΑΒΓ, ΒΓΑ δυσὶν ὀρθαῖς ἴσαι εἰσίν. ἴση δὲ ἡ μὲν ὑπὸ ΓΑΒ τῇ ὑπὸ ΒΔΓ· ἐν γὰρ τῷ αὐτῷ τμήματί εἰσι τῷ ΒΑΔΓ· ἡ δὲ ὑπὸ ΑΓΒ τῇ ὑπὸ ΑΔΒ· ἐν γὰρ τῷ αὐτῷ τμήματί εἰσι τῷ ΑΔΓΒ· ὅλη ἄρα ἡ ὑπὸ ΑΔΓ ταῖς ὑπὸ ΒΑΓ, ΑΓΒ ἴση ἐστίν. κοινὴ προσκείσθω ἡ ὑπὸ ΑΒΓ· αἱ ἄρα ὑπὸ ΑΒΓ, ΒΑΓ, ΑΓΒ ταῖς ὑπὸ ΑΒΓ, ΑΔΓ ἴσαι εἰσίν. ἀλλ' αἱ ὑπὸ ΑΒΓ, ΒΑΓ, ΑΓΒ δυσὶν ὀρθαῖς ἴσαι εἰσίν. καὶ αἱ ὑπὸ ΑΒΓ, ΑΔΓ ἄρα δυσὶν ὀρθαῖς ἴσαι εἰσίν. ὁμοίως δὴ δείξομεν, ὅτι καὶ αἱ ὑπὸ ΒΑΔ, ΔΓΒ γωνίαι δυσὶν ὀρθαῖς ἴσαι εἰσίν. Τῶν ἄρα ἐν τοῖς κύκλοις τετραπλεύρων αἱ ἀπεναντίον γωνίαι δυσὶν ὀρθαῖς ἴσαι εἰσίν· ὅπερ ἔδει δεῖξαι.

Ссылаются нормы: CyclicOppositeFromFirst, CyclicOppositeFromSecond, inscribed_quadrilateral, opposite_angles

grc · official · sha256:71233cc3c754f3d2723706ab974a774929b83613017f599a064ed5a72e32e28bGRC

Ἐν κύκλῳ ἡ μὲν ἐν τῷ ἡμικυκλίῳ γωνία ὀρθή ἐστιν, ἡ δὲ ἐν τῷ μείζονι τμήματι ἐλάττων ὀρθῆς, ἡ δὲ ἐν τῷ ἐλάττονι τμήματι μείζων ὀρθῆς· καὶ ἔτι ἡ μὲν τοῦ μείζονος τμήματος γωνία μείζων ἐστὶν ὀρθῆς, ἡ δὲ τοῦ ἐλάττονος τμήματος γωνία ἐλάττων ὀρθῆς. Ἔστω κύκλος ὁ ΑΒΓΔ, διάμετρος δὲ αὐτοῦ ἔστω ἡ ΒΓ, κέντρον δὲ τὸ Ε, καὶ ἐπεζεύχθωσαν αἱ ΒΑ, ΑΓ, ΑΔ, ΔΓ· λέγω, ὅτι ἡ μὲν ἐν τῷ ΒΑΓ ἡμικυκλίῳ γωνία ἡ ὑπὸ ΒΑΓ ὀρθή ἐστιν, ἡ δὲ ἐν τῷ ΑΒΓ μείζονι τοῦ ἡμικυκλίου τμήματι γωνία ἡ ὑπὸ ΑΒΓ ἐλάττων ἐστὶν ὀρθῆς, ἡ δὲ ἐν τῷ ΑΔΓ ἐλάττονι τοῦ ἡμικυκλίου τμήματι γωνία ἡ ὑπὸ ΑΔΓ μείζων ἐστὶν ὀρθῆς. Ἐπεζεύχθω ἡ ΑΕ, καὶ διήχθω ἡ ΒΑ ἐπὶ τὸ Ζ. Καὶ ἐπεὶ ἴση ἐστὶν ἡ ΒΕ τῇ ΕΑ, ἴση ἐστὶ καὶ γωνία ἡ ὑπὸ ΑΒΕ τῇ ὑπὸ ΒΑΕ. πάλιν, ἐπεὶ ἴση ἐστὶν ἡ ΓΕ τῇ ΕΑ, ἴση ἐστὶ καὶ ἡ ὑπὸ ΑΓΕ τῇ ὑπὸ ΓΑΕ· ὅλη ἄρα ἡ ὑπὸ ΒΑΓ δυσὶ ταῖς ὑπὸ ΑΒΓ, ΑΓΒ ἴση ἐστίν. ἐστὶ δὲ καὶ ἡ ὑπὸ ΖΑΓ ἐκτὸς τοῦ ΑΒΓ τριγώνου δυσὶ ταῖς ὑπὸ ΑΒΓ, ΑΓΒ γωνίαις ἴση· ἴση ἄρα καὶ ἡ ὑπὸ ΒΑΓ γωνία τῇ ὑπὸ ΖΑΓ· ὀρθὴ ἄρα ἑκατέρα· ἡ ἄρα ἐν τῷ ΒΑΓ ἡμικυκλίῳ γωνία ἡ ὑπὸ ΒΑΓ ὀρθή ἐστιν. Καὶ ἐπεὶ τοῦ ΑΒΓ τριγώνου δύο γωνίαι αἱ ὑπὸ ΑΒΓ, ΒΑΓ δύο ὀρθῶν ἐλάττονές εἰσιν, ὀρθὴ δὲ ἡ ὑπὸ ΒΑΓ, ἐλάττων ἄρα ὀρθῆς ἐστιν ἡ ὑπὸ ΑΒΓ γωνία· καί ἐστιν ἐν τῷ ΑΒΓ μείζονι τοῦ ἡμικυκλίου τμήματι. Καὶ ἐπεὶ ἐν κύκλῳ τετράπλευρόν ἐστι τὸ ΑΒΓΔ, τῶν δὲ ἐν τοῖς κύκλοις τετραπλεύρων αἱ ἀπεναντίον γωνίαι δυσὶν ὀρθαῖς ἴσαι εἰσίν [αἱ ἄρα ὑπὸ ΑΒΓ, ΑΔΓ γωνίαι δυσὶν ὀρθαῖς ἴσαι εἰσίν], καί ἐστιν ἡ ὑπὸ ΑΒΓ ἐλάττων ὀρθῆς· λοιπὴ ἄρα ἡ ὑπὸ ΑΔΓ γωνία μείζων ὀρθῆς ἐστιν· καί ἐστιν ἐν τῷ ΑΔΓ ἐλάττονι τοῦ ἡμικυκλίου τμήματι. Λέγω, ὅτι καὶ ἡ μὲν τοῦ μείζονος τμήματος γωνία ἡ περιεχομένη ὑπό [τε] τῆς ΑΒΓ περιφερείας καὶ τῆς ΑΓ εὐθείας μείζων ἐστὶν ὀρθῆς, ἡ δὲ τοῦ ἐλάττονος τμήματος γωνία ἡ περιεχομένη ὑπό [τε] τῆς ΑΔ[Γ] περιφερείας καὶ τῆς ΑΓ εὐθείας ἐλάττων ἐστὶν ὀρθῆς. καί ἐστιν αὐτόθεν φανερόν. ἐπεὶ γὰρ ἡ ὑπὸ τῶν ΒΑ, ΑΓ εὐθειῶν ὀρθή ἐστιν, ἡ ἄρα ὑπὸ τῆς ΑΒΓ περιφερείας καὶ τῆς ΑΓ εὐθείας περιεχομένη μείζων ἐστὶν ὀρθῆς. πάλιν, ἐπεὶ ἡ ὑπὸ τῶν ΑΓ, ΑΖ εὐθειῶν ὀρθή ἐστιν, ἡ ἄρα ὑπὸ τῆς ΓΑ εὐθείας καὶ τῆς ΑΔ[Γ] περιφερείας περιεχομένη ἐλάττων ἐστὶν ὀρθῆς. Ἐν κύκλῳ ἄρα ἡ μὲν ἐν τῷ ἡμικυκλίῳ γωνία ὀρθή ἐστιν, ἡ δὲ ἐν τῷ μείζονι τμήματι ἐλάττων ὀρθῆς, ἡ δὲ ἐν τῷ ἐλάττονι [τμήματι] μείζων ὀρθῆς, καὶ ἔτι ἡ μὲν τοῦ μείζονος τμήματος [γωνία] μείζων [ἐστὶν] ὀρθῆς, ἡ δὲ τοῦ ἐλάττονος τμήματος [γωνία] ἐλάττων ὀρθῆς· ὅπερ ἔδει δεῖξαι. [Πόρισμα: Ἐκ δὴ τούτου φανερόν, ὅτι ἐὰν [ἡ] μία γωνία τριγώνου ταῖς δυσὶν ἴση ᾖ, ὀρθή ἐστιν ἡ γωνία διὰ τὸ καὶ τὴν ἐκείνης ἐκτὸς ταῖς αὐταῖς ἴσην εἶναι· ἐὰν δὲ αἱ ἐφεξῆς ἴσαι ὦσιν, ὀρθαί εἰσιν.]

Ссылаются нормы: RightAngle, SemicircleRight, angle_in_semicircle