Determine the smallest positive value of x (in degrees) for which tan (x+100∘)=tan(x+50∘)tan x tan (x−50∘).
Prove that cos 7x−cos 8x1+2 cos 5x=cos 2x−cos 3x