2.2.1.5 ✓ Maple. Time used: 0.000 (sec). Leaf size: 11
ode:=diff(x(t),t) = -lambda*x(t);
dsolve(ode,x(t), singsol=all);
\begin{align*} x = c_1 \,{\mathrm e}^{-\lambda t} \end{align*}
Maple trace
Methods for first order ODEs:
--- Trying classification methods ---
trying a quadrature
trying 1st order linear
<- 1st order linear successful
Maple step by step
\[ \begin {array}{lll} & {} & \textrm {Let's solve}\hspace {3pt} \\ {} & {} & \frac {d}{d t}x \left (t \right )=-\lambda x \left (t \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 )=-\lambda x \left (t \right ) \\ \bullet & {} & \textrm {Separate variables}\hspace {3pt} \\ {} & {} & \frac {\frac {d}{d t}x \left (t \right )}{x \left (t \right )}=-\lambda \\ \bullet & {} & \textrm {Integrate both sides with respect to}\hspace {3pt} t \\ {} & {} & \int \frac {\frac {d}{d t}x \left (t \right )}{x \left (t \right )}d t =\int -\lambda d t +\mathit {C1} \\ \bullet & {} & \textrm {Evaluate integral}\hspace {3pt} \\ {} & {} & \ln \left (x \left (t \right )\right )=-\lambda t +\mathit {C1} \\ \bullet & {} & \textrm {Solve for}\hspace {3pt} x \left (t \right ) \\ {} & {} & x \left (t \right )={\mathrm e}^{-\lambda t +\mathit {C1}} \\ \bullet & {} & \textrm {Redefine the integration constant(s)}\hspace {3pt} \\ {} & {} & x \left (t \right )=\mathit {C1} \,{\mathrm e}^{-\lambda t} \end {array} \]