Общее утверждение таково:
Если многочлены
![$f(x),g(x)\in F[x]$ $f(x),g(x)\in F[x]$](https://dxdy-03.korotkov.co.uk/f/2/8/4/284dc02875424d328c411b6b4f195ba882.png)
имеют степени

, то их НОД

можно представить в виде
(

--- поле.)
(
Upd. И как следствие, можно гарантировать

с несколькими оговорками.)
Поэтому если действовать так, как Вы делали, то надо писать не

, а

(т.к.

). Конечно, вполне может оказаться

, но в общем случае это нельзя гарантировать.
Добавлено спустя 45 минут 2 секунды:
Да, кстати, я забыл, чё буква

у нас уже занята. Буква

, которую я использовал в методе неопределённых коэффициентов, не имеет к ней никакого отношения (это тоже неизвестный коэффициент).