Solución al Problema 84.

Sea d = (m, n), entonces m = dx y n = dy, donde x, y son

coprimos. Note que x, y son impares o exactamente uno de ellos es par, por esta razón,
presentamos dos casos:
Cuando x, y son impares. Entonces, ad + 1 divide simultáneamente a los números
am + 1 y an + 1. Por lo tanto, ad + 1 divide a (am + 1, an + 1). Vamos a demostrar
que
am + 1 an + 1
E=( d , ) = 1.
a + 1 ad + 1
En efecto, hagamos que ad = b. Así,
am + 1 adx + 1 bx + 1
A= = = = 1 − b + b2 − · · · + bx−1 ,
ad + 1 ad + 1 b+1
y del mismo modo tenemos que
an + 1 ady + 1 by + 1
B= = = = 1 − b + b2 − · · · + by−1 ,
a +1
d a +1
d b+1
Como x, y son coprimos, entonces por el teorema de Bézout sabemos que existen
enteros positivos p y q tales que |px − qy| = 1, donde exactamente uno de los
números p, q es par. Supongamos sin pérdida de generalidad que q es par, entonces
p es impar. En consecuencia,
E | 1 − b + b2 − · · · + bpx−1 y E | 1 − b + b2 − · · · − bqy−1 .
Luego,
E | (1 − b + b2 − · · · + bpx−1 ) − (1 − b + b2 − · · · − bqy−1 ) = bi − bi−1 + bi−2 ,
 

donde i = máx(px − 1, qy − 1). Como E | bi + bi−2 (b + 1), E | b + 1 y E es comprimo

con b, entonces E | 1, que es lo que queríamos probar.
Concluimos que en este caso (am + 1, an + 1) = a(m,n) + 1.

Cuando exactamente uno de los números x, y es par. Considere que b = ad . Sea

E = (am + 1, an + 1) = (bx + 1, by + 1). Por el teorema de Bézout tenemos que existen
enteros positivos p y q tales que |px − qy| = 1, entonces |(2px − 1) − (2qy − 1)| = 2.
Es fácil deducir que
bx + 1 | 1 + b + b2 + · · · + b2x−1 y by + 1 | 1 + b + b2 + · · · + b2y−1 .
Por lo tanto,
bx + 1 | 1 + b + b2 + · · · + b2px−1 y by + 1 | 1 + b + b2 + · · · + b2qy−1 .
Luego,
E | (1 + b + b2 + · · · + b2px−1 ) − (1 + b + b2 + · · · + b2qy−1 ) = bi + bi−1 ,
 

donde i = máx(2px − 1, 2qy − 1). Como E | bi + bi−1 = bi−1 (b + 1) y E es coprimo

con b, entonces E | b + 1, así, b ≡ −1 (mód E). Si x es par, entonces como E | bx + 1
se tendría que 0 ≡ bx + 1 ≡ (−1)x + 1 ≡ 2 (mód E), lo cual implica que E | 2.
Luego, si a es par se tiene que E = 2, y si a es impar se tiene que E = 1.

Finalmente concluimos que los posibles valores de (am + 1, an + 1) es a(m,n) + 1, 1 o 2. 

Emerson Soriano