解:(1)

根據耐克函數的性質,

的單調遞減區間是

,證明如下:
設任意

,
則

=

∵

∴

∴f(x
1)-f(x
2)>0
所以

的單調遞減區間是

(2)∵

∴16a>b
4 基本事件總數為6×6=36,
當a=1時,b=1;
當a=2,3,4,5時,b=1,2,共2×4=8種情況;
當a=6時,b=1,2,3;
目標事件個數為1+8+3=12.因此所求概率為

.
分析:(1)利用函數單調性定義求單調區間,可先判斷其單調性,再用定義證明,證明時需經過設、差、變、判、結五步解決;
(2)先由f(x)>b
2恒成立,可知f(x)的最小值大于b
2,可得a、b間的不等關系,再利用古典概型公式,用列舉法得目標事件在基本事件總數中的比例即可
點評:本題綜合考查了函數單調性的定義及證明方法,函數、不等式與概率的綜合,解題時要認真體會函數問題是怎樣與計數概率聯系起來的