Я бы, наверно, поступил так. Если мы будем рассматривать этот пример как школьный, то я бы принял х1 и х2 за корни некоторого квадратного трехчлена приравненного к 0, ну скажем: ax^2+bx+c=0. В таком случае получается крайне замечательная вещь, так как a,b,c это некоторые коэффициенты, то есть в частном случае некоторые числа, мы можем вывести через теорему Виета общую формулу для суммы корней: x1+x2=-b/a. Дальше эту мысль можно развить и для "у", его тоже можно будет выразить через коэффициенты квадратного трехчлена, также через теорему Виета, и что примечательно появится некоторая оценка на эти коэффициенты, ведь "у" величена неотрицательная.