an=a1*q1^(n-1)
bn=b1*q2^(n-1)
假设cn=an*bn=a1*b1*q1^(n-1)*q2^(n-1)
则c（n+1）=a1*b1*q1^(n)*q2^(n)
显然c（n+1）/cn=q1*q2是常数
因此cn是等比数列,即an*bn是等比数列,且公比是an和bn公比之积