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

ユークリッド原論

第８巻
　
命題８ー１７（立方数の非整除、辺の非整除）
もし
　立方数が立方数を割り切らない
ならば、
　辺も辺を割り切らない
であろう。

そしてもし
　辺が辺を割り切らない
ならば、
　立方数も立方数を割り切らない
であろう。

• 立法数は、
  定義７ー２０による。
• 割り切るは、
  定義５ー１の補足２による。
• 辺は、
  定義７ー１８の補足による。

　立方数Ａが
　立方数Ｂを割り切らない
とし、
　ＣをＡの、ＤをＢの辺
とせよ。

• 　「数（について）・・・とせよ」は、
  　コメント４（命題７ー１）
  　参照のこと。
  
• 　Ｃ×Ｃ×Ｃ＝Ａ、Ｄ×Ｄ×Ｄ＝Ｂ、
  　Ａ not｜Ｂ 　となっている。

　ＣもＤを割り切らない
であろうと主張する。

　ＣがＤを割り切る
ならば、

• 　背理法の仮定である。

　ＡもＢを割り切る
であろう。

• 　命題８ー１５
  　（立法数の整除、辺の整除）
  による。

ところが、
　ＡはＢを割り切らない。

• 　命題の設定による。

　［これは、不可能である。］
したがって
　ＣはＤを割り切らない。

• 　背理法による。
• 　ここまでで、
  　前半が証明された。
  

また
　ＣがＤを割り切らない
とせよ。

　ＡもＢを割り切らない
であろうと主張する。

もし
　ＡがＢを割り切る
ならば、

• 　背理法の仮定である。

　ＣもＤを割り切る
であろう。

• 　命題８ー１５
  （立法数の整除、辺の整除）
  による。
  

ところが
　ＣはＤを割り切らない。

• 　命題の設定である。

　［これは、不可能である。］
したがって
　ＡはＢを割り切らない
であろう。

• 　背理法による。

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

• 　命題８ー１５の繰り返しとなっている。
• 命題８ー１７は推論用命題である。

  前提	作図	推論
  定義
  公準
  公理
  命題		8-15
  その他	コ4(題7-1)

前 　　 次 　　 目次 　　頁頭