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