一道高一的对数函数题

设f(x)=a^(-x)-log(a)x
当x增大时，-x减小，a^(-x)减小
当x增大时，log(a)x增大，-log(a)x减小
所以，当x增大时，f(x)=a^(-x)-log(a)x减小
f(x)是减函数

a^(-x)-log(a)x<a^(-y)-log(a)y
即f(x)<f(y)
根据函数值越大，应有自变量越小
所以x>y

若x<=y,则由a>1,a^(-x)>=a^(-y)
log(a,x)<=log(a,y)(此二式由指数函数和对数函数的增减性质可得出）
所以这样的话a^(-x) -loga 底 x>=a^(-y) -loga底 y
不符题意，所以x>y