Pour établir que \( \mathbb{Q} \) est dénombrable, on peut numéroter les éléments de
\( \mathbb{N} \times \mathbb{N} \) de la façon suivante (numéros oranges) :
Écrire une fonction python récursive :
| Entrée | Deux entiers naturels x et y. |
|---|---|
| Sortie | Le numéro du couple (x;y) suivant le procédé diagonal suggéré par le schéma précédent. |
- un code
def procedeDiagonal(x,y, numero = 0) :
if (x,y) == (0,0) : return numero
if y == 0 : return procedeDiagonal(0, x-1, numero+1)
else : return procedeDiagonal(x+1, y-1, numero+1)
print(procedeDiagonal(3,0))
print(procedeDiagonal(2,1))