Найти величайший общий делитель многочленов[tex]f(x) = x^p -1 g(x) = x^q

Аксиома Безу + главная теорема алгебры -gt; многочлен n-ой ступени представим в виде a(x-c1)*...*(x-cn), где c1..cn- его корешки.
Наибольший общий делитель f и g тоже представим в таком виде, при этом его корешки являются одновременно корнями f и g
Корни f - корни p-ой ступени из 1: cos(2Пk/p) + i*sin(2Пk/p), k = 0..p-1
Корешки g - корешки q-ой ступени из 1: cos(2Пn/q) + i*sin(2Пn/q), n = 0..q-1
Корешки НОД - cos(2Пy) + i*sin(2Пy), где y представимо в виде k/p = n/q, т.е. np = qk, n - 0..q-1, k = 0..p-1 - таких ровно d = НОД(p,q)
Пусть p = ad, q = bd, тогда ka/p = k/d = kb/q, k = 0..d-1
Т.е. корни НОД f и g - это корешки d-ой ступени из 1, и результат имеет вид x^d - 1
Вправду,
x^p - 1 = x^(ad) - 1 = (x^d - 1)(1 + x^d + ... + x^(d(a-1)) )
x^q - 1 = x^(bd) - 1 = (x^d - 1)(1 + x^d + ... + x^(d(b-1)) )

НОД f и g = x^d - 1, где d = НОД(p,q)