a1=−α, a2=α라 하면
a3=α+1, a4=α+2
(ⅰ) a4≤0, a9≤0인 경우
a4=α+2 (α≤−2)이므로
α9=α+7 (α≤−7)
a15=α+13
a15=1이므로 α+13=1
α=−12이므로 a1=12
(ⅱ) a4≤0, a9>0인 경우
a4=α+2 (α≤−2)이므로
a9=α+7
a9>0이므로 α>−7
a10=a9−3a3=α+7−3(α+1)=−2α+4
∴ a15=−2α+9
a15=1이므로 −2α+9=1
∴ α=4
그런데 α≤−2이므로 모순이다.
(ⅲ) a4>0, a9≤0인 경우
a4=α+2이므로 α>−2
a5=a4−2a2=α+2−2α=−α+2
a9=−α+6이므로 α≥6
∴ a15=−α+12
a15=1이므로 −α+12=1
∴ α=11
∴ a1=−11
(ⅳ) a4>0, a9>0인 경우
a4=α+2에서 α>−2
a5=a4−2a2=α+2−2α=−α+2
a9=−α+6이므로 α<6
a10=a9−3a3=−α+6−3(α+1)=−4α+3
∴ a15=−4α+8
a15=1이므로 −4α+8=1
∴ α=47
∴ a1=−47
이상에서 만족시키는 a1은 12, −11, −47이므로 모든 a1의 값의 곱은
12×(−11)×(−47)=231