注意事項: この記事では多量の数値計算を必要とします。手元にそろばんをご用意ください。全珠連で初段、日珠連で2級以上の計算能力があるなら十分だと思います。
注意事項: この記事では厘未満の小数の単位を扱います。どの単位がどの数を表すかについては
巨大数研究Wiki
などでご確認ください。
準備
のとき、次の式が成り立つことおよび級数が絶対収束することは既知とします。
(中辺は各項でどこが変化しているかを見やすくした形、右辺はとの差分を見やすくした形です)
誤差項の評価
とします。
真数がより小さい場合
を次の項で打ち切った残りは、
と評価できます。特に、と書ける場合、
と表されます。この形は後で使います。
真数がより大きい場合
を次の項で打ち切った残りは、
(全て複号同順)
と符号が交互に並ぶため簡単には評価できません。しかし、絶対値を取ると上と同じ形になるので、
と表されます。
また、であれば次以降の項の和の絶対値はを超えることはなく、したがって左中辺間の等号が成り立つことがないこともわかりますね。
さあ、計算の時間だ!
都合により、最初にを求めます。
が成り立つことが簡単な計算によりわかるので、右辺のそれぞれの項を計算します。
でも、どこまで計算するの?
Wolfram|Alphaによると、
となり、5忽程度の差があるようです。ということは、の誤差は1忽程度にしたいですね。そのために、とを6桁の精度で近似したいので、級数の各項を7桁の精度で近似します。
よし、計算だ
を求める
の級数にを代入して変形すると、
となります。計算しましょう。
右辺の沙以下の位を切り捨てて全部足すと、となります。ここからは誤差を評価します。
切り捨てた部分の合計を抑えるためにもう1桁だけ計算します。塵未満を切り捨てて沙の位だけ足すと、
となり、2繊で上から抑えられます(ここだけは精度を高く取りたいのでこのような計算をしました)。
また、次以降の部分は
となり、8沙で抑えられます。これらを足すと、2繊8沙となり、
と評価できます。
を求める
上と同様の手順で計算します。
符号が交互に変わることに注意しましょう。
沙以下の位を切り捨てた3つの合計はです。誤差を評価します。
切り捨ての誤差は-1~2繊で抑えられ、次以降の部分の絶対値は
なので、
となります。
を求める
なので、
となり、を1微3繊2沙の精度で近似できました。上限も下限も使うので両方必要です。
-\ln\left(1 - \frac{1}{5}\right) + 2 \ln{2} = \ln{5} 0.\hspace{1.5mm}223\hspace{1.5mm}143\hspace{1.5mm}3 + 2 \cdot 0.\hspace{1.5mm}693\hspace{1.5mm}146\hspace{1.5mm}31 = 1.\hspace{1.5mm}609\hspace{1.5mm}435\hspace{1.5mm}92 0.\hspace{1.5mm}223\hspace{1.5mm}143\hspace{1.5mm}58 + 2 \cdot 0.\hspace{1.5mm}693\hspace{1.5mm}147\hspace{1.5mm}63 = 1.\hspace{1.5mm}609\hspace{1.5mm}438\hspace{1.5mm}84 1.\hspace{1.5mm}609\hspace{1.5mm}438\hspace{1.5mm}84 \times 3.\hspace{1.5mm}141\hspace{1.5mm}592 = 5.\hspace{1.5mm}056\hspace{1.5mm}20 \cdots \ln{5^{\pi}} < 5.\hspace{1.5mm}056\hspace{1.5mm}21 -\frac{(m-1)!}{{(160 - x)}^m} -\frac{(n-1)!}{{(160 - c)}^n} \cdot \frac{x^n}{n!} = -\frac{x^n}{n \cdot {(160 - c)}^n} (0 < c < x) \ln{157} = \ln{160} - \frac{3^1}{1 \cdot {160}^1} - \frac{3^2}{2 \cdot {160}^2} - \frac{3^3}{3 \cdot {160}^3} - \cdots \frac{1}{n + 1} \cdot \frac{160}{157} \cdot \left(\frac{3}{160}\right)^{n+1} \ln{160} = 5\ln{2} + \ln{5} > 5 \cdot 0.\hspace{1.5mm}693\hspace{1.5mm}146\hspace{1.5mm}31 + 1.\hspace{1.5mm}609\hspace{1.5mm}435\hspace{1.5mm}92 = 5.\hspace{1.5mm}075\hspace{1.5mm}167\hspace{1.5mm}47 \ln{157} > 5.\hspace{1.5mm}056\hspace{1.5mm}239 \ln{5^{\pi}} < 5.\hspace{1.5mm}056\hspace{1.5mm}21 < 5.\hspace{1.5mm}056\hspace{1.5mm}239 < \ln{157} $$
なので、が示されました。
[前回の結果](https://mathlog.info/articles/3140)と合わせて、が整数でないことが証明できました!!!