（1）a₁=s₁=2-a₁，∴a₁=1，

s₂=a₁+a₂=2×2-a₂，

∴a₂=

3

2

，s₃=a₁+a₂+a₃=2×3-a₃，

∴a₃=

7

4

，

s₄-s₃=a₄，

∴2×4-a₄-a₃=a₄，a₄=

15

8

，

猜想a_n=2-

1

2n-1

（n∈N⁺）．

（2）证明：①当n=1时，a₁=2-

1

21-1

=1-1=1，猜想结论成立．

②假设当n=k（k≥1）时结论成立，即a_k=2-

1

2k-1

．

当n=k+1时a_k+1=s_k+1-s_k=2（k+1）-a_k+1-2k+a_k，

2a_k+1=2+a_k，a_k+1=1+

ak

2

=1+1-

1

2k

=2-

1

2(k+1)-1

．

所以当n=k+1时，猜想结论成立．

由（1）和（2）可知，对一切n（n∈N⁺）结论成立．