Page:Shinshiki Sanjutsu Kogi 00.djvu/287

このページは校正済みです

271

（三）

正負整數の乘法

を正數なりとするも結果は一樣なるが故に，例へば $α = a$ は正 $β = - b$ は負にして，先づ $a > b$ ， $a = b + d$ となすときは，上の等式の左邊は $d γ$ に，又其右邊は $a γ - b γ$ に等しくして此等式は成立す．次に又 $α = a$ ， $β = - b$ ， $a < b$ ， $a + d^{'} = b$ と置かば，上の等式は $- d^{'} γ = a γ - b γ$ となりて直に明了なり．分配の法則の凡ての場合に成立するを知るべし．

最後に尙乘法及び其轉倒の結果の唯一なるべきを證明せざるべからず．先づ $α = α^{'}$ ， $β = β^{'}$ より $α β = α^{'} β^{'}$ を得んと欲せば，次の如く考ふべし． $α = α^{'}$ より $α - α^{'} = 0$ ， $(α - α^{'}) β = 0 \cdot β = 0$ 卽ち $α β - α^{'} β = 0$ ， $α β = α^{'} β$ ．又 $β = β^{'}$ ， $β - β^{'} = 0$ ， $α^{'} (β - β^{'}) = 0$ ， $α^{'} β = α^{'} β^{'}$ よりて $α β = α^{'} β^{'}$ ．

次に $α β = γ$ ， $α β^{'} = γ$ より $β = β^{'}$ を得んとするに，先づ $α β - α β^{'} = γ - γ = 0$ 卽ち $α (β - β^{'}) = 0$ ．是故に $α$ 及び $β - β^{'}$ の中少くともいづか一方は $0$ に等しからざるを得ず．よりて $α$ が $0$ ならざるときは $β - β^{'} = 0$ 卽ち $β = β^{'}$ ． $α$ が $0$ なるときは， $β = β^{'}$ なるを必せず，乘法の轉倒の唯一なるべしといへ