（2012•绵阳三模）对于定义在区间D上的函数f（X），若存在闭区间[a，b]?D和常数c，．使得对任意x₁∈[a，b]，都有f（x₁）=c，且对任意x₂∈D，当x₂∉[a，b]时，f（x₂）＜c恒成立，则称函数f（X）为区间D上的“平顶型”函数．给出下列说法：
①“平顶型”函数在定义域内有最大值；
②“平顶型”函数在定义域内一定没有最小值；
③函数f（x）=-|x+2|-|x-1|为R上的“平顶型”函数；
④函数f（x）=sinx-|sinx|为R上的“平顶型”函数．
则以上说法中正确的是．（填上你认为正确结论的序号）

以下说法正确的是．
①lg9•lg11＞1．
②用数学归纳法证明“1+a+a2+…+an+1=

1-an+2

1-a

(n∈N*，a≠1)”在验证n=1时，左边=1．
③已知f（x）是R上的增函数，a，b∈R，则f（a）+f（b）≥f（-a）+f（-b）的充要条件是a+b≥0．
④用分析法证明不等式的思维是从要证的不等式出发，逐步寻找使它成立的充分条件．