_(x−x1).(x−x2)(x−x3)(x−x4)=0
x4−(x1+x2+x3+x4)x3+(x1x2+x1x3+x1x4+x2x3+x2x4+x3x4)x2−(x1x2x3+x1x2x4+x1x3x4+x2x3x4)x+x1x2x3x4=0
Diğer taraftan a≠0 olmak üzere, ax4+bx3+cx2+dx+e=0⇒x4+bax3+cax2+dax+ea=0 olur. Bu ikisinin eşitliğinden köklerle katsayılar arasındaki ilişki :
−ba=x1+x2+x3+x4
ca=x1x2+x1x3+x1x4+x2x3+x2x4+x3x4
−da=x1x2x3+x1x2x4+x1x3x4+x2x3x4 ve son olarak
ea=x1x2x3x4 olur. Eğer verilen denklemdeki gibi a=1 olarak alınırsa,
−b=x1+x2+x3+x4
c=x1x2+x1x3+x1x4+x2x3+x2x4+x3x4
−d=x1x2x3+x1x2x4+x1x3x4+x2x3x4
e=x1x2x3x4 olur. Demek ki sabit terim köklerin çarpımından oluşuyor. Eğer köklerden tam sayı olan varsa bu kesinlikle sabit terimin çarpanlarından birisi olmak zorundadır. O yüzden sabit terimin çarpanlarını öncelikle kontrol ediyoruz.