Question

已知復數z₁=log₂（2^x+1）+ki，z₂=1-xi（其中x，k∈R），記z₁z₂的實部為f（x），若函數f（x）是關于x的偶函數，
（1）求k的值；
（2）求函數y=f（log₂x）在x∈（0，a]，a＞0，a∈R上的最小值；
（3）求證：對任意實數m，函數y=f（x）圖象與直線y=

1

2

x+m的圖象最多只有一個交點．

Answer 1

（1）z₁z₂=（log₂（2^x+1）+ki）（1-xi）；所以f（x）=log₂（2^x+1）+kx，
因為函數f（x）是關于x的偶函數所以f（-x）=log₂（2^-x+1）-kx=log₂（2^x+1）+kx=f（x），所以2kx=-x，所以k=-

1

2

（2）由（1）可知f（x）=log₂（2^x+1）-

1

2

x，
所以y=f（log₂x）=log₂（x+1）-

1

2

log₂x=log2

x+1

x

=

log	( x + 1 x )2

，
所以x∈（0，a]，a＞0，a∈R，ymin=

log2( a + 1 a )(0＜a≤1) 1(a＞1)

（3）函數y=f（x）圖象與直線y=

1

2

x+m的圖象最多只有一個交點，
就是log₂（2^x+1）-

1

2

x=

1

2

x+m最多只有一個解，就是log₂（2^x+1）=x+m最多只有一個解，
因為函數log₂（2^x+1）是單調增函數，x+m也是單調增函數，
所以對任意實數m，函數y=f（x）圖象與直線y=

1

2

x+m的圖象最多只有一個交點．