Представлял, что многочлен от а и b, что же еще там может быть?
Нет, я о другом, доказательства через геом. прогрессию я не знал, кстати, спасибо
provincialka и
ewert за объяснения. Я сразу подумал так, представим, что

— многочлен от a, то есть

— свободный член. Тогда очевидно, что

то есть,

делится на

. Поделив в столбик

на

и получим нужную нам формулу (вернее то, что должно стоять в скобках).