ユークリッド原論をどう読むか(11)
頁末
前
次
目次
ユークリッド原論
第7巻
命題7ー34
(
構成.
2数の最小公倍数)
(最小公倍数・公倍数)
2つの
数
が与えられた
とき、
それらが
割り切る
最小
数
を見いだすこと。
数は、
定義7ー2
による。
割り切るは、
定義5ー1の補足2
による。
最小は、
定義の補足3(命題3ー7)
による。
定義7ー5
による倍数のことであり、
最小公倍数
とは、
2つ以上の数について、
共通の倍数を
公倍数
といい、
そのうち最小のものをいう
(以下、
定義の補足(命題7ー34)
(最小公倍数・公倍数)という。)
与えられた2
数
を
A、Bとせよ。
「数(について)・・・とせよ」は、
コメント4(命題7ー1)
参照のこと。
数A、B
をとっている。
このとき
それらが
割り切る
最小
数
を
見いださねばならぬ。
A、Bは
互いに素
である
か
ないか
である。
場合分けである。
まず
A、Bが
互いに素
であるとし、
場合分け(1)である。
A;(互いに素)B
としている。
AがBに
かけ
てCをつくる
とせよ。
[......(a)]
C(;;A×B)
をとっている。
そうすれば
BもAに
かけ
てCをつくった
ことになる。
命題7ー16
(積の可換性)
による。
C;B×A
となっている。
ゆえに
A、Bは
Cを
割り切る
。
命題の補足3(定義7ー16)
(かけられた数が積を割り切る)
による。
(A、B);|C
となっている。
次に
最小
でもある
と主張する。
もし
最小
でないならば、
背理法の仮定を述べようとしている。
A、Bは
Cより
小さい
何らかの
数
を
割り切る
であろう。
Dを
割り切る
とせよ。
[......(b)]
背理法の仮定である。
D[;;(A、B)|D、<C]
としている。
そして
AがDを
割っ
た
商
に
等しい
個数
の
単位
がEのなかにある
とし、
BがDを
割っ
た
商
に
等しい
個数
の
単位
がFのなかにある
とせよ。
数E(;;個数(E,単位)=商(D,A))、
数F(;;個数(F,単位)=商(D,B))
としている。
そうすれば
AはEに
かけ
てDをつくり、
BはFに
かけ
てDをつくった。
[......(1)]
命題7ー15
(割る数と商のいれかえ)
による。
D;A×E、
D;B×F
となっている。
それゆえ
A、Eの
積
は
B、Fの
積
に
等しい
。
公理の補足2(命題7ー4)
(約数・等分(倍数)での代入の原理)
による。
A×E=B×F
となっている。
ゆえに
AがBに
対するように
、
FがEに
対する
。
命題7ー19
(4数の比例と内項・外項の積)
による。
A:B=F:E
となっている。
ところが
A、Bは
互いに素
であり、
[
互いに]素
であるものは
最小
でもあり、
最小
の
数
は
同じ比
をもつ
数
を、
大きい
数
が
大きい
数
を、
小さい
数
が
小さい
数
を
割り切り
、
その
商
は
等しい
。
命題7ー21
(互いに素な数は同じ比の最小)、
命題7ー20
(同じ比なら最小のが割り切る)
による。
商(F,A)=商(E,B)
となっている。
したがって
後項
が
後項
を、
すなわち
BがEを
割り切る
。
[......(2)]
そして
Aは
B、Eに
かけ
てC、Dをつくった
(a)
、
(1)
による。
A×(B、E)=(C、D)
となっている。
から、
BがEに
対するように
、
CがDに
対する
。
命題7ー19
(4数の比例と内項・外項の積)
による。
B:E=C:D
となっている。
ところが
BはEを
割り切る
。
(2)
による。
B|E
となっている。
それゆえ
CもDを
割り切る
。
前節、前々節の結果、
定義7−21
(比例)
による。
C|D
となっている。
すなわち
大きい
数
が
小さい
数
を
割り切る
。
(b)
により、C>Dであり、
前節の結果により、C|Dとなっている。
これは不可能である。
ゆえに
A、Bは
Cより
小さい
いかなる
数
をも
割り切ら
ない。
背理法による。
よって
Cは
A、Bに
割り切ら
れる
最小
の
数
である。
C;最小公倍数(A,B)
となっている。
次に
A、Bが
互いに素
でない
とし、
場合分け(2)である。
A、Bと
同じ比
をもつ2
数
のうち
最小
であるF、Eがとられた
とせよ。
[......(c)]
命題7ー22の補足
(構成.2数の比の最小数)
による。
(F:E);=A:B、(最小の数の比)
としている。
そうすれば
A、Eの
積
は
B、Fの
積
に
等しい
。
命題7ー19
(4数の比例と内項・外項の積)
による。
A×E=B×F
となっている。
そして
AがEに
かけ
てCをつくる
とせよ。
[......(d)]
数C(;;=A×E)
となっている。
そうすれば
BもFに
かけ
てCをつくった
ことになる。
前々節の結果による。
B×F=C
となっている。
したがって
A、BはCを
割り切る
。
命題7ー16
(積の可換性)、
命題の補足3(定義7ー16)
(かけられた数が積を割り切る)
による。
(A、B)|C
となっている。
また
最小
でもある
と主張する。
もし
最小
でない
ならば、
背理法の仮定を述べようとしている。
A、Bは
Cより
小さい
何らかの
数
を
割り切る
であろう。
Dを
割り切る
とせよ。
[......(e)]
背理法の仮定である。
数D;(A、B)|D、<C
となっている。
そして
Aが
Dを
割っ
た
商
に
等しい
個数
の
単位
が
Gのなかにある
とし、
Bが
Dを
割っ
た
商
に
等しい
個数
の
単位
が
Hのなかにある
とせよ。
数G(;;商(D,A)=個数(G,単位))、
数H(;;商(D,B)=個数(H,単位))
をとっている。
そうすれば
AはGに
かけ
てDをつくり、
BはHに
かけ
てDをつくった。
[......(3)]
命題7ー15
(割る数と商のいれかえ)
による。
D;=A×G、
D;=B×H
となっている。
ゆえに
A、Gの
積
は
B、Hの
積
に
等しい
。
公理の補足2(命題7ー4)
(約数・等分(倍数)での代入の原理)
による。
A×G=B×H
となっている。
したがって
AがBに
対するように
、
HがGに
対する
。
命題7ー19
(4数の比例と内項・外項の積)
による。
A:B=H:G
となっている。
ところが
AがBに
対するように
、
FがEに
対する
。
(c)
による。
A:B=F:E
となっている。
それゆえ
FがEに
対するように
、
HがGに
対する
。
命題5ー11
(同一の比に同じ比)
による。
F:E=H:G
となっている。
ところが
F、Eは
最小
であり、
最小
である
数
は
同じ比
をもつ
数
を、
大きい
数
が
大きい
数
を、
小さい
数
が
小さい
数
を
割り切り
、
その
商
は
等しい
。
命題7ー21
(互いに素な数は同じ比の最小)、
命題7ー20
(同じ比なら最小のが割り切る)
による。
(F:E);=H:G、(最小の数の比)、
商(H,E)=商(G,E)
となっている。
ゆえに
EはGを
割り切る
。
[......(4)]
E|G
となっている。
そして
AはE、Gに
かけ
て
C、Dをつくった
(d)
、
(3)
による。
A×(E、G)=(C、D)
となっている。
から、
EがGに
対するように
、
CがDに
対する
。
命題7ー17
(同数を各項にかけても比は同じ)
による。
E:G=C:D
となっている。
ところが
EはGを
割り切る
。
(4)
による。
E|G
となっている。
したがって
CもDを
割り切る
、
前々節の結果、
定義7−21
(比例)
による。
C|D
となっている。
すなわち
大きい
数
が
小さい
数
を
割り切る
。
(e)
により、
C>Dとなっている。
これは不可能である。
背理法による。
それゆえ
A、Bは
Cより
小さい
いかなる
数
をも
割り切ら
ない
であろう。
(A、B);¬|(X;<C)
となっている。
よって
Cは
A、Bに
割り切ら
れる
最小
の
数
である。
C;(A、B)|C、(最小)
となっている。
[A、Bについて
2つの場合
の結果により
ともに
2数に割り切られる最小数を
見いだすことができる。]
これが証明すべきことであった。
「互いに素による場合分け」は、
コメント4(命題7ー3)
参照のこと。
命題7ー34
は、
数A、B
について、
A;(互いに素)B
ならば
数C(;;=A×B)
をとり、
A;¬(互いに素)B
ならば
最小数比(F:E)(;;=A:B)、
数C(;;=A×E)
をとれば、
C;最小公倍数(A,B)
のことである。
命題7ー34
は構成用命題である。
前提
作図
推論
定義
7-21
公準
公理
補2(題7-4)
命題
7-22補
5-11
,
7-15
,
7-16
,
7-17
,
7-19
,
7-20
,
7-21
,
補3(義7-16)
その他
コ4(題7-1)
場合分け、背理法,
コ4(題7-3)
前
次
目次
頁頭