Estoy trabajando en algunos problemas de Putnam muy antiguos (piense en 1955), y encontré uno que creo que sería interesante abordar, pero no estoy seguro de cómo ejecutarlo.
Llevar ser una función tal que Quiero mostrar que solo hay un número finito de soluciones para la ecuación Me imagino que esto puede ser una forma de asumir por el bien de la contradicción, y por lo tanto originalmente AFSOC hay infinitamente muchos tal que Llamemos a este conjunto solución . Podemos ver eso es contable por ser un subconjunto del contable me gustaria encontrar alguna en especial que contradice nuestra declaración de límite sobre , pero parece que no puedo averiguar cómo encontrar esto. ¿Alguna sugerencia?
Pista 1:
Porque existe tal que para todos .
Pista 2:
Todo valor es asumido por sólo un número finito de veces.
Asumir es una secuencia de soluciones. Tomando las subsucesiones apropiadas, podemos asumir cada una de , , es una constante o tiende al infinito. Como tenemos infinitas soluciones, podemos suponer .
Caso 1. , va al infinito. Obtenemos pero , de modo que , lo que significa . Esto es una contradicción porque siempre es positivo.
Caso 3. , . Análogo al Caso 2.
Caso 4. , , ir al infinito. Obtenemos , una contradicción.
heptágono
Este sitio se ha convertido en un vertedero.
heptágono