因为无论a^(2*√2)与(a^√2)^2多么接近，都必然存在一个有理数x使得a^(2x)与a^(2*√2)更加接近，因此能在a^(2*√2)与(a^√2)^2之间插入一个a^(2x)=(a^x)^2导出矛盾

应该这样做：lna^2√2=2√2lna=√2lna²=2lna^√2

证明这种很基础的运算法则要注意循环论证的问题，只能用定义法或者更初级的方法，对数运算法则和幂运算是等价的，不能用

无理数的乘法交换律和分配律也可以类似证明