Let and

⇒ and

where

Now, LHS is reduced to : tan(x+y)

⇒ ..eq(i)

As where

⇒

⇒

Similarly,

where

⇒

and

⇒ and

Putting these values in eq(i)

⇒

⇒

= RHS