已知数列{a_n}满足S_n＋a_n＝2n＋1,  (1) 写出a₁, a₂, a₃,并推测a_n的表达式；
(2) 用数学归纳法证明所得的结论。