上の二重根号のついた数(以下、与式)の取りうる値の範囲を計算してみます。
\begin{align*}\sqrt{2}&=1.41421356\ldots≒1.41\\ \sqrt{3}&=1.7320508\ldots≒1.73\\ \sqrt{5}&=2.2360679\ldots≒2.23\end{align*}
計算に使用する無理数は次の3つで\sqrt{2}を1.41、\sqrt{3}を1.73、\sqrt{5}を2.23とみなします。
\begin{align*}2-\sqrt{2}&=2-1.14=0.59\\ \sqrt{2-\sqrt{2}}&=\sqrt{0.59}\end{align*}
根号の中の2-\sqrt{2}は小数にすると0.59となります。したがって、与式は\sqrt{0.59}とも表すことができます。
しかし、\sqrt{0.59}は手計算で具体的にどんな値であるかを表すことが困難です。なので\sqrt{0.59}の値を直接求めるのではなく、\sqrt{0.59}に近く、\sqrt{2}、\sqrt{3}、\sqrt{5}を使って表すことができる数で取りうる値の範囲で表すことにします。
\sqrt{0.59}より大きい数で上記条件を満たすのは\sqrt{0.60}です。
0.60=\frac{2^2×3×5}{10^2}
\sqrt{0.59}より小さい数だと\sqrt{0.54}が該当します。
0.54=\frac{2×3^3}{10^2}
このことから、\sqrt{0.59}は0.73より大きく0.77より小さいことがわかります。
\begin{align*}\sqrt{0.54}<\sqrt{0.59}&<\sqrt{0.60}\\ 0.73<\sqrt{0.59}&<0.77\end{align}
よって、\sqrt{0.59}は与式を変換したものなので、手計算で調べた与式の取りうる値の範囲は
\begin{equation}0.73<\sqrt{2-\sqrt{2}}<0.77\end{equation}
であることが示せました。
余談
2\pi :8\sqrt{2-\sqrt{2}}=\pi:3.06
となります。円周より内接する正八角形の周の長さのほうが短いので\pi>3.06となるのですが、3.06というのは電卓を使って求めた値です。
なので、今回手計算で求めた値を使うとどのように違いがあるのかを見てみます。
まず、(1)の各辺を4倍します。
2.92<4\sqrt{2-\sqrt{2}}<3.08
すると、手計算の場合は3.06ではなく、2.92より大きく3.08より小さいという曖昧なものになります。
すると、手計算の場合は3.06ではなく、2.92より大きく3.08より小さいという曖昧なものになります。
赤の範囲は与式の4倍は\piより大きいという関係式なので、与式の4倍の値に関する青の範囲をすっぽり覆うように置かなくてはなりません。
また、\piは本来およそ3.14という値がありますが、この記事では\piの値は未定であるとして赤の範囲を描いています。
図1より、円周率の値を手計算で求めたとするのであれば、\pi>3.06ではなく\pi>2.92と書くことになります。
なので、東大入試で出たという円周率が3.05より大きいことの証明を円に内接する正八角形から導こうとするのは電卓のない状況では無理ということになりますね。
Share: