Humanitext Reader

에우클레이데스 · 기하학 원론 §8.prop.4#1

주어진 비들을 이루는 연비례의 최소수 구성

316개 구절 중 131번째 · 그리스어

요약

최소의 수들로 주어진 임의의 비들에서 연비례하는 가장 작은 수들을 구한다. 최소공배수를 이용해 이 수들(Θ, Η, Κ, Λ)을 구성하고, 귀류법을 통해 이것들이 가장 작은 수들임을 증명한다.

§8.prop.4#1λόγων δοθέντων ὁποσωνοῦν ἐν ἐλαχίστοις ἀριθμοῖς ἀριθμοὺς εὑρεῖν ἑξῆς ἀνάλογον ἐλαχίστους ἐν τοῖς δοθεῖσι λόγοις.
최소의 수들로 이루어진 임의의 개수의 비율들이 주어졌을 때, 그 주어진 비율들 안에서 연비례하는 가장 작은 수들을 찾는 것.
ἔστωσαν οἱ δοθέντες λόγοι ἐν ἐλαχίστοις ἀριθμοῖς ὅ τε τοῦ Α πρὸς τὸν Β καὶ ὁ τοῦ Γ πρὸς τὸν Δ καὶ ἔτι ὁ τοῦ Ε πρὸς τὸν Ζ·
최소의 수들로 이루어진 주어진 비율들을 Α의 Β에 대한 비, Γ의 Δ에 대한 비, 그리고 Ε의 Ζ에 대한 비라 하자.
δεῖ δὴ ἀριθμοὺς εὑρεῖν ἑξῆς ἀνάλογον ἐλαχίστους ἔν τε τῷ τοῦ Α πρὸς τὸν Β λόγῳ καὶ ἐν τῷ τοῦ Γ πρὸς τὸν Δ καὶ ἔτι ἐν τῷ τοῦ Ε πρὸς τὸν Ζ. εἰλήφθω γὰρ ὁ ὑπὸ τῶν Β, Γ ἐλάχιστος μετρούμενος ἀριθμὸς ὁ Η. καὶ ὁσάκις μὲν ὁ Β τὸν Η μετρεῖ, τοσαυτάκις καὶ ὁ Α τὸν Θ μετρείτω, ὁσάκις δὲ ὁ Γ τὸν Η μετρεῖ, τοσαυτάκις καὶ ὁ Δ τὸν Κ μετρείτω.
이때 Α의 Β에 대한 비, Γ의 Δ에 대한 비, 그리고 Ε의 Ζ에 대한 비에서 연비례하는 가장 작은 수들을 찾아야 한다. 왜냐하면 Β, Γ에 의해 측정되는 가장 작은 수 Η가 취해졌다 하자. 그리고 Β가 Η를 측정하는 횟수만큼 Α도 Θ를 측정하게 하고, Γ가 Η를 측정하는 횟수만큼 Δ도 Κ를 측정하게 하라.
ὁ δὲ Ε τὸν Κ ἤτοι μετρεῖ ἢ οὐ μετρεῖ.
그런데 Ε는 Κ를 측정하거나 혹은 측정하지 않는다.
μετρείτω πρότερον.
먼저 측정한다 하자.
καὶ ὁσάκις ὁ Ε τὸν Κ μετρεῖ, τοσαυτάκις καὶ ὁ Ζ τὸν Λ μετρείτω.
그리고 Ε가 Κ를 측정하는 횟수만큼 Ζ도 Λ를 측정하게 하라.
καὶ ἐπεὶ ἰσάκις ὁ Α τὸν Θ μετρεῖ καὶ ὁ Β τὸν Η, ἔστιν ἄρα ὡς ὁ Α πρὸς τὸν Β, οὕτως ὁ Θ πρὸς τὸν Η. διὰ τὰ αὐτὰ δὴ καὶ ὡς ὁ Γ πρὸς τὸν Δ, οὕτως ὁ Η πρὸς τὸν Κ, καὶ ἔτι ὡς ὁ Ε πρὸς τὸν Ζ, οὕτως ὁ Κ πρὸς τὸν Λ·
그리고 Α가 Θ를 측정하는 횟수와 Β가 Η를 측정하는 횟수가 같으므로, 그러므로 Α의 Β에 대한 비는 Θ의 Η에 대한 비와 같다. 같은 이유로 Γ의 Δ에 대한 비는 Η의 Κ에 대한 비와 같고, 게다가 Ε의 Ζ에 대한 비는 Κ의 Λ에 대한 비와 같다.
οἱ Θ, Η, Κ, Λ ἄρα ἑξῆς ἀνάλογόν εἰσιν ἔν τε τῷ τοῦ Α πρὸς τὸν Β καὶ ἐν τῷ τοῦ Γ πρὸς τὸν Δ καὶ ἔτι ἐν τῷ τοῦ Ε πρὸς τὸν Ζ λόγῳ.
그러므로 Θ, Η, Κ, Λ은 Α의 Β에 대한 비율, Γ의 Δ에 대한 비율, 그리고 Ε의 Ζ에 대한 비율 안에서 연비례한다.
λέγω δή, ὅτι καὶ ἐλάχιστοι.
나는 이것들이 또한 가장 작다고 주장한다.
εἰ γὰρ μή εἰσιν οἱ Θ, Η, Κ, Λ ἑξῆς ἀνάλογον ἐλάχιστοι ἔν τε τοῖς τοῦ Α πρὸς τὸν Β καὶ τοῦ Γ πρὸς τὸν Δ καὶ ἐν τῷ τοῦ Ε πρὸς τὸν Ζ λόγοις, ἔστωσαν οἱ Ν, Ξ, Μ, Ο. καὶ ἐπεί ἐστιν ὡς ὁ Α πρὸς τὸν Β, οὕτως ὁ Ν πρὸς τὸν Ξ, οἱ δὲ Α, Β ἐλάχιστοι, οἱ δὲ ἐλάχιστοι μετροῦσι τοὺς τὸν αὐτὸν λόγον ἔχοντας ἰσάκις ὅ τε μείζων τὸν μείζονα καὶ ὁ ἐλάσσων τὸν ἐλάσσονα, τουτέστιν ὅ τε ἡγούμενος τὸν ἡγούμενον καὶ ὁ ἑπόμενος τὸν ἑπόμενον, ὁ Β ἄρα τὸν Ξ μετρεῖ.
왜냐하면 만약 Θ, Η, Κ, Λ이 Α의 Β에 대한 비율, Γ의 Δ에 대한 비율, 그리고 Ε의 Ζ에 대한 비율에서 연비례하는 가장 작은 수들이 아니라면, 그것들을 Ν, Ξ, Μ, Ο라 하자. 그리고 Α의 사에 대한 비는 Ν의 Ξ에 대한 비와 같고, Α, Β는 가장 작으며, 가장 작은 수들은 자신들과 같은 비를 가지는 수들을 같은 횟수만큼 측정하되, 즉 더 큰 수는 더 큰 수를, 더 작은 수는 더 작은 수를, 다시 말해 전항은 전항을, 후항은 후항을 측정하므로, 그러므로 Β는 Ξ를 측정한다.
διὰ τὰ αὐτὰ δὴ καὶ ὁ Γ τὸν Ξ μετρεῖ·
같은 이유로 Γ 역시 Ξ를 측정한다.
οἱ Β, Γ ἄρα τὸν Ξ μετροῦσιν·
그러므로 Β, Γ는 Ξ를 측정한다.
καὶ ὁ ἐλάχιστος ἄρα ὑπὸ τῶν Β, Γ μετρούμενος τὸν Ξ μετρήσει.
그러므로 Β, Γ에 의해 측정되는 가장 작은 수도 Ξ를 측정할 것이다.
ἐλάχιστος δὲ ὑπὸ τῶν Β, Γ μετρεῖται ὁ Η·
그런데 Β, Γ에 의해 측정되는 가장 작은 수는 Η이다.
ὁ Η ἄρα τὸν Ξ μετρεῖ ὁ μείζων τὸν ἐλάσσονα· ὅπερ ἐστὶν ἀδύνατον.
그러므로 Η가 Ξ를 측정하게 되는데, 이는 더 큰 수가 더 작은 수를 측정하는 것이며, 이것은 불가능하다.
οὐκ ἄρα ἔσονταί τινες τῶν Θ, Η, Κ, Λ ἐλάσσονες ἀριθμοὶ ἑξῆς ἔν τε τῷ τοῦ Α πρὸς τὸν Β καὶ τῷ τοῦ Γ πρὸς τὸν Δ καὶ ἔτι τῷ τοῦ Ε πρὸς τὸν Ζ λόγῳ.
그러므로 Θ, Η, Κ, Λ보다 더 작은 어떤 수들도 Α의 Β에 대한 비율, Γ의 Δ에 대한 비율, 그리고 Ε의 Ζ에 대한 비율 안에서 연속하여 비례할 수 없다.

