Exercise algebra.equations.quadratic.no-abc

Description
solve a quadratic equation without abc-formula

Derivation

x^2-3*x == 3*(x-2)
algebra.equations.linear.distr-times
x^2-3*x == 3*x-6
algebra.equations.quadratic.move-left
x^2-6*x+6 == 0
algebra.equations.quadratic.prepare-split
x^2-6*x+9 == 3
algebra.equations.quadratic.left-square
(x-3)^2 == 3
algebra.equations.coverup.power
x-3 == sqrt 3 or x-3 == -sqrt 3
algebra.equations.coverup.onevar.minus-left
x == 3+sqrt 3 or x-3 == -sqrt 3
algebra.equations.coverup.onevar.minus-left
x == 3+sqrt 3 or x == 3-sqrt 3