Salut,
dans toute l´explication, C veut dire "congru à"
--------------------------------------------------
-
"La question précédente était le reste dans la division euclidienne de 942 par 4 (0 car 942 = 233*4)"
faux -> 942/4 = 235*4 + 2, donc le reste dans la division euclidienne de 942 par 4 est 2 donc :
942 C 2[4]
On sait que les congruences sont compatibles avec les additions et les multiplications.
on a comme possibilité : (ce qui est valable pour x et x² l´est aussi pour y et y²)
x C 0[4] <-> x² C 0[4] <-> 3y² C 0[4]
x C 1[4] <-> x² C 1[4] <-> 3y² C 3[4]
x C 2[4] <-> x² C 0[4] <-> 3y² C 0[4]
x C 3[4] <-> x² C 1[4] <-> 3y² C 3[4]
tu fais les différentes possibilités pour x² + 3y² et ca donne :
x² + 3y² C 0+0 C 0[4]
x² + 3y² C 0+3 C 3[4]
x² + 3y² C 1+0 C 1[4]
x² + 3y² C 1+3 C 4 C 0[4]
donc les seuls restes possibles de la division de x² + 3y² par 4 sont : 0, 1 ou 3
or 942 C 2[4], 2 n´est pas dans la liste donc l´équation x²+3y² = 942 n´admet aucune solution dans Z (entiers relatifs) car cela reviendrait à dire que :
x² + 3y² C 2[4] ce qui est absurde
voilà, de rien