[IME- 2011/2012 - 2ª fase]
Sejam r e s ∈Z (inteiro). Prove que (2r + 3s) é múltiplo de 17 se e somente se (9r + 5s) é múltiplo de 17.
Gabarito:
Resolução:
Por hipótese, 2r + 3s é múltiplo de 17 implica que 9r + 5s é múltiplo de 17.
2r + 3s = 17k, com k inteiro.
Tendo em vista que é inteiro e k também o é, concluímos que (9r + 5s) é múltiplo de 17.
Vamos provar a volta.
A hipótese da volta é que: ser múltiplo de 17 implica que 3s é múltiplo de 17, também.
Da mesma forma que na ida, 2r + 3s é múltiplo de 17.