Общее утверждение таково:
Если многочлены
имеют степени
, то их НОД
можно представить в виде
(
--- поле.)
(
Upd. И как следствие, можно гарантировать
с несколькими оговорками.)
Поэтому если действовать так, как Вы делали, то надо писать не
, а
(т.к.
). Конечно, вполне может оказаться
, но в общем случае это нельзя гарантировать.
Добавлено спустя 45 минут 2 секунды:
Да, кстати, я забыл, чё буква
у нас уже занята. Буква
, которую я использовал в методе неопределённых коэффициентов, не имеет к ней никакого отношения (это тоже неизвестный коэффициент).