Hola.
1. \( a^{n+k} =a^n+((a+b)^n-a^n-b^n)+c \) donde n es mayor o igual que 3.
2. \( (a+d)^m=b^n-c \) donde m es mayor o igual que 3.
3. \( a^{n+k} + (a+d)^m=(a+b)^n \)
De 1 afirmo que c tiene un factor común de a:
\( c = a^{k + n} - (a + b)^n + b^n \)
Pues bien, igualo 1 con la entidad (i) \( a^{n+k} = a^n + a^{n}( a^k-1) \).
\( ((a+b)^n-a^n-b^n)+c = a^{n}( a^k-1) \)
Consideremos que \( a^{n}( a^k-1) \) (ii) no es más que un contador de potencias. Pero solo de potencias de \( a^{n} \).
¿Hay potencias en \( ((a+b)^n-a^n-b^n)+c \)? Si pero de a y b. Pues para que esta ecuación sea (ii) solo tien que haberlas de a. Entonces b no pude ser un primo relativo de a, porque en ese caso el conteo de las potencias seria de tres potencias. ¿Cierto?
Porque, si a y b, son primos relativos, entonces la ecuación sería:
\( ((a+b)^n-a^n-b^n)+c \); \( ((d)^n-a^n-b^n)+c \) siendo d, a y b, primos relativos todos ellos. Eso nos situa muy lejos del conteo inicial que queremos obtener:
\( a^{n}( a^k-1) \).
Atentamente.