【答案解析】[证]令f(t)=a ^t ，g(t)=cost，由题设条件可知，f(t)，g(t)在[x，y](0＜x＜y)上满足柯西中值定理条件，于是有

即 故
[解析] 原不等式等价于