■2^1000は10^302より大きいか? (その30)

[Q]10^300<2^1000<10^302であることを示せ

===================================

[A]

2^10>10^3

2^1000>10^300

(2^10)/(10^3)=1024/1000

1+1/42<(2^10)/(10^3)<1+1/41

{(2^10)/(10^3)}^100<(1+1/41)^100={(1+1/41)^41}^2(1+41)^18<27

{(2^10)/(10^3)}^100>(1+1/42)^100={(1+1/42)^42}^2(1+1/42)^16>4・58/42

4<{(2^1000)/(10^300)<27

したがって、2^1000<27・10^300<10^302は証明された

===================================

上の解き方はよいと思うが、以下の解き方は疑問が残るだろう

[A]

2^1000=(1024)^100=(1+24/1000)^100・10^300<(1+25/1000)^100・10^300

=(1+1/40)^100・10^300={(1+1/40)^40}^5/2・10^300

ここで、2<(1+1/n)^n<3より

2^1000<3^5/2・10^300=243^1/2・10^300<256^1/2・10^300

=2^4・10^300

2^996<10^300より

log10(2)<300/996=25/83<0.3013

===================================

2^1000=(1024)^100=(1+24/1000)^100・10^300>(1+20/1000)^100・10^300

=(1+1/50)^100・10^300={(1+1/50)^50}^2・10^300

ここで、2<(1+1/n)^n<3より

2^1000>2^2・10^300

2^998<10^300より

log10(2)>300/998

これでは精度がよくない。

もっとe=2.718281828に近い値として2.5を選んでみると

2^1000>(5/2)^2・10^300=25/4・10^300=100/16・10^300

2^1004>10^302より

log10(2)>302/1004〜0.3008

===================================