Bonjour,
Pourriez-vous m'aider pour cet exercice, merci infiniment.

   Soit D le sous-ensemble de N × N défini  inductivement par :
(B) (0, 0) ∈ D,
(R) si (n, m) ∈ D alors (n + 1, m + n + 1) ∈ D.
Monter que D = {(n, n∗(n+1) /2 |n ∈ N}