Let and

⇒ and

where

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

⇒ ..eq (i)..

As where

⇒

⇒

⇒

⇒

Now putting the values of tan x and tan y in eq(i)

⇒

⇒

= RHS