由公式Sn=a1(1-q^n)/(1-q)Sn"即首项改为1/a1,公比改为1/q则Sn'=(1/a1)*[1-(1/q)^n]/[1-(1/q)] =(1/a1)*[(q^n)-1]/[q^n-q^(n-1)]Pn=a1a2...an =(a1^n)*q^[n(n-1)/2]Sn/Sn'=a1^2(q-1)q^(n-1)/(q-1) =a1^2q^(n-1)∴(Sn/Sn')^(n/2)=a1^nq^[n(n-1)/2]=Pn故原式成立