显然,b1,b2,b3>0,公比q>0;
将b2=q(b1);b3=q^2*(b1)代入得
a1=正负根号(b1);a2=正负根号q(b1);a3=q*正负根号b1;
又由于等差,a1+a3=2*a2
代入约去（根号b1）得
1+q=2*根号q
得q=1;OK