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

ユークリッド原論

第１０巻
　
命題１０ー５３（作図.第６の二項線分）
　第６の二項線分を見いだすこと。

• 第６の二項線分は、
  定義１０�Uー６による。

　二つの数ＡＣ、ＣＢが定められ、
　ＡＢが
　　それらの双方に対し、
　　平方数が平方数に対する比をもたない
とせよ。

• 　「数（について）・・・とせよ」は、
  　コメント４（命題７ー１）参照のこと。
• 例えば、
  　ＡＣ、ＣＢ、ＡＢを互いに素な数
  とすれば、
  　命題１０ー５０の補足(互いに素な２数は平方数の比でない)
  による。
• 　ＡＢ：ＡＣ≠平方数：平方数
  　ＡＢ：ＣＢ≠平方数：平方数
  となっている。

そして
　平方数でない他の数Ｄがあり、
　　ＢＡ、ＡＣのおのおのに対し、
　　平方数が平方数に対する比をもたない
とされ、
　　　　　　[......(２)]

• 　命題１０ー５０の補足(互いに素な２数は平方数の比でない)
  により、
  　Ｄ；(互いに素)（ＡＢ、ＡＣ）
  とするとよい。
• 　Ｄ≠平方数
  　Ｄ：ＢＡ≠平方数：平方数
  　Ｄ：ＡＣ≠平方数：平方数
  となっている。

　ある有理線分Ｅが定められ、
　　　　　　[......(１)]

• 　命題の補足２（定義１０ー３）(作図.任意の有理線分) による。
• 　Ｅ；有理線分
  となっている。

　　ＤがＡＢに対するように、
　　Ｅ上の正方形がＦＧ上の正方形に対する
ようにされたとせよ。
　　　　　[......(５)]

