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: