跪求高一的指数函数判断单调性

对a^x，a > 0，讨论它的单调性就不能不先说明它的确切定义。
指数函数是定义在整个实数区间上的。我们先说在整数上的定义：
a^n = a * a * ... * a （n > 0，下同）（n个a相乘）
a^0 = 1
a^(-n) = 1 / a^n
再说有理数集上的定义：
a^(1 / n) = a的n次算术根，
a^(p / q) = (a^p)的q次算术根，其中p / q是既约分数.
这样一来，有理数集上的指数函数就定义好了。并且用初等的方法不难证明在有理数集上a^(p / q)的单调性。事实上，对a^(p1 / q1)和a^(p2 / q2)，可以把分数p1 / q1和p2 / q2通分，这样分母相同，设分别是p1' / q， p2' / q。现在就是在比以a^(1 / q)为底，以p1'和p2'为指数的两个数大小。显然当a > 1时，a^(1 / q) > 1，从而可知函数是严格单调增的；反之，a < 1时，也能证出函数是严格单调减的。

现在对任意的实数x，可以取一个有理数列{Qn}，当n无限增大时它单调趋于x，那么就可以把a^x定义为a^Qn当n无限增大时的极限。
我们用有理数列来逼近指数函数，那么对相差任意接近的两个实数就可以取两个足够精确的有理数来代替它们，并且保持大小关系不变。（当然，这其中还有一些运算保证，比如说，前面那个定义为什么是合理的，即为什么极限存在等等，我就不写了。）这样一来，实数下指数函数的单调性可以化归为有理数下的单调性，并与之相同。

说实话，要是高三学了导数就好办了，既然是高一，那一般题目只有定义法了，也就是你说的求差法吧。不过高考的时候不用急这类题，反正学了导数的。
设x1