Собственно
Доказать, что для того, чтобы четыре точки параболы

лежали
на одной окружности, необходимо и достаточно, чтобы сумма абсцисс этих
точек была равна нулю.
Мучал-мучал, но ничего дельного не получил.
Заметил, что если подставить в уравнение окружности

, то сумма абсцисс равна нулю, значит

где

это ордината центра. Можно строить огромные уравнения конешн, но что-то не хочется, надеюсь есть путь по проще.
P.S
Кажется добился некоторого просветления.
Рассматриваю уравнение на конику прох через эти 4 точки, т.к константа не нулевая, то делим на нее и получаем системку на 4 неизвестных с 4 уравнениями. Может что-то получится.
Хотя думаю есть более красивое решение.