若出现两个根,取不同的两个分量 x1,x2x_1,x_2x1,x2。由韦达定理其积为 ttt。四个分量的总积也为 ttt,故余下两项满足 x3x4=1x_3x_4=1x3x4=1。若余下两项不同,它们的积也为 ttt,从而 t=1t=1t=1 且成为重根,矛盾。因此 x3=x4x_3=x_4x3=x4 且 x32=1x_3^2=1x32=1。