高校数学解説

文献あり

フィボナッチ数を含む無限級数の小数表示から周期的な数列が現れる

循環小数,周期,フィボナッチ数

341

はじめに

この記事では、私がTwitterで公開した次の問題の解答を解説します。

この問題の背景には「小数第 $n$ 位の数字を返す関数」と「フィボナッチ数が現れる分数」があります。

さらに、応用編として、外側の床関数を外した時に現れるフィボナッチ数の漸化式に似た不思議な関係を紹介します。

問題

$⌊ (\sum_{k = 0}^{\infty} \frac{F_{3141592653 + k}}{10^{k}}) - 10 ⌊ \sum_{k = 0}^{\infty} \frac{F_{3141592653 + k}}{10^{k + 1}} ⌋ ⌋ = ?$

小数第 $n$ 位の数字を返す関数

まず、次のような $2$ 変数関数を考えます。

$f (a, n) = ⌊ 10^{n} a - 10 ⌊ 10^{n - 1} a ⌋ ⌋$

この関数は、ある実数 $a$ を小数表示したときの小数第 $n$ 位の数字を返します。
例えばこんな感じになります。

$f (π, 0) = 3$

$f (π, 1) = 1$

$f (π, 2) = 4$

$f (π, 3) = 1$

$f (π, 4) = 5$

$f (π, 5) = 9$

フィボナッチ数が現れる分数

$\frac{10}{89}$ を小数表示すると、フィボナッチ数を $1$ 桁ずつずらして足したものになることが知られています。こんな感じです。

$\begin{aligned} \frac{10}{89} & = 0.1123595505 \dots \\ = 0.1 \\ + 0.01 \\ + 0.002 \\ + 0.0003 \\ + 0.00005 \\ + 0.000008 \\ + 0.0000013 \\ + 0.00000021 \\ + 0.000000034 \\ + 0.0000000055 \\ + 0.00000000089 \\ + \dots \end{aligned}$

なぜこのようになるのかは、次のように説明できます。

$\begin{aligned} S & = 0.1 + 0.01 + 0.002 + 0.0003 + 0.00005 + 0.000008 + \dots \end{aligned}$

とすると、

$\begin{aligned} 100 S & = & 10 & + & 1 & + & 0.2 + 0.03 + 0.005 + 0.0008 + 0.00013 + 0.000021 + \dots \\ 10 S & = & 1 & + & 0.1 + 0.02 + 0.003 + 0.0005 + 0.00008 + 0.000013 + \dots \\ S & = & 0.1 + 0.01 + 0.002 + 0.0003 + 0.00005 + 0.000008 + \dots \end{aligned}$

辺々引いて

$\begin{aligned} 100 S - 10 S - S & = 10 + 0 + 0 + 0 + 0 + 0 + 0 + 0 + \dots \\ = 10 \\ 89 S & = 10 \\ ∴ S & = \frac{10}{89} \end{aligned}$

組み合わせる

それでは、先ほどの「小数第 $n$ 位の数字を返す関数」 $f (a, n)$ にこの分数 $\frac{10}{89}$ を入れてみるとどうなるかみてみましょう。

$f (\frac{10}{89}, 0) = 0$

$f (\frac{10}{89}, 1) = 1$

$f (\frac{10}{89}, 2) = 1$

$f (\frac{10}{89}, 3) = 2$

$f (\frac{10}{89}, 4) = 3$

$f (\frac{10}{89}, 5) = 5$

$f (\frac{10}{89}, 6) = 9$

確かに小数第 $n$ 位の数字が返ってきていますね。

循環節の長さを調べる

ところで、 $\frac{10}{89}$ は有理数ですから、小数にすると循環小数になるはずです。その循環節の長さはどれくらいでしょうか。
実際に計算してみると

$\frac{10}{89} = 0.1123595505617977528089887640449438202247191011235955 \dots$

となり、どうやら循環節は $44$ になりそうとわかります。
WolframAlphaなどで確かめると、

$10^{44} \equiv 1 \mod 89$

ですから、確かに循環節の長さは $44$ であることが確認できました。

余談ですが、「素数 $p$ の逆数の循環節の長さは、 $p - 1$ の約数である(ただし $2, 5$ の逆数については循環節の長さを $1$ とする)」ことが知られています[1]。

$89$ は素数で、 $44$ は確かに $89 - 1 = 88$ の約数になっていますね。

周期性を考える

循環節の長さが $44$ とわかりましたので、次のように $f (\frac{10}{89}, n)$ は周期を持つことがわかります。

