For the following question verify that the given function (explicit or implicit) is a solution of the corresponding differential equation.
y=cosy=x and (ysiny+cosy+x)y'=y.
Given, y-cosy=x
On differentiating both sides w.r.t. x, we get
y′−ddx(cosy)=ddxx⇒y′−(−siny)y′=1 (∵dydx=y′)⇒y′(1+siny)=1⇒y′=11+siny
But we have to verify, (ysiny+cosy+x)y′=y ....(i)
On substituting the value of y'in Eq. (i), we get
LHS=(ysiny+cosy+x)y′=(ysiny+y)×11+siny (∵y=x+cosy)=y(1+siny)×11+siny=y=RHS
Hence, y-cosy=x is a solution of of the given differential equation.