背理法を用いた対数の証明問題

「log_(10) 2　（底が10です）は無理数である。」

を背理法をで証明したいのですがやり方がわかりません。

どなたかわかる方いましたら教えてください。

No.4 ベストアンサー 回答者： zeta0208 回答日時： 2012/06/14 21:25

有理数だと仮定すると　log_(10) 2＝n/m　(m　と　n　は互いに素の整数、mはZeroでない)とおける。

これは 10^n/m=2
つまり 10＾n＝2＾m とおける。

ここで左辺を素因数分解すると 2^n×5^nとなり
右辺と左辺で二通りの違った素因数分解できることになり矛盾している。
よって有理数ではない。

素因数分解の一意性を使うところが味噌

No.3 回答者： asuncion 回答日時： 2012/06/14 21:06

さらにヒント。

10^n=2^m
という式を見たとき、左辺の一の位の値は？
また、右辺の一の位の値が、左辺の一の位の値と等しくなることがあるか？

No.2 回答者： mister_moonlight 回答日時： 2012/06/14 14:52

定石通りにやればいいんじゃないの。

質問者に少しは考える事をしてもらいたいから、答案は完成させないでおく。

それが　有理数だと仮定すると　log_(10) 2＝n/m　(m　と　n　は互いに素の整数)とおける。
常用対数だから　10＾n＝2＾m　。そして、これが成立しない事を示せばよい。
それが成立しないのは、仮定が間違っていたから。よって、無理数だと言える。

(注)
10＾n＝2＾m　。そして、これが成立しない事を示せばよい。
左辺は10の倍数、右辺は2の倍数。その時、等号が成立する事があるか、どうか？
ここから先は、自分で考えたら良い。そこが　この問題の2つ目のポイント。

1つ目は、“有理数だと仮定すると　log_(10) 2＝n/m　(m　と　n　は互いに素の整数)とおける”と、する点。

No.1 回答者： f272 回答日時： 2012/06/14 14:48

log_(10) 2が有理数だとして

言い換えると，m，nを互いに素な自然数として
log_(10) 2=m/n
とあらわされるとして，矛盾を導けばよい。

この回答への補足

そこから詰まってしまうんです（＞＜）

補足日時：2012/06/14 16:08