■完全ベキ乗数とカタラン予想(その5)

n=a^b=b^a、n,a,bは整数、aとbは異なる整数とする

alogb=bloga

したがって、logaとlogbは線形独立でない→b=a^kとおく。

ak=a^k→k=2

2a=a^2→a=2,b=4,n=16がこれを満たす唯一の解である。

===================================