已知数列满足：且.
（1）求数列的通项公式；
（2）令，数列的前项和为，求证:时，且