Teoría de NúmerosProblemas resueltos

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.

DificultadIniciación
CompetenciaIMO 1959 P1
Etiquetasirreducibleeuclidesmcdguiado
Requisitosdivisibilidad-basicaeuclides-bezout
AutorAdrián García Bouzas
Actualizado2026-02-13
Enunciado

Demostrar que la fracción 21n+414n+3\dfrac{21n + 4}{14n + 3} es irreducible para todo entero positivo nn.

(Una fracción a/ba/b es irreducible si gcd(a,b)=1\gcd(a, b) = 1.)


Fase 1: entender lo que se pide

"Irreducible" significa gcd(21n+4,14n+3)=1\gcd(21n+4, 14n+3) = 1 para todo n1n \geq 1.

Plan general. Calcular gcd(21n+4,14n+3)\gcd(21n + 4, 14n + 3) usando el algoritmo de Euclides y mostrar que el resultado es 11 independientemente de nn.


Fase 2: experimentar con casos pequeños

Antes de teorizar, probamos algunos valores.

  • n=1n = 1: 2517\dfrac{25}{17}. gcd(25,17)=?\gcd(25, 17) = ? Como 25=117+825 = 1 \cdot 17 + 8, 17=28+117 = 2 \cdot 8 + 1, 8=818 = 8 \cdot 1, llegamos a gcd=1\gcd = 1. ✓
  • n=2n = 2: 4631\dfrac{46}{31}. 46=131+1546 = 1 \cdot 31 + 15, 31=215+131 = 2 \cdot 15 + 1. gcd=1\gcd = 1. ✓
  • n=3n = 3: 6745\dfrac{67}{45}. 67=145+2267 = 1 \cdot 45 + 22, 45=222+145 = 2 \cdot 22 + 1. gcd=1\gcd = 1. ✓
  • n=10n = 10: 214143\dfrac{214}{143}. 214=1143+71214 = 1 \cdot 143 + 71, 143=271+1143 = 2 \cdot 71 + 1. gcd=1\gcd = 1. ✓

Patrón observado. El algoritmo de Euclides aplicado a estos pares produce el mismo "patrón": dos pasos, llegando a 11. Esto sugiere que el algoritmo aplicado a (21n+4,14n+3)(21n+4, 14n+3) termina con resto 11 después de pocos pasos, independientemente de nn.

Vamos a confirmarlo simbólicamente.


Fase 3: aplicar Euclides al caso general

Sean a=21n+4a = 21n + 4 y b=14n+3b = 14n + 3. Aplicamos el algoritmo de Euclides:

Paso 1. Dividimos aa entre bb:

21n+4  =  1(14n+3)+(7n+1).21n + 4 \;=\; 1 \cdot (14n + 3) + (7n + 1).

Verificación: 1(14n+3)+(7n+1)=14n+3+7n+1=21n+41 \cdot (14n + 3) + (7n + 1) = 14n + 3 + 7n + 1 = 21n + 4. ✓

El nuevo par es (14n+3,7n+1)(14n + 3, 7n + 1) y gcd(a,b)=gcd(14n+3,7n+1)\gcd(a, b) = \gcd(14n + 3, 7n + 1).

Paso 2. Dividimos 14n+314n + 3 entre 7n+17n + 1:

14n+3  =  2(7n+1)+1.14n + 3 \;=\; 2 \cdot (7n + 1) + 1.

Verificación: 2(7n+1)+1=14n+2+1=14n+32 \cdot (7n + 1) + 1 = 14n + 2 + 1 = 14n + 3. ✓

El nuevo par es (7n+1,1)(7n + 1, 1).

Paso 3. Como gcd(cualquier cosa,1)=1\gcd(\text{cualquier cosa}, 1) = 1:

gcd(7n+1,1)  =  1.\gcd(7n + 1, 1) \;=\; 1.

Conclusión. gcd(21n+4,14n+3)=1\gcd(21n + 4, 14n + 3) = 1 para todo n1n \geq 1. La fracción es irreducible. \blacksquare


Demostración limpia (sin proceso heurístico)

Demostración. Sea d=gcd(21n+4,14n+3)d = \gcd(21n + 4, 14n + 3). Entonces dd divide a cualquier combinación lineal entera. En particular:

