44.5.75 problem 64

Internal problem ID [7137]
Book : A First Course in Differential Equations with Modeling Applications by Dennis G. Zill. 12 ed. Metric version. 2024. Cengage learning.
Section : Chapter 2. First order differential equations. Section 2.2 Separable equations. Exercises 2.2 at page 53
Problem number : 64
Date solved : Wednesday, March 05, 2025 at 04:18:04 AM
CAS classification : [_quadrature]

\begin{align*} 1+{x^{\prime }}^{2}&=\frac {a}{y} \end{align*}

Maple. Time used: 0.030 (sec). Leaf size: 71
ode:=1+diff(x(y),y)^2 = a/y; 
dsolve(ode,x(y), singsol=all);
 
\begin{align*} x &= \sqrt {y \left (a -y \right )}-\frac {a \arctan \left (\frac {a -2 y}{2 \sqrt {y \left (a -y \right )}}\right )}{2}+c_1 \\ x &= -\sqrt {y \left (a -y \right )}+\frac {a \arctan \left (\frac {a -2 y}{2 \sqrt {y \left (a -y \right )}}\right )}{2}+c_1 \\ \end{align*}
Mathematica. Time used: 0.174 (sec). Leaf size: 314
ode=1+D[x[y],y]^2== a/y; 
ic={}; 
DSolve[{ode,ic},x[y],y,IncludeSingularSolutions->True]
 
\begin{align*} x(y)\to -\frac {\left (\sqrt {y}-1\right ) \left (\sqrt {a-1}-\sqrt {a-y}\right ) \left (-a^2+a \left (\sqrt {a-1} \sqrt {a-y}+y+\sqrt {y}+1\right )-2 \left (\sqrt {a-1} \sqrt {y} \sqrt {a-y}+y\right )\right )}{\left (\sqrt {a-1} \sqrt {a-y}-a+\sqrt {y}\right )^2}-2 a \arctan \left (\frac {1-\sqrt {y}}{\sqrt {a-1}-\sqrt {a-y}}\right )+c_1 \\ x(y)\to \frac {\left (\sqrt {y}-1\right ) \left (\sqrt {a-1}-\sqrt {a-y}\right ) \left (-a^2+a \left (\sqrt {a-1} \sqrt {a-y}+y+\sqrt {y}+1\right )-2 \left (\sqrt {a-1} \sqrt {y} \sqrt {a-y}+y\right )\right )}{\left (\sqrt {a-1} \sqrt {a-y}-a+\sqrt {y}\right )^2}+2 a \arctan \left (\frac {1-\sqrt {y}}{\sqrt {a-1}-\sqrt {a-y}}\right )+c_1 \\ \end{align*}
Sympy. Time used: 1.775 (sec). Leaf size: 190
from sympy import * 
y = symbols("y") 
a = symbols("a") 
x = Function("x") 
ode = Eq(-a/y + Derivative(x(y), y)**2 + 1,0) 
ics = {} 
dsolve(ode,func=x(y),ics=ics)
 
\[ \left [ x{\left (y \right )} = C_{1} - \begin {cases} - \frac {i \sqrt {a} \sqrt {y}}{\sqrt {-1 + \frac {y}{a}}} - i a \operatorname {acosh}{\left (\frac {\sqrt {y}}{\sqrt {a}} \right )} + \frac {i y^{\frac {3}{2}}}{\sqrt {a} \sqrt {-1 + \frac {y}{a}}} & \text {for}\: \left |{\frac {y}{a}}\right | > 1 \\\sqrt {a} \sqrt {y} \sqrt {1 - \frac {y}{a}} + a \operatorname {asin}{\left (\frac {\sqrt {y}}{\sqrt {a}} \right )} & \text {otherwise} \end {cases}, \ x{\left (y \right )} = C_{1} + \begin {cases} - \frac {i \sqrt {a} \sqrt {y}}{\sqrt {-1 + \frac {y}{a}}} - i a \operatorname {acosh}{\left (\frac {\sqrt {y}}{\sqrt {a}} \right )} + \frac {i y^{\frac {3}{2}}}{\sqrt {a} \sqrt {-1 + \frac {y}{a}}} & \text {for}\: \left |{\frac {y}{a}}\right | > 1 \\\sqrt {a} \sqrt {y} \sqrt {1 - \frac {y}{a}} + a \operatorname {asin}{\left (\frac {\sqrt {y}}{\sqrt {a}} \right )} & \text {otherwise} \end {cases}\right ] \]