ユークリッド原論をどう読むか(13)
頁末
前
次
目次
ユークリッド原論
第8巻
命題9ー6
(2乗して立方数なら立方数)
もし
ある
数
が
2乗
して
立方数
をつくる
ならば、
それ白身も
立方数
であろう。
数は、
定義7ー2
による。
2乗は、
定義7ー19の補足
による。
立方数は、
定義7ー20
による。
数
Aが
2乗
して
立方数
Bをつくる
とせよ。
「
数
(について)・・・とせよ」は、
コメント4(命題7ー1)
参照のこと。
数Dがあって、
A^2=B、B=D^3
となっている。
Aも
立方数
である
と主張する。
AがBに
かけ
て
Cをつくる
とせよ。
[......(a)]
A×B=C、C=A^3
となっている。
そうすれば
Aは
2乗
してBをつくり、
Bに
かけ
てCをつくった
命題の設定
、
(a)
による
から、
Cは
立方数
である。
前節、
定義7ー20の補足
(3乗)
による。
C=A^3
となっている。
そして
Aは
2乗
してBをつくった
命題の設定
による。
A^2=B
となっている。
から、
AがBを
割っ
た
商
は
Aのなかにある
単位
の
個数
である。
前節、
定義7ー8の補足
(商)
による。
B/A=A
となっている。
ところが
単位
がAを
割っ
た
商
も
Aのなかにある
単位
の
個数
である。
定義7ー8の補足
(商)
による。
A/1=A
となっている。
それゆえ
単位
がAに
対するように
、
AがBに
対する
。
[......(1)]
前節、前々節
により、
商が等しい
ので、
定義7−21
(比例)
による。
1:A=A:B
となっている。
そして
AはBに
かけ
てCをつくった
(a)
による
A×B=C
となっている。
から、
BがCを
割っ
た
商
は
Aのなかにある
単位
の
個数
である。
前節、
定義7ー8の補足
(商)
による。
C/B=A
となっている。
ところが
単位
がAを
割っ
た
商
も
Aのなかにある
単位
の
個数
である。
定義7ー8の補足
(商)
による。
A/1=A
となっている。
ゆえに
単位
がAに
対するように
、
BがCに
対する
。
前節、前々節
により、
商が等しい
ので、
定義7−21
(比例)
による。
1:A=B:C
となっている。
ところが
単位
がAに
対するように
、
AがBに
対する
。
(1)
による。
したがって
AがBに
対するように
、
BがCに
対する
。
[......(2)]
前節、前々節、
命題5ー11
(同一の比に同じ比)
による。
A:B=B:C
となっている。
そして
B、Cは
立方数
である
命題の設定
、
(a)
による
前節、
命題8ー25
(3項立方数の比例の第4項)
により、
Aが立方数である
ことがわかる。
B、Cの辺はD、A
であるから、
Aの辺とBの辺の比は
D:A
となるので。
Aの辺はD/A×D
となる。
から、
相似
な
立体数
である。
前節、
命題8ー25の補足
(立方数は相似)
による。
それゆえ
B、Cの開には
2つの
比例中項
数
が入る。
前節、
命題8ー19の補足
(構成.相似な立体数の比例中項)
による。
BとCの辺の比は
D:A
だから、
B(D^3):D^2×A
=D^2×A:D×A^2
=D×A^2:C(A^3)
となっている。
そして
BがCに
対するように
、
AがBに
対する
。
[......(3)]
(2)
による。
B:C=A:B
となっている。
ゆえに
A、Bの間にも
2つの
比例中項
数
が入る。
前節、前々節、
命題8ー8の補足
(構成.順次比例項の挿入)
による。
B、Cの辺はD、A
であるから、
Aの辺とBの辺の比は
D:A
となるので。
A:A/D×A(A^2/D)
=A^2/D:A^2/D/D×A(A^3/D^2)
=A^3/D^2:A^3/D^2/D×A(A^4/D^3=B)
となっている。
そして
Bは
立方数
である。
命題の設定
である。
したがって
Aも
立方数
である。
前々節
命題7ー13
(比例4数はいれかえても比例)
により、
B:A^3/D^2
=A^2/D/D×A(A^3/D^2):A^2/D
=A/D×A(A^2/D):A
となっており、
これと前節、
命題8ー23
(順次比例と立方数)
による。
CとBの辺の比はA:D
だから、
BとAの辺の比もA:D
となり
Aの辺はD/A×D(D^2/A)
となっている。
すなわち、
A=(D^2/A)^3
となっている。
これが証明すべきことであった。
命題9ー6
は、
A;数、
A^2=B;立方数
ならば、
A;立方数
のことである。
命題9ー6
は推論用命題である。
前提
作図
推論
定義
7-8補
,
7-20補
,
7-21
公準
公理
命題
8-8補
,
8-19補
5-11
,
7-13
,
8-23
,
8-25
,
8-25補
その他
コ4(題7-1)
前
次
目次
頁頭