Question

已知定義在（0，+∞）上的函數(shù)f（x）同時(shí)滿足如下三個(gè)條件：①對于任意x，y∈（0，+∞），都有f（xy）=f（x）+f（y）；
②當(dāng)x＞1時(shí)，f（x）＜0；③f（3）=-1
（1）計(jì)算f（9），f(

3

)的值；
（2）證明f（x）在（0，+∞）上為減函數(shù)；
（3）有集合A={（x₀，y₀）|f（x₀²+1）-f（5y₀）-2＞0，x₀，y₀∈（0，+∞）}，B={(x0，y0)|f(

x0

y0

)+

1

2

=0，x0，y0∈(0，+∞)}．問：是否存在（x₀，y₀）使（x₀，y₀）∈A∩B．

Answer 1

（1）∵對于任意x，y∈（0，+∞），都有f（xy）=f（x）+f（y）∴f（9）=2f（3）=-2；f（3）=2f（

3

）=-1，∴f（

3

）=-

1

2

（2）設(shè)任意x，y∈（0，+∞），且x＜y，且

y

x

=t  （t＞1）
則f（x）-f（y）=f（x）-f（tx）=f（x）-f（x）-f（t）=-f（t）
∵當(dāng)x＞1時(shí)，f（x）＜0，∴-f（t）＞0
∴f（x）＞f（y）
∴f（x）在（0，+∞）上為減函數(shù)
（3）依題意可得f（1）=0，f（

1

3

）=1，f（

1

9

）=2
f（x₀²+1）-f（5y₀）-2＞0?f（x₀²+1）＞f（5y₀）+2=f（5y₀）+f（

1

9

）=f（

5

9

y₀）?x₀²+1＜

5

9

y₀）①
f(

x0

y0

)+

1

2

=0?f(

x0

y0

)+f(

3

3

)=0?f（

3 x0

3y0

）=f（1）?

3 x0

3y0

=1②
將②代入①得27x₀²-5

3

x₀+27＜0
此不等式無解
故不存在（x₀，y₀）使（x₀，y₀）∈A∩B