Par récurrence ça reviendrait à prouver qu'on peut trouver un a
i tel que
ij a
j 0
Imaginons que
i
ij a
j = 0
alors en somment pour tout i,
i=1ànij a
j = 0
soit (n-1)
j=1àn a
j = 0
d'où
j=1àn a
j = 0
Donc si par hypothèse
j=1àn a
j 0
alors il existe i tel que
ij a
j 0.
a
i devient donc le dernier indice.
Il ne reste plus qu'à appliquer l'hypothèse de récurrence aux entiers a
1,...,a
i-1,a
i+1,...,a
n.
La réponse est donc
oui.