Example 16 Prove that cos 7x + cos 5x / sin 7x – sin 5x = cot x