已知数列满足，且（）
（1）求，，（2）由（1）猜想的通项公式；
（3）用数学归纳法证明（2）的结果。