ユークリッド原論をどう読むか(13)
頁末
前
次
目次
ユークリッド原論
第8巻
命題9ー2
(かけあわせて平方数なら相似な平面数)
(構成.積が平方数の相似な平面数)
もし
2つの
数
が
互いに
かけ
あわせて
平方数
をつくる
ならば、
それらは
相似
な
平面数
である。
数は、
定義7ー2
による。
かけるは、
定義7ー16
による。
平方数は、
定義7ー19
による。
相似は、
定義7ー22
による。
平面数は、
定義7ー17
による。
A、Bを2つの
数
とし、
AがBに
かけ
て
平方数
Cをつくる
とせよ。
「
数
(について)・・・とせよ」は、
コメント4(命題7ー1)
参照のこと。
数Eがあって、
A×B=C、
C=E^2
となっている。
A、Bは
相似
な
平面数
である
と主張する。
Aが
2乗
してDをつくる
とせよ。
[......(a)]
A^2=D
となっている。
そうすれば
Dは
平方数
である。
定義7−19
(平方数) による。
D=A^2
となっている。
そして
Aが
2乗
してDをつくり、
Bに
かけ
てCをつくった
(a)
、
命題の設定
による
A^2=D、
A×B=C
となっている。
から、
AがBに
対するように
、
DがCに
対する
。
[......(1)]
前節、
命題7ー17
(同数を各項にかけても比は同じ)
による。
A:B=D:C
となっている。
そして
Dは
平方数
であり、
Cもそうである
(a)
、
命題の設定
による。
から、
D、Cは
相似
な
平面数
である。
前節、
命題8ー24の補足
(平方数は相似)
による。
D=A^2
C=E^2
となっている。
それゆえ
D、Cの間には
1つの
比例中項
数
が入る。
前節、
命題8ー18の補足
(構成.相似な平面数の比例中項)
により、
A×E
が比例中項になる。
そして
DがCに
対するように
、
AがBに
対する
。
(1)
による。
ゆえに
A、Bの間にも
1つの
比例中項
数
が入る。
前節、
命題8ー8の補足
(構成.順次比例項の挿入)
により、
A/A×E=E
が比例中項としてはいる。
ところがもし
2つの
数
の間に
1つの
比例中項
数
が入る
ならば、
それらの2
数
は
相似
な
平面数
である。
命題8ー20
(比例中項と相似な平面数)
のことである。
A:E=E:B=F:G(最小)
とすれば、
命題7ー20
(同じ比なら最小のが割り切る)
により、
数K、Lがあって
A/F=E/G=K、
E/F=B/G=L
となり。
E=G×K=F×L、
命題7ー19
(4数の比例と内項・外項の積)
により、
F:K=G:L、
また、
A=F×K、B=G×L、
となるので
A、Bは相似な平面数
とわかる。
したがって
A、Bは
相似
な
平面数
である。
これが証明すべきことであった。
証明の過程を振り返ると、
次のことがわかる。
A×B=E^2
ならば、
命題7ー19
(4数の比例と内項・外項の積)
により、
A:E=E:B
となり、
命題7ー22の補足
(構成.2数の比の最小数)
により、
A:E=E:B=F:G(最小)
となるF、Gをとり、
命題7ー20
(同じ比なら最小のが割り切る)
命題の補足4(定義7ー16)
(商を割る数にかけると割られる数)
により、
E=F×L=G×K
とすれば、
A×B=E^2
ならば、
A:E=E:B=F:G(最小)
E=F×L=G×K
をとれば、
相似なA、Bの辺は、
A=F×K、B=G×L
となる。
(以下、
命題9ー2の補足
(構成.積が平方数の相似な平面数)という。)
命題9ー2
は、
A×B;平方数
ならば、
A、B;相似な平面数
のことである。
命題9ー2の補足(構成.積が平方数の相似な平面数)
前提
作図
推論
定義
公準
公理
命題
7-22補
補4(義7-16)
,
7-19
,
7-20
その他
命題9ー2
は推論用命題である。
前提
作図
推論
定義
7-19
公準
公理
命題
8-8補
,
8-18補
7-17
,
7-19
,
7-20
,
8-20
,
8-24補
その他
コ4(題7-1)
前
次
目次
頁頭