89.28.17 problem 17

Internal problem ID [24905]
Book : A short course in Differential Equations. Earl D. Rainville. Second edition. 1958. Macmillan Publisher, NY. CAT 58-5010
Section : Chapter 16. Equations of order one and higher degree. Exercises at page 229
Problem number : 17
Date solved : Thursday, October 02, 2025 at 10:49:22 PM
CAS classification : [[_homogeneous, `class A`], _rational, _Bernoulli]

\begin{align*} x y \left (x^{2}+y^{2}\right ) \left ({y^{\prime }}^{2}-1\right )&=y^{\prime } \left (x^{4}+x^{2} y^{2}+y^{4}\right ) \end{align*}
Maple. Time used: 0.240 (sec). Leaf size: 142
ode:=x*y(x)*(x^2+y(x)^2)*(diff(y(x),x)^2-1) = diff(y(x),x)*(x^4+x^2*y(x)^2+y(x)^4); 
dsolve(ode,y(x), singsol=all);
 
\begin{align*} y &= \frac {\sqrt {-c_1 \,x^{2}-\sqrt {c_1^{2} x^{4}+1}}}{\sqrt {c_1}} \\ y &= \frac {\sqrt {-c_1 \,x^{2}+\sqrt {c_1^{2} x^{4}+1}}}{\sqrt {c_1}} \\ y &= -\frac {\sqrt {-c_1 \,x^{2}-\sqrt {c_1^{2} x^{4}+1}}}{\sqrt {c_1}} \\ y &= -\frac {\sqrt {-c_1 \,x^{2}+\sqrt {c_1^{2} x^{4}+1}}}{\sqrt {c_1}} \\ y &= \sqrt {2 \ln \left (x \right )+c_1}\, x \\ y &= -\sqrt {2 \ln \left (x \right )+c_1}\, x \\ \end{align*}
Mathematica. Time used: 6.828 (sec). Leaf size: 248
ode=x*y[x]*(x^2+y[x]^2)*(D[y[x],x]^2-1)==D[y[x],x]*(x^4+x^2*y[x]^2+y[x]^4); 
ic={}; 
DSolve[{ode,ic},y[x],x,IncludeSingularSolutions->True]
 
\begin{align*} y(x)&\to -\sqrt {-x^2-\sqrt {x^4+e^{4 c_1}}}\\ y(x)&\to \sqrt {-x^2-\sqrt {x^4+e^{4 c_1}}}\\ y(x)&\to -\sqrt {-x^2+\sqrt {x^4+e^{4 c_1}}}\\ y(x)&\to \sqrt {-x^2+\sqrt {x^4+e^{4 c_1}}}\\ y(x)&\to -x \sqrt {2 \log (x)+c_1}\\ y(x)&\to x \sqrt {2 \log (x)+c_1}\\ y(x)&\to -\sqrt {-\sqrt {x^4}-x^2}\\ y(x)&\to \sqrt {-\sqrt {x^4}-x^2}\\ y(x)&\to -\sqrt {\sqrt {x^4}-x^2}\\ y(x)&\to \sqrt {\sqrt {x^4}-x^2} \end{align*}
Sympy. Time used: 5.052 (sec). Leaf size: 104
from sympy import * 
x = symbols("x") 
y = Function("y") 
ode = Eq(x*(x**2 + y(x)**2)*(Derivative(y(x), x)**2 - 1)*y(x) - (x**4 + x**2*y(x)**2 + y(x)**4)*Derivative(y(x), x),0) 
ics = {} 
dsolve(ode,func=y(x),ics=ics)
 
\[ \left [ y{\left (x \right )} = - x \sqrt {C_{1} + 2 \log {\left (x \right )}}, \ y{\left (x \right )} = x \sqrt {C_{1} + 2 \log {\left (x \right )}}, \ y{\left (x \right )} = - \sqrt {- x^{2} - \sqrt {C_{1} + x^{4}}}, \ y{\left (x \right )} = \sqrt {- x^{2} - \sqrt {C_{1} + x^{4}}}, \ y{\left (x \right )} = - \sqrt {- x^{2} + \sqrt {C_{1} + x^{4}}}, \ y{\left (x \right )} = \sqrt {- x^{2} + \sqrt {C_{1} + x^{4}}}\right ] \]