Humanitext Reader

エウクレイデス · 原論 §11.prop.35#2

傾斜直線がなす角の相等の証明と垂線の等しさ

265 / 316 箇所 · ギリシア語

要旨

二つの平面角から垂直に立てた直線の終点からの垂線について、その足と頂点を結ぶ直線が成す角が等しいことの証明を完了し、その応用として、等しい長さの傾斜直線の終点から下ろした垂線の長さが等しくなるという系を導く。

§11.prop.35#2. ἐπεὶ οὖν ἴση ἐστὶν ἡ μὲν ΑΓ τῇ ΔΖ, ἡ δὲ ΑΒ τῇ ΔΕ, δύο δὴ αἱ ΓΑ, ΑΒ δυσὶ ταῖς ΖΔ, ΔΕ ἴσαι εἰσίν.
. したがって、 ΑΓ は ΔΖ に等しく、ΑΒ は ΔΕ に等しいので、2つの直線 ΓΑ, ΑΒ は2つの直線 ΖΔ, ΔΕ に等しい。
ἀλλὰ καὶ γωνία ἡ ὑπὸ ΓΑΒ γωνίᾳ τῇ ὑπὸ ΖΔΕ ἐστιν ἴση·
しかし角 ΓΑΒ も角 ΖΔΕ に等しい。
βάσις ἄρα ἡ ΒΓ βάσει τῇ ΕΖ ἴση ἐστὶ καὶ τὸ τρίγωνον τῷ τριγώνῳ καὶ αἱ λοιπαὶ γωνίαι ταῖς λοιπαῖς γωνίαις·
したがって、底辺 ΒΓ は底辺 ΕΖ に等しく、三角形は三角形に等しく、残りの角は残りの角に等しい。
ἴση ἄρα ἡ ὑπὸ ΑΓΒ γωνία τῇ ὑπὸ ΔΖΕ. ἔστι δὲ καὶ ὀρθὴ ἡ ὑπὸ ΑΓΚ ὀρθῇ τῇ ὑπὸ ΔΖΝ ἴση·
したがって、角 ΑΓΒ は角 ΔΖΕ に等しい。 そしてまた直角 ΑΓΚ も直角 ΔΖΝ に等しい。
καὶ λοιπὴ ἄρα ἡ ὑπὸ ΒΓΚ λοιπῇ τῇ ὑπὸ ΕΖΝ ἐστιν ἴση.
したがって、残りの角 ΒΓΚ も残りの角 ΕΖΝ に等しい。
διὰ τὰ αὐτὰ δὴ καὶ ἡ ὑπὸ ΓΒΚ τῇ ὑπὸ ΖΕΝ ἐστιν ἴση.
同じ理由により、角 ΓΒΚ も角 ΖΕΝ に等しい。
δύο δὴ τρίγωνά ἐστι τὰ ΒΓΚ, ΕΖΝ δύο γωνίας δυσὶ γωνίαις ἴσας ἔχοντα ἑκατέραν ἑκατέρᾳ καὶ μίαν πλευρὰν μιᾷ πλευρᾷ ἴσην τὴν πρὸς ταῖς ἴσαις γωνίαις τὴν ΒΓ τῇ ΕΖ·
いま、2つの三角形 ΒΓΚ, ΕΖΝ があり、2つの角がそれぞれ2つの角に等しく、かつ1つの辺が1つの辺に等しい。 すなわち、等しい角に隣接する辺 ΒΓ が ΕΖ に等しい。
καὶ τὰς λοιπὰς ἄρα πλευρὰς ταῖς λοιπαῖς πλευραῖς ἴσας ἕξουσιν.
したがって、残りの辺も残りの辺にそれぞれ等しい。
ἴση ἄρα ἐστὶν ἡ ΓΚ τῇ ΖΝ. ἔστι δὲ καὶ ἡ ΑΓ τῇ ΔΖ ἴση·
したがって、ΓΚ は ΖΝ に等しい。 しかも ΑΓ も ΔΖ に等しい。
δύο δὴ αἱ ΑΓ, ΓΚ δυσὶ ταῖς ΔΖ, ΖΝ ἴσαι εἰσίν·
したがって、2つの直線 ΑΓ, ΓΚ は2つの直線 ΔΖ, ΖΝ に等しい。
καὶ ὀρθὰς γωνίας περιέχουσιν.
そしてそれらは直角を挟んでいる。
βάσις ἄρα ἡ ΑΚ βάσει τῇ ΔΝ ἴση ἐστίν.
したがって、底辺 ΑΚ は底辺 ΔΝ に等しい。
καὶ ἐπεὶ ἴση ἐστὶν ἡ ΑΘ τῇ ΔΜ, ἴσον ἐστὶ καὶ τὸ ἀπὸ τῆς ΑΘ τῷ ἀπὸ τῆς ΔΜ. ἀλλὰ τῷ μὲν ἀπὸ τῆς ΑΘ ἴσα ἐστὶ τὰ ἀπὸ τῶν ΑΚ, ΚΘ·
そして ΑΘ は ΔΜ に等しいので、ΑΘ の上の正方形も ΔΜ の上の正方形に等しい。 しかし、ΑΘ の上の正方形は ΑΚ, ΚΘ の上の正方形の和に等しい。
ὀρθὴ γὰρ ἡ ὑπὸ ΑΚΘ·
なぜなら、角 ΑΚΘ は直角だからである。
τῷ δὲ ἀπὸ τῆς ΔΜ ἴσα τὰ ἀπὸ τῶν ΔΝ, ΝΜ·
また、ΔΜ の上の正方形は ΔΝ, ΝΜ の上の正方形の和に等しい。
ὀρθὴ γὰρ ἡ ὑπὸ ΔΝΜ·
なぜなら、角 ΔΝΜ は直角だからである。
τὰ ἄρα ἀπὸ τῶν ΑΚ, ΚΘ ἴσα ἐστὶ τοῖς ἀπὸ τῶν ΔΝ, ΝΜ, ὧν τὸ ἀπὸ τῆς ΑΚ ἴσον ἐστὶ τῷ ἀπὸ τῆς ΔΝ·
したがって、 ΑΚ, ΚΘ の上の正方形の和は ΔΝ, ΝΜ の上の正方形の和に等しく、それらのうち ΑΚ の上の正方形は ΔΝ の上の正方形に等しい。
λοιπὸν ἄρα τὸ ἀπὸ τῆς ΚΘ ἴσον ἐστὶ τῷ ἀπὸ τῆς ΝΜ·
したがって、残りの ΚΘ の上の正方形は ΝΜ の上の正方形に等しい。
ἴση ἄρα ἡ ΘΚ τῇ ΜΝ. καὶ ἐπεὶ δύο αἱ ΘΑ, ΑΚ δυσὶ ταῖς ΜΔ, ΔΝ ἴσαι εἰσὶν ἑκατέρα ἑκατέρᾳ, καὶ βάσις ἡ ΘΚ βάσει τῇ ΜΝ ἐδείχθη ἴση, γωνία ἄρα ἡ ὑπὸ ΘΑΚ γωνίᾳ τῇ ὑπὸ ΜΔΝ ἐστιν ἴση.
したがって、ΘΚ は ΜΝ に等しい。 そして、2つの直線 ΘΑ, ΑΚ は2つの直線 ΜΔ, ΔΝ にそれぞれ等しく、底辺 ΘΚ は底辺 ΜΝ に等しいことが示されたので、したがって、角 ΘΑΚ は角 ΜΔΝ に等しい。
ἐὰν ἄρα ὦσι δύο γωνίαι ἐπίπεδοι ἴσαι καὶ τὰ ἑξῆς τῆς προτάσεως.
したがって、もし2つの平面角が等しく、以下、命題の通りである。
Πόρισμα ἐκ δὴ τούτου φανερόν, ὅτι, ἐὰν ὦσι δύο γωνίαι ἐπίπεδοι ἴσαι, ἐπισταθῶσι δὲ ἐπʼ αὐτῶν μετέωροι εὐθεῖαι ἴσαι ἴσας γωνίας περιέχουσαι μετὰ τῶν ἐξ ἀρχῆς εὐθειῶν ἑκατέραν ἑκατέρᾳ, αἱ ἀπʼ αὐτῶν κάθετοι ἀγόμεναι ἐπὶ τὰ ἐπίπεδα, ἐν οἷς εἰσιν αἱ ἐξ ἀρχῆς γωνίαι, ἴσαι ἀλλήλαις εἰσίν.
系これより明らかである。 もし2つの平面角が等しく、それらの上に、はじめの直線のそれぞれと、それぞれ等しい角を挟んで等しい空中の直線が立てられるならば、それらから、はじめの角がある平面の上へ引かれた垂線は互いに等しい。
ὅπερ ἔδει δεῖξαι.
これが示すべきことであった。

