sn为数列an的前n项和已知an大于0an平方等于