Exercise algebra.manipulation.exponential.equation
Description
solve exponential equation algebraically
Derivation
![](http://ideas.cs.uu.nl/images/external.png)
3^(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