Exercise algebra.manipulation.exponential.equation

Description
solve exponential equation algebraically

Derivation

8*3^(5-2*x) == 72*sqrt 3

⇒ algebra.equations.coverup.times

3^(5-2*x) == 9*sqrt 3

⇒ algebra.manipulation.exponents.factor-as-power

3^(5-2*x) == 3^2*sqrt 3

⇒ algebra.manipulation.exponents.write-as-power

3^(5-2*x) == 3^2*3^(1/2)

⇒ algebra.manipulation.exponents.add-exponents

3^(5-2*x) == 3^(5/2)

⇒ algebra.manipulation.exponents.equation.same-base

5-2*x == 5/2

⇒ algebra.equations.coverup.onevar.minus-right

2*x == 5/2

⇒ algebra.equations.coverup.times

x == 5/4