Page:Shinshiki Sanjutsu Kogi 00.djvu/92

このページは校正済みです
76
負數及四則算法の再審

八,此處に定められたる算法は一價の轉倒を許す.詳しく言はゞ が如何なる數なりとも

なる條件に適合せる數 は必,而も唯一個に限り,存在すべし.

之を證明すること次の如し.先づ と同じ數なりとせば となして此條件を充實することを得.今 の與へられたるとき, が如何なる數なりとも此條件に適合せる數 存在すと假定し,例へば なりとせば II によりて 是故に に代ふるに を以てするときは, に於て,上の條件に適合せる數を得へし.是に於て數學的歸納法の兩段完きを得たり.

さて上の條件に適合せる數は の定まれる上は唯一個に限りて存在し得べきは,七によりて直ちに明了なるべし.

(三)