若函数f（x）在其定义域内某一区间[a，b]上连续，且对[a，b]中任意实数x₁，x₂，都有f(

x1+x2

2

)≤

f(x1)+f(x2)

2

，则称函数f（x）在[a，b]上是下凸函数；有以下几个函数：
①f（x）=x²+ax+b，x∈R；
②f(x)=x+

1

x

，x∈(0，+∞)；
③f（x）=sinx，x∈[0，2π）；
④f(x)=tanx，x∈(-

π

2

，

π

2

)；
⑤f(x)=log

1

2

x，x∈(0，+∞)．
其中是下凸函数的是．