IMO 1959 — Fracción irreducible (guiado paso a paso)
Demostrar que la fracción es irreducible para todo entero positivo . El primer problema del primer IMO de la historia, accesible y precioso para introducirse al algoritmo de Euclides.
Demostrar que la fracción es irreducible para todo entero positivo .
(Una fracción es irreducible si .)
"Irreducible" significa para todo .
Plan general. Calcular usando el algoritmo de Euclides y mostrar que el resultado es independientemente de .
Antes de teorizar, probamos algunos valores.
- : . Como , , , llegamos a . ✓
- : . , . . ✓
- : . , . . ✓
- : . , . . ✓
Patrón observado. El algoritmo de Euclides aplicado a estos pares produce el mismo "patrón": dos pasos, llegando a . Esto sugiere que el algoritmo aplicado a termina con resto después de pocos pasos, independientemente de .
Vamos a confirmarlo simbólicamente.
Sean y . Aplicamos el algoritmo de Euclides:
Paso 1. Dividimos entre :
Verificación: . ✓
El nuevo par es y .
Paso 2. Dividimos entre :
Verificación: . ✓
El nuevo par es .
Paso 3. Como :
Conclusión. para todo . La fracción es irreducible.
Demostración. Sea . Entonces divide a cualquier combinación lineal entera. En particular:
Por tanto , así . La fracción es irreducible.
La demostración "limpia" condensa todo el proceso de Euclides en una sola combinación lineal. La estrategia:
Si y , entonces divide a cualquier combinación lineal entera, en particular a una que elimine .
Buscamos coeficientes con constante (sin ).
Imponiendo : . Tomamos :
Así, , .
Lo que aprendemos.
-
El algoritmo de Euclides es estructural. Aplicado a polinomios lineales en , produce un proceso simbólico que termina en una constante. Si esa constante es , el es .
-
Eliminación lineal. El truco más directo es eliminar la variable mediante una combinación lineal entera de los numeradores y denominadores. Si la constante resultante es , ya hemos terminado.
-
Generalización inmediata. El mismo método demuestra que es irreducible para todo siempre que y cosas similares algún ajuste. La condición precisa es .
En nuestro caso: . .
¿Cómo conciliar con que la fracción sí es irreducible? Porque cualquier divisor común de y divide a . Es decir, , así .
Si , entonces , es decir, , falso. Por tanto .
Una sutileza. Mi argumento "limpio" tiene la trampa de que el coeficiente no aparece directamente; sale tras eliminar . Es la combinación que da , no el obvio. Encontrar la combinación correcta es la observación clave.
Pregunta general. ¿Para qué con la fracción es irreducible para todo ?
Respuesta. La fracción es irreducible para todo si y solo si los divisores primos de son todos divisores de para alguna estructura modular específica. Más simple:
es irreducible para todo si .
Si , la fracción puede ser reducible para ciertos (cuando el primo correspondiente divide a ).
Para el problema original: . La fracción tendría que reducirse por si , es decir — imposible. Por eso siempre es irreducible.