Bon, comme j'ai peur de... t'avoir fait peur avec mon exo, je te donne la correction.
1) En fait on a
=\frac{(a+b)^2+(a+b)+2a}{2}=\frac{(a+b)(a+b+1)}{2}+a)
qui est un entier naturel vu que des deux entier
succéssifs a+b et a+b+1 il y en a forcément un pair (donc le produit est pair).
2) Ici, il n'y a pas vraiment de difficulté lié à la notion d'injectivité et/ou de surjectivité, mais plutôt des difficultés calculatoires...
On
fixe un n dans N et on va chercher le(s) couple(s) (a,b) de N² tels que f(a,b)=n.
[si on trouve systématiquement un et un seul couple (a,b) et cela quelque soit le n de départ, cela montrera que f est bijective]
On cherche donc (a,b) tels que
(a+b+1)}{2}+a=n)
.
Cela revient à chercher

et

tels que

(pour que

) et
}{2}+a=n)
ce qui signifie que l'on doit forcément prendre
}{2})
.
Reste à trouver quelles sont la(les) valeur(s) possible(s) pour

de façon à avoir

, c'est à dire
}{2}\leq s)
soit encore
}{2}\leq n)
ET
}{2}\geq n)
.
Mais la deuxième inégalité peut se réécrire
}{2}\geq n+1)
soit encore
(s+2)}{2}>n)
On cherche donc

tel que
}{2}\leq n)
ET
(s+2)}{2}>n)
et, clairement, un tel

existe et est unique : c'est le plus grand entier

tel que
}{2}\leq n)
(la deuxième inégalité traduit que l'entier suivant ne vérifie plus cette inégalité).
Conclusion : il y a un et un seul

possible donc un et un seul

possible et aussi un et un seul

(

) possible : la fonction f est bien bijective.