Humanitext Reader

Euclid · Elements §12.prop.17#1

Inscribing a Polyhedron in the Outer Sphere Not Touching the Inner

Passage 290 of 316 · Greek

Summary

This section addresses the problem of inscribing in the greater of two concentric spheres a solid polyhedron that does not touch the surface of the lesser sphere, beginning the construction by cutting the spheres with a plane to produce greatest circles and setting up a series of circles and straight lines on the sphere's surface.

§12.prop.17#1δύο σφαιρῶν περὶ τὸ αὐτὸ κέντρον οὐσῶν εἰς τὴν μείζονα σφαῖραν στερεὸν πολύεδρον ἐγγράψαι μὴ ψαῦον τῆς ἐλάσσονος σφαίρας κατὰ τὴν ἐπιφάνειαν.
Two spheres being around the same center, to inscribe in the greater sphere a solid polyhedron which does not touch the lesser sphere at its surface.
Νενοήσθωσαν δύο σφαῖραι περὶ τὸ αὐτὸ κέντρον τὸ Α· δεῖ δὴ εἰς τὴν μείζονα σφαῖραν στερεὸν πολύεδρον ἐγγράψαι μὴ ψαῦον τῆς ἐλάσσονος σφαίρας κατὰ τὴν ἐπιφάνειαν.
Let two spheres be conceived around the same center A; it is required then to inscribe in the greater sphere a solid polyhedron which does not touch the lesser sphere at its surface.
τετμήσθωσαν αἱ σφαῖραι ἐπιπέδῳ τινὶ διὰ τοῦ κέντρου· ἔσονται δὴ αἱ τομαὶ κύκλοι, ἐπειδήπερ μενούσης τῆς διαμέτρου καὶ περιφερομένου τοῦ ἡμικυκλίου ἐγίγνετο ἡ σφαῖρα· ὥστε καὶ καθʼ οἵας ἂν θέσεως ἐπινοήσωμεν τὸ ἡμικύκλιον, τὸ διʼ αὐτοῦ ἐκβαλλόμενον ἐπίπεδον ποιήσει ἐπὶ τῆς ἐπιφανείας τῆς σφαίρας κύκλον.
Let the spheres be cut by a certain plane through the center; therefore the sections will be circles, since, the diameter remaining fixed and the semicircle being carried round, the sphere was generated; so that, in whatever position we conceive the semicircle to be, the plane extended through it will make a circle on the surface of the sphere.
καὶ φανερόν, ὅτι καὶ μέγιστον, ἐπειδήπερ ἡ διάμετρος τῆς σφαίρας, ἥτις ἐστὶ καὶ τοῦ ἡμικυκλίου διάμετρος δηλαδὴ καὶ τοῦ κύκλου, μείζων ἐστὶ πασῶν τῶν εἰς τὸν κύκλον ἢ τὴν σφαῖραν διαγομένων.
And it is manifest that it is also a greatest circle, since the diameter of the sphere, which is also indeed the diameter of the semicircle and therefore of the circle, is greater than all the straight lines drawn in the circle or the sphere.
ἔστω οὖν ἐν μὲν τῇ μείζονι σφαίρᾳ κύκλος ὁ ΒΓΔΕ, ἐν δὲ τῇ ἐλάσσονι σφαίρᾳ κύκλος ὁ ΖΗΘ, καὶ ἤχθωσαν αὐτῶν δύο διάμετροι πρὸς ὀρθὰς ἀλλήλαις αἱ ΒΔ, ΓΕ, καὶ δύο κύκλων περὶ τὸ αὐτὸ κέντρον ὄντων τῶν ΒΓΔΕ, ΖΗΘ εἰς τὸν μείζονα κύκλον τὸν ΒΓΔΕ πολύγωνον ἰσόπλευρον καὶ ἀρτιόπλευρον ἐγγεγράφθω μὴ ψαῦον τοῦ ἐλάσσονος κύκλου τοῦ ΖΗΘ, οὗ πλευραὶ ἔστωσαν ἐν τῷ ΒΕ τεταρτημορίῳ αἱ ΒΚ, ΚΛ, ΛΜ, ΜΕ, καὶ ἐπιζευχθεῖσα ἡ ΚΑ διήχθω ἐπὶ τὸ Ν, καὶ ἀνεστάτω ἀπὸ τοῦ Α σημείου τῷ τοῦ ΒΓΔΕ κύκλου ἐπιπέδῳ πρὸς ὀρθὰς ἡ ΑΞ καὶ συμβαλλέτω τῇ ἐπιφανείᾳ τῆς σφαίρας κατὰ τὸ Ξ, καὶ διὰ τῆς ΑΞ καὶ ἑκατέρας τῶν ΒΔ, ΚΝ ἐπίπεδα ἐκβεβλήσθω· ποιήσουσι δὴ διὰ τὰ εἰρημένα ἐπὶ τῆς ἐπιφανείας τῆς σφαίρας μεγίστους κύκλους.
Let then the circle in the greater sphere be BGDE, and the circle in the lesser sphere be ZHTh, and let two of their diameters, BD, GE, be drawn at right angles to one another, and, the two circles BGDE, ZHTh being around the same center, let there be inscribed in the greater circle BGDE an equilateral and even-sided polygon which does not touch the lesser circle ZHTh, of which let the sides in the quadrant BE be BK, KL, LM, ME, and let KA, being joined, be drawn through to N, and let AX be set up from the point A at right angles to the plane of the circle BGDE and let it meet the surface of the sphere at X, and through AX and each of BD, KN let planes be extended; therefore they will make, because of what has been said, greatest circles on the surface of the sphere.
ποιείτωσαν, ὧν ἡμικύκλια ἔστω ἐπὶ τῶν ΒΔ, ΚΝ διαμέτρων τὰ ΒΞΔ, ΚΞΝ. καὶ ἐπεὶ ἡ ΞΑ ὀρθή ἐστι πρὸς τὸ τοῦ ΒΓΔΕ κύκλου ἐπίπεδον, καὶ πάντα ἄρα τὰ διὰ τῆς ΞΑ ἐπίπεδά ἐστιν ὀρθὰ πρὸς τὸ τοῦ ΒΓΔΕ κύκλου ἐπίπεδον· ὥστε καὶ τὰ ΒΞΔ, ΚΞΝ ἡμικύκλια ὀρθά ἐστι πρὸς τὸ τοῦ ΒΓΔΕ κύκλου ἐπίπεδον.
Let them make them, of which let the semicircles on the diameters BD, KN be BXD, KXN. And since XA is perpendicular to the plane of the circle BGDE, therefore all the planes through XA are also perpendicular to the plane of the circle BGDE; so that the semicircles BXD, KXN are also perpendicular to the plane of the circle BGDE.
καὶ ἐπεὶ ἴσα ἐστὶ τὰ ΒΕΔ, ΒΞΔ, ΚΞΝ ἡμικύκλια· ἐπὶ γὰρ ἴσων εἰσὶ διαμέτρων τῶν ΒΔ, ΚΝ· ἴσα ἐστὶ καὶ τὰ ΒΕ, ΒΞ, ΚΞ τεταρτημόρια ἀλλήλοις.
And since the semicircles BED, BXD, KXN are equal—for they are on equal diameters BD, KN—the quadrants BE, BX, KX are also equal to one another.
ὅσαι ἄρα εἰσὶν ἐν τῷ ΒΕ τεταρτημορίῳ πλευραὶ τοῦ πολυγώνου, τοσαῦταί εἰσι καὶ ἐν τοῖς ΒΞ, ΚΞ τεταρτημορίοις ἴσαι ταῖς ΒΚ, ΚΛ, ΛΜ, ΜΕ εὐθείαις.
Therefore, as many sides of the polygon as there are in the quadrant BE, so many are there also in the quadrants BX, KX, equal to the straight lines BK, KL, LM, ME.
ἐγγεγράφθωσαν καὶ ἔστωσαν αἱ ΒΟ, ΟΠ, ΠΡ, ΡΞ, ΚΣ, ΣΤ, ΤΥ, ΥΞ, καὶ ἐπεζεύχθωσαν αἱ ΣΟ, ΤΠ, ΥΡ, καὶ ἀπὸ τῶν Ο, Σ ἐπὶ τὸ τοῦ ΒΓΔΕ κύκλου ἐπίπεδον κάθετοι ἤχθωσαν· πεσοῦνται δὴ ἐπὶ τὰς κοινὰς τομὰς τῶν ἐπιπέδων τὰς ΒΔ, ΚΝ, ἐπειδήπερ καὶ τὰ τῶν ΒΞΔ, ΚΞΝ ἐπίπεδα ὀρθά ἐστι πρὸς τὸ τοῦ ΒΓΔΕ κύκλου ἐπίπεδον.
Let them be inscribed, and let them be BO, OP, PR, RX, KS, ST, TY, YX, and let SO, TP, YR be joined, and from O, S let perpendiculars be drawn to the plane of the circle BGDE; therefore they will fall on the common sections of the planes, BD, KN, since the planes of BXD, KXN are also perpendicular to the plane of the circle BGDE.
πιπτέτωσαν, καὶ ἔστωσαν αἱ ΟΦ, ΣΧ, καὶ ἐπεζεύχθω ἡ ΧΦ. καὶ ἐπεὶ ἐν ἴσοις ἡμικυκλίοις τοῖς ΒΞΔ, ΚΞΝ ἴσαι ἀπειλημμέναι εἰσὶν αἱ ΒΟ, ΚΣ, καὶ κάθετοι ἠγμέναι εἰσὶν αἱ ΟΦ, ΣΧ, ἴση ἐστὶν ἡ μὲν ΟΦ τῇ ΣΧ, ἡ δὲ ΒΦ τῇ ΚΧ. ἔστι δὲ καὶ ὅλη ἡ ΒΑ ὅλῃ τῇ ΚΑ ἴση· καὶ λοιπὴ ἄρα ἡ ΦΑ λοιπῇ τῇ ΧΑ ἐστιν ἴση·
Let them fall, and let them be OPh, SCh, and let ChPh be joined. And since in equal semicircles BXD, KXN, equal [straight lines] BO, KS have been cut off, and perpendiculars OPh, SCh have been drawn, OPh is equal to SCh, and BPh is equal to KCh. And the whole BA is also equal to the whole KA; therefore the remainder PhA is also equal to the remainder ChA.
ἔστιν ἄρα ὡς ἡ ΒΦ πρὸς τὴν ΦΑ, οὕτως ἡ ΚΧ πρὸς τὴν ΧΑ· παράλληλος ἄρα ἐστὶν ἡ ΧΦ τῇ ΚΒ.
Therefore, as BPh is to PhA, so is KCh to ChA; therefore ChPh is parallel to KB.

Notes

  1. ¦10¦καθʼ οἵας ἂν θέσεως — The relative adjective `οἷος` combined with `ἄν` and the subjunctive `ἐπινοήσωμεν` forms a general conditional clause with a concessive force ("in whatever position we conceive the semicircle to be").
  2. ¦15¦διαγομένων — A genitive plural present passive participle of the verb `διάγω`, serving as a genitive of comparison governed by the comparative adjective `μείζων` ("greater"). It agrees with the feminine genitive plural `πασῶν`, modifying the omitted noun `εὐθειῶν` ("straight lines").
  3. ¦20¦δύο κύκλων περὶ τὸ αὐτὸ κέντρον ὄντων — A genitive absolute construction. It establishes the background circumstance ("two circles being around the same center") with a subject distinct from the subject of the main clause, which is `πολύγωνον` ("polygon").

Cite this passage

Euclid, Elements §12.prop.17#1. Humanitext Reader, https://reader.humanitext.ai/en/text/urn:cts:greekLit:tlg1799.tlg001.humanitext-grc2:12.prop.17%231

Please note the AI-draft status of the translation and the date accessed.

Translation, notes and summary are AI-generated drafts, revised through reader feedback.