求证sinA+sinC=2*sin[A+C)/2]*cos[(A-C)/2]