证明:(1)任取-1≤x
1<x
2≤1,则
f(x
1)-f(x
2)=f(x
1)+f(-x
2)=

∵-1≤x
1<x
2≤1,∴x
1+(-x
2)≠0,
由已知

<0,又x
1-x
2<0,
∴f(x
1)-f(x
2)>0,即f(x)在[-1,1]上为减函数;
解:(2)∵f(x)在[-1,1]上为减函数,
故有

,
解得

,或

,
∴

(3)由(1)可知:f(x)在[-1,1]上是减函数,
且f(1)=1,故对x∈[-l,1],恒有f(x)≥1.
所以要使f(x)≤t
2-2at+1,对所有x∈[-1,1],a∈[-1,1]恒成立,
即要t
2-2at+1≥1成立,故t
2-2at≥0成立.
∴

,
解得:t≤-2或t≥2或t=0.
分析:(1)任取-1≤x
1<x
2≤1,则f(x
1)-f(x
2)=f(x
1)+f(-x
2)=

>0,由此能够证明f(x)在[-1,1]上为减函数;
(2)由f(x)是奇函数和(1)的结论知f(x)在上[-1,1]是减函数,所以

,由此能求出不等式的解集.
(3)由f(x)在[-1,1]上是减函数,知要使f(x)≤t
2-2at+1,对所有x∈[-1,1],a∈[-1,1]恒成立,所以

,由此能求出实数t的取值范围.
点评:本题考函数的恒成立的应用,对数学思维的要求比较高,要求学生理解“存在”、“恒成立”,以及运用一般与特殊的关系进行否定,本题有一定的探索性.综合性强,难度大,易出错.