>(1+(m/n))^(n/m)=((n+m)/n)^(n/m)が有理数 ⇔　(n+m)=(a+b)^m , n=a^m となる自然数a,bが存在

って自明？