b/sinB=(a+c)/(sinA+sinC) 怎么证明