n+1/bn=3^(an+1-an)=q!=0;
故an+1-an=c=常数;
故an是等差数列;
a8+a13=a1+a21=m;
b1b2……b20=3^(a1+a2+……+a20)=3^(a1+a20)*20/2=3^(10*m);