← problem archive problem 1464 medium trigonometry Prove that \( \frac{\cos 7x + \cos 5x}{\sin 7x - \sin 5x} = \cot x \)