写成 P=(x−2y)QP=(x-2y)QP=(x−2y)Q。在循环恒等式中代入 (a,b,c)=(a,b,b)(a,b,c)=(a,b,b)(a,b,c)=(a,b,b) 得 2(a−b)[Q(a+b,b)−Q(2b,a)]=02(a-b)[Q(a+b,b)-Q(2b,a)]=02(a−b)[Q(a+b,b)−Q(2b,a)]=0,故对所有 x,yx,yx,y 有 Q(x,y)=Q(2y,x−y)Q(x,y)=Q(2y,x-y)Q(x,y)=Q(2y,x−y)。