語釈・文法注

  1. 55δύο δὴ αἱ ΓΑ, ΑΒ δυσὶ ταῖς ΖΔ, ΔΕ ἴσαι εἰσίν — ここでは、二つの辺のペア(ΓΑ と ΖΔ、ΑΒ と ΔΕ)がそれぞれ等しいことを示すため、複数(δύο)の主語に対して与格(δυσί)を用いている。この構成は三角形の合同条件(命題I.4「2辺とその挟角がそれぞれ等しい」)を適用するための前提条件を述べている。
  2. 65τὴν πρὸς ταῖς ἴσαις γωνίαις τὴν ΒΓ τῇ ΕΖ — 「等しい角に隣接する辺」を同格で修飾している。「πρός + 与格」は「〜の近くに、隣接して」を意味し、ここでは三角形の合同条件(1辺とその両端の角が等しい、命題I.26)における「等しい角の間の辺、または隣接する辺」を表している。
  3. 75ὧν τὸ ἀπὸ τῆς ΑΚ ἴσον ἐστὶ τῷ ἀπὸ τῆς ΔΝ — 関係代名詞の属格 ὧν(「それらのうち」)は、直前の等式(ΑΚ, ΚΘ の正方形の和 = ΔΝ, ΝΜ の正方形の和)の両辺の構成要素を指す部分属格。両辺から等しいもの(ΑΚ上の正方形と ΔΝ上の正方形)を引くと、残りが等しくなる(等号公理)という論理展開を示している。

この箇所を引用する

エウクレイデス, 原論 §11.prop.35#2. Humanitext Reader, https://reader.humanitext.ai/text/urn:cts:greekLit:tlg1799.tlg001.humanitext-grc2:11.prop.35%232

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

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