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

ユークリッド原論

第１０巻
　
命題１０ー６２（第２の双中項線分上の正方形は有理線分上の矩形なら幅は第３の二項線分）
　第２の双中項線分上の正方形
　に等しい矩形は、
　　有理線分上につくられる
と、
　　第３の二項線分を幅とする。

• 第２の双中項線分は、
  定義の補足(命題１０ー３８) による。
• 正方形は、
  定義１ー２２による。
• 等しいは、
  公理１ー７による。
• 矩形は、
  定義１ー２２による。
• 有理線分は、
  定義１０ー３の補足による。
• 第３の二項線分は、
  定義１０�Uー３による。
• 幅は、
  定義の補足（命題１０ー２０）による。

　ＡＢを
　　Ｃで二つの中項線分に分けられ、
　　ＡＣを大きい部分とする
　　第２の双中項線分
とし、
　ＤＥを
　　ある有理線分
とし、
そして
　　ＤＥ上に
　ＡＢ上の正方形に等しく
　ＤＧを幅とする矩形ＤＦが
　　つくられた
とせよ。
　ＤＧは
　　第３の二項線分である
と主張する。

• 　命題１０ー２８（作図.２中項線分;矩形が中項面積、平方でのみ通約）
  　により、
  　ＡＣ；中項線分、
  　ＣＢ；中項線分、∩^^2 ＡＣ、＜ＡＣ
  　矩形(ＡＣ、ＣＢ)；中項面積
  をとり、
  　命題の補足２（定義１０ー３）(作図.任意の有理線分)
  により、
  　ＤＥ；有理線分
  をとり、
  　命題１ー４５の補足２(作図.直線図形,線分,直線角と平行四辺形)
  により
  　矩形(ＤＥ、ＤＧ；＝正方(_ＡＢ))
  をつくる。
  
• 　ＡＣ；中項線分、
  　ＣＢ；中項線分、∩^^2 ＡＣ、＜ＡＣ
  　矩形(ＡＣ、ＣＢ)；中項面積
  　ＤＥ；有理線分
  　矩形(ＤＥ、ＤＧ；＝正方(_ＡＢ))
  となっている。
  

　先の証明と同じ作図が
　　なされた
とせよ。

