C'est la suite https://oeis.org/A000070 et même si je n'y trouve pas de démonstration, une récurrence devrait permettre de s'en sortir.

Genre :
on rajoute +1 dans chaque partition.
donc on rajoute autant de 1 que le nombre de partitions précédent + le nombre décomposé en unaire.

Pour les chiffres différents, c'est un peu plus compliqué...
Il faut raisonner sur les sets de nombres. Je ne trouve pas d'explication simple, et les explications compliquées laissent toujours un cas particulier.

Merci pour ce problème très intéressant, les partitions d'entiers ont des propriétés bien mystérieuses!

Notons:
[latex]u_k[/latex] le nombre de '1' dans les partitions de k (u pour 'un'),
[latex]p_k[/latex] le nombre de partitions de k,
[latex]d_k[/latex] le nombre de chiffres distincts comptés dans les partitions de k (d pour 'distinct').

Comme l'a souligné @gwen27, [latex]u_{k+1} = u_k + p_k[/latex]. En effet, on ajoute un 1 à chaque partition de [latex]k[/latex], ce qui nous donne les partitions de [latex]k+1[/latex] ayant un 1. Le nombre total de 1 est donc celui de [latex]k[/latex], ajouté au nombre de partitions.

Il suffit donc de montrer que [latex]d_{k+1} = p_0 + p_1 + p_2 + \cdots + p_k[/latex].

Pour cela, nous associons à chaque chiffre [latex]l[/latex] apparaissant dans une partition de [latex]k+1[/latex] la partition de [latex]k-l[/latex] obtenue en retirant [latex]l[/latex] de la partition. Par exemple, la partition 6=1+2+3 contient trois chiffres distincts. A chaque chiffre, on associe respectivement les partitions de 5, 4, et 3 suivantes:

5 = 2+3
4 = 1+3
3 = 1+2

En conclusion, pour chaque chiffre distinct d'une partition de [latex]k+1[/latex], on associe une partition d'un entier plus petit, et on a donc l'égalité souhaitée.

------------------

Plus formellement, si on note [latex]P_k[/latex] l'ensemble des partitions de [latex]k[/latex], et [latex]P'_k[/latex] les partitions pointées de [latex]k[/latex] i.e
[latex]P'_k = \{ (i, a_1, a_2, \cdots, a_k) \Big| \sum_{j = 1}^k ja_j = k, a_i \neq 0\}[/latex],
alors nous construisons la bijection suivante:
[latex]\begin{array}{ccc}
P'_{k+1} & \longrightarrow & \cup_{l \leqslant k} P_l \\
(i, a_1, \dots, a_{k+1}) & \mapsto & (a_1, \dots, a_i-1, \dots, a_{k+1})
\end{array}[/latex].

On a montré que [latex]u_{k+1} = u_k + p_k[/latex], et on sait que [latex]u_1 = 1 = p_0[/latex]. (Par convention 0 a une unique partition: la partition vide).

Donc on a immédiatement [latex]u_{k+1} = p_k + p_{k-1} + \cdots + p_1 + p_0[/latex].

Le but est donc de montrer qu'on a la même chose pour [latex]d_{k+1}[/latex].