cos(A-C)=1-cos2B-cosB,
cos(A-C)+cosB=2(sinB)^2,
cos(A-C)-cos(A+C)=2(sinB)^2,
sinAsinC=(sinB)^2,
ac=b^2
abc成等比数列.