• 　命題１ー４５の補足２(作図.直線図形,線分,直線角と平行四辺形)
  により、
  　矩形ＤＨ(ＤＥ、ＤＫ；＝正方(_ＡＣ)）、
  　矩形ＫＬ(ＤＥ、ＫＭ；＝正方(_ＢＣ)）
  をとると、
  　命題２ー４（２分線分上の正方形）
  により、
  　矩形ＭＦ＝２矩形(ＡＣ、ＣＢ)
  となり、
  　命題１ー１０（作図・線分の２等分）、
  により、
  　中点Ｎ(ＭＧ)
  をとり、
  　命題１ー３１（作図・平行線）
  により、
  　交点Ｑ(ＥＦ、平行線(Ｎ、ＭＬ))
  をとる。
  
• 　矩形ＤＨ＝正方(_ＡＣ)、
  　矩形ＫＬ＝正方(_ＢＣ)）
  　矩形ＭＦ＝２矩形(ＡＣ、ＣＢ)
  　ＭＮ＝ＮＧ、
  　ＮＱ//ＭＬ
  となっている。
  　　　　[......(１)]
  

そうすれば
　ＡＢは
　　Ｃで分けられた
　　第２の双中項線分である
から、
　ＡＣ、ＣＢは
　　平方においてのみ通約でき、
　　中項面積をかこむ中項線分である。

• 　命題の設定である。
• 　ＡＣ∩^^2 ＣＢ、
  　矩形(ＡＣ、ＣＢ)；中項面積、
  　ＡＣ、ＣＢ；中項線分
  
  となっている。
  

したがって
　ＡＣ、ＣＢ上の正方形の和は
　　中項面積である。
　そして
　　ＤＬに等しい。

• 　前節、
  　定義の補足２（命題１０ー２３）(中項面積) による。
• 　正方(_ＡＣ)＋正方(_ＣＢ)＝矩形ＤＬ；中項面積
  となっている。

したがって
　ＤＬも
　　中項面積であり、
　　有理線分ＤＥ上にある。
それゆえ
　ＭＤも
　　有理線分であり、
　　ＤＥと長さにおいて通約できない。

• 　前節、
  　命題１０ー２２（中項線分上正方形に等矩形で底辺有理線分なら幅は有理で非通約）
  による。
• 　ＭＤ；有理線分、¬∩ＤＥ
  となっている。

同じ理由で
　ＭＧも
　　有理線分であり、
　　ＭＬ、
　すなわち
　　ＤＥと長さにおいて通約できない。

• 　命題の設定、
  （１）、
  　命題１０ー２２（中項線分上正方形に等矩形で底辺有理線分なら幅は有理で非通約）
  による。
• 　ＭＧ；有理線分、¬∩ＤＥ
  となっている。

したがって
　ＤＭ、ＭＧの双方は
　　有理線分であり、
　　ＤＥと長さにおいて通約できない。
　　　　　　[......(２)]

• 　前節、前々節による。
• 　ＤＭ、ＭＧ；有理線分、¬∩ＤＥ
  となっている。

そして
　ＡＣは
　　ＣＢと長さにおいて通約できず、

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

　ＡＣが
　　ＣＢに対するように、
　ＡＣ上の正方形が
　　矩形ＡＣＢに対する

• 　命題６ー１（同高の三角形、平行四辺形は底辺と比例） による。
• 　ＡＣ：ＣＢ＝正方(_ＡＣ)：矩形(ＡＣＢ)
  となっている。

から、
　ＡＣ上の正方形も
　　矩形ＡＣＢと通約できない。

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

したがって
　ＡＣ、ＣＢ上の正方形の和は
　　矩形ＡＣＢの２倍と、
　すなわち
　ＤＬは
　　ＭＦと
　　通約できない。

• 　前節、
  　命題１０ー１５（通約量はその和・差とも通約）
  　命題１０ー１３（通約量と非通約なら非通約）
  による。
  
• 　正方(_ＡＣ)＋正方(_ＣＢ)；¬∩２矩形(ＡＣＢ)、
  　矩形ＤＬ；¬∩ＭＦ
  となっている。

それゆえ
　ＤＭも
　　ＭＧと通約できない。

• 　前節、
  　命題６ー１（同高の三角形、平行四辺形は底辺と比例）
  　命題１０ー１１（４量比例で一方が通約なら他方も通約）
  による。
  
• 　ＤＭ¬∩ＭＧ
  となっている。

　そして
　　有理線分である。

• 　（２）による。
• 　ＤＭ、ＭＧ；有理線分
  となっている。

ゆえに
　ＤＧは
　　二項線分である。

• 　前節、前々節、
  　定義の補足（命題１０ー３６）(二項線分) による。
• 　ＤＧ；二項線分
  となっている。

　第３の二項線分でもある
ことを証明しなけれぱならない。
前と同様にして
　ＤＭが
　　ＭＧより大きく、
　ＤＫが
　　ＫＭと通約できる
ことを結論しよう。

• 　命題２ー７（差の平方）
  により、
  　正方(_ＡＣ)＋正方(_ＣＢ)＞２矩形(ＡＣ、ＣＢ)
  となり、
  　（１）により、
  　ＤＬ＞ＭＦ
  となり、
  　命題６ー１（同高の三角形、平行四辺形は底辺と比例）
  　命題５ー１４（同じ比の前(後)項の大等小）
  により、
  　ＤＭ＞ＭＧ
  となる、
  また、
  　命題の設定により、
  　正方(_ＡＣ)∩正方(_ＣＢ)
  となり、
  　（１）により、
  　矩形ＤＨ∩矩形ＫＬ
  となり、
  　命題６ー１（同高の三角形、平行四辺形は底辺と比例）
  　命題１０ー１１（４量比例で一方が通約なら他方も通約）
  による。
  
• 　ＤＭ＞ＭＧ
  　ＤＫ∩ＫＭ
  となっている。

そして
　矩形ＤＫＭは
　　ＭＮ上の正方形に等しい。

• 　（１）、
  　定義の補足３（命題６ー８）(比例中項)
  による。
• 　矩形(ＤＫＭ)＝正方(_ＭＮ)
  となっている。

したがって
　ＤＭ上の正方形は
　　ＭＧ上の正方形より
　　ＤＭと通約できる線分上
　　の正方形だけ大きい。

• 　前節、前々節、
  　命題１０ー１７（上の正方形の差が大と通約線分上の正方形⇔小の半分上の正方形に等しい大の矩形分割（コ）の辺は通約）
  による。
  
• 　正方(_ＤＭ)＝正方(_ＭＧ)＋正方(_Ｘ)
  　Ｘ∩ＤＭ
  となっている。

そして
　ＤＭ、ＭＧのいずれも
　　ＤＥと長さにおいて通約できない。

• 　（２）による。
• 　ＤＭ、ＭＧ；¬∩ＤＥ
  となっている。

よって
　ＤＧは
　　第３の二項線分である。

• 　前節、前々節、
  　定義１０�Uー３（第３の二項線分）
  による。
• 　ＤＧ；第３の二項線分
  となっている。

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

• 命題１０ー６２は、
  　命題１０ー２８（作図.２中項線分;矩形が中項面積、平方でのみ通約）
  　により、
  　ＡＣ；中項線分、
  　ＣＢ；中項線分、∩^^2 ＡＣ、＜ＡＣ
  　矩形(ＡＣ、ＣＢ)；中項面積
  をとり、
  　命題の補足２（定義１０ー３）(作図.任意の有理線分)
  により、
  　ＤＥ；有理線分
  をとり、
  　命題１ー４５の補足２(作図.直線図形,線分,直線角と平行四辺形)
  により
  　矩形(ＤＥ、ＤＧ；＝正方(_ＡＢ))
  　矩形ＤＨ(ＤＥ、ＤＫ；＝正方(_ＡＣ)）、
  　矩形ＫＬ(ＤＥ、ＫＭ；＝正方(_ＢＣ)）
  　中点Ｎ(ＭＧ)
  をとると、
  　ＤＭ∩^^2 ＭＧ
  　ＤＭ、ＭＧ；有理線分
  　正方(_ＤＭ)＝正方(_ＭＧ)＋正方(_Ｘ)
  　Ｘ∩ＤＭ
  　ＤＭ、ＭＧ¬∩ＤＥ
  となり、
  　ＤＧ；第３の二項線分
  のことである。
  
• 命題１０ー６２は推論用命題である。

  前提	作図・構成	推論
  定義		補3(題6-8),補2(題10-23),補(題10-36),10�U-3
  公準
  公理
  命題	1-10,1-31,1-45補2,補2(義10-3),10-28	2-4,2-7,5-14,6-1,10-11,10-13,10-15,10-17,10-22
  その他

前 　　 次 　　 目次 　　頁頭