при условии, что у нас уравнение вида ax^2+bx+c формула корней будет x1=(-b+(корень квадратный из D))/2a и x2=(-b-(корень квадратный из D))/2a где D - дискриминант. А коэффициент a в данном случае равен -1, что при умножении на 2 даст нам -2, а вы делите на 2 а по теореме Виетта все сходится, ибо что -2*5, что -5*2, -5+2 или -2+5 все едино