xix_ixi 以外の三数の積は t/xit/x_it/xi である。条件は xi+t/xi=2x_i+t/x_i=2xi+t/xi=2、すなわち xi2−2xi+t=0x_i^2-2x_i+t=0xi2−2xi+t=0 となる。したがって4数はすべて同じ二次方程式の根である。