设a(n+1),an是数列中任意相邻两项,则
从第二项起,后项与前项的比是同一个常数的数列叫等比数列(大前提)
因为a(n+1)/an=cq^(n+1)/cq^n=q(常数)(小前提)
所以{an}是等比数列.(结论)