Je suis pas sûr, pour la première contradiction, j'ai mis, si je me souviens bien :
On a, d'après l'énoncé x²+y²+z² = 2^n*q + 2^n-1 = 2^n(q+1)-1 = 2^2[2^(n-2)(q+1)]-1 ( j'ai mis 2^2 en facteur car ça concorde avec la suite.
Et on a aussi d'après la réponse précédente : x²+y²+z² = 4k + 1
Donc je met les égalités : 4k + 1 = 4Q - 1 ( J'ai simplifié l'autre expression )
Et donc 4(Q-k) = 2
Donc ça veut dire que 4 divise 2. Or Q-k appartient aux entiers relatifs, et 4>2,n donc c'est impossible.
Et pour la dernière j'ai mis pareille.