Вроде в задаче сказано для любой квадратичной
, так что мне непонятно, о построении какой функции идет речь.
В задаче требуется найти множество
такое, что интеграл по
для любого квадратного многочлена
был бы равен интегралу по дополнению этого множества
(потом постановка задачи была обобщена на многочлены любой фиксированной степени). Это в точности равносильно следующему: функция
, равная
на
и
на
, должна быть ортогональна любому многочлену. Т.е. интеграл от этой функции, умноженной на любой многочлен, должен быть равен нулю.