（2012•綿陽三模）對于定義在區(qū)間D上的函數(shù)f（X），若存在閉區(qū)間[a，b]?D和常數(shù)c，．使得對任意x₁∈[a，b]，都有f（x₁）=c，且對任意x₂∈D，當x₂∉[a，b]時，f（x₂）＜c恒成立，則稱函數(shù)f（X）為區(qū)間D上的“平頂型”函數(shù)．給出下列說法：
①“平頂型”函數(shù)在定義域內(nèi)有最大值；
②“平頂型”函數(shù)在定義域內(nèi)一定沒有最小值；
③函數(shù)f（x）=-|x+2|-|x-1|為R上的“平頂型”函數(shù)；
④函數(shù)f（x）=sinx-|sinx|為R上的“平頂型”函數(shù)．
則以上說法中正確的是．（填上你認為正確結(jié)論的序號）

以下說法正確的是．
①lg9•lg11＞1．
②用數(shù)學歸納法證明“1+a+a2+…+an+1=

1-an+2

1-a

(n∈N*，a≠1)”在驗證n=1時，左邊=1．
③已知f（x）是R上的增函數(shù)，a，b∈R，則f（a）+f（b）≥f（-a）+f（-b）的充要條件是a+b≥0．
④用分析法證明不等式的思維是從要證的不等式出發(fā)，逐步尋找使它成立的充分條件．