>>85
おまえベイカーの定理の主張わかってないだろ？？
その主張があれば、ほぼ関係ないということが分からないのか？？

π+log(2)が「有理数」と仮定すると
π+log(2)=pとおいて

(-i)*log(-1) + log(2) + (-p)*1 =0
となり、{log(-1),log(2),1}の(代数的数の集合)上線型独立であることに矛盾

これだけだろ
ベイカーが分かってるかどうかが全てだろ