• 　命題１０ー１０の補足(作図.２線分;上の正方形が２線分の比)
  により、
  　Ｄ：ＡＢ＝正方(_Ｄ)：正方(_Ｅ')
  　　となるＥ'をとり、
  　命題６ー１２（作図.比例第４項）
  により、
  　Ｄ：Ｅ'＝Ｅ：ＦＧ
  となるように
  　ＦＧをとる。
• 　Ｄ：ＡＢ＝正方(_Ｅ)：正方(_ＦＧ)
  となっている。

そうすれば
　Ｅ上の正方形は
　　ＦＧ上の正方形と通約できる。
　　　　　　[......(６)]

• 　前節、
  　命題１０ー６（量が数：数なら通約可）
  による。
• 　正方(_Ｅ)∩正方(_ＦＧ)
  となっている。

そして
　Ｅは有理線分である。

• 　（１）による。　
• 　Ｅ；有理線分
  となっている。

したがって
　ＦＧも有理線分である。
　　　　　　[......(１)]

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

そして
　ＤはＡＢに対し、
　　平方数が平方数に対する比をもたない

• 　（２）による。
• 　Ｄ：ＡＢ≠平方数：平方数
  となっている。

から、
　Ｅ上の正方形も
　　ＦＧ上の正方形に対し、
　　平方数か平方数に対する比をもたない。

• 　前節、前々節、
  　命題５ー１３の補足４（異なる比に同じ比は異なる）
  による。
• 　正方(_Ｅ)：正方(_ＦＧ)≠平方数：平方数
  となっている。

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

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

また
　ＢＡがＡＣに対するように、
　ＦＧ上の正方形が
　　ＧＨ上の正方形に対する
ようにされたとせよ。
　　　　　　[......(３)]

• 　命題１０ー１０の補足(作図.２線分;上の正方形が２線分の比)
  により、
  　ＢＡ：ＡＣ＝正方(_ＢＡ)：正方(_Ｈ')
  　　となるＨ'をとり、
  　命題６ー１２（作図.比例第４項）
  により、
  　ＦＧ：Ｈ'＝ＦＧ：ＧＨ"
  となるように
  　ＧＨ"をとり、
  　命題１ー３（作図・等しい線分を切り取る）　
  により、
  　点Ｈ(延長ＦＧ;ＧＨ＝ＧＨ")
  をとる。
• 　ＢＡ：ＡＣ＝正方(_ＦＧ)：正方(_ＧＨ)
  となっている。

そうすれば
　ＦＧ上の正方形は
　　ＨＧ上の正方形と通約できる。
　　　　　　[......(４)]

• 　前節、
  　命題１０ー６（量が数：数なら通約可）
  による。
• 　正方(_ＦＧ)∩正方(_ＧＨ)
  となっている。

それゆえ
　ＨＧ上の正方形は
　　有理面積である。

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

ゆえに
　ＨＧは有理線分である。

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

そして
　ＢＡはＡＣに対し、
　　平方数が平方数に対する比をもたない

• 　命題の設定による。
• 　ＢＡ：ＡＣ≠平方数：平方数
  となっている。

から、
　ＦＧ上の正方形も
　　ＧＨ上の正方形に対し、
　　平方数が平方数に対する比をもたない。

• 　（３）、前節、
  　命題５ー１３の補足４（異なる比に同じ比は異なる）
  による。
• 　正方(_ＦＧ)：正方(_ＧＨ)≠平方数：平方数
  となっている。

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

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

それゆえ
　ＦＧ、ＧＨは
　　平方においてのみ通約できる有理線分である。
　　　　　　[......(９)]

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

ゆえに
　ＦＨは二項線分である。

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

次に
　第６の二項線分であることも証明しなければならない。
　ＤがＡＢに対するように、
　Ｅ上の正方形が
　　ＦＧ上の正方形に対し、

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

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

• 　（３）による。
• 　ＢＡ：ＡＣ＝正方(_ＦＧ)：正方(_ＧＨ)
  となっている。

から、
　等間隔比により
　ＤがＡＣに対するように、
　　Ｅ上の正方形がＧＨ上の正方形に対する。

• 　前節、前々節、
  　命題５ー２２（等間隔比と同じ比）
  による。
• 　Ｄ：ＡＣ＝正方(_Ｅ)：正方(_ＧＨ)
  となっている。

ところが
　Ｄは
　　ＡＣに対し、
　　平方数が平方数に対する比をもたない。

• 　（２）による。
• 　Ｄ：ＡＣ≠平方数：平方数
  となっている。

したがって
　Ｅ上の正方形も
　　ＧＨ上の正方形に対し、
　　平方数が平方数に対する比をもたない。

• 　前節、前々節、
  　命題５ー１３の補足４（異なる比に同じ比は異なる）
  による。
• 　正方(_Ｅ)：正方(_ＧＨ)≠平方数：平方数
  となっている。

ゆえに
　Ｅは
　　ＧＨと長さにおいて通約できない。

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

ところが
　ＦＧとも通約できない
ことが先に証明された。

• 　（６）による。
• 　Ｅ¬∩ＦＧ
  となっている。

したがって
　ＦＧ、ＧＨの双方は
　　Ｅと長さにおいて通約できない。
　　　　　　[......(１０)]

• 　前節、前々節による。
• 　Ｅ¬∩（ＦＧ、ＧＨ）
  となっている。

そして
　ＢＡがＡＣに対するように、
　ＦＧ上の正方形が
　　ＧＨ上の正方形に対する
　　　　　　　[......(７)]

• 　（３）による。
• 　ＢＡ：ＡＣ＝正方(_ＦＧ)：正方(_ＧＨ)
  となっている。

から、
　ＦＧ上の正方形は
　　ＧＨ上の正方形より大きい。

• 　前節、
  　定義５ー５（同じ比）
  による。
• 　正方(_ＦＧ)＞正方(_ＧＨ)
  となっている。

そこで
　ＧＨ、Ｋ上の正方形の和が
　　ＦＧ上の正方形に等しい
とせよ。
　　　　　　　　[......(８)]

• 　命題１ー３（作図・等しい線分を切り取る）
  により、
  　点Ｌ(ＦＧ;ＧＬ＝ＧＨ)、
  をとると、
  　命題２ー５（線分の矩形分割）
  により、
  　正方(_ＦＧ)＝正方(_ＧＨ)＋矩形(ＦＨ,ＦＬ)
  となり、
  　命題６ー１７の補足 (作図.線分上に矩形と等しい正方形)
  により、
  　線分Ｋ(;正方(_Ｋ)＝矩形(ＦＨ,ＦＬ))
  をとる。
  
• 　正方(_ＧＨ)＋正方(_Ｋ)＝正方(_ＦＧ)
  となっている。

そうすれば
　反転比により
　ＡＢがＢＣに対するように、
　ＦＧ上の正方形が
　　Ｋ上の正方形に対する。

• 　（７）、前節、
  　命題５ー１９の系の補足２(比例ならば反転も比例)
  　命題５ー７（同一量の比）
  による。
  
• 　ＡＢ：ＢＣ＝正方(_ＦＧ)：正方(_Ｋ)
  となっている。

ところが
　ＡＢは
　　ＢＣに対し、
　　平方数が平方数に対する比をもたない。

• 　命題の設定による
• 　ＡＢ：ＢＣ≠平方数：平方数
  となっている。

したがって
　ＦＧ上の正方形も
　　Ｋ上の正方形に対し、
　　平方数が平方数に対する比をもたない。

• 　前節、前々節、
  　命題５ー１３の補足４（異なる比に同じ比は異なる）
  による。
• 　正方(_ＦＧ)：正方(_Ｋ)≠平方数：平方数
  となっている。

それゆえ
　ＦＧは
　　Ｋと長さにおいて通約できない。

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

ゆえに
　ＦＧ上の正方形は
　　ＧＨ上の正方形より
　　ＦＧと通約できない線分上の正方形だけ大きい。

• 　（８）、前節、
  による。
• 　正方(_ＦＧ)＝正方(_ＧＨ)＋正方(_Ｋ)、
  　ＦＧ¬∩Ｋ
  となっている。

そして
　ＦＧ、ＧＨは
　　平方においてのみ通約できる有理線分であり、
　それらのいずれも
　　定められた有理線分Ｅと
　　長さにおいて通約できない。

• 　（９） （１０）による。
• 　ＦＧ、ＧＨ；有理線分、
  　ＦＧ∩^^2 ＧＨ、
  　Ｅ¬∩（ＥＦ、ＦＧ）
  となっている。

よって
　ＦＨは第６の二項線分である。

• 　前節、
  　定義１０�Uー６（第６のニ項線分）
  による。
• 　ＦＨ；第６の二項線分
  となっている。

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

• 命題１０ー５３は、
  のことである。
• 命題１０ー５３は推論用命題である。

  前提	作図・構成	推論
  定義		5-5,10-3補,10-4補,補(題10-36), 10II-6
  公準
  公理
  命題	1-3,6-12,6-17補,補2(義10-3),10-10補	2-5,5-7,5-13補4,5-19系補2,5-22,10-6,10-9,10-50補
  その他	コ4(題7-1)

前 　　 次 　　 目次 　　頁頭