Q4 Matemática  (Austrian-Polish 1978)

Seja um número racional positivo. Mostre que é possível particionar , o conjunto de inteiros positivos, em dois subconjuntos não vazios disjuntos de modo que vale sempre que e ambos em ou ambos em .