- momokani a écrit:
- C'est pas aussi difficile que ça, Bon j'espere !!
Ce n'est pas difficile, mais fatiguant.
Voici ce que j'ai fait pour résoudre le a):
Soient les ensembles suivants:
,
,
des nombres coloriés respectivement par le bleu, le vert et le rouge.
Premièrement, il faut signaler que la phrase "la somme de deux nombres en bleu..." cache dedans que les deux nombres sont différents.
Il faut signaler aussi que ces ensembles sont non-vides.
La première hypothèse se traduit par:
.
Et la seconde par:
.
***On démontre premièrement que 0 est colorié par le vert.
En effet, on a deux cas qui mènent vers une contradiction:
-si 0 est colorié en rouge, 0 serait aussi colorié en bleu (en utilisant la première hypothèse).
-si 0 est colorié en bleu: si a un entier non nul colorié en bleu, alors ce a serait aussi colorié en rouge (en utilisant la deuxième hypothèse).
-On conclut que 0 est colorié en vert.
*** On veut démontrer que le négatif de chaque nombre en bleu est un nombre colorié en rouge.
Cela se traduit par
.
Soit
un nombre colorié en rouge.
-Supposons par l'absurde que
.
En utilisant la deuxième hypothèse, 0 qui est la somme de x et -x, serait colorié en rouge.
Ce qui contredit le premier résultat.
-Supposons par l'absurde que
.
Maintenant, si y est un entier colorié en bleu, on doit avoir x+y un entier colorié en rouge.
Ainsi -x-y est colorié en bleu (en utilisant la deuxième hypothèse).
Donc -y, qui est la somme de deux nombres colorié en bleu x et -x-y, doit être colorié en rouge.
Ce qui vient en contradiction avec ce qu'on a supposé.
*** On veut démontrer que la somme de deux entiers coloriés en rouge est un nombre colorié en bleu.
Cela se traduit par
.
Soit
et
deux nombres coloriés en rouge.
-Supposons par l'absurde que
.
En utilisant la première hypothèse, -x et -y seraient coloriés en bleu.
Et donc l'entier -x-y serait colorié en rouge.
Du coup, x+y doit être colorié en bleu.
Ce qui contredit la supposition.
-Supposons par l'absurde que
.
De la même manière que précédemment, on aboutit à x+y est colorié en bleu.
Ce qui contredit la supposition.
CQFD.
Sauf erreur.