a et b étant deux entiers relatifs, démontrer que si a^2+b^2 est divisible par 7 alors a et b sont divisibles par 7.
En utilisant un tableau à deux entrées de congruences modulo 7, je trouve bien que le seul moyen d'avoir a^2+b^2=0 mod7 est que a et b soient tous les deux multiples de 7.
Mais je n'arrive pas à le démontrer en utilisant les propriétés de la divisibilité.....Merci pour votre aide!
-----