解:(1)由已知得x>0,且

當k為奇數時,則f'(x)>0,故f(x)在(0,+∞)上是增函數;
當k為偶數時,則

,
所以當x∈(0,1)時,f'(x)<0,f(x)是減函數;當x∈(1,+∞)時,f'(x)>0,f(x)是增函數.故當k為偶數時,f(x)在(0,1)是減函數,在(1,+∞)是增函數;…(5分)
(2)①由已知得

,即

,而

所以

是以2為首項,2為公比的等比數列,故

,而{a
n}是正項數列,從而可得

. …(7分)
②由

,可得

所以

=

…(10分)
(3)當k為奇數時,f(x)=x
2+2lnx,假設存在實數b,使方程使

在區間(0,2]上恰有兩個相異實根.等價于方程

在區間(0,2]上恰有兩個相異實根.令

,
則

,
當x∈(0,1)時,h'(x)>0,當x∈(1,2]時,h'(x)<0
所以h(x)在(0,1)上是增函數,在(1,2]上是減函數
所以要使方程

在區間(0,2]上恰有兩個相異實根,等價于

故存在實數b,當

時,方程

在區間(0,2]上恰有兩個相異實根. …(13分)
分析:(1)求出函數的定義域,求出導函數,討論當k為奇數時,當k為偶數時兩種情形,然后利用函數的單調性與導函數符號的關系求出單調性.
(2)①由已知得

,得到

,從而

是以2為首項,2為公比的等比數列,利用等比數列的通項公式寫出數列{a
n}的通項公式;
②由

,可得

,下面利用拆項法求S
n并化簡,從而得出證明.
(3)對于存在性問題,可先假設存在,即假設存在實數b,使方程使

在區間(0,2]上恰有兩個相異實根.再利用其等價于方程

在區間(0,2]上恰有兩個相異實根.求出b的范圍,若出現矛盾,則說明假設不成立,即不存在;否則存在.
點評:本題考查利用導函數討論函數的單調性:導函數為正函數遞增;導函數為負,函數遞減,同時考查了分類討論的數學思想方法,屬于難題.