Internal problem ID [11217]
Book: An elementary treatise on differential equations by Abraham Cohen. DC heath publishers.
1906
Section: Chapter IV, differential equations of the first order and higher degree than the first.
Article 27. Clairaut equation. Page 56
Problem number: Ex 2.
ODE order: 1.
ODE degree: 2.
CAS Maple gives this as type [[_1st_order, `_with_symmetry_[F(x),G(y)]`]]
\[ \boxed {4 \,{\mathrm e}^{2 y} {y^{\prime }}^{2}+2 y^{\prime } x=1} \]
✓ Solution by Maple
Time used: 0.047 (sec). Leaf size: 23
dsolve(4*exp(2*y(x))*diff(y(x),x)^2+2*x*diff(y(x),x)-1=0,y(x), singsol=all)
\[ y \left (x \right ) = \frac {\ln \left (2\right )}{2}-\frac {\ln \left (\frac {1}{2 \,{\mathrm e}^{2 c_{1}}+x}\right )}{2}+c_{1} \]
✓ Solution by Mathematica
Time used: 12.616 (sec). Leaf size: 119
DSolve[4*Exp[2*y[x]]*(y'[x])^2+2*x*y'[x]-1==0,y[x],x,IncludeSingularSolutions -> True]
\begin{align*} y(x)\to \log \left (-e^{\frac {c_1}{2}} \sqrt {-x+e^{c_1}}\right ) \\ y(x)\to \log \left (e^{\frac {c_1}{2}} \sqrt {-x+e^{c_1}}\right ) \\ y(x)\to \log \left (-e^{\frac {c_1}{2}} \sqrt {x+e^{c_1}}\right ) \\ y(x)\to \log \left (e^{\frac {c_1}{2}} \sqrt {x+e^{c_1}}\right ) \\ y(x)\to \frac {1}{2} \log \left (-\frac {x^2}{4}\right ) \\ \end{align*}