数学中有a/sinA=b/sinB=c/sinC=(a+b+c)/sinA+sinB+sinC这个公式吗