sin²a3=（1/2)(1-cos2a3)
sin²a7=(1/2)(1-cos2a7)
sin(a3+a7)=sin2a5
于是cos2a7-cos2a3=-2sin2a5
2sin（a7+a3)sin(a7-a3)=-2sin2a5【和差化积】
sin4d=-1,0＜d＜1
于是d=π/4
s10最小,于是a10≤0且a11≥0
a1+9d≤0,且a1+10d≥0
得-5π/2≤a1≤-9π/4