Demonstration bijectivité

[cintia]

J'ai un petit problème :
j'ai A={(n,k) appartenant à N:et 0<=k<=n}
phi:de A dans N
qui a (n,k) associe ((n(n+1))/2)+k)

1)je dois montrer que phi est bijective et j'ai déjà montrer l'injectivité mais je bloque sur la surjectivité

[tize]

Bonjour,
c'est pas vraiment un problème, il faut se lancer :
soit un entier naturel. Soit le plus grand entier naturel tel que reste à poser et montrer ...

[yos]

Bonjour, merci!
Entre et il y a combien d'entiers?

[aviateurpilot]

Soit le plus grand entier naturel tel que

il y'a un unique tel que donc il ne faut pas dire "soit le plus grand......"
just une question de raisonnment sauf si tu veux dire "soit le plus grand qui verifie "