Internal problem ID [4187]
Book: Ordinary differential equations and their solutions. By George Moseley Murphy.
1960
Section: Various 32
Problem number: 953.
ODE order: 1.
ODE degree: 2.
CAS Maple gives this as type [_quadrature]
\[ \boxed {y {y^{\prime }}^{2}+y=a} \]
✓ Solution by Maple
Time used: 0.141 (sec). Leaf size: 339
dsolve(y(x)*diff(y(x),x)^2+y(x) = a,y(x), singsol=all)
\begin{align*} y \left (x \right ) &= a \\ y \left (x \right ) &= \frac {\left (\operatorname {RootOf}\left (\left (\cos \left (\textit {\_Z} \right ) a +a \textit {\_Z} +2 c_{1} -2 x \right ) \left (-\cos \left (\textit {\_Z} \right ) a +a \textit {\_Z} +2 c_{1} -2 x \right )\right ) a -2 x +2 c_{1} \right ) \tan \left (\operatorname {RootOf}\left (\left (\cos \left (\textit {\_Z} \right ) a +a \textit {\_Z} +2 c_{1} -2 x \right ) \left (-\cos \left (\textit {\_Z} \right ) a +a \textit {\_Z} +2 c_{1} -2 x \right )\right )\right )}{2}+\frac {a}{2} \\ y \left (x \right ) &= \frac {\left (-\operatorname {RootOf}\left (\left (\cos \left (\textit {\_Z} \right ) a +a \textit {\_Z} +2 c_{1} -2 x \right ) \left (-\cos \left (\textit {\_Z} \right ) a +a \textit {\_Z} +2 c_{1} -2 x \right )\right ) a +2 x -2 c_{1} \right ) \tan \left (\operatorname {RootOf}\left (\left (\cos \left (\textit {\_Z} \right ) a +a \textit {\_Z} +2 c_{1} -2 x \right ) \left (-\cos \left (\textit {\_Z} \right ) a +a \textit {\_Z} +2 c_{1} -2 x \right )\right )\right )}{2}+\frac {a}{2} \\ y \left (x \right ) &= \frac {\left (\operatorname {RootOf}\left (\left (\cos \left (\textit {\_Z} \right ) a -a \textit {\_Z} +2 c_{1} -2 x \right ) \left (-\cos \left (\textit {\_Z} \right ) a -a \textit {\_Z} +2 c_{1} -2 x \right )\right ) a +2 x -2 c_{1} \right ) \tan \left (\operatorname {RootOf}\left (\left (\cos \left (\textit {\_Z} \right ) a -a \textit {\_Z} +2 c_{1} -2 x \right ) \left (-\cos \left (\textit {\_Z} \right ) a -a \textit {\_Z} +2 c_{1} -2 x \right )\right )\right )}{2}+\frac {a}{2} \\ y \left (x \right ) &= \frac {\left (-\operatorname {RootOf}\left (\left (\cos \left (\textit {\_Z} \right ) a -a \textit {\_Z} +2 c_{1} -2 x \right ) \left (-\cos \left (\textit {\_Z} \right ) a -a \textit {\_Z} +2 c_{1} -2 x \right )\right ) a -2 x +2 c_{1} \right ) \tan \left (\operatorname {RootOf}\left (\left (\cos \left (\textit {\_Z} \right ) a -a \textit {\_Z} +2 c_{1} -2 x \right ) \left (-\cos \left (\textit {\_Z} \right ) a -a \textit {\_Z} +2 c_{1} -2 x \right )\right )\right )}{2}+\frac {a}{2} \\ \end{align*}
✓ Solution by Mathematica
Time used: 0.429 (sec). Leaf size: 106
DSolve[y[x] (y'[x])^2+y[x]==a,y[x],x,IncludeSingularSolutions -> True]
\begin{align*} y(x)\to \text {InverseFunction}\left [a \arctan \left (\frac {\sqrt {\text {$\#$1}}}{\sqrt {a-\text {$\#$1}}}\right )-\sqrt {\text {$\#$1}} \sqrt {a-\text {$\#$1}}\&\right ][-x+c_1] \\ y(x)\to \text {InverseFunction}\left [a \arctan \left (\frac {\sqrt {\text {$\#$1}}}{\sqrt {a-\text {$\#$1}}}\right )-\sqrt {\text {$\#$1}} \sqrt {a-\text {$\#$1}}\&\right ][x+c_1] \\ y(x)\to a \\ \end{align*}