证明:(Ⅰ)设0≤x
1<x
2≤1,则x
2-x
1∈(0,1)
∴f(x
2-x
1)>0
∴f(x
2)-f(x
1)=f[(x
2-x
1)+x
1]-f(x
1)=f(x
2-x
1)+f(x
1)-f(x
1)=f(x
2-x
1)>0
即f(x
2)>f(x
1)
故f(x)在[0,1]上是单调递增的
解:(Ⅱ)因f(x)在x∈[0,1]上是增函数,则f(x)≤f(1)=1?1-f(x)≥0,
当f(x)≤f(1)=1时,容易验证不等式成立;
当f(x)<1时,则

对x∈[0,1]恒成立,
设

,从而则a≤1
综上,所求为a∈(-∞,1];
(Ⅲ)令S
n=

----------①,
则

=

--------------②,
由①-②得,

=

,即,S
n=

=

所以

.
分析:(Ⅰ)设0≤x
1<x
2≤1,由f(x
2)-f(x
1)=f[(x
2-x
1)+x
1]-f(x
1)=f(x
2-x
1)+f(x
1)-f(x
1)=f(x
2-x
1),结合对于任意x∈(0,1),总有f(x)>0及函数单调性的定义,可判断f(x)在[0,1]上为增函数;
(Ⅱ)由(I)中函数的单调性,可得f(x)≤f(1)=1,进而分f(x)=1,和f(x)<1两种情况讨论实数a的取值范围,最后综合讨论结果,可得实数a的取值范围.
(Ⅲ)S
n=

,利用错位相减法,可求出S
n的表达式,判断出S
n与1的大小,进而结合(I)中所得函数的单调性得到结论.
点评:本题考查的知识点是抽象函数及其应用,函数单调性与证明,函数恒成立问题,不等式比较大小,是函数,不等式与数列的综合应用,难度较大.