어휘·문법 주석

  1. §8.prop.4#1λόγων δοθέντων — 독립 속격 구문으로, '임의의 개수의 비율들이 주어졌을 때'라는 전제 조건을 나타낸다.
  2. §8.prop.4#1ὁ ὑπὸ τῶν Β, Γ ἐλάχιστος μετρούμενος ἀριθμὸς — 'Β, Γ에 의해 측정되는(나누어떨어지는) 가장 작은 수', 즉 현대의 'Β, Γ의 최소공배수'를 뜻하는 정형 표현이다. 수동 분사 μετρούμενος(측정되는)에 전치사 ὑπό(~에 의해)를 동반한다.
  3. §8.prop.4#1ὁσάκις... τοσαυτάκις — 상관부사로 '~하는 횟수만큼... 그만큼'이라는 비례 관계를 정의한다. 3인칭 명령형 μετρείτω(측정하게 하라)와 결합하여 Α:Β = Θ:Η 비율의 작도상 조건을 설정한다.
  4. §8.prop.4#1μετρείτω πρότερον — '먼저 (측정한다) 하자'의 뜻. 3인칭 단수 명령법을 사용하여 수학적 증명에서의 첫 번째 경우(가정)를 제시한다.
  5. §8.prop.4#1ὅ τε ἡγούμενος τὸν ἡγούμενον καὶ ὁ ἑπόμενος τὸν ἑπόμενον — 수론의 비례 관계 술어로, ἡγούμενος는 전항(antecedent), ἑπό메νος는 후항(consequent)을 나타낸다. 대격 τὸν ἡγούμενον과 τὸν ἑπόμενον, 동사 μετροῦ시의 목적어이다.
  6. §8.prop.4#1ὁ μείζων τὸν ἐλάσσονα — 동사가 생략된 동격 표현으로, '더 큰 수가 더 작은 수를 (측정한다는 모순)'을 단적으로 설명한다. 이 문맥에서는 이미 도입된 Η(더 큰 수)가 Ξ(더 작은 수)를 측정함을 가리킨다.

이 구절 인용하기

에우클레이데스, 기하학 원론 §8.prop.4#1. Humanitext Reader, https://reader.humanitext.ai/ko/text/urn:cts:greekLit:tlg1799.tlg001.humanitext-grc2:8.prop.4%231

AI 초고 번역임과 열람 날짜를 함께 적어 주세요.

번역·주석·요약은 AI가 생성한 초고이며 독자 의견을 반영해 수정됩니다.