Soit n = a² - b² avec (a,b) \in Z².
Avec les identités "remarquables", on peut écrire n sous la forme :
n = (a-b)*(a+b).
Maintenant on distingue deux cas :
1er cas : a et b sont de même parité (tous les deux pairs, ou tous les deux
impairs).
dans ce cas, les deux entiers a+b et a-b sont pairs
càd a+b=2p et a-b=2q avec (p,q) \in Z²
donc n=4*(pq), c'est un multiple de 4
2e cas : a et b ne sont pas de même parité.
Supposons par exemple que a est pair et b impair.
a = 0 [2] et b = 1 [2]
(les = sont des congruences)
a+b = 1 [2] et a-b = 1 [2]
donc (a+b)*(a-b) = 1 [2]
c'est-à-dire : n est impair.
Si tu t'arrêtes ici, aïe aïe aïe, tu fais l'erreur que tous plein d'élèves
font, tu n'as fais que la moitié de l'exercice.
Pour l'instant on a prouvé que :
{ a²-b² / (a,b) \in Z² } C [ (4.Z) U {2p+1, p \in Z}] (1)
Il faut prouver l'inclusion réciproque.
Si n est multiple de 4,
alors n=4*p avec p \in Z
n = (2p)*2
n = (p+1+p-1)*(p+1-p+1) (mais non mais non ce n'est pas artificiel... hum
;p)
n = [(p+1)+(p-1)]*[(p+1)-(p-1)]
n = (p+1)² - (p-1)²
dont n est de la forme a²-b² avec a,b \in Z.
Si n est impair, n = 2p+1 avec p dans Z
alors, (là c'est un peu moins artificiel)
(p+1)² = p² + 2p + 1
donc (p+1)² - p² = 2p+1
On a ainsi prouvé l'inclusion réciproque
[ (4.Z) U {2p+1, p \in Z}] C { a²-b² / (a,b) \in Z² } (2)
Avec les deux inclusions (1) et (2), on a l'égalité souhaitée.
"AD" a écrit dans le message de news:
413f14b1$0$8749$626a14ce@news.free.fr...
> A l'aide !!!
>
> Rédiger correctement la preuve complète du résultat suivant :
> Les entiers de la forme a²-b², a et b désignant des entiers, estl'ensemble
> des multiples de 4 et des nombres impairs réunis.
>
> Merci
>
>
>