Problema 291
Probar que el conjunto $\mathbb{N}$ no puede ser dividido en tres subconjuntos disjuntos no vacíos tales que, para cualesquiera $x,y\in\mathbb{N}$ elegidos de dos subconjuntos distintos, el número $x^2-xy+y^2$ pertenezca al tercer subconjunto.
Solución. Comenzamos observando que, para cualesquiera naturales $a$ y $b$,
- si $x=a$ e $y=a+b$, entonces $x^2-xy+y^2=a^2+ab+b^2$;
- si $x=b$ e $y=a+b$, entonces también $x^2-xy+y^2=a^2+ab+b^2$.
Esto nos dice que si $a$ y $b$ están en dos subconjuntos distintos, entonces $a+b$ no puede estar en el tercero, ya que entonces $a^2+ab+b^2$ tendría que estar en los dos primeros simultáneamente, lo cual es absurdo. Esto también dice que $a-b$ no puede pertenecer al tercer conjunto por el mismo motivo.