Көпмүшені х - х0 екімүшесіне қалдықпен бөлу.

c  K элементі үшін f(x) = а₀xⁿ + а₁x^n–1 +…+ а_n–1x + a_n  K көпмүшесінің f(c) мәні f(c) = а₀cⁿ + а₁c^n–1 +…+ а_n–1c + a_n деп анықталады. Қосу және көбейту алгебралық операция болғасын, көпмүшенің мәні бірмәнді анықталады.

Теорема 4. f(x)  K[x] көпмүшесі берілсін. Кез келген х₀  К үшін f(x) көпмүшесін f(x) = g(x)(x – x₀) + c түрінде бірмәнді жазуға болады, мұндағы g(x)  K[x], сонымен бірге c = f(x₀) болады.

Теорема 5 (Безу теоремасы). K[x] сақинасында f(x) көпмүшесі х – х₀ көпмүшесіне бөлінеді, сонда тек сонда ғана x₀ оның түбірі болады.

Теорема 6. Егер K бүтіндік облыс болса, онда K[x] сақинасының кез келген n дәрежелі көпмүшенің түбірлер саны n-нан артық болмайды.

Анықтама (көпмүшелердің функциялық теңдігі). f(x), g(x)  K[x] көпмүшелері тең болады, егер кез келген a  K элементі үшін f(a) = g(a) болса.

Көпмүшелердің бұрын анықталған теңдігін (сәйкес коэффициенттер теңдігі арқылы) алгебралық теңдігі деп аталады.

Теорема 7. (Көпмүшелердің алгебралық және функциялық теңдігі туралы). Егер K шексіз бүтіндік облыс болса, онда K[x] сақинасында көпмүшелердің функциялық теңдігінен алгебралық теңдігі шығады.

Қалдықпен бөлу туралы теорема

Теорема 1 (Қалдықпен бөлу туралы теорема). f және g, g  0, көпмүшелерінң коэффициенттері F өрісінде болсын. Онда

f = gq + r және r = 0 немесе deg(r) < deg(g) (1)

болатындай q, r  F[x] көпмүшелері бірмәнді табылады.

Евклид сақинасы деп келесі шарттар орындалатын K бүтіндік облысы аталады:

1) Кез келген нөлден өзге a элементіне теріс емес бүтін N(a) саны сәйкес берілген.

2) Кез келген a, b  K, b ≠ 0, элементтері үшін

a = bq + r, r = 0 немесе N(r) < N(a) (2)

болатындай q және r  K элементтері табылады.

Салдар 1. Егер F өріс болса, онда көпмүшелердің F[x] сақинасы Евклид сақинасы болады.

Салдар 2. Егер F өріс болса, онда көпмүшелердің F[x] сақинасы бас идеалдар сақина болады.

Салдар 3. Егер F өріс болса, онда көпмүшелердің F[x] сақинасы факториалдық сақина болады.

Евклид алгоритмі

Бүтін сандарға сияқты берілген көпмүшелердің ортақ бөлгіші берілген көпмүшелерді бөлетін көпмүше аталады. Берілген көпмүшелердің ең үлкен ортақ бөлгіші деп берілген көпмүшелердің кез келген ортақ бөлгішіне бөлінетін ортақ бөлгіші аталады.

Берілген f₁, f₂, …, f_k көпмүшелерінің ең үлкен ортақ бөлгіші әдетте (f₁, f₂, …, f_k) деп белгіленеді.

Евклид алгоритмі евклидтік сақиналарға қолдануға болады.

Теорема 2. F өрісі үстіндегі кез келген нөлден өзге көпмүшенің ең үлкен ортақ бөлгіші табылады.

Теорема 3 (Ең үлкен ортақ бөлгішті сызықтық түрде келтіру туралы). Егер F өріс, f(x), g(x)  F[x] және d(x) = (f(x), g(x)) болса, онда кейбір u(x), v(x)  F[x] көпмүшелері үшін

d(x) = u(x)f(x) + v(x)g(x). (4)

Сонымен, (f, g) = 1 = r₃. Евклид алгоритмі бойынша,

f = q₁g + r₁,

g = q₂r₁ + r₂,

r₁ = q₃r₂ + r₃.

Осыдан

r₁ = f ­– q₁g,

r₂ = g – q₂r₁,

r₃ = r₁ – q₃r₂,

мұнда q₁ = x – 2, r₁ = x² – x – 5, q₂ = x + 1, r₂ = x + 2, q₃ = x – 3, r₃ = 1.

Енді бірінші теңдіктегі r₁-дің мәнін екінші теңдікке қоямыз: r₂ = g – q₂r₁ = g – q₂(f ­– q₁g) = g – q₂f ­+ q₁q₂g = –q₂f ­+ (1 + q₁q₂)g.

Осыдан кейін үшінші теңдікке r₁-мен r₂-нің мәнін қоямыз: r₃ = r₁ – q₃r₂ = (f ­– q₁g) – q₃[–q₂f ­+ (1 + q₁q₂)g] = f ­– q₁g + q₂q₃f ­– (q₃ + q₁q₂q₃)g = (1 + q₂q₃)f ­– (q₁ + q₃ + q₁q₂q₃)g. Сондықтан u = 1 + q₂q₃ = 1 + (x + 1)( x – 3) = x² – 2x – 2, v = –(q₁ + q₃ + q₁q₂q₃) = –[( x – 2) + (x – 3) + (x + 1)(x – 2)(x – 3)] = (2x –5) + (x³ – 4x² + 3x + 1). Осыдан 1 = (x² – 2x – 2)( x⁴ – 2x³ – 4x² + 6x + 1) – (x³ – 4x² + 3x + 1)( x³ – 5x – 3).