>>31
log_{3}(4)を有理数と仮定すると、
log_{3}(4)=b/aとおける（aとbは互いに素な整数
両辺を整理すると、4=3^(d/a)より両辺をa乗して
4^a=3^b
ここで左辺は常に偶数、右辺は常に奇数だから等式は常に成り立たない
つまり最初の仮定が間違っており、log_{3}(4)は無理数//