$f (\frac{10}{89}, n + 44) = f (\frac{10}{89}, n)$

問題の答え

ここまでくれば問題の答えはすぐそこです。

じつは、この問題の式は次のように変形できます。

$⌊ (\sum_{k = 0}^{\infty} \frac{F_{3141592653 + k}}{10^{k}}) - 10 ⌊ \sum_{k = 0}^{\infty} \frac{F_{3141592653 + k}}{10^{k + 1}} ⌋ ⌋ = f (\frac{10}{89}, 3141592653)$

そのことを確認しておきましょう。

「フィボナッチ数が現れる分数」のところでみたように、

$\begin{aligned} \frac{10}{89} & = \sum_{k = 1}^{\infty} \frac{F_{k}}{10^{k}} \end{aligned}$

ですから、これを使って $f (\frac{10}{89}, n)$ を変形すると

$\begin{aligned} f (\frac{10}{89}, n) & = f (\sum_{k = 1}^{\infty} \frac{F_{k}}{10^{k}}, n) \end{aligned}$

となります。

ところで、総和のうち $k < n$ の部分は小数第 $n$ 位の数字に影響を与えませんから、

$\begin{aligned} f (\frac{10}{89}, n) & = f (\sum_{k = 1}^{\infty} \frac{F_{k}}{10^{k}}, n) \\ = f (\sum_{k = n}^{\infty} \frac{F_{k}}{10^{k}}, n) \end{aligned}$

となります。

更に変形していけば

$\begin{aligned} f (\frac{10}{89}, n) & = f (\sum_{k = n}^{\infty} \frac{F_{k}}{10^{k}}, n) \\ = ⌊ (10^{n} \sum_{k = n}^{\infty} \frac{F_{k}}{10^{k}}) - 10 ⌊ 10^{n - 1} \sum_{k = n}^{\infty} \frac{F_{k}}{10^{k}} ⌋ ⌋ \\ = ⌊ (\sum_{k = 0}^{\infty} \frac{F_{n + k}}{10^{k}}) - 10 ⌊ \sum_{k = 0}^{\infty} \frac{F_{n + k}}{10^{k + 1}} ⌋ ⌋ \end{aligned}$

この式に $n = 3141592653$ を代入すれば、

$\begin{aligned} f (\frac{10}{89}, 3141592653) & = ⌊ (\sum_{k = 0}^{\infty} \frac{F_{3141592653 + k}}{10^{k}}) - 10 ⌊ \sum_{k = 0}^{\infty} \frac{F_{3141592653 + k}}{10^{k + 1}} ⌋ ⌋ \end{aligned}$

となり、確かに等式が成り立つことが確認できました。

ここで、 $\frac{10}{89}$ の循環節の長さは $44$ で、 $3141592653 = 71399833 \times 44 + 1$ なので、

$\begin{aligned} f (\frac{10}{89}, 3141592653) & = f (\frac{10}{89}, 1) \\ = 1 \end{aligned}$

となり、

$\begin{aligned} ⌊ (\sum_{k = 0}^{\infty} \frac{F_{3141592653 + k}}{10^{k}}) - 10 ⌊ \sum_{k = 0}^{\infty} \frac{F_{3141592653 + k}}{10^{k + 1}} ⌋ ⌋ & = 1 \end{aligned}$

と、無事に問題の答えを導出できました!

初見はよくわからない式に見えたと思いますが、実は $\frac{10}{89}$ の小数第 $1$ 位の数を調べるだけで答えがわかる仕組みだったのでした。

$3141592653$ を選んだわけ

そして、引数として $3141592653$ を選択した理由も、 $44$ で割ると $1$ 余る数字だと簡単に答えがわかるからでした。円周率に出てくる数字をもとに $314, 3141, 31415, \dots$ と桁数を増やしていったところ、 $44$ で割ると $1$ 余る数字で最小のものが $3141592653$ だったので、この数字を選んでこの問題をつくったというわけでした。

応用編　外側の床関数を外す

実はこの式、外側の床関数を外すこともできます。
その場合の値は次のようになります。

