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

ユークリッド原論

第１０巻
　
命題１０ー１０６（中項面積と有理面積の差に等しい正方形の辺と長さ通約の線分は中項面積と有理面積の差に等しい正方形の辺）
　　中項面積と有理面積の差に等しい正方形の辺と
　　通約
　　　できる
　線分は
　　中項面積と有理面積の差に等しい正方形の辺
　　　である。

• 中項面積と有理面積の差に等しい正方形の辺は、
  定義の補足（命題１０ー７７）による。
• 通約は、
  定義１０ー１による。
• 線分は、
  定義の補足（命題１ー１）による。

　　ＡＢを
　　中項面積と有理面積の差に等しい正方形の辺
　　　とし，
　　ＣＤを
　　ＡＢと通約
　　　できるようにせよ。

• 　命題１０ー３４（作図.２線分；平方で非通約、平方和が中項面積、矩形が有理面積）
  により、
  　　　２線分をとり、
  　　　大きい方をＡＥ、
  　　　小さい方をＢＸ
  とし、
  　命題１ー３（作図・等しい線分を切り取る）　
  により、
  　　　Ｂ’（ＡＥ；Ｂ’Ｅ＝ＢＸ）
  　　をとり、
  　　　改めて、
  　　　Ｂ’をＢ
  　　とし、
  　命題１０ー６の系（作図.線分で数：数となる線分）
  による
• 　ＡＥ¬∩^2 ＢＥ、
  　正方(_ＡＥ)＋正方(_ＢＥ)；中項面積
  　矩形(ＡＥ、ＢＥ)；有理面積
  　ＡＥ＞ＢＥ
  　ＡＢ∩ＣＤ
  となっている。

　ＣＤも
　　中項面積と有理面積の差に等しい正方形の辺
　　　である
と主張する。

　　ＢＥをＡＢへの付加
　　　とせよ。
そうすれば
　ＡＥ,ＥＢは
　　平方において通約
　　　できず
　　ＡＥ，ＥＢ上の正方形の和を
　　　中項面積
　　　とし，
　　それらによって
　　　かこまれる
　　矩形を有理面積
　　　とする。

• 　命題の設定
  による。
• 　ＡＥ¬∩^2 ＢＥ、
  　正方(_ＡＥ)＋正方(_ＢＥ)；中項面積
  　矩形(ＡＥ、ＢＥ)；有理面積
  　ＡＥ＞ＢＥ
  となっている。　

　同じ作図が
　　なされた
とせよ。

• 命題１０ー１０５と同じ作図ということで、
  　「ＡＢが
  　　ＣＤに対するように，
  　ＢＥが
  　　ＤＦに
  　　　対するようにされた
  とせよ。」
  ということである。
  
  　前節、
  　命題６ー１２（作図.比例第４項）
  による。
• 　ＡＢ；中項面積と有理面積の差に等しい正方形の辺、
  　　ＡＥ¬∩^^2 ＥＢ
  　　正方(_ＡＥ)＋正方(_ＢＥ)；中項面積
  　　矩形(ＡＥ、ＥＢ)；有理面積
  　ＣＤ∩ＡＢ
  　ＡＢ：ＣＤ＝ＢＥ：ＤＦ
  となっている。 　　　　[......(１)]
  

そうすれば
　　前と同様に
　　　して
　ＣＦ，ＦＤは
　　ＡＥ,ＥＢと同じ比を
　　　なし，
　ＡＥ,ＥＢ上の正方形の和は
　　ＣＦ，ＦＤ上の正方形の和と，
　矩形ＡＥ,ＥＢは
　　矩形ＣＦ，ＦＤと通約
　　　できる
ことを証明しうる。

