指数函数有理次幂大小比较的依据

(a^b)/(a^c)
=a^(b-c)
>a^0
=1
又a^c>0
所以a^b>a^c
再问： a^(b-c)>a^0，就是用了指数有理次幂的比较
再答： 设b-c=p/q(p,q属于Z) 因为a>1 所以a^p>1 所以a^(p/q)>1 整数范围内的结论就不用证明了吧 有理数域内的指数函数还没有必要用sup,inf这些来解决 如果涉及指数为实数的问题，可以这样解决： 任何实数都能用有理数列无限逼近（设bn->b,cn->c) 则f(b)=limf(bn),f(c)=limf(cn) 接下来就容易了
再问： 再追问一下下：是不是“因为a>1所以a^p>1”这条可以用的话，那a^(b-c)>1也可以直接写。我不觉得整数比有理数在这里有什么特殊的，而且是不是也来的有点牵强。 还有(a^b)/(a^c)=a^(b-c)与有理次幂大小比较到底哪个先哪个后？我想知道哪个或哪些是最原始的，可以推出后面其他的性质。
再答： a>1可以推出a^2>1（根据是a^(x+1)=a*a^x) 从而可以用归纳法推出a^q>1 进而有a^(1/q)>1 所以a^(p/q)>1 于是有理数范围内的问题都解决了