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

ユークリッド原論

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

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

　ＡＢを
　　二つの中項面積の和に等しい正方形の辺
とし、
　ＣＤを
　　ＡＢと通約できる
とせよ。
　ＣＤも
　　二つの中項面積の和に等しい正方形の辺
であることを証明しなければならない。

• 　命題１０ー３５（作図.２線分;平方で非通約，平方和が中項面積，矩形は中項面積で平方和と非通約）
  により、
  　線分ＡＥ,ＥＢ；
  　　,ＡＥ¬∩^^2 ＥＢ
  　　,正方(_ＡＥ)＋正方(_ＥＢ)；中項面積
  　　,矩形(ＡＥ,ＥＢ)；中項面積
  　　　　¬∩正方(_ＡＢ)＋正方(_ＢＣ)
  をとれば、
  　命題１０ー４１（平方で非通約、平方和が中項面積、かこむ矩形が中項面積で平方和と非通約の２線分の和は中項面積の和に等しい正方形の辺（無理線分））、
  　命題１０ー６の系３（作図.長さ・平方で通約可の線分)
  による。
• 　ＡＢ；二つの中項面積の和に等しい正方形の辺
  　ＣＤ∩ＡＢ
  となっている。

　ＡＢは
　　二つの中項面積の和に等しい正方形の辺である
から、
　Ｅで二つの線分に分けられた
とせよ。
そうすれば
　ＡＥ、ＥＢは
　　平方において通約できず、
　　それらの上の正方形の和を中項面積とし、
　　それらによってかこまれる矩形を中項面積とし、
　さらに
　　ＡＥ、ＥＢ上の正方形の和を
　　矩形ＡＥ、ＥＢと通約できない
とする。

• 　前節による。
• 　ＡＢ：無理線分、
  　　ＡＥ¬∩^^2 ＥＢ、
  　　、正方(_ＡＥ)＋正方(_ＥＢ)；中項面積
  　　、矩形(ＡＥ,ＥＢ)；有理面積
  　　　　¬∩正方(_ＡＢ)＋正方(_ＢＣ)
  となっている。

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

• 　命題６ー２の補足（作図.比例第４項）
  により、
  　ＡＢが
  　　ＣＤに対するように、
  　ＡＥが
  　　ＣＦに対するように
  　Ｆをとる。
• 　ＡＢ：ＣＤ＝ＡＥ：ＣＦ
  となっている。

そうすれぱ
同様にして
　ＣＦ、ＦＤも
　　平方において通約できず、
　ＡＥ、ＥＢ上の正方形の和が
　　ＣＦ、ＦＤ上の正方形の和と、
　矩形ＡＥ、ＥＢが
　　矩形ＣＦ、ＦＤと通約できる
ことを証明しうる。

• 　前節、
  　命題１０ー６８の補足２(線分と分割の一方とが比例なら、線分と分割の双方とも、その上の正方形も比例)、
  　命題１０ー１１（４量比例で一方が通約なら他方も通約）、
  により、
  　ＣＦ¬∩^2 ＦＤ
  となり、
  　命題５ー１８（分割比で比例なら合比でも比例）、
  　命題１０ー１１（４量比例で一方が通約なら他方も通約）、
  により、
  　正方(_ＡＥ)＋正方(_ＥＢ)∩正方(_ＣＦ)＋正方(_ＦＤ)
  となり、
  　命題１０ー６８の補足３(線分と分割の一方とが比例なら、分割によりかこまれる矩形も、分割の上の正方形と比例)、
  　命題１０ー１１（４量比例で一方が通約なら他方も通約）、
  による。
• 　ＣＦ¬∩^2 ＦＤ、
  　正方(_ＡＥ)＋正方(_ＥＢ)∩正方(_ＣＦ)＋正方(_ＦＤ)、
  　矩形(ＡＥ、ＥＢ)∩矩形(ＣＦ、ＦＤ)
  となっている。

したがって
　ＣＤ、ＦＤ上の正方形の和も
　　中項面積であり、
　矩形ＣＦ、ＦＤも
　　中項面積であり、
さらに
　ＣＦ、ＦＤ上の正方形の和は
　　矩形ＣＦ、ＦＤと通約できない。

• 　前節、
  　命題の設定、
  　命題１０ー２３の系(中項面積と通約なら中項面積)、
  による。
  
• 　正方(_ＣＦ)＋正方(_ＦＤ)；中項面積、
  　矩形(ＣＦ、ＦＤ)；中項面積
  　正方(_ＡＢ)＋正方(_ＢＣ)¬∩矩形(ＣＦ、ＦＤ)
  となっている。

よって
　ＣＤは
　　二つの中項面積の和に等しい正方形の辺である。

• 　前節、
  　命題２ー４（２分線分上の正方形）、
  　定義の補足（命題１０ー４１）(中項面積と有理面積の和に等しい正方形の辺)
  による。
  
• 　ＣＤ；二つの中項面積の和に等しい正方形の辺
  となっている。

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

• 命題１０ー７０は、
  　命題１０ー３５（作図.２線分;平方で非通約，平方和が中項面積，矩形は中項面積で平方和と非通約）
  により、
  　線分ＡＥ,ＥＢ；
  　　,ＡＥ¬∩^^2 ＥＢ
  　　,正方(_ＡＥ)＋正方(_ＥＢ)；中項面積
  　　,矩形(ＡＥ,ＥＢ)；有理面積
  　　　¬∩正方(_ＡＢ)＋正方(_ＢＣ)
  をとり、
  　命題６ー２の補足（作図.比例第４項）
  により、
  　ＡＢが
  　　ＣＤに対するように、
  　ＡＥが
  　　ＣＦに対するように
  　Ｆをとると、
  　ＣＤ；二つの中項面積の和に等しい正方形の辺
  のことである。
• 命題１０ー７０は推論用命題である。

  前提	作図・構成	推論
  定義		補(題10-41)
  公準
  公理
  命題	6-2補,10-6系3,10-35	2-4,5-18,10-11,10-23系,10-41,10-68補2,10-68補3
  その他

前 　　 次 　　 目次 　　頁頭