Question
In each of the verify that the given function (explicit or implicit) is a solution of the corresponding differential equation:
$\text{x + y} = \text{tan}^{–1}\ \text{y} \ \ :\ \text{y}^2 \text{y}' + \text{y}^2 + 1 = 0$
$\text{x + y} = \text{tan}^{–1}\ \text{y} \ \ :\ \text{y}^2 \text{y}' + \text{y}^2 + 1 = 0$