分析:(1)利用三角函數的恒等變換化簡函數f(x)的解析式,結合函數f(x)的定義域為[0,
]、值域為[1,4],求得a、b的值.
(2)由(1)可得函數f(x)=2cos(2x+
)+3,由2x+
=kπ,可得 x=
-
,k∈z,從而得到函數f(x)的對稱軸方程.
(3)由f(x)>3,求得x的范圍,可得函數的定義域.根據復合函數的單調性,本題即求函數f(x)在定義域內的單調增區間,結合余弦函數的圖象可得,
f(x)在定義域內的單調增區間.
解答:解:(1)函數
f(x)=2acos2x-2asinxcosx+b=acos2x+a-
asin2x+b=2acos(2x+
)+b+a,
∵0≤x≤
,∴
≤2x+
≤
,∴-1≤cos2x≤
.
當a>0時,-a+b≤f(x)≤2a+b,又
{y|y=f(x),x∈[0,] }=[1,4],
∴
,解得
.
當a<0時,2a+b≤f(x)≤-a+b,又
{y|y=f(x),x∈[0,] }=[1,4],
∴
,解得
(舍去).
(2)由(1)可得函數f(x)=2cos(2x+
)+3.
由2x+
=kπ,可得 x=
-
,k∈z,
故函數f(x)的對稱軸方程為 x=
-
,k∈z.
(3)由函數y=log
2[f(x)-3],可得f(x)>3,即cos(2x+
)>0,故有2kπ-
≤2x+
≤2kπ+
,
解得kπ-
<x<kπ+
,k∈z,
故函數的定義域為(kπ-
,kπ+
),k∈z.
根據復合函數的單調性,本題即求函數f(x)在定義域內的單調增區間,結合余弦函數的圖象可得,
f(x)在定義域內的單調增區間為[kπ-
,kπ-
),k∈z,
即 函數y=log
2[f(x)-3]的單調增區間為[kπ-
,kπ-
),k∈z.
點評:本題主要考查三角函數的恒等變換,復合函數的單調性,余弦函數的單調性,屬于中檔題.