Internal problem ID [3904]
Book: Differential Equations, By George Boole F.R.S. 1865
Section: Chapter 7
Problem number: 7.
ODE order: 1.
ODE degree: 2.
CAS Maple gives this as type [_quadrature]
Solve \begin {gather*} \boxed {y-a y^{\prime }-\sqrt {\left (y^{\prime }\right )^{2}+1}=0} \end {gather*}
✓ Solution by Maple
Time used: 0.234 (sec). Leaf size: 77
dsolve(y(x)=a*diff(y(x),x)+sqrt(1+(diff(y(x),x))^2),y(x), singsol=all)
\begin{align*} x -\left (\int _{}^{y \relax (x )}-\frac {\left (a -1\right ) \left (a +1\right )}{-a \textit {\_a} +\sqrt {\textit {\_a}^{2}+a^{2}-1}}d \textit {\_a} \right )-c_{1} = 0 \\ x -\left (\int _{}^{y \relax (x )}\frac {\left (a -1\right ) \left (a +1\right )}{a \textit {\_a} +\sqrt {\textit {\_a}^{2}+a^{2}-1}}d \textit {\_a} \right )-c_{1} = 0 \\ \end{align*}
✓ Solution by Mathematica
Time used: 0.594 (sec). Leaf size: 210
DSolve[y[x]==a*y'[x]+Sqrt[1+(y'[x])^2],y[x],x,IncludeSingularSolutions -> True]
\begin{align*} y(x)\to \text {InverseFunction}\left [\frac {a \left (\log \left (\sqrt {\text {$\#$1}^2+a^2-1}-\text {$\#$1}-a+1\right )+\log \left (\sqrt {\text {$\#$1}^2+a^2-1}-\text {$\#$1}+a-1\right )\right )-(a+1) \log \left ((a-1) \left (\sqrt {\text {$\#$1}^2+a^2-1}-\text {$\#$1}\right )\right )}{a^2-1}\&\right ]\left [\frac {x}{a^2-1}+c_1\right ] \\ y(x)\to \text {InverseFunction}\left [\frac {a \left (\log \left (\sqrt {\text {$\#$1}^2+a^2-1}-\text {$\#$1}-a-1\right )+\log \left (\sqrt {\text {$\#$1}^2+a^2-1}-\text {$\#$1}+a+1\right )\right )-(a-1) \log \left ((a+1) \left (\sqrt {\text {$\#$1}^2+a^2-1}-\text {$\#$1}\right )\right )}{a^2-1}\&\right ]\left [\frac {x}{a^2-1}+c_1\right ] \\ y(x)\to 1 \\ \end{align*}