ユークリッド原論をどう読むか（１４）
頁末 　　 前 　　 次 　 目次

ユークリッド原論

第１０巻
　
命題１０ー８９（作図.第５の余線分）
　　第５の余線分を
　　　見いだすこと。

• 第５の余線分は、
  命題１０ー８９による。

　有理線分Ａが
　　　定められ，
　　ＣＧを
　　Ａと長さにおいて通約
　　　できるようにせよ。

• 　命題の補足２（定義１０ー３）(作図.任意の有理線分)、
  　命題１０ー５（通約可能なら数：数の比）、
  　命題１０ー６の系（作図.線分で数：数となる線分）
  による。
  
• 　Ａ；有理線分
  　ＣＧ∩Ａ
  となっている。

そうすれば
　ＣＧは
　　有理線分である。
　　　　　　[......(３)]

• 　前節、
  　定義１０ー３の補足（有理線分）
  による。
• 　ＣＧ：有理線分
  となっている。

　二つの数ＤＦ,ＦＥが
　　　定められ，
　ＤＥが
　また
　　ＤＦ，ＦＥの双方に対し，
　平方数が
　　平方数に対する比を
　　　もたないようにせよ。
　　　　　　　　[......(１)]

• 　命題の補足（定義７ー２）(作図.数ｎ)
  により、
  　ＤＦをとり、
  　ＤＦの素因数の一つを
  　　ＤＦを合成せず、
  　　その素因数より大きな素因数に
  　　　入れ替えた
  　　数をＤＥとすると、
  　命題１０ー８７の補足(素因数を１つ含む合成数は、その素因数を含まない数と平方数の比を持たない)
  により
  　ＤＥは
  　　ＤＦと平方数：平方数の比を
  　　　持たない．
  　ＥＦ＝ＤＥーＤＦ
  とすると、
  　ＥＦも
  　　ＤＦの合成に
  　　　入れ替えて用いた
  　　素因数を持たない。
  なぜなら、
  もし
  　ＥＦが
  　　その素因数を
  　　　もてば、
  　命題７−１の補足２（倍数の和・差は倍数）
  により、
  　ＤＥも
  　　その素因数を
  　　　持ち矛盾する
  から。
• 　ＤＥ：ＤＦ≠平方数：平方数
  　ＤＥ：ＦＥ≠平方数：平方数
  となっている。

そして
　ＦＥが
　　ＥＤに対するように，
　ＣＧ上の正方形が
　　ＧＢ上の正方形に対するように
　　　されたとせよ。
　　　　　　[......(２)]

• 　命題１０ー６の系２（作図.平方で数：数となる線分）
  による。
• 　正方(_ＣＧ)：正方(_ＧＢ)＝ＦＥ：ＥＤ
  となっている。

そうすれば
　ＧＢ上の正方形も
　　有理面積
　　　である。

• 　命題の設定，
  　定義１０ー４の補足 　（有理面積、無理面積）
  により，
  　正方(_ＣＧ)；有理面積
  となり，
  　前節、
  　命題１０ー６（量が数：数なら通約可）
  により，
  　正方(_ＧＢ)∩正方(_ＣＧ)
  となり
  　定義１０ー４の補足 　（有理面積、無理面積）
  による．
• 　正方(_ＢＧ)；有理面積
  となっている。

それゆえ
　ＢＧも
　　有理線分
　　　である。
　　　　　　[......(４)]

• 　前節、
  　定義１０ー３の補足（有理線分）
  による。
• 　ＢＧ；有理線分
  となっている。

そして
　ＤＥが
　　ＥＦに対するように，
　ＢＧ上の正方形が
　　ＧＣ上の正方形に対し，
　ＤＥは
　　ＥＦに対し，
　平方数が
　　平方数に対する比を
　　　もたない

• （１）、 （２）による。
• 　ＤＥ：ＥＦ＝正方(_ＢＧ)：正方(_ＧＣ)、
  　ＤＥ：ＥＦ≠平方数：平方数
  となっている。

から，
　ＢＧ上の正方形も
　　ＧＣ上の正方形に対し，
　平方数が
　　平方数に対する比を
　　　もたない。

• 　前節、
  　命題５ー１１（同一の比に同じ比）
  による。
• 　正方(_ＢＧ)：正方(_ＧＣ)≠平方数：平方数
  となっている。

　ＢＧは
　　ＧＣと長さにおいて通約
　　　できない。

• 　前節、
  　命題１０ー１９助（有理線分と長さ・平方において通約、有理）
  による。
• 　ＢＧ¬∩ＧＣ
  となっている。

そして
　両方とも
　　有理線分
　　　である。

• 　（３） （４）による。
• 　ＢＧ、ＧＣ；有理線分
  となっている。

したがって
　ＢＧ,ＧＣは
　　平方においてのみ通約
　　　できる
　　有理線分
　　　である。

• 　前節、前々節 　定義の補足（命題１０ー１９助） (平方においてのみ通約) による。
• 　ＢＧ∩^^2 ＧＣ
  となっている。

