证明a*b*C=sinA*sinB*sinC