arXiv探訪

興味の赴くままに数学するだけ

循環小数の2つの周期列に関する恒等式（Midy-Lewittesの定理）について

数学

有理数の小数展開も面白いという話を小耳にはさみ、Midyの定理を知り、その過程でLewittesの論文を読んだのでその読書感想文。

有理数を小数展開すると循環小数になる。例えば

{ \displaystyle \frac{1}{7}=0.142857142857\cdots=0.\overline{142857} }

のように、小数点以下に現れる数字が一定の周期を持つ。もちろん

{ \displaystyle \frac{1}{5}=0.2, \quad \frac{5}{12}=0.41666=0.41\overline{6} }

など、有限で終わったり、小数第一位から循環しない有理数もある。しかし今はこれらの例外については考えないことにしよう。実の所、これらは我々が偶々10進法を用いているための例外であって、一般には適当な{ B }進法で循環小数になる。

現れる数字を観察すると興味深い考察ができる。{ \frac{1}{7} }の循環列の周期は{ 6 }である。そこで{ 3 }桁ずつ区切って足すと

{ 142+857=999 }

と9が連続する。偶々かもしれないので他の数字についても考えよう。{ \frac{1}{13}=0.\overline{076923} }だから{ 76+923=999 }である。{ \frac{1}{17}=0.\overline{0588235294117647} }だから{ 5882352+94117647=99999999 }である。分母や分子を変えて色々計算してみると良い。{ \frac{1}{21}=0.\overline{047619} }のように常に9が連続するわけではないが、何らかの法則はありそうだ。

考察する対象を明確にしよう。我々は有理数{ \frac{x}{N} }の{ B }進法による小数展開を調べたい。ここで{ x, N, B }は正の整数であり、{ x, N }は互いに素としてよい。また{ B, N }も互いに素としてよい。実際{ N=N^{\prime} d }として{ N^{\prime}, B }は互いに素で、素数{ p }について{ p|d }なら{ p|B }が成り立つように取る。このとき{ k }が十分大で{ d|B^{k} }となり、

{ \displaystyle \frac{x}{N}=\frac{x}{N^{\prime}}\frac{B^{k}}{dB^{k}}=\frac{1}{B^{k}}\left(\frac{x^{\prime}}{N^{\prime}}\right) }

を得る。結局{ \frac{x^{\prime}}{N^{\prime}} }の小数展開を右にシフトしたものとなる。更に小数部分のみを考えるために{ 0\lt\frac{x}{N}\lt 1 }としてよい。なぜなら{ x=qN+r\,( 0\le r\lt N ) }とすれば{ \frac{x}{N}=q+\frac{r}{N} }であり、また{ r, N }は互いに素となるからである。

さて、小数展開はどのように計算しただろうか。{ \frac{x}{N}=0.q_{1}q_{2}q_{3}\dotsb }で表される小数展開は

{ \displaystyle \frac{x}{N}=q_{1}\frac{1}{B}+q_{2}\frac{1}{B^{2}}+q_{3}\frac{1}{B^{3}}+\dotsb }

が成り立つことを意味している。筆算を思い出せば、{ q_{i} }達の生成式は次のようになる。

命題 { 0\lt x \lt N }とする。{ x, N }及び{ B, N }は互いに素とする。

{ x_{1}=x, \quad x_{n}B=q_{n}N+x_{n+1}\,( 0\le x_{n+1}\lt N )\,( n\ge 1 ) }

とする。このとき{ 0\lt x_{n}\lt N, 0\le q_{n}\lt B }が成り立ち、{ x_{n}, N }は互いに素である。また級数{ \sum_{n}q_{n}\frac{1}{B^{n}} }は{ \frac{x}{N} }に収束する。

（証明）帰納法で示そう。{ q_{n}\ge 0 }となることは良いだろう。実際負とすると{ x_{n+1}=x_{n}B+( -q_{n} )N\ge N }となり、{ x_{n+1} }の取り方に矛盾する。さて{ n=1 }のとき、{ 0\lt x \lt N }より{ 0\lt xB \lt BN }である。{ x_{2}\ge 0 }だから{ q_{1}\lt B }でなければならない。次に{ n\ge 1 }について成り立つと仮定する。

