Question

已知函数f（x）的定义域为R，对任意实数x，y都有f（x+y）=f（x）+f（y）+

1

2

，且f(

1

2

)=0，当x＞

1

2

时，f（x）＞0．
（1）求f（1）+f（2）+…+f（n）（n∈N^*）；
（2）判断函数f（x）的单调性并证明．

Answer 1

（1）令x=y=

1

2

，则f(1)=f(

1

2

)+f(

1

2

)+

1

2

，∴f(1)=

1

2

，
则当n∈N*，f(n+1)=f(n)+f(1)+

1

2

，∴f（n+1）-f（n）=1，
∴{f（n）}是首项为

1

2

，公差为1的等差数列．
∴f（1）+f（2）+…+f（n）=

1

2

n+

n(n-1)

2

=

n2

2

；
（2）f（x）在（-∞，+∞）上是增函数．
证明：设x₁＜x₂，x₁，x₂∈R，
f（x₂）-f（x₁）=f（x₂-x₁+x₁）-f（x₁）=f(x2-x1)+f(x1)+

1

2

-f(x1)
=f(x2-x1)+f(

1

2

)+

1

2

=f(x2-x1+

1

2

)，
∵x₂＞x₁，∴x2-x1+

1

2

＞

1

2

，
由于当x＞

1

2

时，f（x）＞0，
∴f(x2-x1+

1

2

)＞0，即f（x₂）＞f（x₁），
∴f（x）在R上是增函数．