解析:(1)f(x)的定義域是(0,+∞).

.
當a≥0時,f
′(x)>0,故f(x)在(0,+∞)上是增函數(shù);
當a<0時,令f
′(x)=0,則2ax
2+2=0,所以,

,

(舍去).
當

時,f
′(x)>0,故f(x)在

上是增函數(shù);
當

時,f
′(x)<0,故f(x)在

上是減函數(shù).
故當a≥0時,f(x)的增區(qū)間是(0,+∞);
當a<0時,f(x)的增區(qū)間是

,減區(qū)間是

.
(2)①當a≥0時,f(x)在(0,+∞)上是增函數(shù),故在(0,1]上的最大值為f(1)=a+2ln1=a=-2,顯然不合題意;
②若

,即-1≤a<0時,(0,1]⊆

,則f(x)在(0,1]上是增函數(shù),故在(0,1]上最大值為f(1)=a=-2,不合題意,舍去;
③若

,即a<-1時,f(x)在

上是增函數(shù),在

上為減函數(shù),故在(0,1]上的最大值是

,解得:a=-e,符合.
綜合①、②、③得:a=-e.
(3)由g(x)=f(x)+(a-1)lnx+1,則g(x)=(a+1)lnx+ax
2+1,
則

,當a≤-2時,g
′(x)<0,故當a≤-2時,g(x)在(0,+∞)上為減函數(shù).
不妨設x
2≥x
1>0,則g(x
2)≤g(x
1),故|g(x
1)-g(x
2)|≥4|x
1-x
2|等價于g(x
1)-g(x
2)≥4(x
2-x
1),
即g(x
1)+4x
1≥g(x
2)+4x
2.
記h(x)=g(x)+4x,下面證明當x
2≥x
1>0時,h(x
1)≥h(x
2)
由h(x)=g(x)+4x=(a+1)lnx+ax
2+4x+1得:

=

≤0,
從而h(x)在(0,+∞)上為減函數(shù),故當x
2≥x
1>0時,h(x
1)>h(x
2),
即有:g(x
1)+4x
1≥g(x
2)+4x
2,
故當a≤-2時,對任意x
1,x
2∈(0,+∞),總有|g(x
1)-g(x
2)|≥4|x
1-x
2|.
分析:(1)求出函數(shù)的導函數(shù),對a≥0和a<0進行分類,當a≥0時,導函數(shù)恒大于0,當a<0時,由導函數(shù)的零點對定義域分段,根據(jù)導函數(shù)在各區(qū)間段內的符號,判斷出原函數(shù)的單調性;
(2)根據(jù)(1)中求出的單調區(qū)間,判斷出函數(shù)在(0,1]上的單調性,進一步求出函數(shù)在(0,1]上的最大值,由最大值等于-2求解a的值,符合條件保留,否則舍去;
(3)把函數(shù)f(x)的解析式代入g(x)=f(x)+(a-1)lnx+1,求出函數(shù)g(x)的導函數(shù)后,由a≤-2可知其導函數(shù)小于0,得到函數(shù)g(x)為定義域上的減函數(shù),不妨規(guī)定x
1和x
2的大小,把要證的不等式取絕對值移向變形,使問題轉化成證明一個函數(shù)的單調性問題,最后利用函數(shù)的導函數(shù)證明函數(shù)單調性.
點評:本題考查了利用導數(shù)研究函數(shù)的單調性,利用函數(shù)的導函數(shù)分析函數(shù)在閉區(qū)間上的最值,考查了分類討論的數(shù)學思想和數(shù)學轉化思想,在(3)的證明過程中,構造函數(shù)是該題的難點.屬難度較大的題目.