[obm-l] conjunto contendo PA

["Domingos Jr." <dopikas@xxxxxxxxxx>]

Olá!

Gostaria provar um resultado do tipo:
para N suficientemente grande ([N]:= {1, 2, 3, ..., N}) se S contido em [N]
é tal que não possui uma PA de tamanho 3 então |S| <= N/2.

Se isso vale, obtenha um valor de N mínimo que satisfaça essa condição.

(obs: isso provaria que tomando N = 2K + 1, então |S| <= k e por tanto, não
é possível particionar [2K + 1] em dois de forma a evitar PA's de tamanho 3
nas duas partições).

[ ]'s

=========================================================================
Instruções para entrar na lista, sair da lista e usar a lista em
http://www.mat.puc-rio.br/~nicolau/olimp/obm-l.html
=========================================================================