Page:Shinshiki Sanjutsu Kogi 00.djvu/229

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

213

（八）

循環小數の起源

きたり．是故に $b$ 若 $t$ に含まれざる素數因子を有せば $α$ の展開に於て剩項の $0$ となることなし，此場合に於ては展開の係數は竟に一定の週期を以て循環するに至るべし．

分母 $b$ が $t$ に含まれざる素數因子を有するときは， $b$ を素數冪に分解し，其中 $t$ に含まるゝ素數に屬するものと，然らざるものとを別々に集めて $b = b_{0} b^{'}$ となさば， $b_{0}$ の素數因子は盡く $t$ に含まれ， $b^{'}$ は $t$ と相素なり．しかするときは $b_{0} b^{'}$ は相素にして，指數 $l$ を適當にとるとき $b_{0}$ は $t^{l}$ の約數となる．さて $α$ に $t^{l}$ を乘ずれば

α t^{l} = \frac{a t^{l}}{b_{0} b^{'}} = \frac{a^{'}}{b^{'}}

を得， $a^{'}$ は $a \times (t^{l} : b_{0})$ なる整數にして $b^{'}$ と相素なり． $b$ 若 $t$ の素數因子を含まずば $b_{0}$ を $1$ ， $l$ を $0$ となすべく，隨て $b^{'} = b$ なり．

$α$ の展開は之を $α t^{l}$ の展開に歸着せしめ得べきが故に，吾輩は始めより

α = \frac{a}{b}