s3=a1(1-q^3)/(1-q)
s9=a1(1-q^9)/(1-q)
s6=a1(1-q^6)/(1-q)
2s9=s3+s6
2a1(1-q^9)/(1-q)=a1(1-q^3)/(1-q)+a1(1-q^6)/(1-q)
2(1-q^9)=(1-q^3)+(1-q^6)
2q^9-q^3-q^6=0
q^3(2q^6-q^3-1)=0
2q^6-q^3-1=0
2q^6-q^3-1=0
2q^6=q^3+1
两边同时乘a1q
a1q(2q^6)=a1q(q^3+1)
2a1q^7=a1q+a1q^4
2a8=a2+a5