ユークリッド原論をどう読むか(12)
頁末
前
次
目次
ユークリッド原論
第8巻
命題8ー12(立方数の比、比例中項)
(立方数の比例中項)
2つの立方数の間には
2つの比例中項数があり、
そして
立方数は立方数に対し
辺が辺に対する比の
3乗の比をもつ。

A、Bを立方数
とし、
CをAの辺、DをBの辺
とせよ。
-
「数(について)・・・とせよ」は、
コメント4(命題7ー1)
参照のこと。
-
C×C×C=A、
D×D×D=Bとなっている。
A、Bの間には
2つの比例中項数があり、
そして
AはBに対し、
CがDに対する比の
3乗の比をもつ
と主張する。
Cが2乗してEをつくり、
DをかけてFをつくり、
Dが2乗してGをつくり、
C、DがFにかけて
それぞれH、Kをつくる
とせよ。
[......(a)]
-
C×C=E、C×D=F、
D×D=G、
C×F=H、D×F=K
となっている。
そうすれば
Aは立方数であり、
Cはその辺であり、
Cは2乗してEをつくった
から、
Cは2乗してEをつくり、
EにかけてAをつくった。
[......(1)]
-
定義7−20(立方数)
により、
C×C=E、
C×E=C×C×C=A
となっている。
同じ理由で
Dも2乗してGをつくり、
GにかけてBをつくった。
[......(2)]
-
定義7−20(立方数)
により、
D×D=G、
D×G=D×D×D=B
となっている。
そして
CはC、Dにかけて
それぞれE、Fをつくった
から、
CがDに対するように、
EがFに対する。
[......(3)]
-
命題7ー17
(同数を各項にかけても比は同じ)
により、
C:D=E:Fとなっている。
同じ理由で
CがDに対するように、
FがGに対する。
[......(4)]
-
(a)
により、
C×D=F、D×D=G
となり、
命題7ー18
(各項を同数にかけても比は同じ)
により、
C:D=F:Gとなっている。
また
CがE、Fにかけて
それぞれA、Hをつくった
から、
EがFに対するように、
AがHに対する。
-
命題7ー17
(同数を各項にかけても比は同じ)
により、
E:F=A:Hとなっている。
ところが
EがFに対するように、
CがDに対する。
それゆえ
CがDに対するように、
AがHに対する。
[......(5)]
-
前節、前々節、
命題5ー11
(同一の比に同じ比)
により、
C:D=A:Hとなっている。
また
C、DはFにかけて
それぞれH、Kをつくった
から、
CがDに対するように、
HがKに対する。
[......(6)]
-
命題7ー18
(各項を同数にかけても比は同じ)
により、
C:D=H:Kとなっている。
また
DがF、Gにかけて
それぞれK、Bをつくった
から、
FがGに対するように、
KがBに対する。
-
命題7ー17
(同数を各項にかけても比は同じ)
により、
F:G=K:Bとなっている。
ところが
FがGに対するように、
CがDに対する。
ゆえに
CがDに対するように、
AがHに、
HがKに、
KがBに対する。
したがって
H、KはA、Bの2つの比例中項である。
[......(7)]
次に、
AはBに対し、
CがDに対する比の
3乗の比をもつと主張する。
A、H、K、Bは
4つの比例する数である
から、
AはBに対し、
AがHに対する比の
3乗の比をもつ。
ところが
AがHに対するように、
CがDに対する。
したがって
AはBに対し、
CがDに対する比の
3乗の比をもつ。
これが証明すべきことであった。
-
A=C^3、B=D^3
のとき、
A:C×C×D=
C×C×D:C×D×D=
C×D×D:Bであり、
かつ
A:B=(C:D)^3である。
-
本命題の証明
により、
次のことがわかる。
2つの立方数の2つの比例中項は、
前者の辺の2乗と後者の辺との積と、
前者の辺と後者の辺の2乗との積と、
である。
(以下、命題8ー12の補足
(立方数の比例中項)という。)
-
命題8ー12の補足 (立方数の比例中項)
前提 | 作図 | 推論 |
定義 |
|
|
公準 |
|
|
公理 |
|
|
命題 |
|
8-12
|
その他 |
|
|
- 命題8ー12は推論用命題である。
前
次
目次
頁頭