令p=n,q=1得 a_(n+1)=a_(n)*a_(1)
所以数列{an}是等比数列,且a_(n)=[a_(1)]^n
由a2=4,an>0得a1=2
所以a(n)=2^n
从而a9=2^9=512