Exercise algebra.manipulation.exponential.equation
Description
solve exponential equation algebraically
Derivation
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-exponents3^(2*(1-2*x)) == 3*3^(1/2)
⇒ algebra.manipulation.exponents.simple-add-exponents3^(2*(1-2*x)) == 3^(3/2)
⇒ algebra.manipulation.exponents.equation.same-base2*(1-2*x) == 3/2
⇒ algebra.equations.linear.distr-times2-4*x == 3/2
⇒ algebra.equations.coverup.onevar.minus-right4*x == 1/2
⇒ algebra.equations.coverup.timesx == 1/8