{ x_{n}B=q_{n}N+x_{n+1} }

だから{ x_{n+1}=0 }とすると{ x_{n}B=q_{n}N }となり、{ x_{n}, N }及び{ B, N }が互いに素であることに矛盾する。また{ x_{n+1}, N }が共通素因子{ p }を持てば、{ p|x_{n}B }となり同様に矛盾する。{ q_{n+1}\lt B }は{ n=1 }の場合と同様に分かる。以上により{ n+1 }のときも成立する。

級数の収束は

{ \displaystyle \frac{x}{N}=\sum_{i=1}^{n}q_{i}\frac{1}{B^{i}}+\frac{x_{n+1}}{NB^{n}} }

より従う。{ \square }

以下では命題の条件を満たす{ ( x, N, B ) }についてのみ考える。

{ x_{n} }の取れる範囲は有限なので、数列{ ( x_{n} ), ( q_{n} ) }はある{ n }から周期的になる。ここで生成式より{ \mod{N} }で{ x_{n+1}\equiv Bx_{n}\equiv\dotsb\equiv B^{n}x }が分かる。今{ B, N }は互いに素だから、ある{ e\ge 1 }で{ B^{e}\equiv 1 }となる。よって{ x_{e+1}\equiv x_{1} }となるが、{ x_{n} }の範囲を考えれば{ x_{e+1}=x_{1} }でなければならない。つまり純周期的となる。故に{ q_{n} }も純周期的である。このような最小の{ e }を循環小数の周期と呼び、このとき

{ \displaystyle \frac{x}{N}=0.\overline{q_{1}\dotsm q_{e}} }

などと表す。特に{ q_{1}\dotsm q_{e} }を循環列とも呼ぶ。{ e }は{ B }と{ N }で決まるので、分子に依らず{ e }は等しい。

最初の例では循環列を2分したが、一般に{ d }個のブロックに分けよう。それぞれは{ k }個ずつとして、{ e=dk }が成り立つとする。このとき第{ j\,( 1\le j \le d ) }ブロックについて、表示の{ B }進値は

{ q_{( j-1 )k+1}B^{k-1}+q_{( j-1 )k+2}B^{k-2}+\dotsm+q_{jk}=:Q_{j} }

となる。ここで{ k }本の生成式

{ \begin{alignedat}{1} Bx_{( j-1 )k+1}&=q_{( j-1 )k+1}N+x_{( j-1 )k+2}, \\ \vdots & \\ Bx_{jk} &= q_{jk}N+x_{jk+1} \end{alignedat} }

を整理すれば

{ B^{k}x_{( j-1 )k+1}=Q_{j}N+x_{jk+1} }

を得る。{ 1\le j \le d }について和を取れば

{ \displaystyle B^{k}\sum_{j=1}^{d}x_{( j-1 )k+1}=N\sum_{j=1}^{d}Q_{j}+\sum_{j=1}^{d}x_{jk+1} }

となる。{ ( x_{n} ) }は周期的だから左辺の和と、右辺の第2項の和は等しい。よって

{ \displaystyle S_{d}( x ):=\sum_{j=1}^{d}Q_{j}, \quad R_{d}( x ):=\sum_{j=1}^{d}x_{( j-1 )k+1} }

とすれば

{ NS_{d}( x )=( B^{k}-1 )R_{d}( x ) }

が従う。この恒等式が鍵である。

以下{ N }と互いに素な{ N }未満の正の整数全体を{ N^{\ast} }と表す。

定理（Lewittesの定理） { N }及び{ d|e }に対し、以下は同値である。

  • 任意の{ x\in N^{\ast} }について、{ S_{d}( x )\equiv 0\,\mod{B^{k}-1} }が成り立つ。
  • ある{ x\in N^{\ast} }が存在して、{ S_{d}( x )\equiv 0\,\mod{B^{k}-1} }が成り立つ。
  • ある{ x\in N^{\ast} }が存在して、{ R_{d}( x )\equiv 0\,\mod{N} }が成り立つ。
  • { B^{k( d-1 )}+\dotsb+B^{k}+1\equiv 0\,\mod{N} }が成り立つ。