• 前命題１０ー１０６と同様に
  　ということである。
  内容的には
  　以下のとおりである。
  
  そうすれば
  　ＡＥ，ＥＢは
  　　平方において通約
  　　　できない
  から，
  　ＣＦ，ＦＤも
  　　平方において通約
  　　　できない。
  　　　　[......(４)]
  
  • 　（１）
    　命題５ー１６（比例すれば錯比も比例）、
    により、
    　ＡＢ：ＢＥ＝ＣＤ：ＤＦ
    となり、
    　 　命題５ー１８（比例ならば合比も比例）
    により、
    　ＡＥ：ＢＥ＝ＣＦ：ＤＦ
    となり、
    　 　命題１０ー１１（４量比例で一方が通約なら他方も通約）
    による。
  • 　ＣＦ¬∩^2 ＦＤ
    となっている。
  
  そこで
  　ＡＥが
  　　ＥＢに対するように，
  　ＣＦが
  　　ＦＤに
  　　　対する
  　　　　[......(２)]
  
  • 　前節、
    による。
  • 　ＡＥ：ＥＢ＝ＣＦ：ＦＤ
    となっている。
  
  から，
  　ＡＥ上の正方形が
  　　ＥＢ上の正方形に対するように，
  　ＣＦ上の正方形が
  　　ＦＤ上の正方形に
  　　　対する。
  　　　　　[......(５)]
  
  • 　前節、
    　命題６ー２２（４線分とその上の相似直線図形の比例）
    による。
  • 　正方(_ＡＥ)：正方(_ＥＢ)＝正方(_ＣＦ)：正方(_ＦＤ)
    となっている。
  
  したがって
  　　合比により
  　ＡＥ，ＥＢ上の正方形の和が
  　　ＥＢ上の正方形に対するように，
  　ＣＦ，ＦＤ上の正方形の和が
  　　ＦＤ上の正方形に
  　　　対する。
  
  • 　前節、
    　命題５ー１８（比例ならば合比も比例）
    による。
  • 　正方(_ＡＥ)＋正方(_ＥＢ)：正方(_ＥＢ)
    　　＝正方(_ＣＦ)＋正方(_ＦＤ)：正方(_ＦＤ)
    となっている。
  
  ところが
  　ＢＥ上の正方形は
  　　ＤＦ上の正方形と通約
  　　　できる。
  　　　　[......(３)]
  
  • 　（１）、
    　命題１０ー１１（４量比例で一方が通約なら他方も通約）
    　命題１０ー９の系２ (長さで通約なら平方で通約) による。
  • 　正方(_ＢＥ)∩正方(_ＤＦ)
    となっている。
  
  したがって
  　ＡＥ,ＥＢ上の正方形の和も
  　　ＣＦ，ＦＤ上の正方形の和と通約
  　　　できる。
  　　　　[......(６)]
  
  • 　前節、前々節、
    　命題１０ー１１の補足 (４項比例で前項通約なら後項通約)
    による。
  • 　正方(_ＡＥ)＋正方(_ＥＢ)∩正方(_ＣＦ)＋正方(_ＦＤ)
    となっている。
  
  また
  　ＡＥ上の正方形が
  　　矩形ＡＥ,ＥＢに対するように，
  　ＣＦ上の正方形が
  　　矩形ＣＦ，ＦＤに
  　　　対し，
  　ＡＥ上の正方形は
  　　ＣＦ上の正方形と通約
  　　　できる
  
  • 　（２）、
    　命題１０ー２２助（２線分は一方の上の正方形と両者の矩形に比例）、
    　（３） （５）、
    　命題１０−１１の補足(４項比例で前項通約なら後項通約)
    による。
  • 　正方(_ＡＥ)：矩形(ＡＥ、ＥＢ)
    　　＝正方(_ＣＦ)：矩形(ＣＦ、ＦＤ)、
    　正方(_ＡＥ)∩正方(_ＣＦ)
    となっている。
  
  から，
  　矩形ＡＥ,ＥＢも
  　　矩形ＣＦ，ＦＤと通約
  　　　できる。
  
  • 　前節、
    　命題１０−１１の補足(４項比例で前項通約なら後項通約)
    による。
  • 　矩形(ＡＥ、ＥＢ)∩矩形(ＣＦ、ＦＤ)
    となっている。
  
  
• 　矩形(ＡＥ、ＥＢ)∩矩形(ＣＦ、ＦＤ)
  となっている。

したがって
　ＣＦ，ＦＤも
　　平方において通約
　　　できず，
　　ＣＦ，ＦＤ上の正方形の和を
　　中項面積
　　　とし，
　　それらによって
　　　かこまれる
　　矩形を有理面積
　　　とする。

• 　前節、（４）（６）
  　命題１０ー２３の系(中項面積と通約なら中項面積)
  　定義１０ー４の補足（有理面積、無理面積）
  による。
• 　ＣＦ¬∩^2 ＦＤ、
  　正方(_ＣＦ)＋正方(_ＦＤ)；中項面積、
  　矩形(ＣＦ、ＦＤ)；有理面積
  となっている。

よって
　ＣＤは
　　中項面積と有理面積の差に等しい正方形の辺
　　　である。

• 　前節
  　定義の補足（命題１０ー７７）(中項面積と有理面積の差に等しい正方形の辺)
  による。
• 　ＣＤ；中項面積と有理面積の差に等しい正方形の辺
  　　ＣＦ¬∩^2 ＦＤ、
  　　正方(_ＣＦ)＋正方(_ＦＤ)；中項面積、
  　　矩形(ＣＦ、ＦＤ)；有理面積
  となっている。

これが証明すべきことであった。

• 命題１０ー１０６は、
  　命題１０ー３４（作図.２線分；平方で非通約、平方和が中項面積、矩形が有理面積）
  　命題１０ー６の系（作図.線分で数：数となる線分）
  により、
  　２線分ＡＥ、ＥＢ
  　　ＡＥ¬∩^2 ＢＥ、
  　　正方(_ＡＥ)＋正方(_ＢＥ)；中項面積
  　　矩形(ＡＥ、ＢＥ)；有理面積
  　　ＡＥ＞ＢＥ
  　ＡＢ∩ＣＤ
  をとり、
  　命題６ー１２（作図.比例第４項）
  により、
  　ＡＢ：ＣＤ＝ＢＥ：ＤＦ
  をとれば、
  　ＣＤ；中項面積と有理面積の差に等しい正方形の辺
  
  　　ＣＦ¬∩^2 ＦＤ、
  
  　　正方(_ＣＦ)＋正方(_ＦＤ)；中項面積、
  
  　　矩形(ＣＦ、ＦＤ)；有理面積
  
  のことである。
• 命題１０ー１０６は推論用命題である。

  前提	作図・構成	推論
  定義		補(題10-77)
  公準
  公理
  命題	1-3,6-12,10-6系,10-34	5-16,5-18,6-22,10-4補,10-9系2,10-11,10-11補,10-22助,10-23系
  その他

88 前 　　 次 　　 目次 　　頁頭