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

ユークリッド原論

第１０巻
　
命題１０ー９８（第１の中項余線分上の正方形は有理線分上の矩形なら幅は第２の余線分）
　　第１の中項余線分の上の正方形に
　　　等しい
　矩形が
　　有理線分上に
　　　つくられる
ならば，
　　第２の余線分を幅
　　　とする。

• 第１の中項余線分は、
  定義の補足（命題１０ー７４）による。
• 正方形は、
  定義１ー２２による。
• 等しいは、
  公理１ー７による。
• 矩形は、
  定義１ー２２による。
• 有理線分は、
  定義１０ー３の補足による。
• 第２の余線分は、
  定義１０�Vー２による。
• >幅は、
  定義の補足（命題１０ー２０）による。

　　ＡＢを第１の中項余線分
　　　とし，
　　ＣＤを有理線分
　　　とし，
　　ＡＢ上の正方形に
　　　等しく
　　ＣＤ上にＣＦを幅
　　　とする
　ＣＥが
　　　つくられた
とせよ。

• 　命題１０ー２７（作図.２中項線分;矩形が有理面積、平方でのみ通約）
  　命題の補足２（定義１０ー３）(作図.任意の有理線分)、
  　命題６ー１６の補足３(作図.線分上に矩形と等しい矩形)
  による。
  
