The method
- Move every term to one side and identify a, b and c.
- Compute the discriminant Δ = b² − 4ac.
- Apply the quadratic formula when Δ is nonnegative.
- Substitute each root and inspect the residual.
The numerical residual checks the computed roots for this polynomial. It is not a symbolic proof and does not cover complex roots in this pilot.