1) si abc=0 on déduit a=b=c=0; on suppose dans la suite abc

0.
2) si t
3 divise p on peut remplacer (p,a,b,c) par (p/t
3,a,tb,t
2c); dans la suite on suppose p non divisible par t
3, t>1.
3) si d=pgcd(a,b,c)>1 on peut tout diviser par d
3; dans la suite on suppose pgcd(a,b,c)=1.
4) soit q premier divisant p: q|a
3 donc q|a, d'où q
2|pb
3.
si q ne divise pas b alors q
2|p donc q
3|pb
3, donc q
3|p: contradiction;
par suite, q|b et donc q ne divise pas c.
q
3|p
2c
3 donc q
2|p d'où q
4|a
3, d'où q
2|a, d'où q
5|p
2b
3 donc q
3|p: contradiction.
La seule solution dans Z est donc (0,0,0).
5) remarque: si on avait p=q
3 alors a
3+(qb)
3+(q
2c)
3-3a(qb)(q
2c)= 1/2(a+qb+q
2c) ((a-qb)
2+(qb-q
2c)
2+(a-q
2c)
2) d'où les solutions:
soit a+qb+q
2c=0
soit a=qb=q
2c