Page:Shinshiki Sanjutsu Kogi 00.djvu/427

提供:Wikisource
このページは校正済みです
411
(五)
連續的算法の擴張

を單調なる連續的算法となし,例へば より漸次增大して に至るとき より順次增大して に至るとなすときは, を以て なる間隙に屬せる或數となすとき

なる如き數 の間隙に於て必ず,而も唯一個に限り存在す.隨て を與へて之に應ずる を定むること常に可能なるが故に,此手續きは之を に施こせる一の算法と考ふることを得,此算法の結果は卽ち なるにより

と書くとき, は又單調にして連續的なり,卽ち より漸次增大して に至るときは も亦連續的に より漸次增大して に至る.是卽ちこゝに證明せらるべき定理の內容なり.

先つ轉倒の必可能なるべきを證せん. の間隙中より任意に なる數