cos²(c/2)=(1+cosC)/2
cos²（A/2)=(1+cosA)/2
就有（a+c)/2+1/2(acosC+ccosA）=3b/2
再用余弦定理把cos转化就出来了.