在循环恒等式中令 a=b=c=ua=b=c=ua=b=c=u,得对所有 uuu 有 3P(2u,u)=03P(2u,u)=03P(2u,u)=0。所以 PPP 在 x=2yx=2yx=2y 上为零,PPP 是因子 x−2yx-2yx−2y 的倍式。