>>408

log 2は底がeだから見たら無理数ってわかるだろって言いたかっただけ。
log 2が無理数の証明なら、
もし有理数と仮定するとlog 2=p/q(p,qはたがいに素な整数)とおける。
∴2^q=e^pとなり、
左辺は整数、右辺は整数でない実数なので矛盾。よって仮定は誤りであり、log 2は無理数である
(Q.E.D.)

でいいと思うが、入試問題としてきかれてない限り、log 2は無理数としていいと思う。

上式のe^pが無理数だというのも高校数学の範囲外ではないのか？