Exercise algebra.manipulation.exponential.equation
Description
solve exponential equation algebraically
Derivation
8*3^(5-2*x) == 72*sqrt 3
⇒ algebra.equations.coverup.times3^(5-2*x) == 9*sqrt 3
⇒ algebra.manipulation.exponents.factor-as-power3^(5-2*x) == 3^2*sqrt 3
⇒ algebra.manipulation.exponents.write-as-power3^(5-2*x) == 3^2*3^(1/2)
⇒ algebra.manipulation.exponents.add-exponents3^(5-2*x) == 3^(5/2)
⇒ algebra.manipulation.exponents.equation.same-base5-2*x == 5/2
⇒ algebra.equations.coverup.onevar.minus-right2*x == 5/2
⇒ algebra.equations.coverup.timesx == 5/4