Quadratic equation/R/Solution formula/Fact/Proof/Exercise

Prove the solution formula for real quadratic equations.