Odvození vzorce pro řešení kvadratické rovnice