sin(a+b)乘以cosa= tan(a+b)有这种公式吗,有,请说明如何推导