Internal problem ID [5731]
Book: Ordinary differential equations and calculus of variations. Makarets and Reshetnyak. Wold
Scientific. Singapore. 1995
Section: Chapter 1. First order differential equations. Section 1.1 Separable equations problems.
page 7
Problem number: 18.
ODE order: 1.
ODE degree: 1.
CAS Maple gives this as type [_separable]
\[ \boxed {\frac {y^{\prime }}{\sqrt {1-y^{2}}}=-\frac {1}{\sqrt {-x^{2}+1}}} \]
✓ Solution by Maple
Time used: 0.016 (sec). Leaf size: 11
dsolve(1/sqrt(1-x^2)+diff(y(x),x)/sqrt(1-y(x)^2)=0,y(x), singsol=all)
\[ y \left (x \right ) = -\sin \left (\arcsin \left (x \right )+c_{1} \right ) \]
✓ Solution by Mathematica
Time used: 0.288 (sec). Leaf size: 37
DSolve[1/Sqrt[1-x^2]+y'[x]/Sqrt[1-y[x]^2]==0,y[x],x,IncludeSingularSolutions -> True]
\begin{align*} y(x)\to \cos \left (2 \arctan \left (\frac {\sqrt {1-x^2}}{x+1}\right )+c_1\right ) \\ y(x)\to \text {Interval}[\{-1,1\}] \\ \end{align*}