2.1.10.5 ✓ Maple. Time used: 0.007 (sec). Leaf size: 5
ode:=diff(x(t),t) = (x(t)^2-1)^(1/2);
ic:=[x(0) = 1];
dsolve([ode,op(ic)],x(t), singsol=all);
\begin{align*} x = 1 \end{align*}
Maple trace
Methods for first order ODEs:
--- Trying classification methods ---
trying a quadrature
trying 1st order linear
trying Bernoulli
trying separable
<- separable successful
Maple step by step
\[ \begin {array}{lll} & {} & \textrm {Let's solve}\hspace {3pt} \\ {} & {} & \left [\frac {d}{d t}x \left (t \right )=\sqrt {x \left (t \right )^{2}-1}, x \left (0\right )=1\right ] \\ \bullet & {} & \textrm {Highest derivative means the order of the ODE is}\hspace {3pt} 1 \\ {} & {} & \frac {d}{d t}x \left (t \right ) \\ \bullet & {} & \textrm {Solve for the highest derivative}\hspace {3pt} \\ {} & {} & \frac {d}{d t}x \left (t \right )=\sqrt {x \left (t \right )^{2}-1} \\ \bullet & {} & \textrm {Separate variables}\hspace {3pt} \\ {} & {} & \frac {\frac {d}{d t}x \left (t \right )}{\sqrt {x \left (t \right )^{2}-1}}=1 \\ \bullet & {} & \textrm {Integrate both sides with respect to}\hspace {3pt} t \\ {} & {} & \int \frac {\frac {d}{d t}x \left (t \right )}{\sqrt {x \left (t \right )^{2}-1}}d t =\int 1d t +\mathit {C1} \\ \bullet & {} & \textrm {Evaluate integral}\hspace {3pt} \\ {} & {} & \ln \left (x \left (t \right )+\sqrt {x \left (t \right )^{2}-1}\right )=t +\mathit {C1} \\ \bullet & {} & \textrm {Solve for}\hspace {3pt} x \left (t \right ) \\ {} & {} & x \left (t \right )=\frac {\left ({\mathrm e}^{t +\mathit {C1}}\right )^{2}+1}{2 \,{\mathrm e}^{t +\mathit {C1}}} \\ \bullet & {} & \textrm {Simplify}\hspace {3pt} \\ {} & {} & x \left (t \right )=\cosh \left (t +\mathit {C1} \right ) \\ \bullet & {} & \textrm {Use initial condition}\hspace {3pt} x \left (0\right )=1 \\ {} & {} & 1=\cosh \left (\mathit {C1} \right ) \\ \bullet & {} & \textrm {Solve for}\hspace {3pt} \textit {\_C1} \\ {} & {} & \mathit {C1} =0 \\ \bullet & {} & \textrm {Substitute}\hspace {3pt} \textit {\_C1} =0\hspace {3pt}\textrm {into general solution and simplify}\hspace {3pt} \\ {} & {} & x \left (t \right )=\cosh \left (t \right ) \\ \bullet & {} & \textrm {Solution to the IVP}\hspace {3pt} \\ {} & {} & x \left (t \right )=\cosh \left (t \right ) \end {array} \]