If \( \cos y = x \cos (a + y) \) and \( \cos a \neq \pm 1 \), prove that:
\[ \frac{dy}{dx} = \frac{\cos^2 (a + y)}{\sin a} \]
Translate the following passage into English: to be translated
Translate the following into English:
Translate the following passage into English: