şəklində gətirilməyən normal vuruqların hasili şəklində göstərilə bilər. (1) ayrılışında iştirak edən
dəfə əkrar olunur.
f =
(2)
(2) ayrılışına f (x) –in gətirilməyən normal vuruqlar üzrə kanonik ayrılışı adlanır.
Teorem.Fərz edək ki,
çoxhədliləri aşağıdakı kimi kanonik ayrılışa malikdirlər:
f =
, g =
(3)
Onda bu çoxhədlilərin ƏBOB-u və ƏKOB-u, uyğun olaraq aşağıdakı kimi ayrılışa malik olur:
, (4)
Belə ki,
.
İsbatı. (u)-ün birinci düsturunu (3) düsturları ilə müqayisə etsək görərik ki, (f,g) çoxhədlisi həm f-in,
həm də g-nin bölənidir. Fərz edək ki, h(x) çoxhədlisi f və g-nin hər hansı ortaq bölınidir. (3) düsturları
göstərir ki, h(x) çoxhədlisi h =
şəklində göstərilə bilər və 0
Ona görə
də
çoxhədlisi h çoxhədlisinə bölünür. Deməli (4)-ün, 1-ci düsturu vasitəsilə göstərilən
çoxhədlisi f və g çoxhədlilərinin ƏBOB-dur.
Eyni qayda üzrə göstərmək olar ki, (3)-ün 2-ci düsturu ilə göstərilən
çoxhədlisi f və g-nin
ƏKOB-dur.
Ədəbiyyat: [1], [2],[3],[4],[5], [7].
Dostları ilə paylaş: