§13.prop.12ἐὰν εἰς κύκλον τρίγωνον ἰσόπλευρον ἐγγραφῇ, ἡ τοῦ τριγώνου πλευρὰ δυνάμει τριπλασίων ἐστὶ τῆς ἐκ τοῦ κέντρου τοῦ κύκλου.
If an equilateral triangle be inscribed in a circle, the side of the triangle is triple in square of the radius of the circle.
ἔστω κύκλος ὁ ΑΒΓ, καὶ εἰς αὐτὸν τρίγωνον ἰσόπλευρον ἐγγεγράφθω τὸ ΑΒΓ· λέγω, ὅτι τοῦ ΑΒΓ τριγώνου μία πλευρὰ δυνάμει τριπλασίων ἐστὶ τῆς ἐκ τοῦ κέντρου τοῦ ΑΒΓ κύκλου.
Let the circle be ABG, and let the equilateral triangle ABG be inscribed in it; I say that one side of the triangle ABG is triple in square of the radius of the circle ABG.
εἰλήφθω γὰρ τὸ κέντρον τοῦ ΑΒΓ κύκλου τὸ Δ, καὶ ἐπιζευχθεῖσα ἡ ΑΔ διήχθω ἐπὶ τὸ Ε, καὶ ἐπεζεύχθω ἡ ΒΕ. καὶ ἐπεὶ ἰσόπλευρόν ἐστι τὸ ΑΒΓ τρίγωνον, ἡ ΒΕΓ ἄρα περιφέρεια τρίτον μέρος ἐστὶ τῆς τοῦ ΑΒΓ κύκλου περιφερείας.
For let the center of the circle ABG be taken, namely D, and let AD be joined and drawn through to E, and let BE be joined. And since the triangle ABG is equilateral, therefore the circumference BEG is a third part of the circumference of the circle ABG.
ἡ ἄρα ΒΕ περιφέρεια ἕκτον ἐστὶ μέρος τῆς τοῦ κύκλου περιφερείας· ἑξαγώνου ἄρα ἐστὶν ἡ ΒΕ εὐθεῖα· ἴση ἄρα ἐστὶ τῇ ἐκ τοῦ κέντρου τῇ ΔΕ. καὶ ἐπεὶ διπλῆ ἐστιν ἡ ΑΕ τῆς ΔΕ, τετραπλάσιόν ἐστι τὸ ἀπὸ τῆς ΑΕ τοῦ ἀπὸ τῆς ΕΔ, τουτέστι τοῦ ἀπὸ τῆς ΒΕ. ἴσον δὲ τὸ ἀπὸ τῆς ΑΕ τοῖς ἀπὸ τῶν ΑΒ, ΒΕ· τὰ ἄρα ἀπὸ τῶν ΑΒ, ΒΕ τετραπλάσιά ἐστι τοῦ ἀπὸ τῆς ΒΕ. διελόντι ἄρα τὸ ἀπὸ τῆς ΑΒ τριπλάσιόν ἐστι τοῦ ἀπὸ ΒΕ. ἴση δὲ ἡ ΒΕ τῇ ΔΕ· τὸ ἄρα ἀπὸ τῆς ΑΒ τριπλάσιόν ἐστι τοῦ ἀπὸ τῆς ΔΕ.
ἡ ἄρα τοῦ τριγώνου πλευρὰ δυνάμει τριπλασία ἐστὶ τῆς ἐκ τοῦ κέντρου· ὅπερ ἔδει δεῖξαι.
Therefore the circumference BE is a sixth part of the circumference of the circle; therefore the straight line BE is the side of a hexagon; therefore it is equal to the radius DE. And since AE is double of DE, the square on AE is quadruple of the square on ED, that is, of the square on BE. But the square on AE is equal to the squares on AB, BE; therefore the squares on AB, BE are quadruple of the square on BE. Therefore, by separation, the square on AB is triple of the square on BE. And BE is equal to DE; therefore the square on AB is triple of the square on DE. Therefore the side of the triangle is triple in square of the radius; which was to be proved.