Проведём обычный итерполяционный многочлен через эти значения. У него коэффициенты рациональны, а значит, таковы же и значения в рациональных точках. Что к нему остаётся добавить? Что-то такое, что в наших трёх точках - 0, а в остальных - ирр. Дак это просто:
