Это все делается через теорему Безу, но если развернуто, то так:
Условие позволяет представить многочлен P аж в трех видах
Из первой строчки мы видим что P(a) = C₁, из второй P(b)=C₂
А из третьей мы видим что P(a) = P(b) = C₃
Поэтому P(a) = P(b) и С₁=С₂, это неизбежно