Fie f Z[X].
Propozitie: Daca f = a n X
n
+ a n1 X
n1
+ … + a 1 X + a 0
, a n
, a 0 0, a i Z, i = 1, 2, 3, … , n, are
radacini intregi atunci acestea sunt divizori ai lui a0
.
Observatie: Aceasta proprietate ne ajuta sa rezolvam ecuatiile cu coeficienti numere intregi
deoarece numarul divizorilor lui a 0
este finit si prin schema lui Horner putem gasi aceste
radacini.