Exercise algebra.equations.quadratic.no-abc
Description
solve a quadratic equation without abc-formula
Derivation
x^2-3*x+9/4 == 13/4
⇒ algebra.equations.quadratic.left-square(x-3/2)^2 == 13/4
⇒ algebra.equations.coverup.powerx-3/2 == sqrt (13/4) or x-3/2 == -sqrt (13/4)
⇒ algebra.equations.coverup.onevar.minus-leftx == 3/2+sqrt (13/4) or x-3/2 == -sqrt (13/4)
⇒ algebra.equations.coverup.onevar.minus-leftx == 3/2+sqrt (13/4) or x == 3/2-sqrt (13/4)
⇒ algebra.equations.quadratic.simpler-sqrtx == 3/2+1/2*sqrt 13 or x == 3/2-1/2*sqrt 13