ゆえに
　ＢＣは
　　余線分
　　　である。

• 　前節、
  　定義の補足(命題１０ー７３)(余線分)
  による。
• 　ＢＣ：余線分
  となっている。

次に
　　第５の余線分でも
　　　ある
と主張する。
　　Ｈ上の正方形を
　　ＢＧ上の正方形と
　　ＧＣ上の正方形との差と
　　　せよ。
　　　　　　[......(５)]

• 　命題１０ー１４助（作図.線分上の正方形の差となる正方形の辺）
  による
• 　正方(_Ｈ)＝正方(_ＢＧ)ー正方(_ＧＣ)
  となっている。

そうすれば
　ＢＧ上の正方形が
　　ＧＣ上の正方形に対するように，
　ＤＥが
　　ＥＦに対する

• 　（２）による。
• 　正方(_ＢＧ)：正方(_ＧＣ)＝ＤＥ：ＥＦ
  となっている。

から，
　　反転比により
　ＥＤが
　　ＤＦに対するように，
　ＢＧ上の正方形が
　　Ｈ上の正方形に対する。

• 　前節、前々節、
  　命題５ー１９の系の補足２(比例ならば反転も比例)
  による。
• 　ＥＤ：ＤＦ＝正方(_ＢＧ)：正方(_Ｈ)
  となっている。

ところが
　ＥＤは
　　ＤＦに対し，
　平方数が
　　平方数に対する比を
　　　もたない。

• 　（１）による。
• 　ＥＤ：ＤＦ≠平方数：平方数
  となっている。

したがって
　ＢＧ上の正方形も
　　Ｈ上の正方形に対し，
　平方数が
　　平方数に対する比を
　　　もたない。

• 　前節、前々節、
  　命題５ー１１（同一の比に同じ比）
  による。
• 　正方(_ＢＧ)：正方(_Ｈ)≠平方数：平方数
  となっている。

　ΒΗは
　　Ｈと長さにおいて通約
　　　できない。

• 　前節、
  　命題１０ー１９助（有理線分と長さ・平方において通約、有理）
  による。
• 　ＢＨ¬∩Ｈ
  となっている。

そして
　ＢＧ上の正方形は
　　ＧＣ上の正方形より
　　Ｈ上の正方形だけ
　　　大きい。

• 　（５）による。
• 　正方(_ＢＧ)＝正方(_ＧＣ)＋正方(_Ｈ)
  となっている。

したがって
　ＧＢ上の正方形は
　　ＧＣ上の正方形より
　　ＧＢと長さにおいて通約
　　　できない
　　線分上の正方形だけ
　　　大きい。

• 　前節、前々節による。
• 　正方(_ＧＢ)＝正方(_ＧＣ)＋正方(_Ｈ)
  　ＧＢ¬∩Ｈ
  となっている。

そして
　付加された線分ＣＧは
　　定められた有理線分Ａと
　　長さにおいて通約
　　　できる。

• 　命題の設定による。
• 　ＣＧ∩Ａ
  となっている。

したがって
　ＢＣは
　　第５の余線分
　　　である。

• 　前節、
  　定義１０�Vー５（第５の余線分）
  による。
• 　ＢＣ：第５の余線分
  となっている。

よって
　第５の余線分ＢＣが
　　　見いだされた。
これが証明すベきことであった。

• 命題１０ー８９は、
  　命題の補足２（定義１０ー３）(作図.任意の有理線分)、
  　命題１０ー５（通約可能なら数：数の比）、
  　命題１０ー６の系（作図.線分で数：数となる線分）
  により、
  　Ａ；有理線分
  　ＣＧ∩Ａ
  をとり、
  　命題の補足（定義７ー２）(作図.数ｎ)
  により、
  　ＤＦをとり、
  　ＤＦの素因数の一つを
  　　ＤＦを合成せず、
  　　その素因数より大きな素因数に
  　　　入れ替えた
  　　数をＤＥとすると、
  　命題１０ー８７の補足(素因数を１つ含む合成数は、その素因数を含まない数と平方数の比を持たない)
  により、
  　ＤＥ：ＤＦ≠平方数：平方数
  　ＤＥ：ＦＥ≠平方数：平方数
  となり、
  　命題１０ー６の系２（作図.平方で数：数となる線分）
  により、
  　正方(_ＣＧ)：正方(_ＧＢ)＝ＦＥ：ＥＤ
  とすると、
  　ＢＣは
  　　第４の余線分
  のことである。
  
• 命題１０ー８９は推論用命題である。

  前提	作図・構成	推論
  定義		10-3補,10-4補,補(題10-73),10�V-5
  公準
  公理
  命題	補(義7-2),補2(義10-3),10-6,10-6系,10-6系2	5-11,5-19系補2,7-1補2,10-5,10-14助,10-19助,10-87補
  その他

前 　　 次 　　 目次 　　頁頭