（証明）恒等式より、{ ( B^{k}-1 ) | S_{d}( x ) }なら両辺を{ B^{k}-1 }で割れば{ N | R_{d}( x ) }が分かる。逆に{ N | R_{d}( x ) }なら同様に{ ( B^{k}-1 ) | S_{d}( x ) }も分かる。従って2番目と3番目は同値である。1番目から2番目は自明。また

{ \displaystyle R_{d}( x )=\sum_{j=1}^{d}x_{( j-1 )k+1}\equiv\sum_{j=1}^{d}B^{( j-1 )k}x\,\mod{N} }

より、{ x, N }が互いに素であることから、

{ \displaystyle R_{d}( x )\equiv 0\Leftrightarrow\sum_{j=1}^{d}B^{( j-1 )k}\equiv 0 }

が従う。故に3番目と4番目は同値である。ところが4番の式には{ x }が現れないから、これは任意の{ x\in N^{\ast} }で成り立つ。従って4番目から1番目を得る。{ \square }

定義 上記の何れか（即ち全て）が成り立つとき、{ N }は{ d }に関する{ B }-Midy性を持つといい、このような{ N }の全体を{ M_{d}( B ) }で表す。

系 { B^{k}-1 }と{ N }が互いに素なら、{ N\in M_{d}( B ) }である。

（証明）

{ ( B^{k}-1 )( B^{k( d-1 )}+\dotsb+B^{k}+1 )=B^{e}-1\equiv 0\,\mod{N} }

より従う。

例えば{ d=1\,( k=e ) }のとき、{ M_{1}( B )=\emptyset }である。実際{ R_{1}( 1 )=1\not\equiv 0\,\mod{N} }である。よって考えるべきなのは{ d\gt 1 }の場合である。

命題 { N=p }を素数とする。{ e }は偶数とする。このとき{ p\in M_{2}( B ) }である。

（証明）{ e=2k }とする。このとき{ k }は周期ではないから{ B^{k}\not\equiv 1\,\mod{p} }である。故に{ B^{k}-1 }と{ p }は互いに素なので系より{ p\in M_{2}( B ) }を得る。{ \square }

定理（Midyの定理） { p }は素数とする。{ \frac{x}{p}=0.\overline{q_{1}\dotsm q_{e}} }について{ e=2k }とする。このとき循環列の前半と後半の和は{ B^{k}-1 }である。

（証明）{ p\in M_{2}( B ) }だから{ B^{k}+1\equiv 0\,\mod{N} }である。よって{ x_{k+1}\equiv B^{k}x\equiv -x\,\mod{N} }となる。ところが{ N^{\ast} }の元で{ -x }と合同なのは{ N-x }のみしかないので、{ x_{k+1}=N-x }が分かる。故に{ R_{2}( x )=x+( N-x )=N }である。恒等式より定理が従う。{ \square }

まとめ

実質的に小学生でも分かるような簡単な計算で、非常に興味深い恒等式と、それに伴う面白い結果が得られた。Lewittesの論文にはより詳細な考察があり、一般の{ d }についてのもう少し深い結果もあるが、基本的には上記の恒等式が全てである。より純代数的な状況で、似たような恒等式があるのかどうか、そこからMidyの定理の拡張のようなものが出てくるかどうか、更に研究してみる価値は充分にあると思う。

[1] Joseph Lewittes. Midy’s Theorem for Periodic Decimals. arXiv:math/0605182v1 [math.NT] 7 May 2006.

所感

クリスマスです。いつの間にやら、このブログを始めて3年が経ちました。石の上にも三年と言いますが、ゲームに勤しんだり、別の事に夢中になって時々席を離れてた為か、まだまだお尻は冷たいままです。冬の寒さに一層冷え込んだかもしれません。そんな未熟な私ですが、今後も変わらずマイペースに学んだことを発信していきたいと思いますので、また来年もどうぞよろしくお願い致します。良いお年を。