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

ユークリッド原論

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

• 第２の余線分は、
  定義１０�Vー２による。

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

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

そうすれば
　ＧＣは有理線分
　　である。

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

　二つの平方数ＤＥ、ＥＦが
　　　定められ，
　その差ＤＦが
　　平方数
　　　でない
ようにせよ。
　　　　　　[......(１)]

• 　命題１０ー２９助ａの補足(作図.差が平方数でない２平方数)
  による。
  
• 　ＤＥ、ＥＦ；平方数
  　　ＤＥーＥＦ；¬平方数
  となっている。

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

• 　命題６ー１２（作図.比例第４項）
  による。
  
• 　Ｃ（ＢＧ；ＦＤ：ＤＥ＝正方(_ＣＧ)：正方(_ＧＢ))
  となっている。

そうすれば
　ＣＧ上の正方形は
　　ＧＢ上の正方形と通約
　　　できる。

• 　前節、
  　命題１０ー１１（４量比例で一方が通約なら他方も通約）
  による。
• 　正方(_ＣＧ)∩正方(_ＧＢ)
  となっている。

ところが
　ＣＧ上の正方形は
　　有理面積
　　　である。

• 　命題の設定による。
• 　正方(_ＣＧ)；有理面積
  となっている。

したがって
　ＧＢ上の正方形も
　　有理面積
　　　である。

• 　前節、前々節
  　定義１０ー４の補足 （有理面積、無理面積）
  による。
• 　正方(_ＧＢ)；有理面積
  となっている。

ゆえに
　ＢＧは
　　有理線分
　　　である。
　　　　　　[......(３)]

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

そして
　ＧＣ上の正方形は
　　ＧＢ上の正方形に対して、
　平方数が
　　平方数に対する比を
　　　もたない

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

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

• 　前節、
  命題１０ー９（長さで通約と正方形・平方数の比）
  による。
• 　ＣＧ¬∩ＧＢ
  となっている。

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

• 　命題の設定、 （３）
  による。
• 　ＣＧ、ＧＢ；有理面積
  となっている。

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

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

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

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

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

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

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

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

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

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

そして
　ＤＥ,ＥＦの双方は
　　平方数である。

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

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

• 　前節、前々節による。
• 　ＢＧ：Ｈ＝平方数：平方数
  となっている。

それゆえ
　ＢＧは
　　Ｈと長さにおいて通約
　　　できる。

• 　前節、
  　命題１０ー９（長さで通約と正方形・平方数の比）
  による。
• 　ＢＧ∩Ｈ
  となっている。

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

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

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

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

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

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

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

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

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

• 命題１０ー８６は、
  　命題１０ー２９助ａの補足(作図.差が平方数でない２平方数)
  により、
  　線分ＤＥ、点Ｆ(ＤＥ)を、
  　　ＦＤ：ＤＥ＝平方数：平方数、
  　　ＤＥ：ＦＥ≠平方数：平方数
  となるようにとり、
  　ある有理線分Ａ
  　線分ＧＣ(;∩Ａ)
  をとり、
  　命題１０ー６の系２により、
  　点Ｃ(ＢＧ;
  　　正方(_ＣＧ)：正方(_ＧＢ)＝ＦＤ：ＤＥ)
  となるようにとれば、
  　ＢＣは、第２の余線分
  のことである。
  
• 命題１０ー８６は作図用命題である。

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

前 　　 次 　　 目次 　　頁頭