解:(1)令x=y=1,f(2)=f(1)+f(1)+12+2k+3?k=0,則f(x+y)=f(x)+f(y)+3xy(x+y+2)+3
對于x,y∈R都成立
令x=t(t∈N*),y=1f(t+1)=f(t)+f(1)+3t(t+3)+3?f(t+1)-f(t)=3t
2+9t+4?f(2)-f(1)=3×1
2+9×1+4f(3)-f(2)=3×2
2+9×2+4
…f(t)=f(t-1)=3(t-1)
2+9×(t-1)+4
用疊加法 f(t)-f(1)=3[1
2+2
2+…+(t-1)
2]+9[1+2+…+(t-1)]+4+4•k…+4=

=t
3+3t
2-4
∴f(t)=t
3+3t
2-3(t≥2)又t=1適合上式f(t)=t
3+3t
2-3(t≥2)(t∈N*)
(2)若t∈N*,則t
3+3t
2-3=t?t
3-t+3(t
2+1)=0?(t-1)(t+1)(t+3)=0?t
1=1,t
2=-1,t
3=-3(舍)
又令x=y=0f(0)=-3
令y=-x-3=f(x)+f(-x)+(-6x
2)+3?f(x)+f(-x)=6x
2-6對x∈R都成立
若t為負整數,則f(t)=6t
2-6-f(-t)=6t
2-6+t
3-3t
2+3=t
3+3t
2-3
由t
3+3t
2-3=t(t+3)(t+1)(t-1)?t
1=-3,t
2=-1,t
3=1(舍)
若t=0,則f(t)═t無解 綜上,滿足f(t)=t,所有整數t為1,-1,-3;
(3)要使不等式恒成立,則只需

對t≥4,且t∈N*恒成立
即

對t≥4,且t∈N*恒成立
即且m≤(t-1)
min=3
實數m最大值為3
分析:(1)令x=y=1,求得k=0,由于對于x,y∈R都成立,故令x=t(t∈N*),y=1,可得f(t+1)-f(t)=3t
2+9t+4,從而利用疊加法,可求f(t)的解析式;(2)對t進行分類討論:若t∈N*,則t
3+3t
2-3=t?t
3-t+3(t
2+1)=0;若t為負整數,則f(t)=6t
2-6-f(-t)=6t
2-6+t
3-3t
2+3=t
3+3t
2-3;若t=0,則f(t)═t無解;(3)要使不等式恒成立,則只需

對t≥4,且t∈N*恒成立.
點評:本題考查抽象函數,賦值法是最常用的方法;不等式恒成立問題,通常利用最值法,本題屬于中檔題.