Mi trovo a fare necroposting
.
Tra gli esercizi di allenamento di Torino di quest'anno troviamo un esercizio che ci fa intuire che vale qualcosa di più forte: le partizione di $n$ in esattamente $r$ parti sono tante quante le partizioni di $n$ tali che la massima tra quelle parti è esattamente $r$ (dimostrare che questa cosa implica il problema originale è un esercizio lasciato al lettore).
Dimostrazione: prendiamo una partizione in esattamente $r$ parti: $x_1+x_2+\dots+x_r=n$ con $x_1 \ge x_2 \ge \dots \ge x_r$ interi positivi. Coloriamo sul piano cartesiano i seguenti punti:
$(1, 1), (1, 2) \dots (1, x_1)$
$(2, 1), (2, 2) \dots (2, x_2)$
$\vdots$
$(r, 1), (r, 2) \dots (r, x_r)$.
Facciamo una simmetria di questi punti rispetto alla retta $x=y$ e troviamo una bella bigezione, perché otteniamo una partizione dove la massima tra le parti è esattamente $r$ e possiamo fare l'operazione inversa, il che associa le due quantità richieste in maniera, appunto, biunivoca.
