Exercise algebra.manipulation.exponential.equation
Description
solve exponential equation algebraically
Derivation
![](http://ideas.cs.uu.nl/images/external.png)
(2^2)^(2*x-3) == 2*sqrt 2
⇒ algebra.manipulation.exponents.write-as-power(2^2)^(2*x-3) == 2*2^(1/2)
⇒ algebra.manipulation.exponents.mul-exponents2^(2*(2*x-3)) == 2*2^(1/2)
⇒ algebra.manipulation.exponents.simple-add-exponents2^(2*(2*x-3)) == 2^(3/2)
⇒ algebra.manipulation.exponents.equation.same-base2*(2*x-3) == 3/2
⇒ algebra.equations.linear.distr-times4*x-6 == 3/2
⇒ algebra.equations.coverup.onevar.minus-left4*x == 15/2
⇒ algebra.equations.coverup.timesx == 15/8