Page:Shinshiki Sanjutsu Kogi 00.djvu/277

このページは校正済みです
261
(二)
順及逆の算法

法を用ゐる.卽ち次の二つの關係は必ず相隨伴す.

一,二*,三,四の論理上必然の結果として次の諸定理を得.

五, とは相隨伴す.

二*によりて よりて一により

三,四を用ゐて此兩式より

を得,これより二*及四を用ゐて との必相隨伴すべきを知る.

五は一,二*,三,四の論理上必至の結果なり. は本來の數にして且 が可能なるときは卽ち が本來の數に等しきときは,五は本來の數に關せ