由题意,xy=a^c
故y=a^c/x
因为该函数在x>0时递减,所以y属于[a^(c-1)/2,a^(c-1)].
又因为存在y属于[a,a^2]:
即a^(c-1)/2>=a
a^(c-1)>=a^2
即
c>=2+loga(2)
c