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

（１５）はじめに

今回は、
　　３部から構成されている第１０巻の第２部
　　　である。

この部では
　　第１部の最後に
　　　登場した，
　　二項線分、第一双中項線分、第二双中項線分、優線分、
　　中項面積と有理面積の和に等しい正方形の辺、
　　中項面積の和に等しい正方形の辺という，
　　無理線分の分類（６種類）を
　　　受けて，
　無理線分の相互関係が
　　　明らかにされてゆく．
まず，
　　定義として，
　二項線分が
　　６種類に
　　　分類される．
そして，
　　命題に
　　　入り，
　この６種類が，
　　現実に作図可能
　　　である
ことが示される．
次いで，
　　有理線分と
　　この６種類の二項線分によって
　　　囲まれる
　矩形の面積に等しい正方形の辺が
　　第１部の最後に登場した６種類の無理線分
　　　である
こと，
また，
　その逆も
　　　成立する
ことが証明される．
さらに，
　６種類の無理線分と通約可能なものは，
　　同じ種類の無理線分
　　　である
こと、
そして、
　有理面積と中項面積の和に等しい正方形の辺が
　　６種類の無理線分のうちの４種類
　　　であり、
　２つの中項面積の和に等しい正方形の辺が
　　残りの２種類と
　　　なる
ことが証明される．
以上、
　６種類の無理線分の分類の根拠となるものは、
　線分上の正方形の面積和と囲む矩形の面積が
　　有理面積と中項面積のどちら
　　　であるか
ということと、
　線分が
　　平方において通約と非通約のどちら
　　　であるか
ということであった。
　上記のことを、
　　有理平方和、中項平方和、
　　有理矩形、中項矩形、
　　平方通約、平方非通約、と
　　　表記する
と、
　有理平方和、中項矩形、平方通約
なら
　その和は
　　二項線分
　有理平方和、中項矩形、平方非通約
なら
　その和は
　　優線分
　中項平方和、有理矩形、平方通約
なら
　その和は
　　第１の双中項線分
　中項平方和、有理矩形、平方非通約
なら
　その和は
　　中項と有理面積の和となる正方形の辺
　中項平方和、中項矩形、平方通約
なら
　その和は
　　第２の双中項線分
　中項平方和、中項矩形、平方非通約
なら
　その和は
　　中項面積の和に等しい正方形の辺
となり、
　　これまでに登場した無理線分に
　　　対応する。
　有理平方和、有理矩形、平方通約
なら
　その和は
　　有理線分、
は明らかで、
　残る組み合わせは、
　有理平方和、有理矩形、平方非通約、
　　　であるが、
　２線分の和、差が
　　ともに有理面積
　　　である
から、
　２線分の一方は
　　二項線分
ということになり、
　他方は
　　有理線分の差、
　　すなわち
　　次に登場する余線分と
　　　なる。
という次第で、
　線分上の正方形の面積和と囲む矩形の面積が
　　有理面積と中項面積のどちら
　　　であるか、
　線分が
　　平方において通約と非通約のどちら
　　　であるか
という基準の上で、
　　２線分の差に
　焦点が
　　　移り、
　余線分、第１の中項余線分、第２の中項余線分、
　劣線分、中項面積と有理面積の差に等しい正方形の辺、
　二つの中項面積の差に等しい正方形の辺が
　　　登場し、
　　その特徴を
　　　一瞥して

　１０巻の第二部が終わる。

なお、
　本文を読むに当たって、
　次のことに留意いただきたい。
　第１０巻第２部にあたり、繰り返しておく。

• ・印が付いている部分が解説である。
  
• 以下の命題において、
  　原典はギリシャ文字であるが、
  　通常のアルファベット（Ａ、Ｂ、Ｃ・・・）を用いる。
  
• 定義された用語、定義、公準、公理は
  　太文字で、
  　筆者が原論の本文を踏まえて、
  　補足して定義した
  　用語、定義の補足、公準の補足、公理の補足は
  　太斜体で、
  　記述している。
  それぞれ定義・補足しているところでは
  　　赤字で示している。
  
• 直線を並べる図は、
  　エクセルを用いて描いた。
  
• 特に、印をつけていない部分が、
  　ユークリッド原論の日本語訳で、
  　共立出版の中村幸四郎他訳
  　1996年6月25日付縮刷版第1刷による。
  
• ＜　＞は
  　筆者による大まかな分類である。
  ほんの少しではあるが、
  　必要に応じて、
  　本文を、
  　《　》で削り、
  　［　］で補って、
  　意味を通じやすくした。
  

前 　　 次 　　 目次 　　頁頭