自然数の平方根を任意の精度で有理数近似する方法

はじめに

ハイレベルな記事が多い(と予想される)中、私は「日曜数学」らしく趣味に走った記事を書きたいと思います。テーマに選んだのは、Twitterで数学で遊んでいたときに見つけた自然数の平方根の有理数近似の方法です。方法自体はおそらく既知のものだと思いますが、この記事では私がどうやってこの方法に思い至ったかという部分を趣味全開で記事にしたいと思います。

この記事で取り扱うのは自然数の平方根を有理数近似する方法です。
例えば、こんな近似があります。

さて、上記の有理数近似はある方法で作ったものです。この方法を使うと、任意の精度で自然数の平方根を有理数近似することができます!
　……「任意の精度」の表現ではよくわからないかもしれません。もう少し正確に表現してみます。自然数の平方根を次のような分数表記にしたとき、分子が「ほとんど整数」となるようなものの小数部分を四捨五入することで得られる有理数近似を「良い有理数近似」とし、分子が整数に近いものから作った近似であるほど、「より良い有理数近似」であるとしましょう。

このとき、いくらでも「より良い有理数近似」となるような分数を得る方法を見つけたということです。

　その方法は、過去に私がtwitterで書いた内容と同じですし、この記事の最後に書いてありますので、結果だけ知りたい人は最後まで飛ばしてもらっても構いません。
　ですが、この記事では、どのようにこの方法を思いついたかについてここから少し詳しく書いてみたいと思います。

黄金比の累乗とフィボナッチ数の関係

　より良い有理数近似を作るためにまず最初に考えたのは、黄金比の累乗とフィボナッチ数の次のような関係でした。

参考: フィボナッチ数の一般項の四捨五入による表現の導出

なぜこのようなことができるのかというと、フィボナッチ数の一般項は次のように表すことができる(ビネの公式)のですが、

　　　　${\displaystyle \begin{array}{rl}{F}_n& =\underset{\text{第１項}}{\underbrace{\frac{{\left(\frac{1+\sqrt{5}}{2}\right)}^n}{\sqrt{5}}}}-\underset{\text{第２項}}{\underbrace{\frac{{\left(\frac{1-\sqrt{5}}{2}\right)}^n}{\sqrt{5}}}}\end{array}}$

この式を観察すると、第１項は公比 $\frac{1+\sqrt{5}}{2}$ の等比数列、第２項は公比 $\frac{1-\sqrt{5}}{2}$ の等比数列となっていることがわかります。
$\left|\frac{1-\sqrt{5}}{2}\right|=0.618\cdots <1$　ですから、 $n$ が大きいときは第2項はほとんどゼロになってしまうため、四捨五入を使った表現をつくることができたのでした。

自然数の平方根の有理数近似の方法への応用

ここで「第2項がほとんどゼロになる仕組みを応用すれば、良い有理数近似を作れそう!」というヒラメキがありました。具体的には$\sqrt{n}$ と一番近い整数との差の絶対値は1未満になることを利用して次のような計算をします。

この方法を一般化するとこうなります。

任意の精度で有理数近似する式の完成

次に、$A_k,B_k$を $n,k$ の式で表すことを考えます。
$A_k,B_k$ は次の式を展開して求めましたが、
　${\displaystyle {(N-\sqrt{n})}^k=A_k-B_k\sqrt{n}}$…❤️
少し考えれば次のような式も成り立つことが分かります。
　${\displaystyle {(N+\sqrt{n})}^k=A_k+B_k\sqrt{n}}$…♠️

❤️と♠️を、$A_k,B_k$　についての連立方程式と見て解くことで次の式が得られます。

二項係数を使うと、次のように書き換えることもできます。($A_k,B_k$の値は上記と同じものになります。)

分子の誤差を $d$ とすると、誤差 $d$ は次のように評価できます。

分母が2のべき乗になっていますので、kを大きくすればdはいくらでも小さくすることができることがわかりますね!
以上、フィボナッチ数の一般項の四捨五入表現から、自然数の平方根の良い有理数近似を得る方法を思いついたという、趣味全開の記事でした。

(追記)
もっと短い表現にできることに気が付きました。
なぜこういう表現ができるのかよかったら考えてみてください。