Exercise algebra.equations.quadratic.no-abc
Description
solve a quadratic equation without abc-formula
Derivation
3*x == 4-5*x+x^2
⇒ algebra.equations.quadratic.move-left-x^2+8*x-4 == 0
⇒ algebra.equations.quadratic.scalex^2-8*x+4 == 0
⇒ algebra.equations.quadratic.prepare-splitx^2-8*x+16 == 12
⇒ algebra.equations.quadratic.left-square(x-4)^2 == 12
⇒ algebra.equations.coverup.powerx-4 == sqrt 12 or x-4 == -sqrt 12
⇒ algebra.equations.coverup.onevar.minus-leftx == 4+sqrt 12 or x-4 == -sqrt 12
⇒ algebra.equations.coverup.onevar.minus-leftx == 4+sqrt 12 or x == 4-sqrt 12
⇒ algebra.equations.quadratic.simpler-sqrtx == 4+2*sqrt 3 or x == 4-2*sqrt 3