derivation of quadratic formula