comme l´a dit Tantale, on a P(x,y)=P(y,x), et P(x,y)=(x-y)*Q(x,y)
en injectant la 2e egalité dans la premiere, on obtient:
Q(x,y)=-Q(y,x) pour tout x différent de y, égalité qu´on prolonge par continuité en x=y (Q polynomiale donc continue), ce qui donne Q(y,y)=0 quelque soit y, d´où Q divisible par (x-y) aussi.