证明sinx+cos(x+y)siny/cosx-sin(x+y)siny=tan(x+y)