Exercise algebra.manipulation.exponential.equation

Description
solve exponential equation algebraically

Derivation

2*9^(1-2*x) == 6*sqrt 3

⇒ algebra.equations.coverup.times

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

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

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

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

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

⇒ algebra.manipulation.exponents.mul-exponents

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

⇒ algebra.manipulation.exponents.simple-add-exponents

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

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

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

⇒ algebra.equations.linear.distr-times

2-4*x == 3/2

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

4*x == 1/2

⇒ algebra.equations.coverup.times

x == 1/8