数列{log2(an-1)}(n属于N#)为等差数列,且a1=3,a3=9