Iniciante
Seja
e chame
e
de forma que
. Logo:
e consequentemente,
e
e não há outra opção além de
e
:
.
Itermediário:
Sim. Tomando
, temos
.
Avançado:
Temos
. Note que a maior potência de
que divide
é
. Seja
a maior potência de
que divide
. Então, pelo lema de Hensel, a maior potência de
que divide
é
. Logo
. Observando ainda que, como
divide
,
,
.
Deste modo, sendo
, temos
, que é verdadeiro para
e
mas falso para
e que ocorre a igualdade para
, temos
e que todas as desigualdades anteriores são igualdades, isto é,
e
.

Comente