Applying the trigonometric identities in the LHS of the cos7x+cos5xsin7x−sin5x=cotx.
cos7x+cos5xsin7x−sin5x=2cos6xcosx2cos6xsinx
=cosxsinx
=cotx
=RHS