Exercise algebra.equations.quadratic.no-abc
Description
solve a quadratic equation without abc-formula
Derivation
x^2-5*x+4 == 11
⇒ algebra.equations.quadratic.move-leftx^2-5*x-7 == 0
⇒ algebra.equations.quadratic.prepare-splitx^2-5*x+25/4 == 53/4
⇒ algebra.equations.quadratic.left-square(x-5/2)^2 == 53/4
⇒ algebra.equations.coverup.powerx-5/2 == sqrt (53/4) or x-5/2 == -sqrt (53/4)
⇒ algebra.equations.coverup.onevar.minus-leftx == 5/2+sqrt (53/4) or x-5/2 == -sqrt (53/4)
⇒ algebra.equations.coverup.onevar.minus-leftx == 5/2+sqrt (53/4) or x == 5/2-sqrt (53/4)
⇒ algebra.equations.quadratic.simpler-sqrtx == 5/2+1/2*sqrt 53 or x == 5/2-1/2*sqrt 53