那这不也是对的吗？只是一般用整数幂罢了

知道就行了，哪本书没写过废话

更何况这内容是小学的吧，小学的话次方都是正整数的，然后等于1也没用，那不就从2起吗

利用性质2 4确实只能推出这个结论，如果要拓展到n＞0需要继续推导

前面的吧友都没答到点子上
楼主可以想一想为什么aⁿ在n∉N的时候还存在呢

后面就有一道题：

不如直接讨论a^x的单调性

你不妨尝试证明一下幂是无理数的情况

根据不等式的这些性质，你只能推出对于正整数幂成立

f（x）=x^r，其中x大于0，r大于0，x、r属于实数。
f‘（x）=r*x^（r-1），r大于0；x大于0，所以x^（r-1）大于0；所以f’（x）大于0，函数f（x）在定义区间内单调递增。

因为7是6的推论

n可以改成x的 限制整数是因为非整数的时候比较复杂 怕你一时学不明白

无理数次方你会？