$\begin{array}{r} g (n) := (\sum_{k = 0}^{\infty} \frac{F_{n + k}}{10^{k}}) - 10 ⌊ \sum_{k = 0}^{\infty} \frac{F_{n + k}}{10^{k + 1}} ⌋ \end{array}$
と定義すると、
$\begin{array}{r} {\begin{cases} g (1) = \frac{100}{89} \\ g (2) = \frac{110}{89} \\ g (3) = \frac{210}{89} \\ g (4) = \frac{320}{89} \\ g (5) = \frac{530}{89} \\ g (6) = \frac{850}{89} \\ g (7) = \frac{490}{89} \\ g (8) = \frac{450}{89} \\ g (9) = \frac{50}{89} \\ g (10) = \frac{500}{89} \\ g (11) = \frac{550}{89} \\ g (12) = \frac{160}{89} \\ g (13) = \frac{710}{89} \\ g (14) = \frac{870}{89} \\ g (15) = \frac{690}{89} \\ g (16) = \frac{670}{89} \\ g (17) = \frac{470}{89} \\ g (18) = \frac{250}{89} \\ g (19) = \frac{720}{89} \\ g (20) = \frac{80}{89} \\ g (21) = \frac{800}{89} \\ g (22) = \frac{880}{89} \\ g (23) = \frac{790}{89} \\ g (24) = \frac{780}{89} \\ g (25) = \frac{680}{89} \\ g (26) = \frac{570}{89} \\ g (27) = \frac{360}{89} \\ g (28) = \frac{40}{89} \\ g (29) = \frac{400}{89} \\ g (30) = \frac{440}{89} \\ g (31) = \frac{840}{89} \\ g (32) = \frac{390}{89} \\ g (33) = \frac{340}{89} \\ g (34) = \frac{730}{89} \\ g (35) = \frac{180}{89} \\ g (36) = \frac{20}{89} \\ g (37) = \frac{200}{89} \\ g (38) = \frac{220}{89} \\ g (39) = \frac{420}{89} \\ g (40) = \frac{640}{89} \\ g (41) = \frac{170}{89} \\ g (42) = \frac{810}{89} \\ g (43) = \frac{90}{89} \\ g (44) = \frac{10}{89} \\ g (44 + n) = g (n) (n = 1, 2, 3, \dots) \end{cases} \end{array}$

周期が $44$ もあるので長くなってしまいました。
どうやって外側の床関数を外したかはこの記事では省略しますので考えてみてください(といってもそんなに難しくはないです)。

ところで、上記の表をよく見ると、分子の部分に、まるでフィボナッチ数の漸化式のような規則性があることに気が付きました。
ある項の分子は前2項の分子の和( $890$ を超える場合は $890$ を引いた和)となっています。

$100, 110, \underset{= 100 + 110}{\underset{⏟}{210}}, \underset{= 110 + 210}{\underset{⏟}{320}}, \underset{= 210 + 320}{\underset{⏟}{530}}, \underset{= 320 + 530}{\underset{⏟}{850}}, \underset{= 530 + 850 - 890}{\underset{⏟}{490}}$

なぜこのようになるのかなど、気が付いたことなどあればコメント等いただければと思います。

おわりに

応用編の部分は、ゆうの右腕さんのツイートをみて思いつきました。ありがとうございました。

今回、フィボナッチ数を $10$ の累乗で割ったものの無限和の小数の周期が $44$ であることを利用して問題を作ってみました。フィボナッチ数はどんどん大きくなっていくのに、小数表示に周期があるのって不思議な感じがしませんか?

参考文献

[1]

循環小数, Wikipedia, 閲覧日 2021年5月18日, https://ja.wikipedia.org/wiki/%E5%BE%AA%E7%92%B0%E5%B0%8F%E6%95%B0#%E5%BE%AA%E7%92%B0%E7%AF%80%E3%81%AE%E9%95%B7%E3%81%95

投稿日：2021年5月18日

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

apu_yokai

488

66786

他の人のコメント

コメントはありません。

読み込み中

apu_yokai

フィボナッチ数を含む無限級数の小数表示から周期的な数列が現れる

はじめに
問題
小数第 $n$ 位の数字を返す関数
フィボナッチ数が現れる分数
組み合わせる
循環節の長さを調べる
周期性を考える
問題の答え
$3141592653$ を選んだわけ
応用編　外側の床関数を外す
おわりに
参考文献

フィボナッチ数を含む無限級数の小数表示から周期的な数列が現れる

はじめに

問題

小数第 n 位の数字を返す関数

フィボナッチ数が現れる分数

組み合わせる

循環節の長さを調べる

周期性を考える

問題の答え

3141592653 を選んだわけ

応用編 外側の床関数を外す

おわりに

参考文献

この記事を高評価した人

この記事に送られたバッジ

投稿者

コメント

他の人のコメント

小数第 $n$ 位の数字を返す関数

$3141592653$ を選んだわけ

応用編　外側の床関数を外す