Q6 Matemática  (JBMO ShortLists 2009)

Cada um dos 2.009 pontos distintos no plano é colorido em azul ou vermelho, de modo que em cada círculo unitário centrado em azul há exatamente dois pontos vermelhos. Encontre o maior número possível de pontos azuis.