设正数数列{an}的前n项为Sn,取Sn=0.5*(an+1/an),猜测通向an并用数学归纳法证明