d2(21n+4)3(14n+3)  =  42n+842n9  =  1.d \mid 2 \cdot (21n + 4) - 3 \cdot (14n + 3) \;=\; 42n + 8 - 42n - 9 \;=\; -1.

Por tanto d1d \mid 1, así d=1d = 1. La fracción es irreducible. \blacksquare


Fase 4: la idea simplificada

La demostración "limpia" condensa todo el proceso de Euclides en una sola combinación lineal. La estrategia:

Si d21n+4d \mid 21n + 4 y d14n+3d \mid 14n + 3, entonces dd divide a cualquier combinación lineal entera, en particular a una que elimine nn.

Buscamos coeficientes u,vu, v con u(21n+4)+v(14n+3)=u(21n + 4) + v(14n + 3) = constante (sin nn).

Imponiendo 21u+14v=021u + 14v = 0: u/v=14/21=2/3u/v = -14/21 = -2/3. Tomamos u=2,v=3u = 2, v = -3:

2(21n+4)3(14n+3)  =  (42n42n)+(89)  =  1.2(21n + 4) - 3(14n + 3) \;=\; (42n - 42n) + (8 - 9) \;=\; -1.

Así, d1d \mid -1, d=1d = 1.


Observación

Lo que aprendemos.

  1. El algoritmo de Euclides es estructural. Aplicado a polinomios lineales en nn, produce un proceso simbólico que termina en una constante. Si esa constante es ±1\pm 1, el gcd\gcd es 11.

  2. Eliminación lineal. El truco más directo es eliminar la variable nn mediante una combinación lineal entera de los numeradores y denominadores. Si la constante resultante es ±1\pm 1, ya hemos terminado.

  3. Generalización inmediata. El mismo método demuestra que An+bCn+d\frac{An + b}{Cn + d} es irreducible para todo nn siempre que gcd(AdBc,\gcd(Ad - Bc, y cosas similares)=) = algún ajuste. La condición precisa es AdBc=1|Ad - Bc| = 1.

    En nuestro caso: A=21,B=4,C=14,D=3A = 21, B = 4, C = 14, D = 3. ADBC=213414=6356=7AD - BC = 21 \cdot 3 - 4 \cdot 14 = 63 - 56 = 7.

    ¿Cómo conciliar con que la fracción es irreducible? Porque cualquier divisor común de An+BAn + B y Cn+DCn + D divide a A(Cn+D)C(An+B)=ADBC=7A(Cn + D) - C(An + B) = AD - BC = 7. Es decir, d7d \mid 7, así d{1,7}d \in \{1, 7\}.

    Si d=7d = 7, entonces 721n+47 \mid 21n + 4, es decir, 40(mod7)4 \equiv 0 \pmod 7, falso. Por tanto d=1d = 1.

Una sutileza. Mi argumento "limpio" tiene la trampa de que el coeficiente 1-1 no aparece directamente; sale tras eliminar nn. Es la combinación 2,32, -3 que da 1-1, no el A,CA, C obvio. Encontrar la combinación correcta es la observación clave.


Generalización: An+BCn+D\dfrac{An + B}{Cn + D}Cn+DAn+B​ irreducible

Pregunta general. ¿Para qué (A,B,C,D)(A, B, C, D) con gcd(A,B)=gcd(C,D)=1\gcd(A, B) = \gcd(C, D) = 1 la fracción An+BCn+D\frac{An+B}{Cn+D} es irreducible para todo nn?

Respuesta. La fracción es irreducible para todo nn si y solo si los divisores primos de ADBC|AD - BC| son todos divisores de gcd(C,Bk)\gcd(C, B \cdot k) para alguna estructura modular específica. Más simple:

An+BCn+D\frac{An+B}{Cn+D} es irreducible para todo nn si ADBC=1|AD - BC| = 1.

Si ADBC>1|AD - BC| > 1, la fracción puede ser reducible para ciertos nn (cuando el primo correspondiente divide a An+BAn + B).

Para el problema original: ADBC=7|AD - BC| = 7. La fracción 21n+414n+3\frac{21n+4}{14n+3} tendría que reducirse por 77 si 721n+47 \mid 21n+4, es decir 40(mod7)4 \equiv 0 \pmod 7 — imposible. Por eso siempre es irreducible.