L.H.S
⇒cos(7x−5y)+cos(7y−5x)sin(7x−5y)+sin(7y−5x)
We know that
cosC+cosD=2cosC+D2⋅cosC−D2
sinC+sinD=2sinC+D2⋅cosC−D2
Therefore,
⇒2cos7x−5y+7y−5x2⋅cos7x−5y−7y+5x22sin7x−5y+7y−5x2⋅cos7x−5y−7y+5x2
⇒2cos2x+2y22sin2x+2y2
⇒cos(x+y)sin(x+y)
⇒cot(x+y)
R.H.S
Hence, proved.