【中学生にオススメ】 平方根の「もう少し精度の良い」近似値評価

はじめに

中学生で習う“平方根で表される無理数”（例えば，$\sqrt{2}$や$\sqrt{3}$が挙げられる）の近似値の評価として，その数前後の平方数の平方根で評価するというのがポピュラーかと思われる．
例えば，$\sqrt{17}$を例に挙げると，$17$は$16$と$25$という2つの平方数にて，$16<17<25$と評価される．ゆえに，全辺平方根をとると，$\sqrt{16}<\sqrt{17}<\sqrt{25}$．すなわち，$4<\sqrt{17}<5$という評価を得る．
しかし，この評価はだいぶ雑である．いかんせん整数部分でしかその無理数を評価できないからである．そこで，中学生でも理解できる範疇で，もう少し精度の良い近似評価が得られれば，中学生の検算にも少しは役立つだろう．．．

とか何とか中学生のころ考えていた筆者であるが，最近Youtubeを見ていたとき，ある動画（参考文献[1]に挙げている）を見つけた．

その動画では，平方根で表される無理数の近似評価として次の例を挙げていた．

なるほど，実際に電卓で計算してみると，$\sqrt{87}\simeq 9.3273...$となることから，確かに（整数部分だけの評価と比べると）精度よく近似出来ている．
他にも，動画内では$\sqrt{65},\sqrt{27}$も同様のアルゴリズムで近似評価を行っていた．

ただし，動画はそのアルゴリズムの紹介のみで証明には言及していなかったので，今回の記事ではその証明を2通り書いた．

また，発展的な例も挙げておいた．

アルゴリズムの命題化

動画で言及されている“平方根（で表される無理数）”の近似値は，実は不等式として上から押さえた評価であると予想がつく．例えば，例１に挙げた$\sqrt{87}\simeq 9.33...$もそうだし，他にも動画内で紹介されていた$\sqrt{65},\sqrt{27}$はそれぞれ，$8.0625,5.2$と近似評価を得ているが，これらもそうである．

実際，表にしてみれば解りやすい．

このことから，この近似評価アルゴリズムは次の命題として一般化が考えられる．

例えば，$p=87,n=81$とすると，例１の近似が得られる．

この命題１の証明を中学生向けと大学生向けの2通りで行った．

中学生でも分かる証明

命題１の中学生向けの証明としては，平方根（で表される無理数）に対して，分母（あるいは分子）の有理化があったことを利用し示していく．

大学生向けの証明

さて，中学生向けの証明では分子の有理化がポイントであったが，大学生（あるいは勤勉な高校生）向けには次に挙げる平均値の定理を使った証明の方が馴染み深いかもしれない．

証明は各自，微分積分学等のテキスト・参考書を参照されたい．（例えば，参考文献[2]を挙げておく．）

それでは，平均値の定理を用いて命題１を証明していこう．

発展例

さて，この平均値の定理を用いた証明では，$n<c<p$を満足する$c$を得られていることから，実は$\sqrt{p}$を下からも評価することが可能であり，次の命題が示される．

実際，例１に対して次のように下からの評価も得られる．

まとめ

今回はYoutubeの動画をきっかけに平方根で表される無理数の近似評価を証明しました．中学時代にこの評価のテクニックを知っていれば，あの頃もう少し自信を持って平方根の問題に取り組めていたのかもしれない...（笑）

今後も面白いと思った色々な問題や命題をmathlogに挙げていきます．
それでは今回はここまで．有難うございました．
次回もよろしくお願いします．