Page:Shinshiki Sanjutsu Kogi 00.djvu/315

このページは校正済みです
299
(五)
ユークリツドの法式

より

を得, の亦 の約量なるを知る,次第に斯の如く遡り行きて竟に の約量なるを知る, の公約量なり.

是故に には公約量あり,其一つを と名づくれば は亦 の約量,隨て又 の約量なり. の公約量にして, の公約量は必ず の約量なり.是 の最大公約量なるを示せるに非ずして何ぞや.

第二の場合は,ユークリツドの法式の決して終局に達することなき,是なり.

さて

にして,又 隨て なるにより