Iniciante
mas é par para logo , isto quer dizer que é par e não múltiplo de , como queríamos demonstrar.
Intermediário
Pela identidade de Vandermonde temos:
Mas veja que para temos que divide , mas perceba que , então temos que .
Avançado
Temos que:
(1)
Chame , então temos que:
(2)
Chame , então temos que:
(3)
Somando (1) e (3) temos:
Substituindo por (2) temos: