对每个允许的 z,x,y 是一个二次方程的两根;判别式决定实数性与互异性。
对第2步的每个 z,x,y 是 t2−(a−z)t+z2=0t^2-(a-z)t+z^2=0t2−(a−z)t+z2=0 的两根,故得到所示公式;第二个不等式正是 x,y 为实数的条件。这给出所有实数解的参数化(包括 a=b=0a=b=0a=b=0 时的零解)。若要求 x,y,z 为互不相同的正数,正性给出 a>0a>0a>0、∣b∣<a|b|<a∣b∣<a,互异性还给出 3b2−a2>03b^2-a^2>03b2−a2>0。因此充要条件是 a>0a>0a>0 且 a/3<∣b∣<aa/\sqrt3<|b|<aa/3<∣b∣<a。