• 　ＡＢ；第１の中項余線分、
  　　ＡＧ；中項線分、
  　　ＢＧ；中項線分、∩^^2 ＡＧ、
  　　矩形(ＡＧ、ＧＢ)；有理面積、
  　ＣＤ；有理線分、
  　点Ｆ(；矩形(ＣＤ、ＣＦ)＝正方(_ＡＢ)）
  となっている。

　ＣＦは
　　第２の余線分
　　　である
と主張する。

　　ＢＧをＡＢへの付加
　　　とせよ。

• 　前節
  による。
• 　ＡＢ；第１の中項余線分、
  　　ＡＧ；中項線分、
  　　ＢＧ；中項線分、∩^^2 ＡＧ、
  　　矩形(ＡＧ、ＧＢ)；有理面積、
  となっている。　

そうすれば
　ＡＧ,ＧＢは
　　平方においてのみ通約
　　　でき，
　　有理面積を
　　　かこむ
　　中項線分
　　　である。
　　　　[......(１)]

• 　前節、前々節、
  　定義の補足（命題１０ー７４）(第１の中項余線分)
  による。
• 　ＡＧ∩^^2 ＧＢ、
  　矩形(ＡＧ、ＧＢ)；有理面積、
  　ＡＧ、ＧＢ；中項線分
  となっている。

　　ＣＤ上に
　　ＡＧ上の正方形に
　　　等しく
　　ＣＫを幅
　　　とする
　ＣＨが，
　　ＧＢ上の正方形に
　　　等しく
　　ＫＭを幅
　　　とする
　ＫＬが
　　　つくられた
とせよ。
[......(４)]

• 　命題６ー１６の補足３(作図.線分上に矩形と等しい矩形)
  による。
• 　矩形ＣＨ(ＣＤ、ＣＫ)＝正方(_ＡＧ)
  　矩形ＫＬ(ＣＤ、ＫＭ)＝正方(_ＧＢ)
  となっている。

そうすれば
　ＣＬ全体は
　　ＡＧ,ＧＢ上の正方形の和に
　　　等しい。
[......(２)]

• 　前節
  による。
• 　矩形ＣＬ＝正方(_ＡＧ)＋正方(_ＧＢ)
  となっている。

それゆえ
　ＣＬは
　　中項面積
　　　である。

• 　前節、 （１）、
  　命題１０ー２３の補足５(平方で通約の中項線分の平方和は中項面積)
  　命題１０ー２３の系(中項面積と通約なら中項面積)
  による。
• 　矩形ＣＬ；中項面積
  となっている。

そして
　　有理線分ＣＤ上に
　　ＣＭを幅として
　　　つくられている。

• 　（４）
  による。
• 　矩形ＣＬ(ＣＤ、ＣＭ)
  　ＣＤ；有理線分
  となっている。

したがって
　ＣＭは
　　有理線分
　　　であり
　　ＣＤと長さにおいて通約
　　　できない。
　　　　[......(９)]

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

そして
　ＣＬは
　　ＡＧ,ＧＢ上の正方形の和に
　　　等しく，
そのうち
　ＡＢ上の正方形は
　　ＣＥに
　　　等しい

• 　命題の設定、 （４）
  による。
• 　矩形ＣＬ＝正方(_ＡＧ)＋正方(_ＧＢ)、
  　矩形ＣＥ＝正方(_ＡＧ)
  となっている。

から，
　残りの矩形ＡＧ,ＧＢの２倍は
　　ＦＬに
　　　等しい。
　　　　[......(３)]

• 　前節、
  　命題２ー７（差の平方）
  による。
• 　矩形ＦＬ＝２矩形(ＡＧ、ＧＢ)
  となっている。

ところが
　矩形ＡＧ,ＧＢの２倍は
　　有理面積
　　　である。

• 　（１）、
  　定義１０ー４の補足（有理面積、無理面積）
  による。
• 　２矩形(ＡＧ、ＧＢ)；有理面積
  となっている。

したがって
　ＦＬは
　　有理面積
　　　である。
　　　　[......(８)]

• 　前節、前々節、
  による。
• 　矩形ＦＬ；有理面積
  となっている。

そして
　　有理線分ＦＥ上に
　　ＦＭを幅として
　　　つくられている。

• 　（４）
  による。
• 　矩形ＦＬ(ＦＥ、ＦＭ)
  となっている。

それゆえ
　ＦΜも
　　有理線分
　　　であり
　　ＣＤと長さにおいて通約
　　　できる。
　　　　[......(１０)]

• 　前節、前々節、
  　命題１０ー２０（有理線分上の有理面積の矩形幅は底辺と長さで通約）
  　命題１０ー１２（通約量と通約なら通約）
  による。
• 　ＦＥ＝ＣＤ；有理線分、
  　ＦＭ∩ＣＤ
  となっている。

そこで
　ＡＧ,ＧＢ上の正方形の和，
　すなわち
　ＣＬは
　　中項面積
　　　であり，
　矩形ＡＧ,ＧＢの２倍，
　すなわち
　ＦＬは
　　有理面積
　　　である

• 　（２） （３） （４） （８）
  による。
• 　矩形ＣＬ＝正方(_ＡＧ)＋正方(_ＧＢ)
  　　；中項面積、
  　矩形ＦＬ(ＡＧ、ＧＢ)；有理面積
  となっている。

から，
　ＣＬは
　　ＦＬと通約
　　　できない。

• 　前節、
  　命題１０ー２３の補足６(有理面積と中項面積は非通約)
  となっている。
• 　矩形ＣＬ¬∩矩形ＦＬ
  となっている。

ところが
　ＣＬが
　　ＦＬに対するように，
　ＣＭが
　　ＦＭに
　　　対する。

• 　（４）
  　命題６ー１（同高の三角形、平行四辺形は底辺と比例） による。
• 　矩形ＣＬ：矩形ＦＬ＝ＣＭ：ＦＭ
  となっている。

したがって
　ＣＭは
　　ＦＭと長さにおいて通約
　　　できない。

• 　前節、
  　命題１０ー１１（４量比例で一方が通約なら他方も通約）
  による。
• 　ＣＭ¬∩ＦＭ
  となっている。

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

• 　（９） （１０）
  による。　
• 　ＣＭ、ＦＭ；有理線分
  となっている。

ゆえに
　ＣＭ,ＭＦは
　　平方において通約
　　　できる
　　有理線分
　　　である。

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

したがって
　ＣＦは
　　余線分
　　　である。

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

次に
　第２の余線分でもある
と主張する。

　ＦＭが
　　Ｎで２等分
　　　され，
　　Ｎを
　　　通り
　　ＣＤに平行に
　ＮＯが
　　　ひかれた
とせよ。
　　　　[......(６)]

• 　命題１ー１０（作図・線分の２等分）、
  　命題１ー３１（作図・平行線）
  　命題１ー３０の補足(交線に平行な線)
  による。
• 　中点Ｎ(ＦＭ)、
  　交点Ｏ(平行線(Ｎ、ＣＤ)、ＤＬ)
  となっている。

そうすれば
　ＦＯ,ＮＬの双方は
　　矩形ＡＧ,ＧＢに
　　　等しい。
　　　　[......(５)]

• 　前節、 （３）
  　公理１ー６の補足３（等しいもののｎ等分、ｎ等分に等しいもの）
  による。
• 　矩形ＦＯ＝矩形ＮＬ
  　　＝矩形(ＡＧ、ＧＢ)
  となっている。

そして
　矩形ＡＧ,ＧＢは
　　ＡＧ,ＧＢ上の正方形の比例中項
　　　であり，
　ＡＧ上の正方形は
　　ＣＨに，
　矩形ＡＧ,ＧＢは
　　ＮＬに,
　ＢＧ［上］の正方形は
　　ＫＬに
　　　等しい

• 　（４） （５）
  　命題１０ー２２助（２線分は一方の上の正方形と両者の矩形に比例）
  による。
• 　矩形ＣＨ＝正方(_ＡＧ)
  　矩形(ＡＧ、ＧＢ)＝比例中項（正方(_ＡＧ)、正方(_ＧＢ)
  　矩形ＫＬ＝正方(_ＢＧ)
  となっている。

から，
　ＮＬも
　　ＣＨ,ＫＬの比例中項
　　　である。
　　　　[......(７)]

• 　前節、
  　命題６ー１７の補足２(等しいものの比例中項は等しい)
  による。
• 　矩形ＮＬ＝比例中項(ＣＨ、ＫＬ)
  となっている。

したがって
　ＣＨが
　　ＮＬに対するように，
　ＮＬが
　　ＫＬに
　　　対する。

• 　前節、
  　定義の補足３（命題６ー８）(比例中項)
  による。
• 　矩形ＣＨ：矩形ＮＬ＝矩形ＮＬ：矩形ＫＬ
  となっている。

ところが
　ＣＨが
　　ＮＬに対するように，
　ＣＫが
　　ＮＭに
　　　対し，
　ＮＬが
　　ＫＬに対するように，
　ＮＭが
　　ＭＫに
　　　対する。

• 　（６）
  　命題６ー１（同高の三角形、平行四辺形は底辺と比例）
  による。
• 　矩形ＣＨ：矩形ＮＬ＝ＣＫ：ＮＭ
  　矩形ＮＬ：矩形ＫＬ＝ＮＭ：ＭＫ
  となっている。

したがって
　ＣＫが
　　ＮＭに対するように，
　ＮＭが
　　ＫＭに
　　　対する。

• 　前節、前々節、
  　命題５ー１１（同一の比に同じ比）
  による。
• 　ＣＫ：ＮＭ＝ＮＭ：ＫＭ
  となっている。

それゆえ
　矩形ＣＫ,ＫＭは
　　ＮＭ上の正方形に，
　　すなわち
　　ＦＭ上の正方形の４分の１に
　　　等しい。

• 　前節、 （６）
  　命題６ー１７（比例３線分と外項矩形、中項正方形）
  による。
• 　矩形(ＣＫ、ＫＭ)＝正方(_ＮＭ)
  　　＝１／４ 正方(_ＦＭ)
  となっている。

そこで
　ＣＭ,ＭＦは
　　不等な２線分
　　　であり，
　　ＭＦ上の正方形の４分の１に
　　　等しくて
　　正方形だけ
　　　欠けている
　矩形ＣＫ,ＫＭが
　　大きい線分ＣＭ上に
　　　つくられ，
　　それを通約
　　　できる
　　二つの部分に
　　　分ける

• 　前節、 （１） （４）
  による。
• 　矩形(ＣＫ、ＫＭ)＝１／４ 正方(_ＭＦ)
  　ＣＫ∩ＫＭ
  となっている。

から，
　ＣＭ上の正方形は
　　ＭＦ上の正方形より
　　ＣＭと長さにおいて通約
　　　できる
　　線分上の正方形だけ
　　　大きい。

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

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

• 　（１０）
  による。
• 　ＦＭ∩ＣＤ；有理線分
  となっている。

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

• 　前節、前々節、
  　定義１０�Vー２（第２の余線分）
  による。
• 　ＣＦ；第２の余線分
  　　ＦＭ∩ＣＤ；有理線分
  　　正方(_ＣＭ)＝正方(_ＭＦ)＋正方(_Ｘ)
  　　Ｘ∩ＣＭ
  となっている。

よって
　　第１の中項余線分の上の正方形に
　　　等しい
　矩形が
　　有理線分上に
　　　つくられる
ならば，
　　第２の余線分を幅
　　　とする。

• 　前節、
  による。

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

• 命題１０ー９８は、
  　命題１０ー２７（作図.２中項線分;矩形が有理面積、平方でのみ通約）
  　命題の補足２（定義１０ー３）(作図.任意の有理線分)、
  　命題６ー１６の補足３(作図.線分上に矩形と等しい矩形)
  により、
  　ＡＢ；第１の中項余線分、
  　　ＡＧ；中項線分、
  　　ＢＧ；中項線分、∩^^2 ＡＧ、
  　　矩形(ＡＧ、ＧＢ)；有理面積、
  　ＣＤ；有理線分、
  　点Ｆ(；矩形(ＣＤ、ＣＦ)＝正方(_ＡＢ)）
  をとり、
  　命題６ー１６の補足３(作図.線分上に矩形と等しい矩形)
  により、
  　矩形ＣＨ(ＣＤ、ＣＫ)＝正方(_ＡＧ)
  　矩形ＫＬ(ＣＤ、ＫＭ)＝正方(_ＧＢ)
  をとり、
  　命題１ー１０（作図・線分の２等分）、
  　命題１ー３１（作図・平行線）
  　命題１ー３０の補足(交線に平行な線)
  により、
  　中点Ｎ(ＦＭ)、
  　交点Ｏ(平行線(Ｎ、ＣＤ)、ＤＬ)
  をとると、
  　ＦＭ∩ＣＤ；有理線分
  　正方(_ＣＭ)＝正方(_ＭＦ)＋正方(_Ｘ)
  　Ｘ∩ＣＭ
  となり、
  　ＣＦ；第２の余線分
  のことである。
• 命題１０ー９８は推論用命題である。

  前提	作図・構成	推論
  定義		補3(題6-8),10-3補,10-4補,補(題10-73),補(題10-74),10�V-2
  公準
  公理		1-6補3
  命題	1-10,1-31,6-16補3,補2(義10-3),10-27	1-30補,2-7,5-11,6-1,6-17,6-17補2,10-11,10-12,10-17,10-20,10-22,10-22a,10-23系,10-23補5,10-23補6
  その他

前 　　 次 　　 目次 　　頁頭