Humanitext Reader

エウクレイデス · 原論 §13.prop.12

内接正三角形の辺の平方と円の半径の平方の比

305 / 316 箇所 · ギリシア語

要旨

円に内接する正三角形の辺の平方(それを一辺とする正方形の面積)が、その円の半径の平方の3倍であることを、直径の延長と半円上の角が直角であることを利用して証明する。

§13.prop.12ἐὰν εἰς κύκλον τρίγωνον ἰσόπλευρον ἐγγραφῇ, ἡ τοῦ τριγώνου πλευρὰ δυνάμει τριπλασίων ἐστὶ τῆς ἐκ τοῦ κέντρου τοῦ κύκλου.
円に正三角形が内接するとき、その三角形の辺は、円の半径に対して平方において3倍である。
ἔστω κύκλος ὁ ΑΒΓ, καὶ εἰς αὐτὸν τρίγωνον ἰσόπλευρον ἐγγεγράφθω τὸ ΑΒΓ·
円をABGとし、これに正三角形 ABGが内接しているとせよ。
λέγω, ὅτι τοῦ ΑΒΓ τριγώνου μία πλευρὰ δυνάμει τριπλασίων ἐστὶ τῆς ἐκ τοῦ κέντρου τοῦ ΑΒΓ κύκλου.
私は、三角形ABGの一つの辺が、円ABGの半径に対して平方において3倍であると主張する。
εἰλήφθω γὰρ τὸ κέντρον τοῦ ΑΒΓ κύκλου τὸ Δ, καὶ ἐπιζευχθεῖσα ἡ ΑΔ διήχθω ἐπὶ τὸ Ε, καὶ ἐπεζεύχθω ἡ ΒΕ. καὶ ἐπεὶ ἰσόπλευρόν ἐστι τὸ ΑΒΓ τρίγωνον, ἡ ΒΕΓ ἄρα περιφέρεια τρίτον μέρος ἐστὶ τῆς τοῦ ΑΒΓ κύκλου περιφερείας.
なぜなら、円 ABGの中心をDとし、ADを結んでEまで延長し、BEを結べ。 そして、三角形ABGは正三角形であるから、したがって弧BEG は円ABGの周の3分の1である。
ἡ ἄρα ΒΕ περιφέρεια ἕκτον ἐστὶ μέρος τῆς τοῦ κύκλου περιφερείας·
したがって、弧BEは円の周の6分の1である。
ἑξαγώνου ἄρα ἐστὶν ἡ ΒΕ εὐθεῖα·
したがって、直線BEは正六角形の一辺である。
ἴση ἄρα ἐστὶ τῇ ἐκ τοῦ κέντρου τῇ ΔΕ. καὶ ἐπεὶ διπλῆ ἐστιν ἡ ΑΕ τῆς ΔΕ, τετραπλάσιόν ἐστι τὸ ἀπὸ τῆς ΑΕ τοῦ ἀπὸ τῆς ΕΔ, τουτέστι τοῦ ἀπὸ τῆς ΒΕ. ἴσον δὲ τὸ ἀπὸ τῆς ΑΕ τοῖς ἀπὸ τῶν ΑΒ, ΒΕ·
したがって、それは半径DEに等しい。 そして、AEはDEの2倍であるから、AE上の正方形はED上の正方形、すなわちBE上の正方形の4倍である。 そして、AE上の正方形はAB、BE上の正方形の和に等しい。
τὰ ἄρα ἀπὸ τῶν ΑΒ, ΒΕ τετραπλάσιά ἐστι τοῦ ἀπὸ τῆς ΒΕ. διελόντι ἄρα τὸ ἀπὸ τῆς ΑΒ τριπλάσιόν ἐστι τοῦ ἀπὸ ΒΕ. ἴση δὲ ἡ ΒΕ τῇ ΔΕ·
したがって、AB、BE上の正方形の和はBE上の正方形の4倍である。 したがって、分離すると、AB上の正方形はBE上の正方形の3倍である。 そして、BEはDEに等しい。
τὸ ἄρα ἀπὸ τῆς ΑΒ τριπλάσιόν ἐστι τοῦ ἀπὸ τῆς ΔΕ. ἡ ἄρα τοῦ τριγώνου πλευρὰ δυνάμει τριπλασία ἐστὶ τῆς ἐκ τοῦ κέντρου·
したがって、AB上の正方形はDE上の正方形の3倍である。 したがって、三角形の辺は半径に対して平方において3倍である。
ὅπερ ἔδει δεῖξαι.
これが示すべきことであった。

語釈・文法注

  1. §13.prop.12δυνάμει τριπλασίων — 与格 δυνάμει(「能力において」から転じて数学では「平方において、2乗において」の意)が倍数表現(ここでは τριπλασίων 「3倍の」)と結合して、「平方したときに3倍になる」という意味を表す。
  2. §13.prop.12τῆς ἐκ τοῦ κέντρου — 冠詞 τῆς は、省略された女性名詞 εὐθείας(直線)を修飾しており、前置詞句 ἐκ τοῦ κέντρου(中心からの)を伴って「中心から(円周に引かれた)直線」、すなわち「半径」を意味する。属格になっているのは、比較の対象を表す属格(形容詞 τριπλασίων の修飾対象)だからである。
  3. §13.prop.12διελόντι — 動詞 διαιρέω(分離する)の2アオリスト能動態分詞・男性単数与格。数学の論証において「比の分離」あるいは「両辺から等しい部分を取り除くこと」を指示する際によく用いられる慣用表現。ここでは $AB^2 + BE^2 = 4BE^2$ から双方から $BE^2$ を引いて $AB^2 = 3BE^2$ を導く操作を指す。
  4. §13.prop.12ἴσον δὲ τὸ ἀπὸ τῆς ΑΕ τοῖς ἀπὸ τῶν ΑΒ, ΒΕ — AEが直径(円の中心Dを通るため)であることから、角ABEは半円に立つ角であり直角となる(『原論』第3巻命題31)。したがって直角三角形ABEにおいて三平方の定理(第1巻命題47)が適用され、AE上の正方形はAB上とBE上の正方形の和に等しくなる。この幾何学的前提が、明示的な説明なしに「〜に等しい」として導入されている。

この箇所を引用する

エウクレイデス, 原論 §13.prop.12. Humanitext Reader, https://reader.humanitext.ai/text/urn:cts:greekLit:tlg1799.tlg001.humanitext-grc2:13.prop.12

AIによる草稿訳である旨と閲覧日を添えてください。

訳文・注・要旨はAIによる草稿で、読者の指摘により改訂されています。