A-C=π/3怎么推出 根号3/2cos(B/2)=2sin(B/2)COS(B/2)