（1）证明：∵a₁=S₁，a_n+S_n=n，∴a₁+S₁=1，得a₁=

1

2

．
又a_n+1+S_n+1=n+1，两式相减得2（a_n+1-1）=a_n-1，即

an+1−1

an−1

=

1

2

，
也即

cn+1

cn

=

1

2

，故数列{c_n}是等比数列．
（2）∵c₁=a₁-1=-

1

2

，
∴c_n=-

1

2n

，a_n=c_n+1=1-

1

2n

，a_n-1=1-

1

2n−1

．
故当n≥2时，b_n=a_n-a_n-1=

1

2n−1

-

1

2n

=

1

2n

．
又b₁=a₁=

1

2

，即b_n=

1

2n

（n∈N^*）．