Vi este problema: Let . También, . Demuestra que existe con y y es coprimo. Probé este muy fácilmente usando el principio del casillero en la partición en .
Mi pregunta es ¿Cómo puedo probar o refutar que:
Dejar . También, . Demuestra que existe con y .
No puedo hacer una partición adecuada. ¿Es esto cierto?
Cualquier número del conjunto es de la forma dónde y es impar.
Número de números impares es .
Ahora bien, si seleccionamos números del conjunto entonces debe haber dos números (entre los números seleccionados) con el mismo .
Es decir, debemos conseguir con y no fue entonces .Ahora si entonces demás .
Esto completa la demostración.
tonyk
Maddy