The given equation is:
\[
y = \sqrt{\cos x + y}.
\]
Square both sides to eliminate the square root:
\[
y^2 = \cos x + y.
\]
Differentiate both sides with respect to \( x \):
\[
2y \frac{dy}{dx} = -\sin x + \frac{dy}{dx}.
\]
Rearrange to collect \( \frac{dy}{dx} \)-terms:
\[
2y \frac{dy}{dx} - \frac{dy}{dx} = -\sin x.
\]
Factorize:
\[
\frac{dy}{dx} (2y - 1) = -\sin x.
\]
Solve for \( \frac{dy}{dx} \):
\[
\frac{dy}{dx} = \frac{-\sin x}{2y - 1}.
\]
Since \( y = \sqrt{\cos x + y} \), \( y \) is always positive, and the expression simplifies to:
\[
\frac{dy}{dx} = \frac{\sin x}{1 - 2y}.
\]
Hence, proved that:
\[
\frac{dy}{dx} = \frac{\sin x}{1 - 2y}.
\]