Exercise algebra.manipulation.exponential.equation
Description
solve exponential equation algebraically
Derivation
4*sqrt 2 == 2^(x-1)
⇒ algebra.manipulation.exponents.factor-as-power2^2*sqrt 2 == 2^(x-1)
⇒ algebra.manipulation.exponents.write-as-power2^2*2^(1/2) == 2^(x-1)
⇒ algebra.manipulation.exponents.add-exponents2^(5/2) == 2^(x-1)
⇒ algebra.manipulation.exponents.equation.same-base5/2 == x-1
⇒ algebra.equations.coverup.onevar.minus-left7/2 == x
⇒ algebra.equations.linear.flipx == 7/2