Page:Shinshiki Sanjutsu Kogi 00.djvu/55

このページは校正済みです
39
(七)
除法の擴張

より大なる數となし, の倍數を

と大さの順序に書き竝べたりとするとき, なる數が若し の倍數ならずば,そは必ず相隣れる の二つの倍數の間にあり,卽ち

(1)

なるが如き數 は必ず存在す.

こゝに書き竝べたる の倍數を より始めて順次一つ一つ採りて之を と比較し行くに,先づ よりも小なり, 若し より大ならば との間にありて は卽ち なり, 若し より小ならば と比較 すべし, 若し より大ならば との間にありて は卽ち なり, 若し より小ならば と比較すべし.此手續きを順次反復するときは竟に なる數に到達せざるを得ず,若し然らずば の倍數は皆 よりも小なりといふ許すべからざる結論に陷るべし.現に の倍數にして